diff --git a/Cuba/versions/0.3.1/requires b/Cuba/versions/0.3.1/requires new file mode 100644 index 00000000000..94237c0ffa4 --- /dev/null +++ b/Cuba/versions/0.3.1/requires @@ -0,0 +1 @@ +julia 0.5 diff --git a/Cuba/versions/0.3.1/sha1 b/Cuba/versions/0.3.1/sha1 new file mode 100644 index 00000000000..a29544966fb --- /dev/null +++ b/Cuba/versions/0.3.1/sha1 @@ -0,0 +1 @@ +fcbd97ff3fdb72016539cea522ac3f03a7de9856