[bug#68714] [PATCH 0/5] Update flint to 3.0.1

[Andreas Enge]

This patch series updates flint to 3.0.1, removes arb, which has been
moved into the flint library, and deals with the dependent packages.

Andreas Enge (5):
  gnu: flint: Update to 3.0.1.
  gnu: pynac: Remove package.
  gnu: s7: Compile with flint@3.
  gnu: python-flint: Update to 0.5.0 and build with flint@3.
  gnu: arb: Deprecate package.

 gnu/local.mk                                  |   4 +-
 gnu/packages/algebra.scm                      |  80 ++---------
 gnu/packages/lisp.scm                         |  10 +-
 .../patches/python-flint-includes.patch       | 131 ------------------
 gnu/packages/patches/s7-flint-3.patch         |  31 +++++
 gnu/packages/sagemath.scm                     |  29 +---
 6 files changed, 49 insertions(+), 236 deletions(-)
 delete mode 100644 gnu/packages/patches/python-flint-includes.patch
 create mode 100644 gnu/packages/patches/s7-flint-3.patch


base-commit: 5111915e6afeb507a73a6ebe60e3fef754a3016a
-- 
2.41.0