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

don't REQUIRE Nemo

Browse Source
This commit is contained in:
kalmarek 2018-07-31 13:43:48 +02:00
parent a26893f533
commit dfb76c1e5e
1 changed files with 0 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
REQUIRE
View File

@ -4,7 +4,6 @@ SCS
IntervalArithmetic
JLD
Memento
Nemo
AbstractAlgebra
Groups
GroupRings