Manpages of gnat-6-sh4-linux-gnu in Debian testing