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

From: Sharlatan Hellseher <[email-masked]>
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