|
|
|
6.98 MB 2006-12-03acl2_3.3.orig.tar.gz info browse 232+ mirrors
acl2_3.3.orig.tar.gz
/Main/Debian/Other/
15.45 MB 2007-03-01acl2_3.3-1_mipsel.deb info browse 3 mirrors
acl2 - A Computational Logic for Applicative Common Lisp: main binary
/Main/Debian/mipsel/math/
16.32 MB 2006-12-14acl2_3.3-1_mips.deb info browse 3 mirrors
acl2 - A Computational Logic for Applicative Common Lisp: main binary
/Main/Debian/mips/math/
18.25 MB 2007-02-11acl2_3.3-1_ia64.deb info browse 44 mirrors
acl2 - A Computational Logic for Applicative Common Lisp: main binary
/Main/Debian/ia64/math/
16.40 MB 2007-01-07acl2_3.3-1_arm.deb info browse 3 mirrors
acl2 - A Computational Logic for Applicative Common Lisp: main binary
/Main/Debian/arm/math/
811 B 2006-12-03acl2_3.3-1.dsc 64 mirrors
13.21 KB 2006-12-03acl2_3.3-1.diff.gz 64 mirrors
17.80 MB 2007-04-07acl2_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.22 MB 2007-04-07acl2_3.3-1.1_s390.deb info browse 3 mirrors
acl2 - A Computational Logic for Applicative Common Lisp: main binary
/Main/Debian/s390/math/
17.79 MB 2007-04-08acl2_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 2007-04-07acl2_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 2007-04-25acl2_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 2007-04-07acl2_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 2007-04-08acl2_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 2007-04-07acl2_3.3-1.1.dsc 232+ mirrors
13.28 KB 2007-04-07acl2_3.3-1.1.diff.gz 231+ mirrors
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/
822 B 2005-12-04acl2_3.1-1.dsc 283+ mirrors
794 B 2003-11-12acl2_2.9-2.dsc 94 mirrors
2.37 MB 2007-04-07acl2-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/
186.49 KB 2007-03-01acl2-infix_3.3-1_mipsel.deb info browse 3 mirrors
acl2-infix - A Computational Logic for Applicative Common Lisp: infix interface
/Main/Debian/mipsel/math/
193.20 KB 2006-12-14acl2-infix_3.3-1_mips.deb info browse 3 mirrors
acl2-infix - A Computational Logic for Applicative Common Lisp: infix interface
/Main/Debian/mips/math/
294.53 KB 2007-02-11acl2-infix_3.3-1_ia64.deb info browse 44 mirrors
acl2-infix - A Computational Logic for Applicative Common Lisp: infix interface
/Main/Debian/ia64/math/
171.13 KB 2007-01-07acl2-infix_3.3-1_arm.deb info browse 3 mirrors
acl2-infix - A Computational Logic for Applicative Common Lisp: infix interface
/Main/Debian/arm/math/
210.64 KB 2007-04-07acl2-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/
163.59 KB 2007-04-07acl2-infix_3.3-1.1_s390.deb info browse 3 mirrors
acl2-infix - A Computational Logic for Applicative Common Lisp: infix interface
/Main/Debian/s390/math/
219.01 KB 2007-04-08acl2-infix_3.3-1.1_powerpc.deb info browse 5 mirrors
acl2-infix - A Computational Logic for Applicative Common Lisp: infix interface
/Main/Debian/powerpc/math/
167.34 KB 2007-04-07acl2-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 2007-04-25acl2-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 2007-04-07acl2-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/
247.29 KB 2007-04-08acl2-infix_3.3-1.1_alpha.deb info browse 4 mirrors
acl2-infix - A Computational Logic for Applicative Common Lisp: infix interface
/Main/Debian/alpha/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/
85.33 KB 2007-04-07acl2-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/
54.71 KB 2007-04-07acl2-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/
2.16 MB 2007-04-07acl2-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/
5.55 MB 2007-03-01acl2-books_3.3-1_mipsel.deb info browse 3 mirrors
acl2-books - A Computational Logic for Applicative Common Lisp: compiled libraries
/Main/Debian/mipsel/math/
5.74 MB 2006-12-14acl2-books_3.3-1_mips.deb info browse 3 mirrors
acl2-books - A Computational Logic for Applicative Common Lisp: compiled libraries
/Main/Debian/mips/math/
8.63 MB 2007-02-11acl2-books_3.3-1_ia64.deb info browse 44 mirrors
acl2-books - A Computational Logic for Applicative Common Lisp: compiled libraries
/Main/Debian/ia64/math/
4.98 MB 2007-01-07acl2-books_3.3-1_arm.deb info browse 3 mirrors
acl2-books - A Computational Logic for Applicative Common Lisp: compiled libraries
/Main/Debian/arm/math/
5.75 MB 2007-04-07acl2-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.93 MB 2007-04-07acl2-books_3.3-1.1_s390.deb info browse 3 mirrors
acl2-books - A Computational Logic for Applicative Common Lisp: compiled libraries
/Main/Debian/s390/math/
6.17 MB 2007-04-08acl2-books_3.3-1.1_powerpc.deb info browse 5 mirrors
acl2-books - A Computational Logic for Applicative Common Lisp: compiled libraries
/Main/Debian/powerpc/math/
4.69 MB 2007-04-07acl2-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 2007-04-25acl2-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 2007-04-07acl2-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/
8.28 MB 2007-04-08acl2-books_3.3-1.1_alpha.deb info browse 4 mirrors
acl2-books - A Computational Logic for Applicative Common Lisp: compiled libraries
/Main/Debian/alpha/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.44 MB 2007-04-07acl2-books-source_3.3-1.1_all.deb info browse 11 mirrors
acl2-books-source - A Computational Logic for Applicative Common Lisp: library sources
/Main/Debian/all/math/
1.19 MB 2007-04-07acl2-books-certs_3.3-1.1_all.deb info browse 11 mirrors
acl2-books-certs - A Computational Logic for Applicative Common Lisp: library certificates
/Main/Debian/all/math/
| Results 1 - 49 |