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 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.5.3-5build3_arm64.deb  17.63Mb  July 5 2018  [find mirrors]
[ ] libghc-agda-dev_2.5.3-5build3_armhf.deb  18.23Mb  July 5 2018  [find mirrors]
[ ] libghc-agda-dev_2.5.3-5build3_i386.deb  14.98Mb  July 5 2018  [find mirrors]
[ ] libghc-agda-dev_2.5.3-5build3_ppc64el.deb  22.19Mb  July 5 2018  [find mirrors]
[ ] libghc-agda-dev_2.5.3-5build3_s390x.deb  23.47Mb  July 5 2018  [find mirrors]
[ ] libghc-agda-dev_2.5.4.1-3_amd64.deb  16.26Mb  December 14 2018  [find mirrors]
[ ] libghc-agda-dev_2.5.4.1-3_arm64.deb  18.71Mb  December 14 2018  [find mirrors]
[ ] libghc-agda-dev_2.5.4.1-3_i386.deb  15.91Mb  December 14 2018  [find mirrors]
[ ] libghc-agda-dev_2.5.4.1-3_ppc64el.deb  23.33Mb  December 14 2018  [find mirrors]
[ ] libghc-agda-dev_2.5.4.1-3_s390x.deb  24.48Mb  December 14 2018  [find mirrors]
[ ] libghc-agda-dev_2.6.0.1-1build2_amd64.deb  18.78Mb  September 3 2019  [find mirrors]
[ ] libghc-agda-dev_2.6.0.1-1build2_arm64.deb  22.14Mb  September 3 2019  [find mirrors]
[ ] libghc-agda-dev_2.6.0.1-1build2_i386.deb  18.49Mb  September 3 2019  [find mirrors]
[ ] libghc-agda-dev_2.6.0.1-1build2_ppc64el.deb  27.50Mb  September 3 2019  [find mirrors]
[ ] libghc-agda-dev_2.6.0.1-1build2_s390x.deb  28.60Mb  September 3 2019  [find mirrors]
[ ] libghc-agda-dev_2.6.0.1-1build4_amd64.deb  18.77Mb  February 8 2020 at 13:19  [find mirrors]
[ ] libghc-agda-dev_2.6.0.1-1build4_arm64.deb  22.13Mb  February 8 2020 at 14:53  [find mirrors]
[ ] libghc-agda-dev_2.6.0.1-1build4_ppc64el.deb  27.50Mb  February 8 2020 at 12:35  [find mirrors]
[ ] libghc-agda-dev_2.6.0.1-1build4_riscv64.deb  41.94Mb  April 10 2020 at 17:03  [find mirrors]
[ ] libghc-agda-dev_2.6.0.1-1build4_s390x.deb  28.51Mb  February 8 2020 at 13:07  [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  [find mirrors]
[ ] libghc-agda-doc_2.6.0.1-1build4_all.deb  4.01Mb  February 8 2020 at 13:19  [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 ->