From 91d02c60544e8e8ca50b8b3246a5ab2214019511 Mon Sep 17 00:00:00 2001 From: kalmarek Date: Wed, 13 Sep 2017 11:19:17 +0200 Subject: [PATCH] require julia v0.6 --- REQUIRE | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/REQUIRE b/REQUIRE index c99f62f..ee1590e 100644 --- a/REQUIRE +++ b/REQUIRE @@ -1,2 +1,2 @@ -julia +julia 0.6 Nemo