Register HighLevelTypes.jl v0.0.2 [https://github.com/ResourceMind/Hi…

…ghLevelTypes.jl/releases/tag/v0.0.2] (JuliaLang#16124)
nkottary · Jul 28, 2018 · 7315086 · 7315086
1 parent a6a0263
commit 7315086
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 0 deletions.
diff --git a/HighLevelTypes/url b/HighLevelTypes/url
@@ -0,0 +1 @@
+https://github.com/ResourceMind/HighLevelTypes.jl.git
diff --git a/HighLevelTypes/versions/0.0.2/requires b/HighLevelTypes/versions/0.0.2/requires
@@ -0,0 +1 @@
+julia 0.6
diff --git a/HighLevelTypes/versions/0.0.2/sha1 b/HighLevelTypes/versions/0.0.2/sha1
@@ -0,0 +1 @@
+209dfa4e5f834563a10a1982f71afb1b021c9bce
Original file line number	Diff line number	Diff line change
		@@ -0,0 +1 @@
		https://github.com/ResourceMind/HighLevelTypes.jl.git