kalmar/PropertyT.jl
1
0
Fork 0
mirror of https://github.com/kalmarek/PropertyT.jl.git synced 2024-07-17 10:55:30 +02:00
Code Issues Releases Wiki Activity

lock Nemo to version 0.7.9-

Browse Source
This commit is contained in:
kalmarek 2018-02-05 10:07:09 +01:00
parent 3e9640e14c
commit 90e7859d02
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 IntervalArithmetic
JLD JLD
Memento Memento
Nemo 0.7 Nemo 0.7.9-
Groups Groups
GroupRings GroupRings