Manpages of gdc-13-x86-64-linux-gnu in Debian experimental