mirror of
https://github.com/kalmarek/GroupRings.jl.git
synced 2024-10-08 22:25:34 +02:00
add Nemo to REQUIRE
This commit is contained in:
parent
e862cd92b0
commit
b0b27051cd