Manpages of gdc-arm-linux-gnueabihf in Debian testing