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

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