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

Parent Directory

-15 -14 -13 -12 -11 -10 -09 -08 -07 -06 -05 -04 -03 -02 -01	page 01 of 03
+01 +02 +03 +04 +05 +06 +07 +08 +09 +10 +11 +12 +13 +14 +15	<- Back | Next page ->

agda_2.2.10-3build1_all.deb	2.92Kb	July 9 2011
agda_2.2.10-3build1.debian.tar.gz	7.48Kb	July 9 2011
agda_2.2.10-3build1.dsc	3.13Kb	July 9 2011
agda_2.2.10.orig.tar.gz	505.59Kb	February 24 2011
agda_2.2.6-3.diff.gz	5.24Kb	March 4 2010
agda_2.2.6-3.dsc	2.69Kb	March 4 2010
agda_2.2.6.orig.tar.gz	414.44Kb	February 2 2010
agda_2.3.0.1-1build2_all.deb	2.91Kb	April 21 2012
agda_2.3.0.1-1build2.debian.tar.gz	6.48Kb	April 21 2012
agda_2.3.0.1-1build2.dsc	2.98Kb	April 21 2012
agda_2.3.0.1-2build1_all.deb	2.94Kb	August 27 2012
agda_2.3.0.1-2build1.debian.tar.gz	6.78Kb	August 27 2012
agda_2.3.0.1-2build1.dsc	2.98Kb	August 27 2012
agda_2.3.0.1.orig.tar.gz	597.99Kb	March 18 2012
agda_2.3.2.1-1_all.deb	2.91Kb	June 17 2013
agda_2.3.2.1-1.debian.tar.gz	7.08Kb	June 16 2013
agda_2.3.2.1-1.dsc	3.22Kb	June 16 2013
agda_2.3.2-1_all.deb	2.90Kb	April 10 2013
agda_2.3.2-1.debian.tar.gz	7.06Kb	April 10 2013
agda_2.3.2-1.dsc	3.30Kb	April 10 2013
agda_2.3.2.1.orig.tar.gz	712.90Kb	June 16 2013
agda_2.3.2.2-1_all.deb	2.93Kb	November 6 2013 at 17:28
agda_2.3.2.2-1.debian.tar.gz	7.23Kb	November 6 2013 at 17:28
agda_2.3.2.2-1.dsc	3.21Kb	November 6 2013 at 17:28
agda_2.3.2.2.orig.tar.gz	1.94Mb	November 6 2013 at 17:28
agda_2.3.2.orig.tar.gz	709.44Kb	April 10 2013
agda-bin_2.3.2.1-1_amd64.deb	5.10Mb	June 17 2013
agda-bin_2.3.2.1-1_i386.deb	4.74Mb	June 17 2013
agda-bin_2.3.2.1-1_powerpc.deb	4.98Mb	June 17 2013
agda-bin_2.3.2-1_amd64.deb	5.09Mb	April 10 2013

-15 -14 -13 -12 -11 -10 -09 -08 -07 -06 -05 -04 -03 -02 -01	page 01 of 03
+01 +02 +03 +04 +05 +06 +07 +08 +09 +10 +11 +12 +13 +14 +15	<- Back | Next page ->