gringo-domain-fwd-decl.patch
gringo-manpages.patch
gringo-clang-gcc.patch
gringo-unpool-pred.patch
gringo-cond.patch
