ftp://ftp.3logic.net/.1/debian-archive/pool/main/a/acl2/  direct

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

21.33 MB  2003-11-29acl2_2.9-2_sparc.deb  info  browse  40 mirrors
 acl2 - A Computational Logic for Applicative Common Lisp: main binary
 /Main/Debian/sparc/math/

14.40 MB  2003-11-12acl2_2.9-2_s390.deb  info  browse  38 mirrors
 acl2 - A Computational Logic for Applicative Common Lisp: main binary
 /Main/Debian/s390/math/

15.42 MB  2003-11-12acl2_2.9-2_powerpc.deb  info  browse  43 mirrors
 acl2 - A Computational Logic for Applicative Common Lisp: main binary
 /Main/Debian/powerpc/math/

13.01 MB  2003-11-13acl2_2.9-2_mipsel.deb  info  browse  38 mirrors
 acl2 - A Computational Logic for Applicative Common Lisp: main binary
 /Main/Debian/mipsel/math/

13.64 MB  2003-11-17acl2_2.9-2_mips.deb  info  browse  38 mirrors
 acl2 - A Computational Logic for Applicative Common Lisp: main binary
 /Main/Debian/mips/math/

12.99 MB  2003-11-17acl2_2.9-2_m68k.deb  info  browse  38 mirrors
 acl2 - A Computational Logic for Applicative Common Lisp: main binary
 /Main/Debian/m68k/math/

15.69 MB  2003-11-26acl2_2.9-2_ia64.deb  info  browse  39 mirrors
 acl2 - A Computational Logic for Applicative Common Lisp: main binary
 /Main/Debian/ia64/math/

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

13.67 MB  2003-11-26acl2_2.9-2_hppa.deb  info  browse  38 mirrors
 acl2 - A Computational Logic for Applicative Common Lisp: main binary
 /Main/Debian/hppa/math/

13.81 MB  2003-11-16acl2_2.9-2_arm.deb  info  browse  39 mirrors
 acl2 - A Computational Logic for Applicative Common Lisp: main binary
 /Main/Debian/arm/math/

14.56 MB  2003-11-12acl2_2.9-2_alpha.deb  info  browse  39 mirrors
 acl2 - A Computational Logic for Applicative Common Lisp: main binary
 /Main/Debian/alpha/math/

794 B  2004-04-30acl2_2.9-2.dsc  94 mirrors
17.70 KB  2003-11-12acl2_2.9-2.diff.gz  98 mirrors
1.95 MB  2003-11-12acl2-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/

248.88 KB  2003-11-29acl2-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/

177.75 KB  2003-11-12acl2-infix_2.9-2_s390.deb  info  browse  38 mirrors
 acl2-infix - A Computational Logic for Applicative Common Lisp: infix interface
 /Main/Debian/s390/math/

307.49 KB  2003-11-12acl2-infix_2.9-2_powerpc.deb  info  browse  43 mirrors
 acl2-infix - A Computational Logic for Applicative Common Lisp: infix interface
 /Main/Debian/powerpc/math/

239.35 KB  2003-11-13acl2-infix_2.9-2_mipsel.deb  info  browse  38 mirrors
 acl2-infix - A Computational Logic for Applicative Common Lisp: infix interface
 /Main/Debian/mipsel/math/

250.83 KB  2003-11-17acl2-infix_2.9-2_mips.deb  info  browse  38 mirrors
 acl2-infix - A Computational Logic for Applicative Common Lisp: infix interface
 /Main/Debian/mips/math/

174.09 KB  2003-11-17acl2-infix_2.9-2_m68k.deb  info  browse  38 mirrors
 acl2-infix - A Computational Logic for Applicative Common Lisp: infix interface
 /Main/Debian/m68k/math/

344.08 KB  2003-11-26acl2-infix_2.9-2_ia64.deb  info  browse  39 mirrors
 acl2-infix - A Computational Logic for Applicative Common Lisp: infix interface
 /Main/Debian/ia64/math/

176.87 KB  2003-11-12acl2-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/

381.87 KB  2003-11-26acl2-infix_2.9-2_hppa.deb  info  browse  38 mirrors
 acl2-infix - A Computational Logic for Applicative Common Lisp: infix interface
 /Main/Debian/hppa/math/

204.20 KB  2003-11-16acl2-infix_2.9-2_arm.deb  info  browse  39 mirrors
 acl2-infix - A Computational Logic for Applicative Common Lisp: infix interface
 /Main/Debian/arm/math/

284.67 KB  2003-11-12acl2-infix_2.9-2_alpha.deb  info  browse  39 mirrors
 acl2-infix - A Computational Logic for Applicative Common Lisp: infix interface
 /Main/Debian/alpha/math/

82.27 KB  2003-11-12acl2-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  2004-04-30acl2-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  2003-11-12acl2-doc_2.9-2_all.deb  info  browse  107 mirrors
 acl2-doc - A Computational Logic for Applicative Common Lisp: documentation
 /Main/Debian/all/doc/

972.15 KB  2003-11-29acl2-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/

923.13 KB  2003-11-12acl2-books_2.9-2_s390.deb  info  browse  38 mirrors
 acl2-books - A Computational Logic for Applicative Common Lisp: compiled libraries
 /Main/Debian/s390/math/

1.21 MB  2003-11-12acl2-books_2.9-2_powerpc.deb  info  browse  43 mirrors
 acl2-books - A Computational Logic for Applicative Common Lisp: compiled libraries
 /Main/Debian/powerpc/math/

1.04 MB  2003-11-13acl2-books_2.9-2_mipsel.deb  info  browse  38 mirrors
 acl2-books - A Computational Logic for Applicative Common Lisp: compiled libraries
 /Main/Debian/mipsel/math/

1.07 MB  2003-11-17acl2-books_2.9-2_mips.deb  info  browse  38 mirrors
 acl2-books - A Computational Logic for Applicative Common Lisp: compiled libraries
 /Main/Debian/mips/math/

782.34 KB  2003-11-17acl2-books_2.9-2_m68k.deb  info  browse  38 mirrors
 acl2-books - A Computational Logic for Applicative Common Lisp: compiled libraries
 /Main/Debian/m68k/math/

1.44 MB  2003-11-26acl2-books_2.9-2_ia64.deb  info  browse  39 mirrors
 acl2-books - A Computational Logic for Applicative Common Lisp: compiled libraries
 /Main/Debian/ia64/math/

813.81 KB  2003-11-12acl2-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/

6.49 MB  2003-11-26acl2-books_2.9-2_hppa.deb  info  browse  38 mirrors
 acl2-books - A Computational Logic for Applicative Common Lisp: compiled libraries
 /Main/Debian/hppa/math/

903.71 KB  2003-11-16acl2-books_2.9-2_arm.deb  info  browse  39 mirrors
 acl2-books - A Computational Logic for Applicative Common Lisp: compiled libraries
 /Main/Debian/arm/math/

1.36 MB  2003-11-12acl2-books_2.9-2_alpha.deb  info  browse  39 mirrors
 acl2-books - A Computational Logic for Applicative Common Lisp: compiled libraries
 /Main/Debian/alpha/math/

1.18 MB  2003-11-12acl2-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  2003-11-12acl2-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/