Index of ftp://linux3.cc.ntu.edu.tw/debian/pool/main/a/agda

[DIR] Parent Directory

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

[ ] agda-bin_2.4.0.2-2+b1_amd64.deb  3.74Mb  September 7 2014
[ ] agda-bin_2.4.0.2-2+b1_i386.deb  3.59Mb  September 8 2014
[ ] agda-bin_2.5.1.1-3+b3_amd64.deb  5.88Mb  November 10 2016
[ ] agda-bin_2.5.1.1-3+b3_arm64.deb  10.76Mb  November 10 2016
[ ] agda-bin_2.5.1.1-3+b3_i386.deb  6.01Mb  November 10 2016
[ ] agda-bin_2.5.1.1-3+b3_s390x.deb  21.21Mb  November 10 2016
[ ] agda-bin_2.5.1.1-3_mips64el.deb  9.47Mb  November 20 2016
[ ] agda-bin_2.5.4.1-3+b1_amd64.deb  5.60Mb  December 4 2018
[ ] agda-bin_2.5.4.1-3+b1_arm64.deb  6.47Mb  December 4 2018
[ ] agda-bin_2.5.4.1-3+b1_i386.deb  5.67Mb  December 4 2018
[ ] agda-bin_2.5.4.1-3+b1_mips.deb  9.26Mb  December 6 2018
[ ] agda-bin_2.5.4.1-3+b1_mips64el.deb  10.68Mb  December 23 2018
[ ] agda-bin_2.5.4.1-3+b1_mipsel.deb  9.57Mb  December 24 2018
[ ] agda-bin_2.5.4.1-3+b1_ppc64el.deb  7.60Mb  December 4 2018
[ ] agda-bin_2.5.4.1-3+b1_s390x.deb  12.60Mb  December 4 2018
[ ] agda-bin_2.6.0.1-1+b1_amd64.deb  6.39Mb  September 13 2019 at 14:58
[ ] agda-bin_2.6.0.1-1+b1_arm64.deb  7.55Mb  September 13 2019 at 17:10
[ ] agda-bin_2.6.0.1-1+b1_i386.deb  6.46Mb  September 13 2019 at 17:26
[ ] agda-bin_2.6.0.1-1+b1_ppc64el.deb  8.85Mb  September 13 2019 at 14:12
[ ] agda-bin_2.6.0.1-1+b1_s390x.deb  14.99Mb  September 13 2019 at 15:27
[ ] agda-bin_2.6.0.1-1_mips64el.deb  12.72Mb  September 17 2019 at 18:14
[ ] agda-bin_2.6.0.1-1_mipsel.deb  11.34Mb  September 30 2019 at 15:44
[ ] agda-mode_2.4.0.2-2_all.deb  86.27Kb  August 11 2014
[ ] agda-mode_2.5.1.1-3_all.deb  77.80Kb  October 29 2016
[ ] agda-mode_2.5.4.1-3_all.deb  114.92Kb  October 20 2018
[ ] agda-mode_2.6.0.1-1_all.deb  127.75Kb  August 31 2019 at 16:34
[ ] agda_2.4.0.2-2.debian.tar.xz  7.17Kb  August 11 2014
[ ] agda_2.4.0.2-2.dsc  3.85Kb  August 11 2014
[ ] agda_2.4.0.2-2_all.deb  55.04Kb  August 11 2014
[ GZ] agda_2.4.0.2.orig.tar.gz  889.05Kb  August 5 2014

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