mbox series

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

Message ID cover.1706190861.git.andreas@enge.fr
Headers show
Series Update flint to 3.0.1 | expand

Message

Andreas Enge Jan. 25, 2024, 1:54 p.m. UTC 
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

Comments

Sharlatan Hellseher Jan. 25, 2024, 10:27 p.m. UTC | #1 
Hi Liliana,

Was your patch series sent by mistake to this issue :-)?

I see this one is open without patches:

[PATCH 0/4] More clingo stuff.
https://issues.guix.gnu.org/68713

Thanks,
Oleg
Liliana Marie Prikler Jan. 26, 2024, 5:21 a.m. UTC | #2 
Am Donnerstag, dem 25.01.2024 um 22:27 +0000 schrieb Sharlatan
Hellseher:
> 
> Hi Liliana,
> 
> Was your patch series sent by mistake to this issue :-)?
> 
> I see this one is open without patches:
> 
> [PATCH 0/4] More clingo stuff.
> https://issues.guix.gnu.org/68713
> 
> Thanks,
> Oleg
Yes, sorry.

To unconfuse CI, if it's currently confused, you might want to send
your v1 as v2.

Cheers
Andreas Enge Jan. 26, 2024, 9:24 a.m. UTC | #3 
Merged.

Andreas