[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[bug#68714] [PATCH 0/5] Update flint to 3.0.1
|
From: |
Liliana Marie Prikler |
|
Subject: |
[bug#68714] [PATCH 0/5] Update flint to 3.0.1 |
|
Date: |
Fri, 26 Jan 2024 06:21:17 +0100 |
|
User-agent: |
Evolution 3.46.4 |
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
- [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, 2024/01/25
- [bug#68714] [PATCH 0/5] Update flint to 3.0.1,
Liliana Marie Prikler <=
- bug#68714: Done, Andreas Enge, 2024/01/26