MD5 (dejagnu-1.3.tar.gz) = a43d6ef02db12f4fa4fe2daec2ed4cc1