Index of ftp://ftp.linux.it/debian/pool/main/a/agda-bin

[DIR] Parent Directory

[ ] agda-bin_2.2.6-1+b1_amd64.deb  2.72Mb  January 26 2010
[ ] agda-bin_2.2.6-1+b1_i386.deb  2.56Mb  January 26 2010
[ ] agda-bin_2.2.6-1+b1_kfreebsd-i386.deb  2.55Mb  January 26 2010
[ ] agda-bin_2.2.6-1+b1_mips.deb  5.63Mb  March 14 2010
[ ] agda-bin_2.2.6-1+b1_powerpc.deb  2.86Mb  January 29 2010
[ ] agda-bin_2.2.6-1+b1_s390.deb  6.60Mb  January 28 2010
[ ] agda-bin_2.2.6-1+b1_sparc.deb  4.23Mb  February 4 2010
[ GZ] agda-bin_2.2.6-1.diff.gz  2.39Kb  January 11 2010
[ ] agda-bin_2.2.6-1.dsc  1.30Kb  January 11 2010
[ ] agda-bin_2.2.6-1_armel.deb  5.39Mb  March 18 2010
[ ] agda-bin_2.2.6-1_kfreebsd-amd64.deb  2.76Mb  February 27 2010
[ ] agda-bin_2.2.6-1_mipsel.deb  5.49Mb  March 16 2010
[ GZ] agda-bin_2.2.6.orig.tar.gz  1.64Kb  January 11 2010
[ GZ] agda-bin_2.3.0.1-1.diff.gz  2.94Kb  March 12 2012
[ ] agda-bin_2.3.0.1-1.dsc  1.34Kb  March 12 2012
[ ] agda-bin_2.3.0.1-1_amd64.deb  4.68Mb  March 12 2012
[ ] agda-bin_2.3.0.1-1_armel.deb  6.91Mb  March 25 2012
[ ] agda-bin_2.3.0.1-1_armhf.deb  6.87Mb  March 27 2012
[ ] agda-bin_2.3.0.1-1_i386.deb  4.37Mb  March 13 2012
[ ] agda-bin_2.3.0.1-1_kfreebsd-amd64.deb  5.47Mb  March 13 2012
[ ] agda-bin_2.3.0.1-1_kfreebsd-i386.deb  5.11Mb  March 13 2012
[ ] agda-bin_2.3.0.1-1_powerpc.deb  4.60Mb  April 21 2012
[ ] agda-bin_2.3.0.1-1_s390x.deb  14.67Mb  March 13 2012
[ ] agda-bin_2.3.0.1-1_sparc.deb  6.79Mb  March 26 2012
[ GZ] agda-bin_2.3.0.1.orig.tar.gz  1.72Kb  March 12 2012