gringo-manpages.patch
gringo-python3-utf8.patch
gringo-python37-async.patch
python3.8-compat.patch
link-libatomic-check.patch
