debian/1.4.0-3
de2bfc9e · Make sure build-man is executable. ·