Index of ftp://ftp2.ca.FreeBSD.org/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 ->

[ GZ] agda_2.4.0.2.orig.tar.gz  889.05Kb  August 5 2014 at 09:23  [find mirrors]
[ ] libghc-agda-dev_2.3.0.1-2+b1_amd64.deb  12.44Mb  May 27 2012  [find mirrors]
[ ] libghc-agda-dev_2.3.0.1-2_armel.deb  16.78Mb  May 27 2012  [find mirrors]
[ ] libghc-agda-dev_2.3.0.1-2_armhf.deb  17.86Mb  May 27 2012  [find mirrors]
[ ] libghc-agda-dev_2.3.0.1-2_i386.deb  11.83Mb  May 26 2012  [find mirrors]
[ ] 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 26 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 at 10:57  [find mirrors]
[ ] libghc-agda-dev_2.4.0.2-2+b1_amd64.deb  9.34Mb  September 7 2014 at 18:27  [find mirrors]
[ ] libghc-agda-dev_2.4.0.2-2+b1_i386.deb  9.23Mb  September 8 2014 at 07:57  [find mirrors]
[ ] libghc-agda-dev_2.4.0.2-2+b1_kfreebsd-amd64.deb  9.34Mb  September 8 2014 at 07:57  [find mirrors]
[ ] libghc-agda-dev_2.4.0.2-2+b1_kfreebsd-i386.deb  9.19Mb  September 8 2014 at 07:47  [find mirrors]
[ ] libghc-agda-dev_2.4.0.2-2+b1_powerpc.deb  9.17Mb  September 8 2014 at 08:12  [find mirrors]
[ ] libghc-agda-dev_2.4.0.2-2_amd64.deb  9.34Mb  August 11 2014 at 11:28  [find mirrors]
[ ] libghc-agda-dev_2.4.0.2-2_hurd-i386.deb  9.02Mb  August 11 2014 at 12:44  [find mirrors]
[ ] libghc-agda-dev_2.4.0.2-2_i386.deb  9.19Mb  August 11 2014 at 11:59  [find mirrors]
[ ] libghc-agda-dev_2.4.0.2-2_kfreebsd-amd64.deb  9.31Mb  August 11 2014 at 12:14  [find mirrors]
[ ] libghc-agda-dev_2.4.0.2-2_kfreebsd-i386.deb  9.20Mb  August 11 2014 at 12:14  [find mirrors]
[ ] libghc-agda-dev_2.4.0.2-2_powerpc.deb  9.16Mb  August 11 2014 at 11:59  [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 11: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]

-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 ->