Manpages of gnat-10-mips64-linux-gnuabi64 in Debian testing