gringo-manpages.patch
gringo-python3-utf8.patch
