5703f72d0eea1d463f735aad8222655f  gawk-3.1.5.tar.bz2
82ccfe7793716d9e2afd8dbdefad8d80  gawk.patch