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? Cheers, -- Stéphane
