Manpages of gnat-8-mipsisa32r6-linux-gnu in Debian buster