From 60faa5d94423fd708fb076f9eb20e4964168a259 Mon Sep 17 00:00:00 2001 From: kalmar Date: Mon, 15 May 2017 17:06:03 +0200 Subject: [PATCH] don't require Permutations and Combinatorics; Nemo is enough --- REQUIRE | 2 -- 1 file changed, 2 deletions(-) diff --git a/REQUIRE b/REQUIRE index 097783a..f8c3297 100644 --- a/REQUIRE +++ b/REQUIRE @@ -1,4 +1,2 @@ julia 0.5 -Permutations -Combinatorics Nemo