From 7cc09f8b1a79b3c0a6224303621e5ca502f4427f Mon Sep 17 00:00:00 2001 From: kalmarek Date: Fri, 1 Mar 2019 11:55:41 +0100 Subject: [PATCH] pin versions of julia, SCS, JLD, Memento --- REQUIRE | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/REQUIRE b/REQUIRE index 1401c94..3e60738 100644 --- a/REQUIRE +++ b/REQUIRE @@ -1,9 +1,9 @@ -julia +julia 0.6 0.7 JuMP 0.18.0 -SCS +SCS 0.4.0 0.4.1 IntervalArithmetic 0.10 -JLD -Memento +JLD 0.8 0.9 +Memento 0.4 0.5 Nemo Groups GroupRings