gringo-makefile.patch
gringo-manpages.patch
