Index of ftp://ftp.ru.debian.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.4.0.2-2+b1_amd64.deb	3.74Mb	September 7 2014
agda-bin_2.4.0.2-2+b1_i386.deb	3.59Mb	September 8 2014
agda-bin_2.5.1.1-3+b3_amd64.deb	5.88Mb	November 10 2016
agda-bin_2.5.1.1-3+b3_arm64.deb	10.76Mb	November 10 2016
agda-bin_2.5.1.1-3+b3_i386.deb	6.01Mb	November 10 2016
agda-bin_2.5.1.1-3+b3_s390x.deb	21.21Mb	November 10 2016
agda-bin_2.5.1.1-3_mips64el.deb	9.47Mb	November 20 2016
agda-bin_2.5.4.1-3+b1_amd64.deb	5.60Mb	December 4 2018
agda-bin_2.5.4.1-3+b1_arm64.deb	6.47Mb	December 4 2018
agda-bin_2.5.4.1-3+b1_i386.deb	5.67Mb	December 4 2018
agda-bin_2.5.4.1-3+b1_mips.deb	9.26Mb	December 6 2018
agda-bin_2.5.4.1-3+b1_mips64el.deb	10.68Mb	December 23 2018
agda-bin_2.5.4.1-3+b1_mipsel.deb	9.57Mb	December 24 2018
agda-bin_2.5.4.1-3+b1_ppc64el.deb	7.60Mb	December 4 2018
agda-bin_2.5.4.1-3+b1_s390x.deb	12.60Mb	December 4 2018
agda-bin_2.6.1-1+b2_amd64.deb	8.50Mb	August 19 2020
agda-bin_2.6.1-1+b2_arm64.deb	9.89Mb	August 19 2020
agda-bin_2.6.1-1+b2_i386.deb	8.55Mb	August 19 2020
agda-bin_2.6.1-1+b2_ppc64el.deb	11.75Mb	August 19 2020
agda-bin_2.6.1-1+b3_s390x.deb	22.73Mb	August 20 2020
agda-mode_2.4.0.2-2_all.deb	86.27Kb	August 11 2014
agda-mode_2.5.1.1-3_all.deb	77.80Kb	October 29 2016
agda-mode_2.5.4.1-3_all.deb	114.92Kb	October 20 2018
agda-mode_2.6.0.1-1_all.deb	127.75Kb	August 31 2019
agda_2.4.0.2-2.debian.tar.xz	7.17Kb	August 11 2014
agda_2.4.0.2-2.dsc	3.85Kb	August 11 2014
agda_2.4.0.2-2_all.deb	55.04Kb	August 11 2014
agda_2.4.0.2.orig.tar.gz	889.05Kb	August 5 2014
agda_2.5.1.1-3.debian.tar.xz	8.81Kb	October 28 2016
agda_2.5.1.1-3.dsc	4.11Kb	October 28 2016

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