ftp://200.17.202.16/ubuntu-all/archive/pool/universe/a/acl2/  direct

6.98 MB  2006-12-04acl2_3.3.orig.tar.gz  info  browse  232+ mirrors
 acl2_3.3.orig.tar.gz
 /Main/Debian/Other/

18.09 MB  2007-02-17acl2_3.3-1ubuntu1_amd64.deb  info  browse  174 mirrors
 acl2 - A Computational Logic for Applicative Common Lisp: main binary
 /Main/Ubuntu/amd64/math/

1.01 KB  2007-02-17acl2_3.3-1ubuntu1.dsc  170 mirrors
13.37 KB  2007-02-17acl2_3.3-1ubuntu1.diff.gz  169 mirrors
16.12 MB  2007-05-12acl2_3.3-1.1_i386.deb  info  browse  176 mirrors
 acl2 - A Computational Logic for Applicative Common Lisp: main binary
 /Main/Ubuntu/i386/math/

18.17 MB  2007-05-12acl2_3.3-1.1_amd64.deb  info  browse  173 mirrors
 acl2 - A Computational Logic for Applicative Common Lisp: main binary
 /Main/Ubuntu/amd64/math/

821 B  2007-05-10acl2_3.3-1.1.dsc  232+ mirrors
13.28 KB  2007-05-10acl2_3.3-1.1.diff.gz  231+ mirrors
6.72 MB  2006-05-21acl2_3.2.orig.tar.gz  info  browse  53 mirrors
 acl2_3.2.orig.tar.gz
 /Main/Debian/Other/

822 B  2006-05-21acl2_3.2-1.dsc  53 mirrors
12.98 KB  2006-05-21acl2_3.2-1.diff.gz  53 mirrors
6.42 MB  2005-12-06acl2_3.1.orig.tar.gz  info  browse  286+ mirrors
 acl2_3.1.orig.tar.gz
 /Main/Debian/Other/

16.66 MB  2005-12-08acl2_3.1-1_sparc.deb  info  browse  46 mirrors
 acl2 - A Computational Logic for Applicative Common Lisp: main binary
 /Main/Ubuntu/sparc/math/

17.07 MB  2005-12-07acl2_3.1-1_powerpc.deb  info  browse  49 mirrors
 acl2 - A Computational Logic for Applicative Common Lisp: main binary
 /Main/Ubuntu/powerpc/math/

14.80 MB  2005-12-07acl2_3.1-1_i386.deb  info  browse  180 mirrors
 acl2 - A Computational Logic for Applicative Common Lisp: main binary
 /Main/Ubuntu/i386/math/

17.75 MB  2005-12-07acl2_3.1-1_amd64.deb  info  browse  56 mirrors
 acl2 - A Computational Logic for Applicative Common Lisp: main binary
 /Main/Ubuntu/amd64/math/

822 B  2005-12-06acl2_3.1-1.dsc  283+ mirrors
12.96 KB  2005-12-06acl2_3.1-1.diff.gz  287+ mirrors
5.16 MB  2004-10-08acl2_2.9.3.orig.tar.gz  info  browse  185 mirrors
 acl2_2.9.3.orig.tar.gz
 /Main/Debian/Other/

17.28 MB  2004-11-09acl2_2.9.3-7_sparc.deb  info  browse  151 mirrors
 acl2 - A Computational Logic for Applicative Common Lisp: main binary
 /Main/Ubuntu/sparc/math/

15.08 MB  2004-12-21acl2_2.9.3-7_powerpc.deb  info  browse  155 mirrors
 acl2 - A Computational Logic for Applicative Common Lisp: main binary
 /Main/Ubuntu/powerpc/math/

13.28 MB  2004-10-27acl2_2.9.3-7_i386.deb  info  browse  174 mirrors
 acl2 - A Computational Logic for Applicative Common Lisp: main binary
 /Main/Ubuntu/i386/math/

16.22 MB  2004-10-29acl2_2.9.3-7_amd64.deb  info  browse  170 mirrors
 acl2 - A Computational Logic for Applicative Common Lisp: main binary
 /Main/Ubuntu/amd64/math/

805 B  2004-10-25acl2_2.9.3-7.dsc  184 mirrors
20.46 KB  2004-10-25acl2_2.9.3-7.diff.gz  183 mirrors
2.37 MB  2007-05-12acl2-source_3.3-1.1_all.deb  info  browse  176 mirrors
 acl2-source - A Computational Logic for Applicative Common Lisp: source files
 /Main/Ubuntu/all/math/

2.16 MB  2005-12-07acl2-source_3.1-1_all.deb  info  browse  180 mirrors
 acl2-source - A Computational Logic for Applicative Common Lisp: source files
 /Main/Ubuntu/all/math/

2.02 MB  2004-10-27acl2-source_2.9.3-7_all.deb  info  browse  174 mirrors
 acl2-source - A Computational Logic for Applicative Common Lisp: source files
 /Main/Ubuntu/all/math/

194.90 KB  2007-02-17acl2-infix_3.3-1ubuntu1_amd64.deb  info  browse  174 mirrors
 acl2-infix - A Computational Logic for Applicative Common Lisp: infix interface
 /Main/Ubuntu/amd64/math/

388.48 KB  2007-05-12acl2-infix_3.3-1.1_i386.deb  info  browse  176 mirrors
 acl2-infix - A Computational Logic for Applicative Common Lisp: infix interface
 /Main/Ubuntu/i386/math/

432.07 KB  2007-05-12acl2-infix_3.3-1.1_amd64.deb  info  browse  173 mirrors
 acl2-infix - A Computational Logic for Applicative Common Lisp: infix interface
 /Main/Ubuntu/amd64/math/

217.65 KB  2005-12-08acl2-infix_3.1-1_sparc.deb  info  browse  46 mirrors
 acl2-infix - A Computational Logic for Applicative Common Lisp: infix interface
 /Main/Ubuntu/sparc/math/

242.99 KB  2005-12-07acl2-infix_3.1-1_powerpc.deb  info  browse  49 mirrors
 acl2-infix - A Computational Logic for Applicative Common Lisp: infix interface
 /Main/Ubuntu/powerpc/math/

166.08 KB  2005-12-07acl2-infix_3.1-1_i386.deb  info  browse  180 mirrors
 acl2-infix - A Computational Logic for Applicative Common Lisp: infix interface
 /Main/Ubuntu/i386/math/

194.03 KB  2005-12-07acl2-infix_3.1-1_amd64.deb  info  browse  56 mirrors
 acl2-infix - A Computational Logic for Applicative Common Lisp: infix interface
 /Main/Ubuntu/amd64/math/

216.70 KB  2004-11-09acl2-infix_2.9.3-7_sparc.deb  info  browse  151 mirrors
 acl2-infix - A Computational Logic for Applicative Common Lisp: infix interface
 /Main/Ubuntu/sparc/math/

239.64 KB  2004-12-21acl2-infix_2.9.3-7_powerpc.deb  info  browse  155 mirrors
 acl2-infix - A Computational Logic for Applicative Common Lisp: infix interface
 /Main/Ubuntu/powerpc/math/

165.02 KB  2004-10-27acl2-infix_2.9.3-7_i386.deb  info  browse  174 mirrors
 acl2-infix - A Computational Logic for Applicative Common Lisp: infix interface
 /Main/Ubuntu/i386/math/

198.07 KB  2004-10-29acl2-infix_2.9.3-7_amd64.deb  info  browse  170 mirrors
 acl2-infix - A Computational Logic for Applicative Common Lisp: infix interface
 /Main/Ubuntu/amd64/math/

83.72 KB  2007-05-12acl2-infix-source_3.3-1.1_all.deb  info  browse  176 mirrors
 acl2-infix-source - A Computational Logic for Applicative Common Lisp: infix source
 /Main/Ubuntu/all/math/

83.37 KB  2005-12-07acl2-infix-source_3.1-1_all.deb  info  browse  180 mirrors
 acl2-infix-source - A Computational Logic for Applicative Common Lisp: infix source
 /Main/Ubuntu/all/math/

82.85 KB  2004-10-27acl2-infix-source_2.9.3-7_all.deb  info  browse  174 mirrors
 acl2-infix-source - A Computational Logic for Applicative Common Lisp: infix source
 /Main/Ubuntu/all/math/

53.29 KB  2007-05-12acl2-emacs_3.3-1.1_all.deb  info  browse  176 mirrors
 acl2-emacs - A Computational Logic for Applicative Common Lisp: emacs interface
 /Main/Ubuntu/all/math/

49.39 KB  2005-12-07acl2-emacs_3.1-1_all.deb  info  browse  180 mirrors
 acl2-emacs - A Computational Logic for Applicative Common Lisp: emacs interface
 /Main/Ubuntu/all/math/

48.20 KB  2004-10-27acl2-emacs_2.9.3-7_all.deb  info  browse  174 mirrors
 acl2-emacs - A Computational Logic for Applicative Common Lisp: emacs interface
 /Main/Ubuntu/all/math/

2.06 MB  2007-05-12acl2-doc_3.3-1.1_all.deb  info  browse  176 mirrors
 acl2-doc - A Computational Logic for Applicative Common Lisp: documentation
 /Main/Ubuntu/all/doc/

1.93 MB  2005-12-07acl2-doc_3.1-1_all.deb  info  browse  180 mirrors
 acl2-doc - A Computational Logic for Applicative Common Lisp: documentation
 /Main/Ubuntu/all/doc/

1.78 MB  2004-10-27acl2-doc_2.9.3-7_all.deb  info  browse  174 mirrors
 acl2-doc - A Computational Logic for Applicative Common Lisp: documentation
 /Main/Ubuntu/all/doc/

6.10 MB  2007-02-17acl2-books_3.3-1ubuntu1_amd64.deb  info  browse  174 mirrors
 acl2-books - A Computational Logic for Applicative Common Lisp: compiled libraries
 /Main/Ubuntu/amd64/math/

17.62 MB  2007-05-12acl2-books_3.3-1.1_i386.deb  info  browse  176 mirrors
 acl2-books - A Computational Logic for Applicative Common Lisp: compiled libraries
 /Main/Ubuntu/i386/math/