gringo-manpages.patch
gringo-include-math.patch
gringo-solve-multi.patch
gringo-translate-minmax.patch
