mirror://gnu/gawk/gawk-3.1.5.tar.gz
