ftp://ftp.utoronto.ca/mirror/disk3/debian/pool/main/a/acl2/  direct

4.96 MB  2004-10-27acl2_2.9.orig.tar.gz  info  browse  99 mirrors
 acl2_2.9.orig.tar.gz
 /Main/Debian/Other/

5.00 MB  2005-02-21acl2_2.9.1.orig.tar.gz  info  browse  10 mirrors
 acl2_2.9.1.orig.tar.gz
 /Main/Debian/Other/

13.26 MB  2005-02-21acl2_2.9.1-1_i386.deb
800 B  2005-02-21acl2_2.9.1-1.dsc  8 mirrors
18.54 KB  2005-02-21acl2_2.9.1-1.diff.gz  8 mirrors
21.33 MB  2004-11-27acl2_2.9-2_sparc.deb  info  browse  40 mirrors
 acl2 - A Computational Logic for Applicative Common Lisp: main binary
 /Main/Debian/sparc/math/

13.09 MB  2004-11-10acl2_2.9-2_i386.deb  info  browse  66 mirrors
 acl2 - A Computational Logic for Applicative Common Lisp: main binary
 /Main/Debian/i386/math/

794 B  2004-11-10acl2_2.9-2.dsc  94 mirrors
17.70 KB  2004-11-10acl2_2.9-2.diff.gz  98 mirrors
1.96 MB  2005-02-21acl2-source_2.9.1-1_all.deb
1.95 MB  2004-11-10acl2-source_2.9-2_all.deb  info  browse  107 mirrors
 acl2-source - A Computational Logic for Applicative Common Lisp: source files
 /Main/Debian/all/math/

177.07 KB  2005-02-21acl2-infix_2.9.1-1_i386.deb
248.88 KB  2004-11-27acl2-infix_2.9-2_sparc.deb  info  browse  40 mirrors
 acl2-infix - A Computational Logic for Applicative Common Lisp: infix interface
 /Main/Debian/sparc/math/

176.87 KB  2004-11-10acl2-infix_2.9-2_i386.deb  info  browse  66 mirrors
 acl2-infix - A Computational Logic for Applicative Common Lisp: infix interface
 /Main/Debian/i386/math/

82.48 KB  2005-02-21acl2-infix-source_2.9.1-1_all.deb
82.27 KB  2004-11-10acl2-infix-source_2.9-2_all.deb  info  browse  107 mirrors
 acl2-infix-source - A Computational Logic for Applicative Common Lisp: infix source
 /Main/Debian/all/math/

47.84 KB  2005-02-21acl2-emacs_2.9.1-1_all.deb
47.59 KB  2004-11-10acl2-emacs_2.9-2_all.deb  info  browse  107 mirrors
 acl2-emacs - A Computational Logic for Applicative Common Lisp: emacs interface
 /Main/Debian/all/math/

1.72 MB  2005-02-21acl2-doc_2.9.1-1_all.deb
1.71 MB  2004-11-10acl2-doc_2.9-2_all.deb  info  browse  107 mirrors
 acl2-doc - A Computational Logic for Applicative Common Lisp: documentation
 /Main/Debian/all/doc/

837.03 KB  2005-02-21acl2-books_2.9.1-1_i386.deb
972.15 KB  2004-11-27acl2-books_2.9-2_sparc.deb  info  browse  40 mirrors
 acl2-books - A Computational Logic for Applicative Common Lisp: compiled libraries
 /Main/Debian/sparc/math/

813.81 KB  2004-11-10acl2-books_2.9-2_i386.deb  info  browse  66 mirrors
 acl2-books - A Computational Logic for Applicative Common Lisp: compiled libraries
 /Main/Debian/i386/math/

1.20 MB  2005-02-21acl2-books-source_2.9.1-1_all.deb
1.18 MB  2004-11-10acl2-books-source_2.9-2_all.deb  info  browse  107 mirrors
 acl2-books-source - A Computational Logic for Applicative Common Lisp: library sources
 /Main/Debian/all/math/

301.03 KB  2005-02-21acl2-books-certs_2.9.1-1_all.deb
288.85 KB  2004-11-10acl2-books-certs_2.9-2_all.deb  info  browse  107 mirrors
 acl2-books-certs - A Computational Logic for Applicative Common Lisp: library certificates
 /Main/Debian/all/math/