Manpages of gdc-10-arm-linux-gnueabi in Debian unstable