ftp://ftp.gentoo.mesh-solutions.com/mirrors/ftp.de.debian.org/debian/pool/main/a/acl2/  direct

288.85 KB  2004-11-10acl2-books-certs_2.9-2_all.deb  info  browse  220+ mirrors
 acl2-books-certs - A Computational Logic for Applicative Common Lisp: library certificates
 /Main/Debian/all/math/

1.18 MB  2004-11-10acl2-books-source_2.9-2_all.deb  info  browse  220+ mirrors
 acl2-books-source - A Computational Logic for Applicative Common Lisp: library sources
 /Main/Debian/all/math/

4.74 MB  2006-12-03acl2-books-certs_3.1-1_all.deb  199 mirrors
813.81 KB  2004-11-10acl2-books_2.9-2_i386.deb  info  browse  198 mirrors
 acl2-books - A Computational Logic for Applicative Common Lisp: compiled libraries
 /Main/Debian/i386/math/

47.59 KB  2004-11-10acl2-emacs_2.9-2_all.deb  info  browse  220+ mirrors
 acl2-emacs - A Computational Logic for Applicative Common Lisp: emacs interface
 /Main/Debian/all/math/

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

2.14 MB  2006-12-03acl2-books-source_3.1-1_all.deb  info  browse  198 mirrors
 acpi-iasl - Compiler of Intel ACPI CA - Unix Build Environment
 /Main/NetBSD/1.6.2/vax/

2.16 MB  2006-12-03acl2-books_3.1-1_amd64.deb  info  browse  188 mirrors
 acpi-support_0.46ubuntu1.tar.gz
 /Main/Ubuntu/Other/

1.54 MB  2006-12-03acl2-books_3.1-1_i386.deb  info  browse  197 mirrors
 acpi-support - a collection of useful events for acpi
 /Main/Ubuntu/amd64/admin/

1.19 MB  2008-04-05acl2-books-certs_3.3-1.1_all.deb  info  browse  22 mirrors
 acl2-books-certs - A Computational Logic for Applicative Common Lisp: library certificates
 /Main/Debian/all/math/

54.71 KB  2008-04-05acl2-emacs_3.3-1.1_all.deb  info  browse  22 mirrors
 acl2-emacs - A Computational Logic for Applicative Common Lisp: emacs interface
 /Main/Debian/all/math/

83.32 KB  2006-12-03acl2-infix-source_3.1-1_all.deb  info  browse  199 mirrors
 acl2-infix-source - A Computational Logic for Applicative Common Lisp: infix source
 /Main/Debian/all/math/

193.99 KB  2006-12-03acl2-infix_3.1-1_amd64.deb  info  browse  189 mirrors
 acl2-infix - A Computational Logic for Applicative Common Lisp: infix interface
 /Main/Debian/amd64/math/

2.16 MB  2006-12-03acl2-source_3.1-1_all.deb  info  browse  199 mirrors
 acl2-source - A Computational Logic for Applicative Common Lisp: source files
 /Main/Debian/all/math/

2.44 MB  2008-04-05acl2-books-source_3.3-1.1_all.deb  22 mirrors
1.71 MB  2004-11-10acl2-doc_2.9-2_all.deb  220+ mirrors
1.93 MB  2006-12-03acl2-doc_3.1-1_all.deb  199 mirrors
49.35 KB  2006-12-03acl2-emacs_3.1-1_all.deb  199 mirrors
176.87 KB  2004-11-10acl2-infix_2.9-2_i386.deb  198 mirrors
6.29 MB  2008-04-05acl2-books_3.3-1.1_amd64.deb  info  browse  21 mirrors
 acpi-support - a collection of useful events for acpi
 /Main/Ubuntu/amd64/admin/

4.69 MB  2008-04-05acl2-books_3.3-1.1_i386.deb  info  browse  21 mirrors
 acpi-support - acpi-support is a collection of useful events for acpi
 /Main/Ubuntu/i386/admin/

85.33 KB  2008-04-05acl2-infix-source_3.3-1.1_all.deb  info  browse  22 mirrors
 acpi - displays information on ACPI devices
 /Main/Ubuntu/amd64/utils/

167.81 KB  2006-12-03acl2-infix_3.1-1_i386.deb  info  browse  197 mirrors
 acpica-unix
 /Main/Gentoo/distfiles/Other/

167.34 KB  2008-04-05acl2-infix_3.3-1.1_i386.deb  info  browse  21 mirrors
 acpid - ACPI Event Daemon
 /Main/Other/src/System Environment/Daemons/

1.95 MB  2004-11-10acl2-source_2.9-2_all.deb  info  browse  210+ mirrors
 acpid - ACPI kernel daemon and control utility
 /Main/Other/ia64/System/Servers/

2.37 MB  2008-04-05acl2-source_3.3-1.1_all.deb  info  browse  22 mirrors
 acpid - ACPI Event Daemon
 /Main/Fedora/x86_64/System Environment/Daemons/

5.20 MB  2008-04-24acl2-books_3.3-1.1_armel.deb  info  browse  18 mirrors
 acl2-books - A Computational Logic for Applicative Common Lisp: compiled libraries
 /Main/Debian/armel/math/

2.16 MB  2008-04-05acl2-doc_3.3-1.1_all.deb  info  browse  22 mirrors
 acl2-doc - A Computational Logic for Applicative Common Lisp: documentation
 /Main/Debian/all/doc/

82.27 KB  2004-11-10acl2-infix-source_2.9-2_all.deb  info  browse  220+ mirrors
 acl2-infix-source - A Computational Logic for Applicative Common Lisp: infix source
 /Main/Debian/all/math/

194.06 KB  2008-04-05acl2-infix_3.3-1.1_amd64.deb  info  browse  21 mirrors
 acl2-infix - A Computational Logic for Applicative Common Lisp: infix interface
 /Main/Debian/amd64/math/

178.55 KB  2008-04-24acl2-infix_3.3-1.1_armel.deb  18 mirrors
17.66 MB  2006-12-03acl2_3.1-1_amd64.deb  189 mirrors
15.46 MB  2006-12-03acl2_3.1-1_i386.deb  198 mirrors
18.06 MB  2008-04-05acl2_3.3-1.1_amd64.deb  21 mirrors
16.56 MB  2008-04-24acl2_3.3-1.1_armel.deb  18 mirrors
16.12 MB  2008-04-05acl2_3.3-1.1_i386.deb  21 mirrors