Manpages of gnat-10-arm-linux-gnueabi in Debian experimental