Manpages of gnat-12 in Debian trixie