From b0b27051cd08c4f45be51fbd0498df93c2d18187 Mon Sep 17 00:00:00 2001 From: kalmar Date: Tue, 16 May 2017 21:06:59 +0200 Subject: [PATCH] add Nemo to REQUIRE --- REQUIRE | 1 + 1 file changed, 1 insertion(+) diff --git a/REQUIRE b/REQUIRE index 94237c0..f8c3297 100644 --- a/REQUIRE +++ b/REQUIRE @@ -1 +1,2 @@ julia 0.5 +Nemo