search

flintlib / arb

Arb has been merged into FLINT -- use https://github.com/flintlib/flint/ instead
http://arblib.org/
GNU Lesser General Public License v2.1
457 stars 137 forks source link

ci-sage.yml: Use https://trac.sagemath.org/ticket/34106 #434

Closed mkoeppe closed 5 months ago

mkoeppe commented 2 years ago

... so that the system FLINT older than 2.9 is rejected