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