kalmar
/
PropertyT.jl
mirror of https://github.com/kalmarek/PropertyT.jl.git
1
0
Fork 0
Code Issues Releases Wiki Activity

lock Nemo's version to 0.7

This commit is contained in:
kalmarek 2018-01-26 13:21:28 +01:00
parent 94fa72ae80
commit 1c96fec723
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
REQUIRE
View File

@ -4,6 +4,6 @@ SCS
IntervalArithmetic 0.10
JLD
Memento
Nemo
Nemo 0.7
Groups
GroupRings