gringo-manpages.patch
gringo-python3-utf8.patch
link-libatomic-check.patch
use-system-catch-for-glibc-2.34-compat.patch
testsuite-python-open-rU.patch
gcc13.diff
