Manpages of gnat-12-arm-linux-gnueabi in Debian testing