 |
| FTP Search |
| Directory |
| Content Search |
|
|
|
|
7.63 MB 2007-08-26acl2_3.4.orig.tar.gz info browse 392+ mirrors
acl2_3.4.orig.tar.gz
/Main/Debian/Other/
6.42 MB 2005-12-04acl2_3.1.orig.tar.gz info browse 286+ mirrors
acl2_3.1.orig.tar.gz
/Main/Debian/Other/
16.68 MB 2005-12-31acl2_3.1-1_sparc.deb info browse 178 mirrors
acl2 - A Computational Logic for Applicative Common Lisp: main binary
/Main/Debian/sparc/math/
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/
16.79 MB 2005-12-05acl2_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 2005-12-04acl2_3.1-1_i386.deb info browse 280+ mirrors
acl2 - A Computational Logic for Applicative Common Lisp: main binary
/Main/Debian/i386/math/
16.00 MB 2005-12-18acl2_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 2005-12-04acl2_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 2005-12-05acl2_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 2005-12-04acl2_3.1-1.dsc 283+ mirrors
12.96 KB 2005-12-04acl2_3.1-1.diff.gz 287+ mirrors
2.16 MB 2005-12-04acl2-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/
217.61 KB 2005-12-31acl2-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/
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/
297.06 KB 2005-12-05acl2-infix_3.1-1_ia64.deb info browse 178 mirrors
acl2-infix - A Computational Logic for Applicative Common Lisp: infix interface
/Main/Debian/ia64/math/
167.81 KB 2005-12-04acl2-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/
185.73 KB 2005-12-18acl2-infix_3.1-1_arm.deb info browse 164 mirrors
acl2-infix - A Computational Logic for Applicative Common Lisp: infix interface
/Main/Debian/arm/math/
193.99 KB 2005-12-04acl2-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/
251.23 KB 2005-12-05acl2-infix_3.1-1_alpha.deb info browse 166 mirrors
acl2-infix - A Computational Logic for Applicative Common Lisp: infix interface
/Main/Debian/alpha/math/
83.32 KB 2005-12-04acl2-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/
49.35 KB 2005-12-04acl2-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/
1.93 MB 2005-12-04acl2-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.82 MB 2005-12-31acl2-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.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.85 MB 2005-12-05acl2-books_3.1-1_ia64.deb info browse 178 mirrors
acl2-books - A Computational Logic for Applicative Common Lisp: compiled libraries
/Main/Debian/ia64/math/
1.54 MB 2005-12-04acl2-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/
1.61 MB 2005-12-18acl2-books_3.1-1_arm.deb info browse 164 mirrors
acl2-books - A Computational Logic for Applicative Common Lisp: compiled libraries
/Main/Debian/arm/math/
2.16 MB 2005-12-04acl2-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/
2.71 MB 2005-12-05acl2-books_3.1-1_alpha.deb info browse 166 mirrors
acl2-books - A Computational Logic for Applicative Common Lisp: compiled libraries
/Main/Debian/alpha/math/
2.14 MB 2005-12-04acl2-books-source_3.1-1_all.deb info browse 280+ mirrors
acl2-books-source - A Computational Logic for Applicative Common Lisp: library sources
/Main/Debian/all/math/
4.74 MB 2005-12-04acl2-books-certs_3.1-1_all.deb info browse 280+ mirrors
acl2-books-certs - A Computational Logic for Applicative Common Lisp: library certificates
/Main/Debian/all/math/
21.07 MB 2009-03-22acl2_3.4-2_sparc.deb 130 mirrors
20.75 MB 2009-03-18acl2_3.4-2_ia64.deb 131 mirrors
18.48 MB 2009-02-22acl2_3.4-2_i386.deb 207+ mirrors
18.93 MB 2009-02-25acl2_3.4-2_armel.deb 156 mirrors
20.61 MB 2009-02-23acl2_3.4-2_amd64.deb 202+ mirrors
19.53 MB 2009-02-24acl2_3.4-2_alpha.deb 119 mirrors
1.16 KB 2009-02-22acl2_3.4-2.dsc 304+ mirrors
13.57 KB 2009-02-22acl2_3.4-2.diff.gz 302+ mirrors
2.49 MB 2009-02-22acl2-source_3.4-2_all.deb 209+ mirrors
424.10 KB 2009-03-22acl2-infix_3.4-2_sparc.deb 130 mirrors
542.25 KB 2009-03-18acl2-infix_3.4-2_ia64.deb 131 mirrors
390.27 KB 2009-02-22acl2-infix_3.4-2_i386.deb 207+ mirrors
399.33 KB 2009-02-25acl2-infix_3.4-2_armel.deb 156 mirrors
430.27 KB 2009-02-23acl2-infix_3.4-2_amd64.deb 202+ mirrors
484.76 KB 2009-02-24acl2-infix_3.4-2_alpha.deb 119 mirrors
86.65 KB 2009-02-22acl2-infix-source_3.4-2_all.deb 209+ mirrors
54.94 KB 2009-02-22acl2-emacs_3.4-2_all.deb 209+ mirrors
2.29 MB 2009-02-22acl2-doc_3.4-2_all.deb 209+ mirrors
22.01 MB 2009-03-22acl2-books_3.4-2_sparc.deb 130 mirrors
| Results 1 - 50 |