fix-manpages.patch
fix-manpage-generation-script.patch
use-debians-dejavu-font.patch
0004-Use-CLOCK_REALTIME-instead-of-CLOCK_MONOTONIC.patch
