Gawk Patch (&gawk-patch-version;) - &gawk-patch-size;:
<ulink url="&http;/gawk-&gawk-patch-version;.patch"/>