1. agda-stdlib-doc_1.3-2_all.deb
2. agda-stdlib-doc_1.7.1-1_all.deb
3. agda-stdlib-doc_2.1-4_all.deb
4. agda-stdlib_1.3-2.debian.tar.xz
5. agda-stdlib_1.3-2.dsc
6. agda-stdlib_1.3-2_all.deb
7. agda-stdlib_1.3.orig.tar.gz
8. agda-stdlib_1.7.1-1.debian.tar.xz
9. agda-stdlib_1.7.1-1.dsc
10. agda-stdlib_1.7.1-1_all.deb
11. agda-stdlib_1.7.1.orig.tar.gz
12. agda-stdlib_2.1-4.debian.tar.xz
13. agda-stdlib_2.1-4.dsc
14. agda-stdlib_2.1-4_all.deb
15. agda-stdlib_2.1.orig.tar.gz