 |
| FTP Search |
| Directory |
| Content Search |
|
|
|
|
6.98 MB 2007-12-02acl2_3.3.orig.tar.gz info browse 232+ mirrors
acl2_3.3.orig.tar.gz
/Main/Debian/Other/
17.86 MB 2007-12-03acl2_3.3-1_sparc.deb
17.83 MB 2007-12-03acl2_3.3-1_powerpc.deb 3 mirrors
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/
16.11 MB 2007-12-02acl2_3.3-1_i386.deb info browse 2 mirrors
acl2 - A Computational Logic for Applicative Common Lisp: main binary
/Main/Debian/i386/math/
16.55 MB 2008-02-04acl2_3.3-1_armel.deb 2 mirrors
18.06 MB 2007-12-02acl2_3.3-1_amd64.deb info browse 2 mirrors
acl2 - A Computational Logic for Applicative Common Lisp: main binary
/Main/Debian/amd64/math/
17.00 MB 2007-12-03acl2_3.3-1_alpha.deb
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/
17.79 MB 2008-04-06acl2_3.3-1.1_powerpc.deb info browse 5 mirrors
acl2 - A Computational Logic for Applicative Common Lisp: main binary
/Main/Debian/powerpc/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/
16.99 MB 2008-04-06acl2_3.3-1.1_alpha.deb info browse 4 mirrors
acl2 - A Computational Logic for Applicative Common Lisp: main binary
/Main/Debian/alpha/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.72 MB 2007-05-16acl2_3.2.orig.tar.gz info browse 53 mirrors
acl2_3.2.orig.tar.gz
/Main/Debian/Other/
16.94 MB 2007-10-07acl2_3.2-1_sparc.deb info browse
acl2 - A Computational Logic for Applicative Common Lisp: main binary
/Main/Debian/sparc/math/
17.20 MB 2007-05-17acl2_3.2-1_powerpc.deb info browse 3 mirrors
acl2 - A Computational Logic for Applicative Common Lisp: main binary
/Main/Debian/powerpc/math/
15.34 MB 2007-05-16acl2_3.2-1_i386.deb info browse 2 mirrors
acl2 - A Computational Logic for Applicative Common Lisp: main binary
/Main/Debian/i386/math/
17.15 MB 2007-05-16acl2_3.2-1_amd64.deb info browse 2 mirrors
acl2 - A Computational Logic for Applicative Common Lisp: main binary
/Main/Debian/amd64/math/
16.33 MB 2007-07-12acl2_3.2-1_alpha.deb info browse 3 mirrors
acl2 - A Computational Logic for Applicative Common Lisp: main binary
/Main/Debian/alpha/math/
822 B 2007-05-16acl2_3.2-1.dsc 53 mirrors
12.98 KB 2007-05-16acl2_3.2-1.diff.gz 53 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/
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/
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/
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/
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/
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/
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.37 MB 2007-12-02acl2-source_3.3-1_all.deb info browse 2 mirrors
acl2-source - A Computational Logic for Applicative Common Lisp: source files
/Main/Debian/all/math/
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.25 MB 2007-05-16acl2-source_3.2-1_all.deb info browse 2 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/
212.45 KB 2007-12-03acl2-infix_3.3-1_sparc.deb
223.04 KB 2007-12-03acl2-infix_3.3-1_powerpc.deb 3 mirrors
| Results 1 - 50 |