Index of ftp://apache.proserve.nl/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 03
+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_s390x.deb  12.60Mb  December 4 2018  [find mirrors]
[ ] agda-bin_2.6.0.1-1+b1_amd64.deb  6.39Mb  September 13 2019 at 14:58  [find mirrors]
[ ] agda-bin_2.6.0.1-1+b1_arm64.deb  7.55Mb  September 13 2019 at 17:10  [find mirrors]
[ ] agda-bin_2.6.0.1-1+b1_i386.deb  6.46Mb  September 13 2019 at 17:26  [find mirrors]
[ ] agda-bin_2.6.0.1-1+b1_ppc64el.deb  8.85Mb  September 13 2019 at 14:12  [find mirrors]
[ ] agda-bin_2.6.0.1-1+b1_s390x.deb  14.99Mb  September 13 2019 at 15:27  [find mirrors]
[ ] agda-bin_2.6.0.1-1_mips64el.deb  12.72Mb  September 17 2019 at 18:14  [find mirrors]
[ ] agda-bin_2.6.0.1-1_mipsel.deb  11.34Mb  September 30 2019 at 15:44  [find mirrors]
[ ] agda-mode_2.4.0.2-2_all.deb  86.27Kb  August 11 2014  [find mirrors]
[ ] agda-mode_2.5.1.1-3_all.deb  77.80Kb  October 29 2016  [find mirrors]
[ ] agda-mode_2.5.4.1-3_all.deb  114.92Kb  October 20 2018  [find mirrors]
[ ] agda-mode_2.6.0.1-1_all.deb  127.75Kb  August 31 2019 at 16:34  [find mirrors]
[ ] elpa-agda2-mode_2.5.1.1-3_all.deb  112.55Kb  October 29 2016  [find mirrors]
[ ] elpa-agda2-mode_2.5.4.1-3_all.deb  151.80Kb  October 20 2018  [find mirrors]
[ ] elpa-agda2-mode_2.6.0.1-1_all.deb  165.09Kb  August 31 2019 at 16:34  [find mirrors]
[ ] libghc-agda-dev_2.4.0.2-2+b1_amd64.deb  9.34Mb  September 7 2014  [find mirrors]
[ ] libghc-agda-dev_2.4.0.2-2+b1_i386.deb  9.23Mb  September 8 2014  [find mirrors]
[ ] libghc-agda-dev_2.5.1.1-3+b3_amd64.deb  12.25Mb  November 10 2016  [find mirrors]
[ ] libghc-agda-dev_2.5.1.1-3+b3_arm64.deb  18.84Mb  November 10 2016  [find mirrors]
[ ] libghc-agda-dev_2.5.1.1-3+b3_i386.deb  13.66Mb  November 10 2016  [find mirrors]
[ ] libghc-agda-dev_2.5.1.1-3+b3_s390x.deb  25.00Mb  November 10 2016  [find mirrors]
[ ] libghc-agda-dev_2.5.1.1-3_mips64el.deb  18.19Mb  November 20 2016  [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_mips64el.deb  23.40Mb  December 23 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_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]

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