Use default Nemo in CI now that FLINT 3.1 is integrated - Githubissues

flintlib / flint

FLINT (Fast Library for Number Theory)

http://www.flintlib.org

GNU Lesser General Public License v3.0

403 stars 235 forks source link

Use default Nemo in CI now that FLINT 3.1 is integrated #1949

Closed albinahlback closed 1 month ago