Manpages of gnat-9-x86-64-linux-gnux32 in Debian bullseye