Index of ftp://debian.linux.org.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 02 of 03
+01 +02 +03 +04 +05 +06 +07 +08 +09 +10 +11 +12 +13 +14 +15   <- Back | Next page ->

[ ] agda_2.5.1.1-3.debian.tar.xz  8.81Kb  October 28 2016  [find mirrors]
[ ] agda_2.5.1.1-3.dsc  4.11Kb  October 28 2016  [find mirrors]
[ ] agda_2.5.1.1-3_all.deb  78.21Kb  October 29 2016  [find mirrors]
[ GZ] agda_2.5.1.1.orig.tar.gz  1.12Mb  October 16 2016  [find mirrors]
[ ] agda_2.5.4.1-3.debian.tar.xz  9.70Kb  October 20 2018  [find mirrors]
[ ] agda_2.5.4.1-3.dsc  3.78Kb  October 20 2018  [find mirrors]
[ ] agda_2.5.4.1-3_all.deb  115.34Kb  October 20 2018  [find mirrors]
[ GZ] agda_2.5.4.1.orig.tar.gz  1.90Mb  September 30 2018  [find mirrors]
[ ] agda_2.6.0.1-1.debian.tar.xz  9.78Kb  August 31 2019 at 14:18  [find mirrors]
[ ] agda_2.6.0.1-1.dsc  4.09Kb  August 31 2019 at 14:18  [find mirrors]
[ ] agda_2.6.0.1-1_all.deb  128.16Kb  August 31 2019 at 16:34  [find mirrors]
[ GZ] agda_2.6.0.1.orig.tar.gz  2.26Mb  August 31 2019 at 14:18  [find mirrors]
[ ] elpa-agda2-mode_2.5.1.1-3_all.deb  112.55Kb  October 29 2016  [find mirrors]
[ ] elpa-agda2-mode_2.5.4.1-3_all.deb  151.80Kb  October 20 2018  [find mirrors]
[ ] elpa-agda2-mode_2.6.0.1-1_all.deb  165.09Kb  August 31 2019 at 16:34  [find mirrors]
[ ] libghc-agda-dev_2.4.0.2-2+b1_amd64.deb  9.34Mb  September 7 2014  [find mirrors]
[ ] libghc-agda-dev_2.4.0.2-2+b1_i386.deb  9.23Mb  September 8 2014  [find mirrors]
[ ] libghc-agda-dev_2.5.1.1-3+b3_amd64.deb  12.25Mb  November 10 2016  [find mirrors]
[ ] libghc-agda-dev_2.5.1.1-3+b3_arm64.deb  18.84Mb  November 10 2016  [find mirrors]
[ ] libghc-agda-dev_2.5.1.1-3+b3_i386.deb  13.66Mb  November 10 2016  [find mirrors]
[ ] libghc-agda-dev_2.5.1.1-3+b3_s390x.deb  25.00Mb  November 10 2016  [find mirrors]
[ ] libghc-agda-dev_2.5.1.1-3_mips64el.deb  18.19Mb  November 20 2016  [find mirrors]
[ ] libghc-agda-dev_2.5.4.1-3+b1_amd64.deb  16.38Mb  December 4 2018  [find mirrors]
[ ] libghc-agda-dev_2.5.4.1-3+b1_arm64.deb  18.82Mb  December 4 2018  [find mirrors]
[ ] libghc-agda-dev_2.5.4.1-3+b1_i386.deb  16.02Mb  December 4 2018  [find mirrors]
[ ] libghc-agda-dev_2.5.4.1-3+b1_mips.deb  21.31Mb  December 6 2018  [find mirrors]
[ ] libghc-agda-dev_2.5.4.1-3+b1_mips64el.deb  23.40Mb  December 23 2018  [find mirrors]
[ ] libghc-agda-dev_2.5.4.1-3+b1_mipsel.deb  21.96Mb  December 24 2018  [find mirrors]
[ ] libghc-agda-dev_2.5.4.1-3+b1_ppc64el.deb  23.40Mb  December 4 2018  [find mirrors]
[ ] libghc-agda-dev_2.5.4.1-3+b1_s390x.deb  24.78Mb  December 4 2018  [find mirrors]

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