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

[ ] libghc-agda-dev_2.6.0.1-1build2_amd64.deb  18.78Mb  September 3 2019 at 06:23  [find mirrors]
[ ] libghc-agda-dev_2.6.0.1-1build2_arm64.deb  22.14Mb  September 3 2019 at 09:03  [find mirrors]
[ ] libghc-agda-dev_2.6.0.1-1build2_i386.deb  18.49Mb  September 3 2019 at 06:23  [find mirrors]
[ ] libghc-agda-dev_2.6.0.1-1build2_ppc64el.deb  27.50Mb  September 3 2019 at 06:43  [find mirrors]
[ ] libghc-agda-dev_2.6.0.1-1build2_s390x.deb  28.60Mb  September 3 2019 at 06:43  [find mirrors]
[ ] libghc-agda-doc_2.3.0.1-1build2_all.deb  1.61Mb  April 21 2012  [find mirrors]
[ ] libghc-agda-doc_2.3.2.2-1_all.deb  2.09Mb  November 6 2013  [find mirrors]
[ ] libghc-agda-doc_2.4.2.5-1build1_all.deb  2.08Mb  January 12 2016  [find mirrors]
[ ] libghc-agda-doc_2.5.2-2build1_all.deb  2.52Mb  July 15 2017  [find mirrors]
[ ] libghc-agda-doc_2.5.3-3build1_all.deb  2.62Mb  November 25 2017  [find mirrors]
[ ] libghc-agda-doc_2.5.3-5build3_all.deb  2.52Mb  July 5 2018  [find mirrors]
[ ] libghc-agda-doc_2.5.4.1-3_all.deb  3.50Mb  December 14 2018  [find mirrors]
[ ] libghc-agda-doc_2.6.0.1-1build2_all.deb  4.01Mb  September 3 2019 at 06:23  [find mirrors]

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