ftp://ftp.csie.chu.edu.tw/pub2/Debian/pool/main/a/acl2/  direct

4.96 MB  2003-10-28acl2_2.9.orig.tar.gz  info  browse  99 mirrors
 acl2_2.9.orig.tar.gz
 /Main/Debian/Other/

5.16 MB  2004-08-12acl2_2.9.3.orig.tar.gz  info  browse  185 mirrors
 acl2_2.9.3.orig.tar.gz
 /Main/Debian/Other/

17.20 MB  2004-10-31acl2_2.9.3-7_sparc.deb  5 mirrors
14.84 MB  2004-10-20acl2_2.9.3-7_s390.deb  5 mirrors
15.09 MB  2004-10-20acl2_2.9.3-7_powerpc.deb  5 mirrors
13.46 MB  2004-10-20acl2_2.9.3-7_mipsel.deb  5 mirrors
14.14 MB  2004-10-21acl2_2.9.3-7_mips.deb  5 mirrors
15.82 MB  2004-10-20acl2_2.9.3-7_ia64.deb  5 mirrors
13.46 MB  2004-10-20acl2_2.9.3-7_i386.deb  7 mirrors
14.27 MB  2004-12-21acl2_2.9.3-7_arm.deb  5 mirrors
16.21 MB  2005-03-28acl2_2.9.3-7_amd64.deb  2 mirrors
14.77 MB  2004-10-20acl2_2.9.3-7_alpha.deb  5 mirrors
805 B  2004-10-20acl2_2.9.3-7.dsc  184 mirrors
20.46 KB  2004-10-20acl2_2.9.3-7.diff.gz  183 mirrors
5.10 MB  2004-06-09acl2_2.9.2.orig.tar.gz  info  browse  9 mirrors
 acl2_2.9.2.orig.tar.gz
 /Main/Debian/Other/

13.56 MB  2004-06-16acl2_2.9.2-1_m68k.deb  info  browse  6 mirrors
 acl2 - A Computational Logic for Applicative Common Lisp: main binary
 /Main/Debian/m68k/math/

800 B  2004-06-09acl2_2.9.2-1.dsc  7 mirrors
13.75 KB  2004-06-09acl2_2.9.2-1.diff.gz  7 mirrors
5.00 MB  2004-02-22acl2_2.9.1.orig.tar.gz  info  browse  10 mirrors
 acl2_2.9.1.orig.tar.gz
 /Main/Debian/Other/

13.73 MB  2004-02-23acl2_2.9.1-1_hppa.deb  info  browse  6 mirrors
 acl2 - A Computational Logic for Applicative Common Lisp: main binary
 /Main/Debian/hppa/math/

800 B  2004-02-22acl2_2.9.1-1.dsc  8 mirrors
18.54 KB  2004-02-22acl2_2.9.1-1.diff.gz  8 mirrors
21.33 MB  2003-11-28acl2_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-11acl2_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-11acl2_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-12acl2_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-16acl2_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-16acl2_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-25acl2_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-11acl2_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-25acl2_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-15acl2_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-11acl2_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  2003-11-11acl2_2.9-2.dsc  94 mirrors
17.70 KB  2003-11-11acl2_2.9-2.diff.gz  98 mirrors
2.02 MB  2004-10-20acl2-source_2.9.3-7_all.deb  16 mirrors
1.95 MB  2003-11-11acl2-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/

216.69 KB  2004-10-31acl2-infix_2.9.3-7_sparc.deb  5 mirrors
167.46 KB  2004-10-20acl2-infix_2.9.3-7_s390.deb  5 mirrors
240.06 KB  2004-10-20acl2-infix_2.9.3-7_powerpc.deb  5 mirrors
196.68 KB  2004-10-20acl2-infix_2.9.3-7_mipsel.deb  5 mirrors
203.49 KB  2004-10-21acl2-infix_2.9.3-7_mips.deb  5 mirrors
291.49 KB  2004-10-20acl2-infix_2.9.3-7_ia64.deb  5 mirrors
169.45 KB  2004-10-20acl2-infix_2.9.3-7_i386.deb  7 mirrors
175.91 KB  2004-12-21acl2-infix_2.9.3-7_arm.deb  5 mirrors
198.02 KB  2005-03-28acl2-infix_2.9.3-7_amd64.deb  2 mirrors
255.01 KB  2004-10-20acl2-infix_2.9.3-7_alpha.deb  5 mirrors
174.25 KB  2004-06-16acl2-infix_2.9.2-1_m68k.deb  info  browse  6 mirrors
 acl2-infix - A Computational Logic for Applicative Common Lisp: infix interface
 /Main/Debian/m68k/math/

382.08 KB  2004-02-23acl2-infix_2.9.1-1_hppa.deb  info  browse  6 mirrors
 acl2-infix - A Computational Logic for Applicative Common Lisp: infix interface
 /Main/Debian/hppa/math/

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