Index of ftp://ftp.cs.rose-hulman.edu/ubuntu/pool/universe/a/agda-bin

[DIR] Parent Directory

[ ] agda-bin_2.2.10-2_amd64.deb  4.04Mb  June 10 2011
[ GZ] agda-bin_2.2.10-2.diff.gz  2.83Kb  June 10 2011
[ ] agda-bin_2.2.10-2.dsc  1.91Kb  June 10 2011
[ ] agda-bin_2.2.10-2_i386.deb  3.77Mb  June 10 2011
[ ] agda-bin_2.2.10-2_powerpc.deb  3.97Mb  June 10 2011
[ GZ] agda-bin_2.2.10.orig.tar.gz  1.75Kb  February 27 2011
[ ] agda-bin_2.2.6-1build1_amd64.deb  2.72Mb  February 3 2010
[ ] agda-bin_2.2.6-1build1_armel.deb  4.81Mb  February 8 2010
[ GZ] agda-bin_2.2.6-1build1.diff.gz  2.44Kb  February 3 2010
[ ] agda-bin_2.2.6-1build1.dsc  1.32Kb  February 3 2010
[ ] agda-bin_2.2.6-1build1_i386.deb  2.55Mb  February 3 2010
[ ] agda-bin_2.2.6-1build1_powerpc.deb  2.86Mb  February 7 2010
[ ] agda-bin_2.2.6-1build1_sparc.deb  4.13Mb  February 4 2010
[ GZ] agda-bin_2.2.6.orig.tar.gz  1.64Kb  January 22 2010
[ ] agda-bin_2.3.0.1-1_amd64.deb  4.66Mb  March 18 2012
[ ] agda-bin_2.3.0.1-1_armel.deb  6.86Mb  March 18 2012
[ ] agda-bin_2.3.0.1-1_armhf.deb  6.86Mb  March 18 2012
[ GZ] agda-bin_2.3.0.1-1.diff.gz  2.94Kb  March 18 2012
[ ] agda-bin_2.3.0.1-1.dsc  1.34Kb  March 18 2012
[ ] agda-bin_2.3.0.1-1_i386.deb  4.36Mb  March 18 2012
[ ] agda-bin_2.3.0.1-1_powerpc.deb  4.59Mb  April 20 2012
[ GZ] agda-bin_2.3.0.1.orig.tar.gz  1.72Kb  March 18 2012