Manpages of gnat-6-mips-linux-gnu in Debian stretch