From 1c96fec723cbd6965c63fbc23c6beaeda0444226 Mon Sep 17 00:00:00 2001 From: kalmarek Date: Fri, 26 Jan 2018 13:21:28 +0100 Subject: [PATCH] lock Nemo's version to 0.7 --- REQUIRE | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/REQUIRE b/REQUIRE index 1401c94..9f604aa 100644 --- a/REQUIRE +++ b/REQUIRE @@ -4,6 +4,6 @@ SCS IntervalArithmetic 0.10 JLD Memento -Nemo +Nemo 0.7 Groups GroupRings