From aecfcbab0ebc7e0ed3e73271ed6f5444dda6b468 Mon Sep 17 00:00:00 2001 From: kalmar Date: Tue, 9 May 2017 17:46:41 +0200 Subject: [PATCH] require Nemo --- REQUIRE | 1 + 1 file changed, 1 insertion(+) diff --git a/REQUIRE b/REQUIRE index fee6ae7..097783a 100644 --- a/REQUIRE +++ b/REQUIRE @@ -1,3 +1,4 @@ julia 0.5 Permutations Combinatorics +Nemo