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

[ ] libghc-agda-dev_2.4.2.5-1build1_amd64.deb  10.18Mb  January 12 2016  [find mirrors]
[ ] libghc-agda-dev_2.4.2.5-1build1_arm64.deb  15.86Mb  January 13 2016  [find mirrors]
[ ] libghc-agda-dev_2.4.2.5-1build1_armhf.deb  13.18Mb  June 21 2017  [find mirrors]
[ ] libghc-agda-dev_2.4.2.5-1build1_i386.deb  10.05Mb  January 12 2016  [find mirrors]
[ ] libghc-agda-dev_2.4.2.5-1build1_powerpc.deb  10.09Mb  January 12 2016  [find mirrors]
[ ] libghc-agda-dev_2.4.2.5-1build1_ppc64el.deb  15.95Mb  January 12 2016  [find mirrors]
[ ] libghc-agda-dev_2.4.2.5-1build1_s390x.deb  16.37Mb  January 12 2016  [find mirrors]
[ ] libghc-agda-dev_2.5.2-2build1_amd64.deb  12.63Mb  July 15 2017  [find mirrors]
[ ] libghc-agda-dev_2.5.2-2build1_arm64.deb  19.03Mb  July 15 2017  [find mirrors]
[ ] libghc-agda-dev_2.5.2-2build1_armhf.deb  15.68Mb  July 15 2017  [find mirrors]
[ ] libghc-agda-dev_2.5.2-2build1_i386.deb  12.52Mb  July 15 2017  [find mirrors]
[ ] libghc-agda-dev_2.5.2-2build1_ppc64el.deb  17.04Mb  July 15 2017  [find mirrors]
[ ] libghc-agda-dev_2.5.2-2build1_s390x.deb  19.53Mb  July 15 2017  [find mirrors]
[ ] libghc-agda-dev_2.5.3-3build1_amd64.deb  15.14Mb  November 25 2017  [find mirrors]
[ ] libghc-agda-dev_2.5.3-3build1_arm64.deb  22.75Mb  November 25 2017  [find mirrors]
[ ] libghc-agda-dev_2.5.3-3build1_armhf.deb  18.66Mb  November 25 2017  [find mirrors]
[ ] libghc-agda-dev_2.5.3-3build1_i386.deb  14.87Mb  November 25 2017  [find mirrors]
[ ] libghc-agda-dev_2.5.3-3build1_ppc64el.deb  20.29Mb  November 25 2017  [find mirrors]
[ ] libghc-agda-dev_2.5.3-3build1_s390x.deb  23.53Mb  November 25 2017  [find mirrors]
[ ] libghc-agda-dev_2.5.3-5build3_amd64.deb  15.39Mb  July 5 2018  [find mirrors]
[ ] 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]

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