 |
| FTP Search |
| Directory |
| Content Search |
|
|
|
|
4.96 MB 2004-10-27acl2_2.9.orig.tar.gz info browse 99 mirrors
acl2_2.9.orig.tar.gz
/Main/Debian/Other/
5.16 MB 2005-10-06acl2_2.9.3.orig.tar.gz info browse 185 mirrors
acl2_2.9.3.orig.tar.gz
/Main/Debian/Other/
13.27 MB 2005-10-06acl2_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 2005-10-06acl2_2.9.3-5build1.dsc 4 mirrors
19.44 KB 2005-10-06acl2_2.9.3-5build1.diff.gz 4 mirrors
15.42 MB 2004-11-09acl2_2.9-2_powerpc.deb info browse 4 mirrors
acl2 - A Computational Logic for Applicative Common Lisp: main binary
/Main/Ubuntu/powerpc/math/
13.10 MB 2004-11-09acl2_2.9-2_i386.deb info browse 4 mirrors
acl2 - A Computational Logic for Applicative Common Lisp: main binary
/Main/Ubuntu/i386/math/
15.92 MB 2004-11-09acl2_2.9-2_amd64.deb info browse 5 mirrors
acl2 - A Computational Logic for Applicative Common Lisp: main binary
/Main/Ubuntu/amd64/math/
794 B 2004-11-09acl2_2.9-2.dsc 94 mirrors
17.70 KB 2004-11-09acl2_2.9-2.diff.gz 98 mirrors
4.92 MB 2004-07-23acl2_2.8.orig.tar.gz info browse 8 mirrors
acl2_2.8.orig.tar.gz
/Main/Ubuntu/Other/
12.27 MB 2004-08-11acl2_2.8-4_i386.deb info browse 4 mirrors
acl2 - A Computational Logic for Applicative Common Lisp: main binary
/Main/Ubuntu/i386/math/
10.02 MB 2004-08-17acl2_2.8-4_amd64.deb 3 mirrors
795 B 2004-07-23acl2_2.8-4.dsc 5 mirrors
12.00 KB 2004-07-23acl2_2.8-4.diff.gz 5 mirrors
2.02 MB 2005-10-06acl2-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/
1.95 MB 2004-11-09acl2-source_2.9-2_all.deb info browse 4 mirrors
acl2-source - A Computational Logic for Applicative Common Lisp: source files
/Main/Ubuntu/all/math/
165.05 KB 2005-10-06acl2-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/
307.48 KB 2004-11-09acl2-infix_2.9-2_powerpc.deb info browse 4 mirrors
acl2-infix - A Computational Logic for Applicative Common Lisp: infix interface
/Main/Ubuntu/powerpc/math/
176.84 KB 2004-11-09acl2-infix_2.9-2_i386.deb info browse 4 mirrors
acl2-infix - A Computational Logic for Applicative Common Lisp: infix interface
/Main/Ubuntu/i386/math/
210.19 KB 2004-11-09acl2-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/
173.73 KB 2004-08-11acl2-infix_2.8-4_i386.deb info browse 4 mirrors
acl2-infix - A Computational Logic for Applicative Common Lisp: infix interface
/Main/Ubuntu/i386/math/
209.76 KB 2004-08-17acl2-infix_2.8-4_amd64.deb info browse 4 mirrors
acl2-infix - A Computational Logic for Applicative Common Lisp: infix interface
/Main/Ubuntu/amd64/math/
82.87 KB 2005-10-06acl2-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/
82.26 KB 2004-11-09acl2-infix-source_2.9-2_all.deb info browse 4 mirrors
acl2-infix-source - A Computational Logic for Applicative Common Lisp: infix source
/Main/Ubuntu/all/math/
48.22 KB 2005-10-06acl2-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/
47.58 KB 2004-11-09acl2-emacs_2.9-2_all.deb info browse 4 mirrors
acl2-emacs - A Computational Logic for Applicative Common Lisp: emacs interface
/Main/Ubuntu/all/math/
1.78 MB 2005-10-06acl2-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.71 MB 2004-11-09acl2-doc_2.9-2_all.deb info browse 4 mirrors
acl2-doc - A Computational Logic for Applicative Common Lisp: documentation
/Main/Ubuntu/all/doc/
812.66 KB 2005-10-06acl2-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.21 MB 2004-11-09acl2-books_2.9-2_powerpc.deb info browse 4 mirrors
acl2-books - A Computational Logic for Applicative Common Lisp: compiled libraries
/Main/Ubuntu/powerpc/math/
813.64 KB 2004-11-09acl2-books_2.9-2_i386.deb info browse 4 mirrors
acl2-books - A Computational Logic for Applicative Common Lisp: compiled libraries
/Main/Ubuntu/i386/math/
1.00 MB 2004-11-09acl2-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/
854.96 KB 2004-08-11acl2-books_2.8-4_i386.deb info browse 4 mirrors
acl2-books - A Computational Logic for Applicative Common Lisp: compiled libraries
/Main/Ubuntu/i386/math/
1.08 MB 2004-08-17acl2-books_2.8-4_amd64.deb info browse 4 mirrors
acl2-books - A Computational Logic for Applicative Common Lisp: compiled libraries
/Main/Ubuntu/amd64/math/
1.24 MB 2005-10-06acl2-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/
1.18 MB 2004-11-09acl2-books-source_2.9-2_all.deb info browse 4 mirrors
acl2-books-source - A Computational Logic for Applicative Common Lisp: library sources
/Main/Ubuntu/all/math/
367.00 KB 2005-10-06acl2-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/
289.81 KB 2004-11-09acl2-books-certs_2.9-2_all.deb info browse 4 mirrors
acl2-books-certs - A Computational Logic for Applicative Common Lisp: library certificates
/Main/Ubuntu/all/math/
3.19 KB 2008-05-03.listing 8 mirrors
| Results 1 - 40 |