fix-manpages.patch
fix-manpage-generation-script.patch
use-debians-dejavu-font.patch
0004-opengl-fix-compilation-with-Mesa-18.2.5-and-later.patch
