Flint 3.x, soname bumps

Next week, I plan to update flint to version 3.1.0. The 3.x series has some backwards incompatible changes, but nearly all consuming upstreams have already adapted. The formerly independent antic and arb packages have been absorbed into flint, so those 2 packages will be retired after the builds are done.

The following packages will bump sonames:

  • flint: from libflint.so.17 to libflint.so.19
  • e-antic: from libeantic.so.1 to libeantic.so.3

This is the list of packages to be rebuilt (in approximately this order):

  • flint, updated to version 3.1.0
  • ccluster
  • e-antic, updated to version 2.0.2
  • eclib, updated to version 20231212
  • msolve
  • pplite
  • apron
  • normaliz, updated to version 3.10.2
  • Singular, updated to version 4.3.2p15
  • polymake

Test builds are ongoing in this COPR.