.github/workflows/ci-sage.yml: Update

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

Closed mkoeppe closed 2 years ago