gringo-manpages.patch
gringo-python3-utf8.patch
13a896b6a762e48c2396e3dc9f2e794020f4e6e8.diff
