Hi,
Le 25/12/2025 à 08:15, Stéphane Glondu a écrit :
On Tue, 16 Dec 2025 20:27:11 +0000 Santiago Vila <[email protected]>
wrote:
Package: src:gringo
Version: 5.8.0-1
Severity: serious
Tags: ftbfs forky sid
[...]
Using snapshot.debian.org, I could determine that gringo builds fine on
20251209T180000Z, but not on 20251210T000000Z.
The only difference in packages is re2c which went from 4.3-2 to 4.3.1-1.
Somehow, the new version broke gringo. Any ideas?
I've opened an issue:
https://github.com/skvadrik/re2c/issues/570
Cheers,
--
Stéphane
