[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[bug#68714] [PATCH 0/5] Update flint to 3.0.1
From: |
Sharlatan Hellseher |
Subject: |
[bug#68714] [PATCH 0/5] Update flint to 3.0.1 |
Date: |
Thu, 25 Jan 2024 22:27:02 +0000 |
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
signature.asc
Description: PGP signature
- [bug#68714] [PATCH 0/5] Update flint to 3.0.1, Andreas Enge, 2024/01/25
- [bug#68714] [PATCH 1/5] gnu: flint: Update to 3.0.1., Andreas Enge, 2024/01/25
- [bug#68714] [PATCH 4/5] gnu: python-flint: Update to 0.5.0 and build with flint@3., Andreas Enge, 2024/01/25
- [bug#68714] [PATCH 5/5] gnu: arb: Deprecate package., Andreas Enge, 2024/01/25
- [bug#68714] [PATCH 3/5] gnu: s7: Compile with flint@3., Andreas Enge, 2024/01/25
- [bug#68714] [PATCH 2/5] gnu: pynac: Remove package., Andreas Enge, 2024/01/25
- [bug#68714] [PATCH 0/5] Update flint to 3.0.1,
Sharlatan Hellseher <=
- bug#68714: Done, Andreas Enge, 2024/01/26