From 7315086d68380275a2888971eb56fb284855fa0f Mon Sep 17 00:00:00 2001 From: attobot Date: Sat, 28 Jul 2018 08:48:44 -0700 Subject: [PATCH] Register HighLevelTypes.jl v0.0.2 [https://github.com/ResourceMind/HighLevelTypes.jl/releases/tag/v0.0.2] (#16124) --- HighLevelTypes/url | 1 + HighLevelTypes/versions/0.0.2/requires | 1 + HighLevelTypes/versions/0.0.2/sha1 | 1 + 3 files changed, 3 insertions(+) create mode 100644 HighLevelTypes/url create mode 100644 HighLevelTypes/versions/0.0.2/requires create mode 100644 HighLevelTypes/versions/0.0.2/sha1 diff --git a/HighLevelTypes/url b/HighLevelTypes/url new file mode 100644 index 00000000000..5c8d41e8c71 --- /dev/null +++ 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 new file mode 100644 index 00000000000..137767a42af --- /dev/null +++ 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 new file mode 100644 index 00000000000..34aa8ee18c2 --- /dev/null +++ b/HighLevelTypes/versions/0.0.2/sha1 @@ -0,0 +1 @@ +209dfa4e5f834563a10a1982f71afb1b021c9bce