Index of ftp://mirror.atlantic.net/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.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 at 06:23  [find mirrors]
[ ] agda-bin_2.6.0.1-1build2_arm64.deb  7.43Mb  September 3 2019 at 09:03  [find mirrors]
[ ] agda-bin_2.6.0.1-1build2_i386.deb  6.34Mb  September 3 2019 at 06:23  [find mirrors]
[ ] agda-bin_2.6.0.1-1build2_ppc64el.deb  8.73Mb  September 3 2019 at 06:43  [find mirrors]
[ ] agda-bin_2.6.0.1-1build2_s390x.deb  14.79Mb  September 3 2019 at 06:43  [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 at 06:23  [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]
[ ] elpa-agda2-mode_2.6.0.1-1build2_all.deb  40.84Kb  September 3 2019 at 06:23  [find mirrors]
[ ] libghc-agda-dev_2.3.0.1-1build2_amd64.deb  12.43Mb  April 21 2012  [find mirrors]
[ ] libghc-agda-dev_2.3.0.1-1build2_armel.deb  17.86Mb  April 21 2012  [find mirrors]
[ ] libghc-agda-dev_2.3.0.1-1build2_armhf.deb  17.85Mb  April 21 2012  [find mirrors]
[ ] libghc-agda-dev_2.3.0.1-1build2_i386.deb  11.82Mb  April 21 2012  [find mirrors]
[ ] libghc-agda-dev_2.3.0.1-1build2_powerpc.deb  15.69Mb  April 21 2012  [find mirrors]
[ ] libghc-agda-dev_2.3.2.2-1_amd64.deb  12.96Mb  November 6 2013  [find mirrors]
[ ] libghc-agda-dev_2.3.2.2-1_i386.deb  12.31Mb  November 6 2013  [find mirrors]
[ ] libghc-agda-dev_2.3.2.2-1_powerpc.deb  14.83Mb  November 6 2013  [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 ->