fix-manpages.patch
fix-manpage-generation-script.patch
use-debians-dejavu-font.patch
fix_missing_PTHREAD_STACK_MIN_on_hurd.patch
