Estimated build time: &gawk-time-tools; Estimated required disk space: &gawk-compsize-tools; &aa-gawk-shortdesc; &aa-gawk-dep; &c5-gawk-inst;