ftp://192.87.102.43/vol/4/linux-debian/pool/main/a/acl2/  direct

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

20.44 MB  2008-08-26acl2_3.4-1_s390.deb  info  browse  39 mirrors
 acl2 - A Computational Logic for Applicative Common Lisp: main binary
 /Main/Debian/s390/math/

20.41 MB  2008-08-24acl2_3.4-1_powerpc.deb  info  browse  41 mirrors
 acl2 - A Computational Logic for Applicative Common Lisp: main binary
 /Main/Debian/powerpc/math/

17.67 MB  2008-08-25acl2_3.4-1_mipsel.deb  info  browse  39 mirrors
 acl2 - A Computational Logic for Applicative Common Lisp: main binary
 /Main/Debian/mipsel/math/

18.80 MB  2008-08-25acl2_3.4-1_mips.deb  info  browse  39 mirrors
 acl2 - A Computational Logic for Applicative Common Lisp: main binary
 /Main/Debian/mips/math/

18.47 MB  2008-08-24acl2_3.4-1_i386.deb  info  browse  59 mirrors
 acl2 - A Computational Logic for Applicative Common Lisp: main binary
 /Main/Debian/i386/math/

18.86 MB  2008-08-26acl2_3.4-1_armel.deb  info  browse  51 mirrors
 acl2 - A Computational Logic for Applicative Common Lisp: main binary
 /Main/Debian/armel/math/

18.78 MB  2008-08-27acl2_3.4-1_arm.deb  info  browse  40 mirrors
 acl2 - A Computational Logic for Applicative Common Lisp: main binary
 /Main/Debian/arm/math/

20.60 MB  2008-08-24acl2_3.4-1_amd64.deb  info  browse  59 mirrors
 acl2 - A Computational Logic for Applicative Common Lisp: main binary
 /Main/Debian/amd64/math/

19.53 MB  2008-08-24acl2_3.4-1_alpha.deb  info  browse  41 mirrors
 acl2 - A Computational Logic for Applicative Common Lisp: main binary
 /Main/Debian/alpha/math/

1.15 KB  2008-08-24acl2_3.4-1.dsc  205+ mirrors
13.44 KB  2008-08-24acl2_3.4-1.diff.gz  204+ mirrors
6.98 MB  2007-12-02acl2_3.3.orig.tar.gz  info  browse  232+ mirrors
 acl2_3.3.orig.tar.gz
 /Main/Debian/Other/

18.25 MB  2008-02-10acl2_3.3-1_ia64.deb  info  browse  44 mirrors
 acl2 - A Computational Logic for Applicative Common Lisp: main binary
 /Main/Debian/ia64/math/

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/

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/

16.21 MB  2006-12-04acl2_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  2006-12-04acl2_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  2007-01-07acl2_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  2006-12-11acl2_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  2007-02-11acl2_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  2006-12-04acl2_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  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/

15.39 MB  2006-12-11acl2_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  2006-12-17acl2_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  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/

15.78 MB  2006-12-04acl2_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  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/

14.40 MB  2004-11-10acl2_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  2004-11-10acl2_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  2004-11-11acl2_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  2004-11-15acl2_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  2004-11-15acl2_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  2004-11-24acl2_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  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/

13.67 MB  2004-11-24acl2_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  2004-11-14acl2_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  2004-11-10acl2_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-11-10acl2_2.9-2.dsc  94 mirrors
17.70 KB  2004-11-10acl2_2.9-2.diff.gz  98 mirrors
2.49 MB  2008-08-24acl2-source_3.4-1_all.deb  info  browse  60 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/