../ dejagnu_1.6-1.1.debian.tar.xz 24-Apr-2019 17:15 6424 dejagnu_1.6-1.1.dsc 24-Apr-2019 17:15 1774 dejagnu_1.6-1.1_all.deb 24-Apr-2019 17:15 723K dejagnu_1.6.orig.tar.gz 24-Apr-2019 17:15 512K