1
0
mirror of https://github.com/kalmarek/PropertyT.jl.git synced 2024-11-25 00:40:28 +01:00

pin versions of julia, SCS, JLD, Memento

This commit is contained in:
kalmarek 2019-03-01 11:55:41 +01:00
parent 596b688c1f
commit 7cc09f8b1a
No known key found for this signature in database
GPG Key ID: 8BF1A3855328FC15

View File

@ -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