Index of ftp://ftp.linux.it/debian/pool/main/a/acl2

[DIR] Parent Directory

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

[ ] acl2-infix_6.5-2_s390x.deb  137.81Kb  September 9 2014 at 01:46  [find mirrors]
[ ] acl2-infix_6.5-2~bpo70+1_amd64.deb  219.28Kb  January 14 2015 at 17:26  [find mirrors]
[ ] acl2-infix_6.5-5_arm64.deb  152.02Kb  October 28 2014 at 03:12  [find mirrors]
[ ] acl2-infix_6.5-5_armel.deb  409.75Kb  October 30 2014 at 15:28  [find mirrors]
[ ] acl2-infix_6.5-5_armhf.deb  434.03Kb  November 1 2014 at 18:11  [find mirrors]
[ ] acl2-infix_6.5-5_kfreebsd-amd64.deb  147.09Kb  October 27 2014 at 19:25  [find mirrors]
[ ] acl2-infix_6.5-5_mips.deb  146.97Kb  November 12 2014 at 14:52  [find mirrors]
[ ] acl2-infix_6.5-5_mipsel.deb  147.42Kb  October 30 2014 at 13:42  [find mirrors]
[ ] acl2-infix_6.5-5_powerpc.deb  140.49Kb  October 27 2014 at 20:40  [find mirrors]
[ ] acl2-infix_6.5-5_s390x.deb  140.94Kb  October 27 2014 at 19:30  [find mirrors]
[ ] acl2-infix_6.5-5_sparc.deb  134.01Kb  October 28 2014 at 11:19  [find mirrors]
[ ] acl2-infix_7.0-1_amd64.deb  149.01Kb  January 27 2015 at 03:50  [find mirrors]
[ ] acl2-infix_7.0-1_arm64.deb  153.30Kb  January 27 2015 at 23:13  [find mirrors]
[ ] acl2-infix_7.0-1_armel.deb  409.69Kb  January 28 2015 at 07:12  [find mirrors]
[ ] acl2-infix_7.0-1_i386.deb  150.29Kb  January 27 2015 at 11:12  [find mirrors]
[ ] acl2-infix_7.0-1_kfreebsd-amd64.deb  146.76Kb  January 27 2015 at 15:18  [find mirrors]
[ ] acl2-infix_7.0-1_kfreebsd-i386.deb  149.52Kb  January 27 2015 at 12:42  [find mirrors]
[ ] acl2-infix_7.0-1_mips.deb  143.28Kb  January 28 2015 at 20:26  [find mirrors]
[ ] acl2-infix_7.0-1_mipsel.deb  148.00Kb  January 28 2015 at 03:27  [find mirrors]
[ ] acl2-infix_7.0-1_ppc64el.deb  143.80Kb  January 27 2015 at 08:11  [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.5-2_all.deb  2.64Mb  September 8 2014 at 15:35  [find mirrors]
[ ] acl2-source_6.5-2~bpo70+1_all.deb  3.69Mb  January 14 2015 at 17:26  [find mirrors]
[ ] acl2-source_6.5-5_all.deb  2.64Mb  October 27 2014 at 14:29  [find mirrors]
[ ] acl2-source_7.0-1_all.deb  2.70Mb  January 27 2015 at 03:50  [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]

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