fix-manpages.patch
fix-manpage-generation-script.patch
use-debians-dejavu-font.patch
fix-building-reproducible-1540.patch
