|
|
|
18.09 MB 2007-02-17acl2_3.3-1ubuntu1_amd64.deb info browse 174 mirrors
acl2 - A Computational Logic for Applicative Common Lisp: main binary
/Main/Ubuntu/amd64/math/
16.12 MB 2007-05-12acl2_3.3-1.1_i386.deb info browse 176 mirrors
acl2 - A Computational Logic for Applicative Common Lisp: main binary
/Main/Ubuntu/i386/math/
18.17 MB 2007-05-12acl2_3.3-1.1_amd64.deb info browse 173 mirrors
acl2 - A Computational Logic for Applicative Common Lisp: main binary
/Main/Ubuntu/amd64/math/
14.80 MB 2005-12-07acl2_3.1-1_i386.deb info browse 180 mirrors
acl2 - A Computational Logic for Applicative Common Lisp: main binary
/Main/Ubuntu/i386/math/
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/
2.37 MB 2007-05-12acl2-source_3.3-1.1_all.deb info browse 176 mirrors
acl2-source - A Computational Logic for Applicative Common Lisp: source files
/Main/Ubuntu/all/math/
2.16 MB 2005-12-07acl2-source_3.1-1_all.deb info browse 180 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/
194.90 KB 2007-02-17acl2-infix_3.3-1ubuntu1_amd64.deb info browse 174 mirrors
acl2-infix - A Computational Logic for Applicative Common Lisp: infix interface
/Main/Ubuntu/amd64/math/
388.48 KB 2007-05-12acl2-infix_3.3-1.1_i386.deb info browse 176 mirrors
acl2-infix - A Computational Logic for Applicative Common Lisp: infix interface
/Main/Ubuntu/i386/math/
432.07 KB 2007-05-12acl2-infix_3.3-1.1_amd64.deb info browse 173 mirrors
acl2-infix - A Computational Logic for Applicative Common Lisp: infix interface
/Main/Ubuntu/amd64/math/
166.08 KB 2005-12-07acl2-infix_3.1-1_i386.deb info browse 180 mirrors
acl2-infix - A Computational Logic for Applicative Common Lisp: infix interface
/Main/Ubuntu/i386/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/
83.72 KB 2007-05-12acl2-infix-source_3.3-1.1_all.deb info browse 176 mirrors
acl2-infix-source - A Computational Logic for Applicative Common Lisp: infix source
/Main/Ubuntu/all/math/
83.37 KB 2005-12-07acl2-infix-source_3.1-1_all.deb info browse 180 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/
53.29 KB 2007-05-12acl2-emacs_3.3-1.1_all.deb info browse 176 mirrors
acl2-emacs - A Computational Logic for Applicative Common Lisp: emacs interface
/Main/Ubuntu/all/math/
49.39 KB 2005-12-07acl2-emacs_3.1-1_all.deb info browse 180 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/
2.06 MB 2007-05-12acl2-doc_3.3-1.1_all.deb info browse 176 mirrors
acl2-doc - A Computational Logic for Applicative Common Lisp: documentation
/Main/Ubuntu/all/doc/
1.93 MB 2005-12-07acl2-doc_3.1-1_all.deb info browse 180 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/
6.10 MB 2007-02-17acl2-books_3.3-1ubuntu1_amd64.deb info browse 174 mirrors
acl2-books - A Computational Logic for Applicative Common Lisp: compiled libraries
/Main/Ubuntu/amd64/math/
17.62 MB 2007-05-12acl2-books_3.3-1.1_i386.deb info browse 176 mirrors
acl2-books - A Computational Logic for Applicative Common Lisp: compiled libraries
/Main/Ubuntu/i386/math/
21.40 MB 2007-05-12acl2-books_3.3-1.1_amd64.deb info browse 173 mirrors
acl2-books - A Computational Logic for Applicative Common Lisp: compiled libraries
/Main/Ubuntu/amd64/math/
1.51 MB 2005-12-07acl2-books_3.1-1_i386.deb info browse 180 mirrors
acl2-books - A Computational Logic for Applicative Common Lisp: compiled libraries
/Main/Ubuntu/i386/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/
2.33 MB 2007-05-12acl2-books-source_3.3-1.1_all.deb info browse 176 mirrors
acl2-books-source - A Computational Logic for Applicative Common Lisp: library sources
/Main/Ubuntu/all/math/
2.14 MB 2005-12-07acl2-books-source_3.1-1_all.deb info browse 180 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.19 MB 2007-05-12acl2-books-certs_3.3-1.1_all.deb info browse 176 mirrors
acl2-books-certs - A Computational Logic for Applicative Common Lisp: library certificates
/Main/Ubuntu/all/math/
4.73 MB 2005-12-07acl2-books-certs_3.1-1_all.deb info browse 180 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/
20.62 MB 2009-04-28acl2_3.4-2_amd64.deb 111 mirrors
18.41 MB 2009-04-28acl2_3.4-2_i386.deb 114 mirrors
374.66 KB 2009-04-28acl2-infix_3.4-2_i386.deb 114 mirrors
2.49 MB 2009-04-28acl2-source_3.4-2_all.deb 114 mirrors
83.98 KB 2009-04-28acl2-infix-source_3.4-2_all.deb 114 mirrors
408.34 KB 2009-04-28acl2-infix_3.4-2_amd64.deb 111 mirrors
2.19 MB 2009-04-28acl2-doc_3.4-2_all.deb 114 mirrors
53.79 KB 2009-04-28acl2-emacs_3.4-2_all.deb 114 mirrors
1.21 MB 2009-04-28acl2-books-certs_3.4-2_all.deb 114 mirrors
2.72 MB 2009-04-28acl2-books-source_3.4-2_all.deb 114 mirrors
23.45 MB 2009-04-28acl2-books_3.4-2_amd64.deb 111 mirrors
19.99 MB 2009-04-28acl2-books_3.4-2_i386.deb 114 mirrors
2.49 MB 2008-11-04acl2-source_3.4-1_all.deb 154 mirrors
20.73 MB 2008-11-05acl2_3.4-1_amd64.deb 150 mirrors
| Results 1 - 50 |