Source: gringo Version: 5.4.1-3 Severity: serious Tags: bookworm sid Control: block 1023666 by -1
Please switch to gcc-12 that is default in bookworm.
Source: gringo Version: 5.4.1-3 Severity: serious Tags: bookworm sid Control: block 1023666 by -1
Please switch to gcc-12 that is default in bookworm.