(BIN) agda-stdlib-doc_1.3-2_all.deb
 (BIN) agda-stdlib-doc_1.7.1-1_all.deb
 (BIN) agda-stdlib-doc_2.1-4_all.deb
 (BIN) agda-stdlib-doc_2.3-1_all.deb
 (BIN) agda-stdlib_1.3-2.debian.tar.xz
 (TXT) agda-stdlib_1.3-2.dsc
 (BIN) agda-stdlib_1.3-2_all.deb
 (BIN) agda-stdlib_1.3.orig.tar.gz
 (BIN) agda-stdlib_1.7.1-1.debian.tar.xz
 (TXT) agda-stdlib_1.7.1-1.dsc
 (BIN) agda-stdlib_1.7.1-1_all.deb
 (BIN) agda-stdlib_1.7.1.orig.tar.gz
 (BIN) agda-stdlib_2.1-4.debian.tar.xz
 (TXT) agda-stdlib_2.1-4.dsc
 (BIN) agda-stdlib_2.1-4_all.deb
 (BIN) agda-stdlib_2.1.orig.tar.gz
 (BIN) agda-stdlib_2.3-1.debian.tar.xz
 (TXT) agda-stdlib_2.3-1.dsc
 (BIN) agda-stdlib_2.3-1_all.deb
 (BIN) agda-stdlib_2.3.orig.tar.gz