ftp://ftp.inf.tu-dresden.de/os/linux/dists/debian/debian-ports/pool/main/a/acl2/  direct

2.49 MB  2008-08-24acl2-source_3.4-1_all.deb  info  browse  60 mirrors
 acl2-source - A Computational Logic for Applicative Common Lisp: source files
 /Main/Debian/all/math/

84.69 KB  2008-08-24acl2-infix-source_3.4-1_all.deb  info  browse  60 mirrors
 acl2-infix-source - A Computational Logic for Applicative Common Lisp: infix source
 /Main/Debian/all/math/

54.17 KB  2008-08-24acl2-emacs_3.4-1_all.deb  info  browse  60 mirrors
 acl2-emacs - A Computational Logic for Applicative Common Lisp: emacs interface
 /Main/Debian/all/math/

2.30 MB  2008-08-24acl2-doc_3.4-1_all.deb  info  browse  60 mirrors
 acl2-doc - A Computational Logic for Applicative Common Lisp: documentation
 /Main/Debian/all/doc/

2.83 MB  2008-08-24acl2-books-source_3.4-1_all.deb  info  browse  60 mirrors
 acl2-books-source - A Computational Logic for Applicative Common Lisp: library sources
 /Main/Debian/all/math/

1.24 MB  2008-08-24acl2-books-certs_3.4-1_all.deb  info  browse  60 mirrors
 acl2-books-certs - A Computational Logic for Applicative Common Lisp: library certificates
 /Main/Debian/all/math/