../ dejagnu_1.6-1.1.debian.tar.xz 28-Dec-2016 10:34 6436 dejagnu_1.6-1.1.dsc 28-Dec-2016 10:34 923 dejagnu_1.6-1.1_all.deb 28-Dec-2016 10:34 723K dejagnu_1.6.orig.tar.gz 28-Dec-2016 10:34 512K