 |
| FTP Search |
| Directory |
| Content Search |
|
|
|
|
5.69 MB 2005-06-15acl2_3.0.orig.tar.gz info browse 16 mirrors
acl2_3.0.orig.tar.gz
/Main/Ubuntu/Other/
14.26 MB 2005-06-21acl2_3.0-1_i386.deb info browse 7 mirrors
acl2 - A Computational Logic for Applicative Common Lisp: main binary
/Main/Ubuntu/i386/math/
17.30 MB 2005-06-21acl2_3.0-1_amd64.deb info browse 5 mirrors
acl2 - A Computational Logic for Applicative Common Lisp: main binary
/Main/Ubuntu/amd64/math/
797 B 2005-06-15acl2_3.0-1.dsc 14 mirrors
12.64 KB 2005-06-15acl2_3.0-1.diff.gz 14 mirrors
5.16 MB 2004-10-08acl2_2.9.3.orig.tar.gz info browse 185 mirrors
acl2_2.9.3.orig.tar.gz
/Main/Debian/Other/
13.28 MB 2004-10-27acl2_2.9.3-7_i386.deb info browse 174 mirrors
acl2 - A Computational Logic for Applicative Common Lisp: main binary
/Main/Ubuntu/i386/math/
16.22 MB 2004-10-29acl2_2.9.3-7_amd64.deb info browse 170 mirrors
acl2 - A Computational Logic for Applicative Common Lisp: main binary
/Main/Ubuntu/amd64/math/
805 B 2004-10-25acl2_2.9.3-7.dsc 184 mirrors
20.46 KB 2004-10-25acl2_2.9.3-7.diff.gz 183 mirrors
13.27 MB 2004-10-08acl2_2.9.3-5build1_i386.deb info browse 7 mirrors
acl2 - A Computational Logic for Applicative Common Lisp: main binary
/Main/Ubuntu/i386/math/
816 B 2004-10-08acl2_2.9.3-5build1.dsc 4 mirrors
19.44 KB 2004-10-08acl2_2.9.3-5build1.diff.gz 4 mirrors
15.92 MB 2003-11-13acl2_2.9-2_amd64.deb info browse 5 mirrors
acl2 - A Computational Logic for Applicative Common Lisp: main binary
/Main/Ubuntu/amd64/math/
2.09 MB 2005-06-21acl2-source_3.0-1_all.deb info browse 7 mirrors
acl2-source - A Computational Logic for Applicative Common Lisp: source files
/Main/Ubuntu/all/math/
2.02 MB 2004-10-27acl2-source_2.9.3-7_all.deb info browse 174 mirrors
acl2-source - A Computational Logic for Applicative Common Lisp: source files
/Main/Ubuntu/all/math/
2.02 MB 2004-10-08acl2-source_2.9.3-5build1_all.deb info browse 7 mirrors
acl2-source - A Computational Logic for Applicative Common Lisp: source files
/Main/Ubuntu/all/math/
162.49 KB 2005-06-21acl2-infix_3.0-1_i386.deb info browse 7 mirrors
acl2-infix - A Computational Logic for Applicative Common Lisp: infix interface
/Main/Ubuntu/i386/math/
196.01 KB 2005-06-21acl2-infix_3.0-1_amd64.deb info browse 5 mirrors
acl2-infix - A Computational Logic for Applicative Common Lisp: infix interface
/Main/Ubuntu/amd64/math/
165.02 KB 2004-10-27acl2-infix_2.9.3-7_i386.deb info browse 174 mirrors
acl2-infix - A Computational Logic for Applicative Common Lisp: infix interface
/Main/Ubuntu/i386/math/
198.07 KB 2004-10-29acl2-infix_2.9.3-7_amd64.deb info browse 170 mirrors
acl2-infix - A Computational Logic for Applicative Common Lisp: infix interface
/Main/Ubuntu/amd64/math/
165.05 KB 2004-10-08acl2-infix_2.9.3-5build1_i386.deb info browse 7 mirrors
acl2-infix - A Computational Logic for Applicative Common Lisp: infix interface
/Main/Ubuntu/i386/math/
210.19 KB 2003-11-13acl2-infix_2.9-2_amd64.deb info browse 5 mirrors
acl2-infix - A Computational Logic for Applicative Common Lisp: infix interface
/Main/Ubuntu/amd64/math/
83.01 KB 2005-06-21acl2-infix-source_3.0-1_all.deb info browse 15 mirrors
acl2-infix-source - A Computational Logic for Applicative Common Lisp: infix source
/Main/Ubuntu/all/math/
82.85 KB 2004-10-27acl2-infix-source_2.9.3-7_all.deb info browse 174 mirrors
acl2-infix-source - A Computational Logic for Applicative Common Lisp: infix source
/Main/Ubuntu/all/math/
82.87 KB 2004-10-08acl2-infix-source_2.9.3-5build1_all.deb info browse 7 mirrors
acl2-infix-source - A Computational Logic for Applicative Common Lisp: infix source
/Main/Ubuntu/all/math/
49.12 KB 2005-06-21acl2-emacs_3.0-1_all.deb info browse 7 mirrors
acl2-emacs - A Computational Logic for Applicative Common Lisp: emacs interface
/Main/Ubuntu/all/math/
48.20 KB 2004-10-27acl2-emacs_2.9.3-7_all.deb info browse 174 mirrors
acl2-emacs - A Computational Logic for Applicative Common Lisp: emacs interface
/Main/Ubuntu/all/math/
48.22 KB 2004-10-08acl2-emacs_2.9.3-5build1_all.deb info browse 7 mirrors
acl2-emacs - A Computational Logic for Applicative Common Lisp: emacs interface
/Main/Ubuntu/all/math/
1.85 MB 2005-06-21acl2-doc_3.0-1_all.deb info browse 7 mirrors
acl2-doc - A Computational Logic for Applicative Common Lisp: documentation
/Main/Ubuntu/all/doc/
1.78 MB 2004-10-27acl2-doc_2.9.3-7_all.deb info browse 174 mirrors
acl2-doc - A Computational Logic for Applicative Common Lisp: documentation
/Main/Ubuntu/all/doc/
1.78 MB 2004-10-08acl2-doc_2.9.3-5build1_all.deb info browse 7 mirrors
acl2-doc - A Computational Logic for Applicative Common Lisp: documentation
/Main/Ubuntu/all/doc/
1.14 MB 2005-06-21acl2-books_3.0-1_i386.deb info browse 7 mirrors
acl2-books - A Computational Logic for Applicative Common Lisp: compiled libraries
/Main/Ubuntu/i386/math/
1.55 MB 2005-06-21acl2-books_3.0-1_amd64.deb info browse 5 mirrors
acl2-books - A Computational Logic for Applicative Common Lisp: compiled libraries
/Main/Ubuntu/amd64/math/
812.79 KB 2004-10-27acl2-books_2.9.3-7_i386.deb info browse 174 mirrors
acl2-books - A Computational Logic for Applicative Common Lisp: compiled libraries
/Main/Ubuntu/i386/math/
1.07 MB 2004-10-29acl2-books_2.9.3-7_amd64.deb info browse 170 mirrors
acl2-books - A Computational Logic for Applicative Common Lisp: compiled libraries
/Main/Ubuntu/amd64/math/
812.66 KB 2004-10-08acl2-books_2.9.3-5build1_i386.deb info browse 7 mirrors
acl2-books - A Computational Logic for Applicative Common Lisp: compiled libraries
/Main/Ubuntu/i386/math/
1.00 MB 2003-11-13acl2-books_2.9-2_amd64.deb info browse 5 mirrors
acl2-books - A Computational Logic for Applicative Common Lisp: compiled libraries
/Main/Ubuntu/amd64/math/
1.59 MB 2005-06-21acl2-books-source_3.0-1_all.deb info browse 7 mirrors
acl2-books-source - A Computational Logic for Applicative Common Lisp: library sources
/Main/Ubuntu/all/math/
1.24 MB 2004-10-27acl2-books-source_2.9.3-7_all.deb info browse 174 mirrors
acl2-books-source - A Computational Logic for Applicative Common Lisp: library sources
/Main/Ubuntu/all/math/
1.24 MB 2004-10-08acl2-books-source_2.9.3-5build1_all.deb info browse 7 mirrors
acl2-books-source - A Computational Logic for Applicative Common Lisp: library sources
/Main/Ubuntu/all/math/
665.20 KB 2005-06-21acl2-books-certs_3.0-1_all.deb info browse 7 mirrors
acl2-books-certs - A Computational Logic for Applicative Common Lisp: library certificates
/Main/Ubuntu/all/math/
367.12 KB 2004-10-27acl2-books-certs_2.9.3-7_all.deb info browse 174 mirrors
acl2-books-certs - A Computational Logic for Applicative Common Lisp: library certificates
/Main/Ubuntu/all/math/
367.00 KB 2004-10-08acl2-books-certs_2.9.3-5build1_all.deb info browse 7 mirrors
acl2-books-certs - A Computational Logic for Applicative Common Lisp: library certificates
/Main/Ubuntu/all/math/
| Results 1 - 44 |