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

[ GZ] agda_2.6.0.1.orig.tar.gz  2.26Mb  September 1 2019 at 12:43  [find mirrors]
[ ] agda-bin_2.3.2.2-1_amd64.deb  5.22Mb  November 6 2013  [find mirrors]
[ ] agda-bin_2.3.2.2-1_i386.deb  4.86Mb  November 6 2013  [find mirrors]
[ ] agda-bin_2.3.2.2-1_powerpc.deb  5.10Mb  November 6 2013  [find mirrors]
[ ] agda-bin_2.4.2.5-1build1_amd64.deb  4.58Mb  January 12 2016  [find mirrors]
[ ] agda-bin_2.4.2.5-1build1_arm64.deb  7.59Mb  January 13 2016  [find mirrors]
[ ] agda-bin_2.4.2.5-1build1_armhf.deb  6.01Mb  June 21 2017  [find mirrors]
[ ] agda-bin_2.4.2.5-1build1_i386.deb  4.56Mb  January 12 2016  [find mirrors]
[ ] agda-bin_2.4.2.5-1build1_powerpc.deb  4.10Mb  January 12 2016  [find mirrors]
[ ] agda-bin_2.4.2.5-1build1_ppc64el.deb  6.42Mb  January 12 2016  [find mirrors]
[ ] agda-bin_2.4.2.5-1build1_s390x.deb  11.19Mb  January 12 2016  [find mirrors]
[ ] agda-bin_2.5.2-2build1_amd64.deb  4.75Mb  July 15 2017  [find mirrors]
[ ] agda-bin_2.5.2-2build1_arm64.deb  7.75Mb  July 15 2017  [find mirrors]
[ ] agda-bin_2.5.2-2build1_armhf.deb  6.28Mb  July 15 2017  [find mirrors]
[ ] agda-bin_2.5.2-2build1_i386.deb  4.79Mb  July 15 2017  [find mirrors]
[ ] agda-bin_2.5.2-2build1_ppc64el.deb  5.71Mb  July 15 2017  [find mirrors]
[ ] agda-bin_2.5.2-2build1_s390x.deb  11.16Mb  July 15 2017  [find mirrors]
[ ] agda-bin_2.5.3-3build1_amd64.deb  5.46Mb  November 25 2017  [find mirrors]
[ ] agda-bin_2.5.3-3build1_arm64.deb  8.67Mb  November 25 2017  [find mirrors]
[ ] agda-bin_2.5.3-3build1_armhf.deb  6.99Mb  November 25 2017  [find mirrors]
[ ] agda-bin_2.5.3-3build1_i386.deb  5.47Mb  November 25 2017  [find mirrors]
[ ] agda-bin_2.5.3-3build1_ppc64el.deb  6.41Mb  November 25 2017  [find mirrors]
[ ] agda-bin_2.5.3-3build1_s390x.deb  12.67Mb  November 25 2017  [find mirrors]
[ ] agda-bin_2.5.3-5build3_amd64.deb  5.49Mb  July 5 2018  [find mirrors]
[ ] agda-bin_2.5.3-5build3_arm64.deb  6.24Mb  July 5 2018  [find mirrors]
[ ] agda-bin_2.5.3-5build3_armhf.deb  5.95Mb  July 5 2018  [find mirrors]
[ ] agda-bin_2.5.3-5build3_i386.deb  5.58Mb  July 5 2018  [find mirrors]
[ ] 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]

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