Index of ftp://kebo.vlsm.org/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 05
+01 +02 +03 +04 +05 +06 +07 +08 +09 +10 +11 +12 +13 +14 +15	<- Back | Next page ->

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.orig.tar.gz	597.99Kb	March 18 2012
agda_2.3.2.2-1_all.deb	2.93Kb	November 6 2013
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.orig.tar.gz	1.94Mb	November 6 2013
agda_2.4.2.5-1build1_all.deb	2.90Kb	January 12 2016
agda_2.4.2.5-1build1.debian.tar.xz	7.66Kb	January 12 2016
agda_2.4.2.5-1build1.dsc	3.74Kb	January 12 2016
agda_2.4.2.5.orig.tar.gz	1007.25Kb	January 4 2016
agda_2.5.2-2build1_all.deb	2.89Kb	July 15 2017
agda_2.5.2-2build1.debian.tar.xz	8.86Kb	July 15 2017
agda_2.5.2-2build1.dsc	3.98Kb	July 15 2017
agda_2.5.2.orig.tar.gz	1.18Mb	July 7 2017
agda_2.5.3-3build1_all.deb	2.98Kb	November 25 2017
agda_2.5.3-3build1.debian.tar.xz	9.57Kb	November 25 2017
agda_2.5.3-3build1.dsc	4.46Kb	November 25 2017
agda_2.5.3-5build3_all.deb	2.98Kb	July 5 2018
agda_2.5.3-5build3.debian.tar.xz	9.89Kb	July 5 2018
agda_2.5.3-5build3.dsc	4.41Kb	July 5 2018
agda_2.5.3.orig.tar.gz	1.15Mb	November 1 2017
agda_2.5.4.1-3_all.deb	4.02Kb	December 14 2018
agda_2.5.4.1-3.debian.tar.xz	9.70Kb	December 14 2018
agda_2.5.4.1-3.dsc	3.78Kb	December 14 2018
agda_2.5.4.1.orig.tar.gz	1.90Mb	December 14 2018
agda_2.6.0.1-1build2_all.deb	3.98Kb	September 3 2019
agda_2.6.0.1-1build2.debian.tar.xz	9.90Kb	September 3 2019
agda_2.6.0.1-1build2.dsc	4.20Kb	September 3 2019

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