From dfb76c1e5e6e6a2c892895ebba9631ee443bde21 Mon Sep 17 00:00:00 2001 From: kalmarek Date: Tue, 31 Jul 2018 13:43:48 +0200 Subject: [PATCH] don't REQUIRE Nemo --- REQUIRE | 1 - 1 file changed, 1 deletion(-) diff --git a/REQUIRE b/REQUIRE index 7e3c8b8..f730591 100644 --- a/REQUIRE +++ b/REQUIRE @@ -4,7 +4,6 @@ SCS IntervalArithmetic JLD Memento -Nemo AbstractAlgebra Groups GroupRings