gringo-manpages.patch
gringo-python3-utf8.patch
gringo-makefile.patch
python3.7.diff
