. ├── [ 743776 Sep 21 2021] dejagnu_1.6.2-1_all.deb ├── [ 9668 Sep 21 2021] dejagnu_1.6.2-1.debian.tar.xz ├── [ 1812 Sep 21 2021] dejagnu_1.6.2-1.dsc └── [ 525879 Sep 21 2021] dejagnu_1.6.2.orig.tar.gz