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

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-stdlib_0.11-1_all.deb	16.69Mb	January 5 2016
agda-stdlib_0.11-1.debian.tar.xz	4.49Kb	January 4 2016
agda-stdlib_0.11-1.dsc	2.06Kb	January 4 2016
agda-stdlib_0.11.orig.tar.gz	247.32Kb	January 4 2016
agda-stdlib_0.13-1_all.deb	16.16Mb	July 10 2017
agda-stdlib_0.13-1.debian.tar.xz	4.92Kb	July 7 2017
agda-stdlib_0.13-1.dsc	2.04Kb	July 7 2017
agda-stdlib_0.13.orig.tar.gz	258.50Kb	July 7 2017
agda-stdlib_0.14-1_all.deb	17.32Mb	November 26 2017
agda-stdlib_0.14-1.debian.tar.xz	5.07Kb	November 26 2017
agda-stdlib_0.14-1.dsc	2.05Kb	November 26 2017
agda-stdlib_0.14.orig.tar.gz	278.69Kb	November 26 2017
agda-stdlib_0.17-1_all.deb	31.48Mb	December 14 2018
agda-stdlib_0.17-1.debian.tar.xz	5.19Kb	November 24 2018
agda-stdlib_0.17-1.dsc	2.18Kb	November 24 2018
agda-stdlib_0.17.orig.tar.gz	388.02Kb	November 24 2018
agda-stdlib_0.6-2_all.deb	16.17Mb	March 18 2012
agda-stdlib_0.6-2.debian.tar.gz	4.13Kb	March 18 2012
agda-stdlib_0.6-2.dsc	1.40Kb	March 18 2012
agda-stdlib_0.6.orig.tar.gz	211.20Kb	January 4 2012
agda-stdlib_0.7-2_all.deb	17.30Mb	May 27 2013
agda-stdlib_0.7-2.debian.tar.gz	4.35Kb	May 27 2013
agda-stdlib_0.7-2.dsc	2.03Kb	May 27 2013
agda-stdlib_0.7.orig.tar.gz	221.09Kb	April 10 2013
agda-stdlib_1.1-1_all.deb	45.19Mb	September 6 2019
agda-stdlib_1.1-1.debian.tar.xz	5.40Kb	September 6 2019
agda-stdlib_1.1-1.dsc	2.07Kb	September 6 2019
agda-stdlib_1.1.orig.tar.gz	556.74Kb	September 4 2019
agda-stdlib-doc_0.11-1_all.deb	1.21Mb	January 5 2016
agda-stdlib-doc_0.13-1_all.deb	1.27Mb	July 10 2017

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