Index of ftp://ftp2.ca.FreeBSD.org/debian/pool/main/a/acl2/

[DIR] Parent Directory

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

[ ] acl2-infix_6.4-4_armhf.deb  417.21Kb  May 20 2014 at 21:55  [find mirrors]
[ ] acl2-infix_6.4-4_i386.deb  143.19Kb  May 18 2014 at 06:11  [find mirrors]
[ ] acl2-infix_6.4-4_kfreebsd-amd64.deb  145.67Kb  May 18 2014 at 09:12  [find mirrors]
[ ] acl2-infix_6.4-4_kfreebsd-i386.deb  142.62Kb  May 18 2014 at 12:13  [find mirrors]
[ ] acl2-infix_6.4-4_mips.deb  140.42Kb  May 20 2014 at 16:58  [find mirrors]
[ ] acl2-infix_6.4-4_mipsel.deb  144.11Kb  May 19 2014 at 08:27  [find mirrors]
[ ] acl2-infix_6.4-4_powerpc.deb  136.97Kb  May 18 2014 at 22:56  [find mirrors]
[ ] acl2-infix_6.4-4_s390x.deb  143.92Kb  May 18 2014 at 11:58  [find mirrors]
[ ] acl2-infix_6.5-2_amd64.deb  146.50Kb  September 8 2014 at 14:35  [find mirrors]
[ ] acl2-infix_6.5-2_armel.deb  402.67Kb  September 9 2014 at 11:25  [find mirrors]
[ ] acl2-infix_6.5-2_armhf.deb  424.39Kb  September 12 2014 at 10:12  [find mirrors]
[ ] acl2-infix_6.5-2_i386.deb  148.02Kb  September 8 2014 at 21:44  [find mirrors]
[ ] acl2-infix_6.5-2_kfreebsd-amd64.deb  145.07Kb  September 9 2014 at 06:43  [find mirrors]
[ ] acl2-infix_6.5-2_kfreebsd-i386.deb  147.49Kb  September 9 2014 at 10:04  [find mirrors]
[ ] acl2-infix_6.5-2_powerpc.deb  136.43Kb  September 8 2014 at 17:57  [find mirrors]
[ ] acl2-infix_6.5-2_ppc64el.deb  152.28Kb  September 9 2014 at 04:07  [find mirrors]
[ ] acl2-infix_6.5-2_s390x.deb  137.81Kb  September 9 2014 at 00:46  [find mirrors]
[ ] acl2-infix_6.5-2_sparc.deb  135.50Kb  September 10 2014 at 02:14  [find mirrors]
[ ] acl2-source_4.0-3_all.deb  2.89Mb  July 9 2010  [find mirrors]
[ ] acl2-source_4.3-3_all.deb  3.14Mb  April 20 2012  [find mirrors]
[ ] acl2-source_6.4-4_all.deb  2.60Mb  May 18 2014 at 03:36  [find mirrors]
[ ] acl2-source_6.5-2_all.deb  2.64Mb  September 8 2014 at 14:35  [find mirrors]
[ GZ] acl2_4.0-3.diff.gz  15.58Kb  July 9 2010  [find mirrors]
[ ] acl2_4.0-3.dsc  1.14Kb  July 9 2010  [find mirrors]
[ ] acl2_4.0-3_amd64.deb  25.02Mb  July 9 2010  [find mirrors]
[ ] acl2_4.0-3_armel.deb  22.43Mb  July 11 2010  [find mirrors]
[ ] acl2_4.0-3_i386.deb  21.33Mb  July 9 2010  [find mirrors]
[ ] acl2_4.0-3_ia64.deb  23.76Mb  July 10 2010  [find mirrors]
[ ] acl2_4.0-3_kfreebsd-amd64.deb  25.00Mb  July 9 2010  [find mirrors]
[ ] acl2_4.0-3_kfreebsd-i386.deb  21.22Mb  July 9 2010  [find mirrors]

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