gringo-manpages.patch
gringo-python3-utf8.patch
link-libatomic-check.patch
bump-version-5.4.1.patch
