From 90e7859d02752d65b6fab449a9d14fec5260f37f Mon Sep 17 00:00:00 2001 From: kalmarek Date: Mon, 5 Feb 2018 10:07:09 +0100 Subject: [PATCH] lock Nemo to version 0.7.9- --- REQUIRE | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/REQUIRE b/REQUIRE index 990e795..7026f54 100644 --- a/REQUIRE +++ b/REQUIRE @@ -4,6 +4,6 @@ SCS IntervalArithmetic JLD Memento -Nemo 0.7 +Nemo 0.7.9- Groups GroupRings