Manpages of gnat-10-i686-linux-gnu in Debian experimental