Manpages of gnat-10-aarch64-linux-gnu in Debian testing