dejagnu_1.6.3-3.debian.tar.xz
dejagnu_1.6.3-3.dsc
dejagnu_1.6.3-3_all.deb
dejagnu_1.6.3.orig.tar.gz