(BIN) agda-bin_2.2.6-1+b1_amd64.deb
 (BIN) agda-bin_2.2.6-1+b1_i386.deb
 (BIN) agda-bin_2.2.6-1+b1_kfreebsd-i386.deb
 (BIN) agda-bin_2.2.6-1+b1_mips.deb
 (BIN) agda-bin_2.2.6-1+b1_powerpc.deb
 (BIN) agda-bin_2.2.6-1+b1_s390.deb
 (BIN) agda-bin_2.2.6-1+b1_sparc.deb
 (BIN) agda-bin_2.2.6-1.diff.gz
 (TXT) agda-bin_2.2.6-1.dsc
 (BIN) agda-bin_2.2.6-1_armel.deb
 (BIN) agda-bin_2.2.6-1_kfreebsd-amd64.deb
 (BIN) agda-bin_2.2.6-1_mipsel.deb
 (BIN) agda-bin_2.2.6.orig.tar.gz
 (BIN) agda-bin_2.3.0.1-1.diff.gz
 (TXT) agda-bin_2.3.0.1-1.dsc
 (BIN) agda-bin_2.3.0.1-1_amd64.deb
 (BIN) agda-bin_2.3.0.1-1_armel.deb
 (BIN) agda-bin_2.3.0.1-1_armhf.deb
 (BIN) agda-bin_2.3.0.1-1_i386.deb
 (BIN) agda-bin_2.3.0.1-1_kfreebsd-amd64.deb
 (BIN) agda-bin_2.3.0.1-1_kfreebsd-i386.deb
 (BIN) agda-bin_2.3.0.1-1_powerpc.deb
 (BIN) agda-bin_2.3.0.1-1_s390x.deb
 (BIN) agda-bin_2.3.0.1-1_sparc.deb
 (BIN) agda-bin_2.3.0.1.orig.tar.gz