. ├── [ 743776 Dec 8 2018] dejagnu_1.6.2-1_all.deb ├── [ 9668 Dec 8 2018] dejagnu_1.6.2-1.debian.tar.xz ├── [ 1812 Dec 8 2018] dejagnu_1.6.2-1.dsc └── [ 525879 Dec 8 2018] dejagnu_1.6.2.orig.tar.gz