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