debian/hoogle.1
debian/update-hoogle.8