ftp://ftp.efrei.fr/pub/mirrors/linux/distributions/debian/pool/main/a/acl2/  direct

6.98 MB  2007-12-02acl2_3.3.orig.tar.gz  info  browse  232+ mirrors
 acl2_3.3.orig.tar.gz
 /Main/Debian/Other/

811 B  2007-12-02acl2_3.3-1.dsc  64 mirrors
13.21 KB  2007-12-02acl2_3.3-1.diff.gz  64 mirrors
17.80 MB  2008-04-05acl2_3.3-1.1_sparc.deb  info  browse  47 mirrors
 acl2 - A Computational Logic for Applicative Common Lisp: main binary
 /Main/Debian/sparc/math/

16.12 MB  2008-04-05acl2_3.3-1.1_i386.deb  info  browse  11 mirrors
 acl2 - A Computational Logic for Applicative Common Lisp: main binary
 /Main/Debian/i386/math/

16.56 MB  2008-04-23acl2_3.3-1.1_armel.deb  info  browse  10 mirrors
 acl2 - A Computational Logic for Applicative Common Lisp: main binary
 /Main/Debian/armel/math/

18.06 MB  2008-04-05acl2_3.3-1.1_amd64.deb  info  browse  10 mirrors
 acl2 - A Computational Logic for Applicative Common Lisp: main binary
 /Main/Debian/amd64/math/

821 B  2008-04-05acl2_3.3-1.1.dsc  232+ mirrors
13.28 KB  2008-04-05acl2_3.3-1.1.diff.gz  231+ mirrors
6.42 MB  2006-12-03acl2_3.1.orig.tar.gz  info  browse  286+ mirrors
 acl2_3.1.orig.tar.gz
 /Main/Debian/Other/

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

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

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

822 B  2006-12-03acl2_3.1-1.dsc  283+ mirrors
12.96 KB  2006-12-03acl2_3.1-1.diff.gz  287+ mirrors
4.96 MB  2004-10-27acl2_2.9.orig.tar.gz  info  browse  99 mirrors
 acl2_2.9.orig.tar.gz
 /Main/Debian/Other/

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

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

794 B  2004-11-10acl2_2.9-2.dsc  94 mirrors
17.70 KB  2004-11-10acl2_2.9-2.diff.gz  98 mirrors
2.37 MB  2008-04-05acl2-source_3.3-1.1_all.deb  info  browse  11 mirrors
 acl2-source - A Computational Logic for Applicative Common Lisp: source files
 /Main/Debian/all/math/

2.16 MB  2006-12-03acl2-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/

1.95 MB  2004-11-10acl2-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.64 KB  2008-04-05acl2-infix_3.3-1.1_sparc.deb  info  browse  47 mirrors
 acl2-infix - A Computational Logic for Applicative Common Lisp: infix interface
 /Main/Debian/sparc/math/

167.34 KB  2008-04-05acl2-infix_3.3-1.1_i386.deb  info  browse  11 mirrors
 acl2-infix - A Computational Logic for Applicative Common Lisp: infix interface
 /Main/Debian/i386/math/

178.55 KB  2008-04-23acl2-infix_3.3-1.1_armel.deb  info  browse  10 mirrors
 acl2-infix - A Computational Logic for Applicative Common Lisp: infix interface
 /Main/Debian/armel/math/

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

217.61 KB  2006-12-30acl2-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/

167.81 KB  2006-12-03acl2-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/

193.99 KB  2006-12-03acl2-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/

248.88 KB  2004-11-27acl2-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/

176.87 KB  2004-11-10acl2-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/

85.33 KB  2008-04-05acl2-infix-source_3.3-1.1_all.deb  info  browse  11 mirrors
 acl2-infix-source - A Computational Logic for Applicative Common Lisp: infix source
 /Main/Debian/all/math/

83.32 KB  2006-12-03acl2-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/

82.27 KB  2004-11-10acl2-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/

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

49.35 KB  2006-12-03acl2-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/

47.59 KB  2004-11-10acl2-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/

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

1.93 MB  2006-12-03acl2-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.71 MB  2004-11-10acl2-doc_2.9-2_all.deb  info  browse  107 mirrors
 acl2-doc - A Computational Logic for Applicative Common Lisp: documentation
 /Main/Debian/all/doc/

5.75 MB  2008-04-05acl2-books_3.3-1.1_sparc.deb  info  browse  47 mirrors
 acl2-books - A Computational Logic for Applicative Common Lisp: compiled libraries
 /Main/Debian/sparc/math/

4.69 MB  2008-04-05acl2-books_3.3-1.1_i386.deb  info  browse  11 mirrors
 acl2-books - A Computational Logic for Applicative Common Lisp: compiled libraries
 /Main/Debian/i386/math/

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

6.29 MB  2008-04-05acl2-books_3.3-1.1_amd64.deb  info  browse  10 mirrors
 acl2-books - A Computational Logic for Applicative Common Lisp: compiled libraries
 /Main/Debian/amd64/math/

1.82 MB  2006-12-30acl2-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.54 MB  2006-12-03acl2-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/

2.16 MB  2006-12-03acl2-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/

972.15 KB  2004-11-27acl2-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/

813.81 KB  2004-11-10acl2-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/