Index of ftp://ftp.fedora.is/pub/ubuntu/pool/universe/a/agda-bin

[DIR] Parent Directory

[ ] 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