ftp://ftp.linux.it/debian/pool/main/a/acl2/  direct

7.63 MB  2007-08-26acl2_3.4.orig.tar.gz  info  browse  392+ mirrors
 acl2_3.4.orig.tar.gz
 /Main/Debian/Other/

6.42 MB  2005-12-04acl2_3.1.orig.tar.gz  info  browse  286+ mirrors
 acl2_3.1.orig.tar.gz
 /Main/Debian/Other/

16.68 MB  2005-12-31acl2_3.1-1_sparc.deb  info  browse  178 mirrors
 acl2 - A Computational Logic for Applicative Common Lisp: main binary
 /Main/Debian/sparc/math/

16.21 MB  2005-12-05acl2_3.1-1_s390.deb  info  browse  156 mirrors
 acl2 - A Computational Logic for Applicative Common Lisp: main binary
 /Main/Debian/s390/math/

17.04 MB  2005-12-05acl2_3.1-1_powerpc.deb  info  browse  183 mirrors
 acl2 - A Computational Logic for Applicative Common Lisp: main binary
 /Main/Debian/powerpc/math/

14.28 MB  2006-01-08acl2_3.1-1_mipsel.deb  info  browse  157 mirrors
 acl2 - A Computational Logic for Applicative Common Lisp: main binary
 /Main/Debian/mipsel/math/

15.06 MB  2005-12-12acl2_3.1-1_mips.deb  info  browse  159 mirrors
 acl2 - A Computational Logic for Applicative Common Lisp: main binary
 /Main/Debian/mips/math/

15.10 MB  2006-02-12acl2_3.1-1_m68k.deb  info  browse  156 mirrors
 acl2 - A Computational Logic for Applicative Common Lisp: main binary
 /Main/Debian/m68k/math/

16.79 MB  2005-12-05acl2_3.1-1_ia64.deb  info  browse  178 mirrors
 acl2 - A Computational Logic for Applicative Common Lisp: main binary
 /Main/Debian/ia64/math/

15.46 MB  2005-12-04acl2_3.1-1_i386.deb  info  browse  280+ mirrors
 acl2 - A Computational Logic for Applicative Common Lisp: main binary
 /Main/Debian/i386/math/

15.39 MB  2005-12-12acl2_3.1-1_hppa.deb  info  browse  157 mirrors
 acl2 - A Computational Logic for Applicative Common Lisp: main binary
 /Main/Debian/hppa/math/

16.00 MB  2005-12-18acl2_3.1-1_arm.deb  info  browse  164 mirrors
 acl2 - A Computational Logic for Applicative Common Lisp: main binary
 /Main/Debian/arm/math/

17.66 MB  2005-12-04acl2_3.1-1_amd64.deb  info  browse  271+ mirrors
 acl2 - A Computational Logic for Applicative Common Lisp: main binary
 /Main/Debian/amd64/math/

15.78 MB  2005-12-05acl2_3.1-1_alpha.deb  info  browse  166 mirrors
 acl2 - A Computational Logic for Applicative Common Lisp: main binary
 /Main/Debian/alpha/math/

822 B  2005-12-04acl2_3.1-1.dsc  283+ mirrors
12.96 KB  2005-12-04acl2_3.1-1.diff.gz  287+ mirrors
2.16 MB  2005-12-04acl2-source_3.1-1_all.deb  info  browse  280+ mirrors
 acl2-source - A Computational Logic for Applicative Common Lisp: source files
 /Main/Debian/all/math/

217.61 KB  2005-12-31acl2-infix_3.1-1_sparc.deb  info  browse  178 mirrors
 acl2-infix - A Computational Logic for Applicative Common Lisp: infix interface
 /Main/Debian/sparc/math/

162.40 KB  2005-12-05acl2-infix_3.1-1_s390.deb  info  browse  156 mirrors
 acl2-infix - A Computational Logic for Applicative Common Lisp: infix interface
 /Main/Debian/s390/math/

243.02 KB  2005-12-05acl2-infix_3.1-1_powerpc.deb  info  browse  183 mirrors
 acl2-infix - A Computational Logic for Applicative Common Lisp: infix interface
 /Main/Debian/powerpc/math/

192.16 KB  2006-01-08acl2-infix_3.1-1_mipsel.deb  info  browse  157 mirrors
 acl2-infix - A Computational Logic for Applicative Common Lisp: infix interface
 /Main/Debian/mipsel/math/

197.32 KB  2005-12-12acl2-infix_3.1-1_mips.deb  info  browse  159 mirrors
 acl2-infix - A Computational Logic for Applicative Common Lisp: infix interface
 /Main/Debian/mips/math/

191.11 KB  2006-02-12acl2-infix_3.1-1_m68k.deb  info  browse  156 mirrors
 acl2-infix - A Computational Logic for Applicative Common Lisp: infix interface
 /Main/Debian/m68k/math/

297.06 KB  2005-12-05acl2-infix_3.1-1_ia64.deb  info  browse  178 mirrors
 acl2-infix - A Computational Logic for Applicative Common Lisp: infix interface
 /Main/Debian/ia64/math/

167.81 KB  2005-12-04acl2-infix_3.1-1_i386.deb  info  browse  280+ mirrors
 acl2-infix - A Computational Logic for Applicative Common Lisp: infix interface
 /Main/Debian/i386/math/

408.10 KB  2005-12-12acl2-infix_3.1-1_hppa.deb  info  browse  157 mirrors
 acl2-infix - A Computational Logic for Applicative Common Lisp: infix interface
 /Main/Debian/hppa/math/

185.73 KB  2005-12-18acl2-infix_3.1-1_arm.deb  info  browse  164 mirrors
 acl2-infix - A Computational Logic for Applicative Common Lisp: infix interface
 /Main/Debian/arm/math/

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

251.23 KB  2005-12-05acl2-infix_3.1-1_alpha.deb  info  browse  166 mirrors
 acl2-infix - A Computational Logic for Applicative Common Lisp: infix interface
 /Main/Debian/alpha/math/

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

49.35 KB  2005-12-04acl2-emacs_3.1-1_all.deb  info  browse  280+ mirrors
 acl2-emacs - A Computational Logic for Applicative Common Lisp: emacs interface
 /Main/Debian/all/math/

1.93 MB  2005-12-04acl2-doc_3.1-1_all.deb  info  browse  280+ mirrors
 acl2-doc - A Computational Logic for Applicative Common Lisp: documentation
 /Main/Debian/all/doc/

1.82 MB  2005-12-31acl2-books_3.1-1_sparc.deb  info  browse  178 mirrors
 acl2-books - A Computational Logic for Applicative Common Lisp: compiled libraries
 /Main/Debian/sparc/math/

1.70 MB  2005-12-05acl2-books_3.1-1_s390.deb  info  browse  156 mirrors
 acl2-books - A Computational Logic for Applicative Common Lisp: compiled libraries
 /Main/Debian/s390/math/

2.22 MB  2005-12-05acl2-books_3.1-1_powerpc.deb  info  browse  183 mirrors
 acl2-books - A Computational Logic for Applicative Common Lisp: compiled libraries
 /Main/Debian/powerpc/math/

1.94 MB  2006-01-08acl2-books_3.1-1_mipsel.deb  info  browse  157 mirrors
 acl2-books - A Computational Logic for Applicative Common Lisp: compiled libraries
 /Main/Debian/mipsel/math/

1.96 MB  2005-12-12acl2-books_3.1-1_mips.deb  info  browse  159 mirrors
 acl2-books - A Computational Logic for Applicative Common Lisp: compiled libraries
 /Main/Debian/mips/math/

1.55 MB  2006-02-12acl2-books_3.1-1_m68k.deb  info  browse  156 mirrors
 acl2-books - A Computational Logic for Applicative Common Lisp: compiled libraries
 /Main/Debian/m68k/math/

2.85 MB  2005-12-05acl2-books_3.1-1_ia64.deb  info  browse  178 mirrors
 acl2-books - A Computational Logic for Applicative Common Lisp: compiled libraries
 /Main/Debian/ia64/math/

1.54 MB  2005-12-04acl2-books_3.1-1_i386.deb  info  browse  280+ mirrors
 acl2-books - A Computational Logic for Applicative Common Lisp: compiled libraries
 /Main/Debian/i386/math/

7.41 MB  2005-12-12acl2-books_3.1-1_hppa.deb  info  browse  157 mirrors
 acl2-books - A Computational Logic for Applicative Common Lisp: compiled libraries
 /Main/Debian/hppa/math/

1.61 MB  2005-12-18acl2-books_3.1-1_arm.deb  info  browse  164 mirrors
 acl2-books - A Computational Logic for Applicative Common Lisp: compiled libraries
 /Main/Debian/arm/math/

2.16 MB  2005-12-04acl2-books_3.1-1_amd64.deb  info  browse  271+ mirrors
 acl2-books - A Computational Logic for Applicative Common Lisp: compiled libraries
 /Main/Debian/amd64/math/

2.71 MB  2005-12-05acl2-books_3.1-1_alpha.deb  info  browse  166 mirrors
 acl2-books - A Computational Logic for Applicative Common Lisp: compiled libraries
 /Main/Debian/alpha/math/

2.14 MB  2005-12-04acl2-books-source_3.1-1_all.deb  info  browse  280+ mirrors
 acl2-books-source - A Computational Logic for Applicative Common Lisp: library sources
 /Main/Debian/all/math/

4.74 MB  2005-12-04acl2-books-certs_3.1-1_all.deb  info  browse  280+ mirrors
 acl2-books-certs - A Computational Logic for Applicative Common Lisp: library certificates
 /Main/Debian/all/math/

484.76 KB  2009-02-24acl2-infix_3.4-2_alpha.deb  119 mirrors
430.27 KB  2009-02-23acl2-infix_3.4-2_amd64.deb  202+ mirrors
399.33 KB  2009-02-25acl2-infix_3.4-2_armel.deb  156 mirrors
390.27 KB  2009-02-22acl2-infix_3.4-2_i386.deb  207+ mirrors