Manpages of gcc-alpha-linux-gnu in Debian stretch