(BIN) agda-stdlib-doc_0.12-2_all.deb
 (BIN) agda-stdlib-doc_0.17-1_all.deb
 (BIN) agda-stdlib-doc_0.3-3_all.deb
 (BIN) agda-stdlib-doc_0.6-2_all.deb
 (BIN) agda-stdlib-doc_0.8-2_all.deb
 (BIN) agda-stdlib-doc_1.3-2_all.deb
 (BIN) agda-stdlib_0.12-2.debian.tar.xz
 (TXT) agda-stdlib_0.12-2.dsc
 (BIN) agda-stdlib_0.12-2_all.deb
 (BIN) agda-stdlib_0.12.orig.tar.gz
 (BIN) agda-stdlib_0.17-1.debian.tar.xz
 (TXT) agda-stdlib_0.17-1.dsc
 (BIN) agda-stdlib_0.17-1_all.deb
 (BIN) agda-stdlib_0.17.orig.tar.gz
 (BIN) agda-stdlib_0.3-3.diff.gz
 (TXT) agda-stdlib_0.3-3.dsc
 (BIN) agda-stdlib_0.3-3_amd64.deb
 (BIN) agda-stdlib_0.3-3_i386.deb
 (BIN) agda-stdlib_0.3-3_kfreebsd-i386.deb
 (BIN) agda-stdlib_0.3-3_powerpc.deb
 (BIN) agda-stdlib_0.3-3_sparc.deb
 (BIN) agda-stdlib_0.3.orig.tar.gz
 (BIN) agda-stdlib_0.6-2.debian.tar.gz
 (TXT) agda-stdlib_0.6-2.dsc
 (BIN) agda-stdlib_0.6-2_all.deb
 (BIN) agda-stdlib_0.6.orig.tar.gz
 (BIN) agda-stdlib_0.8-2.debian.tar.xz
 (TXT) agda-stdlib_0.8-2.dsc
 (BIN) agda-stdlib_0.8-2_all.deb
 (BIN) agda-stdlib_0.8.orig.tar.gz
 (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