Manpages of gnat-10-mips-linux-gnu in Debian bullseye