flintlib: update to 3.0.1.

This commit is contained in:
Gonzalo Tornaría 2023-09-11 20:11:20 -03:00 committed by Leah Neukirchen
parent 0e5d2c87d0
commit b778556cb8
6 changed files with 20 additions and 54 deletions

View file

@ -3972,8 +3972,7 @@ libgtkdatabox.so.1 gtkdatabox3-1.0.0_1
libxcvt.so.0 libxcvt-0.1.1_1
libgf2x.so.3 gf2x-1.3.0_1
libntl.so.44 ntl-11.5.1_1
libflint.so.17 flintlib-2.9.0_1
libarb.so.2 arb-2.20.0_1
libflint.so.18 flintlib-3.0.0_1
libec.so.10 eclib-20220621_1
libsymmetrica.so.2 symmetrica-3.0.1_1
libLfunction.so.1 lcalc-2.0.4_1