Manpages of gdc-6-aarch64-linux-gnu in Debian stretch