Index of ftp://www.las.ic.unicamp.br/pub/debian.d/debian/pool/main/a/acl2

[DIR] Parent Directory

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

[ GZ] acl2_6.5-2~bpo70+1.debian.tar.gz  159.64Kb  January 14 2015 at 16:26  [find mirrors]
[ ] acl2_6.5-2~bpo70+1.dsc  2.34Kb  January 14 2015 at 16:26  [find mirrors]
[ ] acl2_6.5-2~bpo70+1_amd64.deb  23.86Mb  January 14 2015 at 16:26  [find mirrors]
[ ] acl2_6.5-5.debian.tar.xz  125.47Kb  October 27 2014 at 13:29  [find mirrors]
[ ] acl2_6.5-5.dsc  1.77Kb  October 27 2014 at 13:29  [find mirrors]
[ ] acl2_6.5-5_armhf.deb  12.91Mb  November 1 2014 at 17:11  [find mirrors]
[ ] acl2_6.5-5_powerpc.deb  11.82Mb  October 27 2014 at 19:40  [find mirrors]
[ ] acl2_6.5-5_s390x.deb  14.32Mb  October 27 2014 at 18:30  [find mirrors]
[ ] acl2_6.5-5_sparc.deb  12.30Mb  October 28 2014 at 10:19  [find mirrors]
[ GZ] acl2_6.5.orig-books.tar.gz  14.28Mb  August 17 2014  [find mirrors]
[ GZ] acl2_6.5.orig.tar.gz  5.91Mb  August 17 2014  [find mirrors]
[ ] acl2_7.0-1.debian.tar.xz  125.84Kb  January 27 2015 at 02:50  [find mirrors]
[ ] acl2_7.0-1.dsc  2.15Kb  January 27 2015 at 02:50  [find mirrors]
[ ] acl2_7.0-1_amd64.deb  15.14Mb  January 27 2015 at 02:50  [find mirrors]
[ ] acl2_7.0-1_arm64.deb  13.95Mb  January 27 2015 at 22:13  [find mirrors]
[ ] acl2_7.0-1_armel.deb  12.91Mb  January 28 2015 at 06:12  [find mirrors]
[ ] acl2_7.0-1_i386.deb  13.40Mb  January 27 2015 at 10:12  [find mirrors]
[ ] acl2_7.0-1_kfreebsd-amd64.deb  15.16Mb  January 27 2015 at 14:18  [find mirrors]
[ ] acl2_7.0-1_kfreebsd-i386.deb  13.40Mb  January 27 2015 at 11:42  [find mirrors]
[ ] acl2_7.0-1_mips.deb  13.00Mb  January 28 2015 at 19:26  [find mirrors]
[ ] acl2_7.0-1_mipsel.deb  13.25Mb  January 28 2015 at 02:27  [find mirrors]
[ ] acl2_7.0-1_ppc64el.deb  13.01Mb  January 27 2015 at 07:11  [find mirrors]
[ GZ] acl2_7.0.orig.tar.gz  55.60Mb  January 27 2015 at 02:50  [find mirrors]

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