../ gawk-4.2.0.tar.xz 19-Oct-2017 18:39 3M gawk-4.2.0.tar.xz.sha256sum 19-Oct-2017 18:39 84 gawk-4.2.0.tar.xz.url 19-Oct-2017 18:39 47