Manpages of gnat-12-hppa-linux-gnu in Debian experimental