Index of ftp://ftp.fr.debian.org/debian/pool/main/a/agda

[DIR] Parent Directory

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

[ ] elpa-agda2-mode_2.5.4.1-3_all.deb  151.80Kb  October 20 2018  [find mirrors]
[ ] elpa-agda2-mode_2.6.1-1_all.deb  65.25Kb  July 29 2020  [find mirrors]
[ ] elpa-agda2-mode_2.6.2.2-1.1_all.deb  49.75Kb  December 6 2022  [find mirrors]
[ ] libghc-agda-dev_2.5.4.1-3+b1_amd64.deb  16.38Mb  December 4 2018  [find mirrors]
[ ] libghc-agda-dev_2.5.4.1-3+b1_arm64.deb  18.82Mb  December 4 2018  [find mirrors]
[ ] libghc-agda-dev_2.5.4.1-3+b1_i386.deb  16.02Mb  December 4 2018  [find mirrors]
[ ] libghc-agda-dev_2.5.4.1-3+b1_mips.deb  21.31Mb  December 6 2018  [find mirrors]
[ ] libghc-agda-dev_2.5.4.1-3+b1_mips64el.deb  23.40Mb  December 23 2018  [find mirrors]
[ ] libghc-agda-dev_2.5.4.1-3+b1_mipsel.deb  21.96Mb  December 24 2018  [find mirrors]
[ ] libghc-agda-dev_2.5.4.1-3+b1_ppc64el.deb  23.40Mb  December 4 2018  [find mirrors]
[ ] libghc-agda-dev_2.5.4.1-3+b1_s390x.deb  24.78Mb  December 4 2018  [find mirrors]
[ ] libghc-agda-dev_2.6.1-1+b2_amd64.deb  36.19Mb  August 19 2020  [find mirrors]
[ ] libghc-agda-dev_2.6.1-1+b2_arm64.deb  42.74Mb  August 19 2020  [find mirrors]
[ ] libghc-agda-dev_2.6.1-1+b2_i386.deb  36.33Mb  August 19 2020  [find mirrors]
[ ] libghc-agda-dev_2.6.1-1+b2_ppc64el.deb  53.28Mb  August 19 2020  [find mirrors]
[ ] libghc-agda-dev_2.6.1-1+b3_s390x.deb  55.30Mb  August 20 2020  [find mirrors]
[ ] libghc-agda-dev_2.6.2.2-1.1_amd64.deb  23.70Mb  December 6 2022  [find mirrors]
[ ] libghc-agda-dev_2.6.2.2-1.1_mips64el.deb  34.79Mb  December 6 2022  [find mirrors]
[ ] libghc-agda-dev_2.6.2.2-1.1_ppc64el.deb  34.53Mb  December 6 2022  [find mirrors]
[ ] libghc-agda-dev_2.6.2.2-1.1_s390x.deb  37.74Mb  December 6 2022  [find mirrors]
[ ] libghc-agda-doc_2.5.4.1-3_all.deb  3.62Mb  October 20 2018  [find mirrors]
[ ] libghc-agda-doc_2.6.1-1_all.deb  5.53Mb  July 29 2020  [find mirrors]
[ ] libghc-agda-doc_2.6.2.2-1.1_all.deb  6.29Mb  December 6 2022  [find mirrors]

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