Bug#1023682: gringo build depends on gcc-10 that should not be in bookworm

Adrian Bunk bunk at debian.org
Tue Nov 8 18:46:40 GMT 2022

Previous message (by thread): Bug#1023678: clasp: diff for NMU version 3.3.5-4.2
Next message (by thread): Processed: gringo build depends on gcc-10 that should not be in bookworm
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

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.

Previous message (by thread): Bug#1023678: clasp: diff for NMU version 3.3.5-4.2
Next message (by thread): Processed: gringo build depends on gcc-10 that should not be in bookworm
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the debian-science-maintainers mailing list