Index of ftp://kebo.vlsm.org/ubuntu/pool/universe/a/agda

[DIR] Parent Directory

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

[ ] agda-bin_2.5.3-5build3_ppc64el.deb  7.44Mb  July 5 2018  [find mirrors]
[ ] agda-bin_2.5.3-5build3_s390x.deb  12.55Mb  July 5 2018  [find mirrors]
[ ] agda-bin_2.5.4.1-3_amd64.deb  5.49Mb  December 14 2018  [find mirrors]
[ ] agda-bin_2.5.4.1-3_arm64.deb  6.36Mb  December 14 2018  [find mirrors]
[ ] agda-bin_2.5.4.1-3_i386.deb  5.56Mb  December 14 2018  [find mirrors]
[ ] agda-bin_2.5.4.1-3_ppc64el.deb  7.48Mb  December 14 2018  [find mirrors]
[ ] agda-bin_2.5.4.1-3_s390x.deb  12.42Mb  December 14 2018  [find mirrors]
[ ] agda-bin_2.6.0.1-1build2_amd64.deb  6.27Mb  September 3 2019  [find mirrors]
[ ] agda-bin_2.6.0.1-1build2_arm64.deb  7.43Mb  September 3 2019  [find mirrors]
[ ] agda-bin_2.6.0.1-1build2_i386.deb  6.34Mb  September 3 2019  [find mirrors]
[ ] agda-bin_2.6.0.1-1build2_ppc64el.deb  8.73Mb  September 3 2019  [find mirrors]
[ ] agda-bin_2.6.0.1-1build2_s390x.deb  14.79Mb  September 3 2019  [find mirrors]
[ ] agda-bin_2.6.0.1-1build4_amd64.deb  6.27Mb  February 8 2020 at 13:19  [find mirrors]
[ ] agda-bin_2.6.0.1-1build4_arm64.deb  7.43Mb  February 8 2020 at 14:53  [find mirrors]
[ ] agda-bin_2.6.0.1-1build4_ppc64el.deb  8.72Mb  February 8 2020 at 12:35  [find mirrors]
[ ] agda-bin_2.6.0.1-1build4_riscv64.deb  17.30Mb  April 10 2020 at 17:03  [find mirrors]
[ ] agda-bin_2.6.0.1-1build4_s390x.deb  14.75Mb  February 8 2020 at 13:07  [find mirrors]
[ ] agda-mode_2.3.0.1-1build2_all.deb  39.87Kb  April 21 2012  [find mirrors]
[ ] agda-mode_2.3.2.2-1_all.deb  46.95Kb  November 6 2013  [find mirrors]
[ ] agda-mode_2.4.2.5-1build1_all.deb  36.40Kb  January 12 2016  [find mirrors]
[ ] agda-mode_2.5.2-2build1_all.deb  4.01Kb  July 15 2017  [find mirrors]
[ ] agda-mode_2.5.3-3build1_all.deb  3.50Kb  November 25 2017  [find mirrors]
[ ] agda-mode_2.5.3-5build3_all.deb  3.49Kb  July 5 2018  [find mirrors]
[ ] agda-mode_2.5.4.1-3_all.deb  3.61Kb  December 14 2018  [find mirrors]
[ ] agda-mode_2.6.0.1-1build2_all.deb  3.58Kb  September 3 2019  [find mirrors]
[ ] agda-mode_2.6.0.1-1build4_all.deb  3.56Kb  February 8 2020 at 13:19  [find mirrors]
[ ] elpa-agda2-mode_2.5.2-2build1_all.deb  39.80Kb  July 15 2017  [find mirrors]
[ ] elpa-agda2-mode_2.5.3-3build1_all.deb  39.89Kb  November 25 2017  [find mirrors]
[ ] elpa-agda2-mode_2.5.3-5build3_all.deb  39.92Kb  July 5 2018  [find mirrors]
[ ] elpa-agda2-mode_2.5.4.1-3_all.deb  40.46Kb  December 14 2018  [find mirrors]

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