Index of ftp://ftp2.ca.FreeBSD.org/debian/pool/main/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-bin_2.3.2.2-1+b1_sparc.deb	3.97Mb	June 11 2014 at 10:57
agda-bin_2.4.0.2-2+b1_amd64.deb	3.74Mb	September 7 2014 at 18:27
agda-bin_2.4.0.2-2+b1_i386.deb	3.59Mb	September 8 2014 at 07:57
agda-bin_2.4.0.2-2+b1_kfreebsd-amd64.deb	4.31Mb	September 8 2014 at 07:57
agda-bin_2.4.0.2-2+b1_kfreebsd-i386.deb	4.14Mb	September 8 2014 at 07:47
agda-bin_2.4.0.2-2+b1_powerpc.deb	3.40Mb	September 8 2014 at 08:12
agda-bin_2.4.0.2-2_amd64.deb	3.74Mb	August 11 2014 at 11:28
agda-bin_2.4.0.2-2_hurd-i386.deb	4.14Mb	August 11 2014 at 12:44
agda-bin_2.4.0.2-2_i386.deb	3.59Mb	August 11 2014 at 11:59
agda-bin_2.4.0.2-2_kfreebsd-amd64.deb	4.30Mb	August 11 2014 at 12:14
agda-bin_2.4.0.2-2_kfreebsd-i386.deb	4.14Mb	August 11 2014 at 12:14
agda-bin_2.4.0.2-2_powerpc.deb	3.40Mb	August 11 2014 at 11:59
agda-mode_2.2.6-7_all.deb	39.12Kb	May 6 2010
agda-mode_2.3.0.1-2_all.deb	45.05Kb	May 26 2012
agda-mode_2.3.2.2-1_all.deb	46.38Kb	November 6 2013
agda-mode_2.4.0.2-2_all.deb	86.27Kb	August 11 2014 at 11:28
agda_2.2.6-7.debian.tar.gz	5.19Kb	May 6 2010
agda_2.2.6-7.dsc	2.24Kb	May 6 2010
agda_2.2.6.orig.tar.gz	414.44Kb	January 7 2010
agda_2.3.0.1-2.debian.tar.gz	6.71Kb	May 26 2012
agda_2.3.0.1-2.dsc	2.33Kb	May 26 2012
agda_2.3.0.1-2_all.deb	12.89Kb	May 26 2012
agda_2.3.0.1.orig.tar.gz	597.99Kb	March 12 2012
agda_2.3.2.2-1.debian.tar.gz	7.23Kb	November 6 2013
agda_2.3.2.2-1.dsc	3.21Kb	November 6 2013
agda_2.3.2.2-1_all.deb	17.12Kb	November 6 2013
agda_2.3.2.2.orig.tar.gz	1.94Mb	November 6 2013
agda_2.4.0.2-2.debian.tar.xz	7.17Kb	August 11 2014 at 11:28
agda_2.4.0.2-2.dsc	3.85Kb	August 11 2014 at 11:28
agda_2.4.0.2-2_all.deb	55.04Kb	August 11 2014 at 11:28

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