Manpages of gdc-hppa-linux-gnu in Debian testing