Index of ftp://ftp.linux.it/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 02
+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
agda-bin_2.4.0.2-2+b1_amd64.deb	3.74Mb	September 7 2014 at 19:27
agda-bin_2.4.0.2-2+b1_hurd-i386.deb	4.14Mb	September 18 2014 at 15:19
agda-bin_2.4.0.2-2+b1_i386.deb	3.59Mb	September 8 2014 at 08:57
agda-bin_2.4.0.2-2+b1_kfreebsd-amd64.deb	4.31Mb	September 8 2014 at 08:57
agda-bin_2.4.0.2-2+b1_kfreebsd-i386.deb	4.14Mb	September 8 2014 at 08:47
agda-bin_2.4.0.2-2+b1_powerpc.deb	3.40Mb	September 8 2014 at 09:12
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 12: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 12:28
agda_2.4.0.2-2.dsc	3.85Kb	August 11 2014 at 12:28
agda_2.4.0.2-2_all.deb	55.04Kb	August 11 2014 at 12:28
agda_2.4.0.2.orig.tar.gz	889.05Kb	August 5 2014 at 10:23
libghc-agda-dev_2.3.0.1-2+b1_amd64.deb	12.44Mb	May 28 2012
libghc-agda-dev_2.3.0.1-2_armel.deb	16.78Mb	May 27 2012
libghc-agda-dev_2.3.0.1-2_armhf.deb	17.86Mb	May 27 2012
libghc-agda-dev_2.3.0.1-2_i386.deb	11.83Mb	May 26 2012

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