Index of ftp://debian.mur.at/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.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-bin_2.6.2.2-1.1_amd64.deb	7.39Mb	December 6 2022 at 17:57
agda-bin_2.6.2.2-1.1_mips64el.deb	14.58Mb	December 6 2022 at 22:12
agda-bin_2.6.2.2-1.1_ppc64el.deb	10.12Mb	December 6 2022 at 18:28
agda-bin_2.6.2.2-1.1_s390x.deb	19.27Mb	December 6 2022 at 18:38
agda-mode_2.5.4.1-3_all.deb	114.92Kb	October 20 2018
agda_2.5.4.1-3.debian.tar.xz	9.70Kb	October 20 2018
agda_2.5.4.1-3.dsc	3.78Kb	October 20 2018
agda_2.5.4.1-3_all.deb	115.34Kb	October 20 2018
agda_2.5.4.1.orig.tar.gz	1.90Mb	September 30 2018
agda_2.6.1-1.debian.tar.xz	9.82Kb	July 29 2020
agda_2.6.1-1.dsc	4.09Kb	July 29 2020
agda_2.6.1-1_all.deb	28.06Kb	July 29 2020
agda_2.6.1.orig.tar.gz	2.52Mb	July 29 2020
agda_2.6.2.2-1.1.debian.tar.xz	10.25Kb	December 6 2022 at 16:40
agda_2.6.2.2-1.1.dsc	4.32Kb	December 6 2022 at 16:40
agda_2.6.2.2-1.1_all.deb	12.02Kb	December 6 2022 at 17:41
agda_2.6.2.2.orig.tar.gz	1.61Mb	August 6 2022

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