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

[ ] libghc-agda-dev_2.3.0.1-2_kfreebsd-amd64.deb  12.44Mb  May 27 2012  [find mirrors]
[ ] libghc-agda-dev_2.3.0.1-2_kfreebsd-i386.deb  11.82Mb  May 27 2012  [find mirrors]
[ ] libghc-agda-dev_2.3.0.1-2_powerpc.deb  15.70Mb  May 27 2012  [find mirrors]
[ ] libghc-agda-dev_2.3.0.1-2_s390x.deb  22.75Mb  May 27 2012  [find mirrors]
[ ] libghc-agda-dev_2.3.0.1-2_sparc.deb  24.16Mb  June 2 2012  [find mirrors]
[ ] libghc-agda-dev_2.3.2.2-1+b1_sparc.deb  11.40Mb  June 11 2014  [find mirrors]
[ ] libghc-agda-dev_2.4.0.2-2+b1_amd64.deb  9.34Mb  September 7 2014 at 19:27  [find mirrors]
[ ] libghc-agda-dev_2.4.0.2-2+b1_hurd-i386.deb  9.02Mb  September 18 2014 at 15:19  [find mirrors]
[ ] libghc-agda-dev_2.4.0.2-2+b1_i386.deb  9.23Mb  September 8 2014 at 08:57  [find mirrors]
[ ] libghc-agda-dev_2.4.0.2-2+b1_kfreebsd-amd64.deb  9.34Mb  September 8 2014 at 08:57  [find mirrors]
[ ] libghc-agda-dev_2.4.0.2-2+b1_kfreebsd-i386.deb  9.19Mb  September 8 2014 at 08:47  [find mirrors]
[ ] libghc-agda-dev_2.4.0.2-2+b1_powerpc.deb  9.17Mb  September 8 2014 at 09:12  [find mirrors]
[ ] libghc-agda-doc_2.3.0.1-2_all.deb  1.67Mb  May 26 2012  [find mirrors]
[ ] libghc-agda-doc_2.3.2.2-1_all.deb  1.41Mb  November 6 2013  [find mirrors]
[ ] libghc-agda-doc_2.4.0.2-2_all.deb  1.87Mb  August 11 2014 at 12:28  [find mirrors]
[ ] libghc6-agda-dev_2.2.6-7_amd64.deb  9.59Mb  May 6 2010  [find mirrors]
[ ] libghc6-agda-dev_2.2.6-7_armel.deb  15.58Mb  May 6 2010  [find mirrors]
[ ] libghc6-agda-dev_2.2.6-7_i386.deb  9.08Mb  May 6 2010  [find mirrors]
[ ] libghc6-agda-dev_2.2.6-7_kfreebsd-amd64.deb  9.58Mb  May 6 2010  [find mirrors]
[ ] libghc6-agda-dev_2.2.6-7_kfreebsd-i386.deb  9.09Mb  May 6 2010  [find mirrors]
[ ] libghc6-agda-dev_2.2.6-7_mips.deb  17.84Mb  May 6 2010  [find mirrors]
[ ] libghc6-agda-dev_2.2.6-7_mipsel.deb  16.69Mb  May 6 2010  [find mirrors]
[ ] libghc6-agda-dev_2.2.6-7_powerpc.deb  12.57Mb  May 6 2010  [find mirrors]
[ ] libghc6-agda-dev_2.2.6-7_s390.deb  16.06Mb  May 6 2010  [find mirrors]
[ ] libghc6-agda-dev_2.2.6-7_sparc.deb  16.90Mb  May 12 2010  [find mirrors]
[ ] libghc6-agda-doc_2.2.6-7_all.deb  1.05Mb  May 6 2010  [find mirrors]

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