c8b45808357a6f3e32cd56d8b56a4fdf8a1d5f3818818045c2022993e0e8a3db  download/dejagnu-1.5.tar.gz
ce4f689dd1d90c7c9064e8d58241fd31a957692f2f4cb29fab46f055c49501b5  download/dejagnu-1.5.tar.gz.sig
