ftp://130.239.18.137/cdimage/snapshot-amd64/Debian/pool/main/a/acl2/  direct

15.94 MB  2005-04-29acl2_2.9-2_amd64.deb  info  browse  71 mirrors
 acl2 - A Computational Logic for Applicative Common Lisp: main binary
 /Main/Debian/amd64/math/

1.95 MB  2005-04-29acl2-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/

210.21 KB  2005-04-29acl2-infix_2.9-2_amd64.deb  info  browse  71 mirrors
 acl2-infix - A Computational Logic for Applicative Common Lisp: infix interface
 /Main/Debian/amd64/math/

82.27 KB  2005-04-29acl2-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.59 KB  2005-04-29acl2-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.71 MB  2005-04-29acl2-doc_2.9-2_all.deb  info  browse  107 mirrors
 acl2-doc - A Computational Logic for Applicative Common Lisp: documentation
 /Main/Debian/all/doc/

1.00 MB  2005-04-29acl2-books_2.9-2_amd64.deb  info  browse  71 mirrors
 acl2-books - A Computational Logic for Applicative Common Lisp: compiled libraries
 /Main/Debian/amd64/math/

1.18 MB  2005-04-29acl2-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/

288.85 KB  2005-04-29acl2-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/