debian/5.8.0-2

Ralf Treinen

@treinen

ed3e6b94 · drop conflicts/replaces (i)clingo · Dec 27, 2025

gringo Debian release 5.8.0-2