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