# https://github.com/fplll/fplll/issues/443
fplll source: maintainer-manual-page debian/fplll.1
fplll source: maintainer-manual-page debian/latticegen.1
