ftp://na.mirror.garr.it/pub/1/ubuntu-archive/pool/universe/a/acl2/  direct

6.10 MB  2008-02-16acl2-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/

1.78 MB  2005-10-26acl2-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/

1.93 MB  2006-12-06acl2-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.19 MB  2008-05-10acl2-books-certs_3.3-1.1_all.deb  info  browse  176 mirrors
 acl2-books-certs - A Computational Logic for Applicative Common Lisp: library certificates
 /Main/Ubuntu/all/math/

1.21 MB  2008-11-04acl2-books-certs_3.4-1_all.deb  154 mirrors
2.33 MB  2008-05-10acl2-books-source_3.3-1.1_all.deb  info  browse  176 mirrors
 acl2-books-source - A Computational Logic for Applicative Common Lisp: library sources
 /Main/Ubuntu/all/math/

2.72 MB  2008-11-04acl2-books-source_3.4-1_all.deb  154 mirrors
21.40 MB  2008-05-10acl2-books_3.3-1.1_amd64.deb  info  browse  173 mirrors
 acl2-books - A Computational Logic for Applicative Common Lisp: compiled libraries
 /Main/Ubuntu/amd64/math/

17.62 MB  2008-05-10acl2-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/

24.48 MB  2008-11-05acl2-books_3.4-1_amd64.deb  150 mirrors
20.30 MB  2008-11-04acl2-books_3.4-1_i386.deb  154 mirrors
2.06 MB  2008-05-10acl2-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/

2.19 MB  2008-11-04acl2-doc_3.4-1_all.deb  154 mirrors
53.29 KB  2008-05-10acl2-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/

53.74 KB  2008-11-04acl2-emacs_3.4-1_all.deb  154 mirrors
83.72 KB  2008-05-10acl2-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.92 KB  2008-11-04acl2-infix-source_3.4-1_all.deb  154 mirrors
432.07 KB  2008-05-10acl2-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/

388.48 KB  2008-05-10acl2-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/

431.51 KB  2008-11-05acl2-infix_3.4-1_amd64.deb  150 mirrors
389.44 KB  2008-11-04acl2-infix_3.4-1_i386.deb  154 mirrors
2.37 MB  2008-05-10acl2-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.49 MB  2008-11-04acl2-source_3.4-1_all.deb  154 mirrors
13.28 KB  2008-05-08acl2_3.3-1.1.diff.gz  231+ mirrors
821 B  2008-05-08acl2_3.3-1.1.dsc  232+ mirrors
18.17 MB  2008-05-10acl2_3.3-1.1_amd64.deb  info  browse  173 mirrors
 acl2 - A Computational Logic for Applicative Common Lisp: main binary
 /Main/Ubuntu/amd64/math/

18.47 MB  2008-11-04acl2_3.4-1_i386.deb  154 mirrors
7.63 MB  2008-11-04acl2_3.4.orig.tar.gz  info  browse  392+ mirrors
 acl2_3.4.orig.tar.gz
 /Main/Debian/Other/

23.45 MB  2009-04-28acl2-books_3.4-2_amd64.deb  111 mirrors
19.99 MB  2009-04-28acl2-books_3.4-2_i386.deb  114 mirrors
2.19 MB  2009-04-28acl2-doc_3.4-2_all.deb  114 mirrors
53.79 KB  2009-04-28acl2-emacs_3.4-2_all.deb  114 mirrors
83.98 KB  2009-04-28acl2-infix-source_3.4-2_all.deb  114 mirrors
408.34 KB  2009-04-28acl2-infix_3.4-2_amd64.deb  111 mirrors
1.21 MB  2009-04-28acl2-books-certs_3.4-2_all.deb  114 mirrors
2.72 MB  2009-04-28acl2-books-source_3.4-2_all.deb  114 mirrors
16.12 MB  2008-05-10acl2_3.3-1.1_i386.deb  info  browse  176 mirrors
 acl2 - A Computational Logic for Applicative Common Lisp: main binary
 /Main/Ubuntu/i386/math/

13.44 KB  2008-11-04acl2_3.4-1.diff.gz  204+ mirrors
1.15 KB  2008-11-04acl2_3.4-1.dsc  205+ mirrors
20.73 MB  2008-11-05acl2_3.4-1_amd64.deb  150 mirrors
374.66 KB  2009-04-28acl2-infix_3.4-2_i386.deb  114 mirrors
13.37 KB  2008-02-16acl2_3.3-1ubuntu1.diff.gz  169 mirrors
1.01 KB  2008-02-16acl2_3.3-1ubuntu1.dsc  170 mirrors
18.09 MB  2008-02-16acl2_3.3-1ubuntu1_amd64.deb  info  browse  174 mirrors
 acl2 - A Computational Logic for Applicative Common Lisp: main binary
 /Main/Ubuntu/amd64/math/

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

2.49 MB  2009-04-28acl2-source_3.4-2_all.deb  114 mirrors
13.57 KB  2009-04-27acl2_3.4-2.diff.gz  302+ mirrors
1.16 KB  2009-04-27acl2_3.4-2.dsc  304+ mirrors
20.62 MB  2009-04-28acl2_3.4-2_amd64.deb  111 mirrors
18.41 MB  2009-04-28acl2_3.4-2_i386.deb  114 mirrors