 |
| 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/
20.41 MB 2007-08-26acl2_3.4-1_powerpc.deb info browse 41 mirrors
acl2 - A Computational Logic for Applicative Common Lisp: main binary
/Main/Debian/powerpc/math/
18.47 MB 2007-08-26acl2_3.4-1_i386.deb info browse 59 mirrors
acl2 - A Computational Logic for Applicative Common Lisp: main binary
/Main/Debian/i386/math/
20.60 MB 2007-08-26acl2_3.4-1_amd64.deb info browse 59 mirrors
acl2 - A Computational Logic for Applicative Common Lisp: main binary
/Main/Debian/amd64/math/
1.15 KB 2007-08-26acl2_3.4-1.dsc 205+ mirrors
13.44 KB 2007-08-26acl2_3.4-1.diff.gz 204+ mirrors
6.98 MB 2006-12-03acl2_3.3.orig.tar.gz info browse 232+ mirrors
acl2_3.3.orig.tar.gz
/Main/Debian/Other/
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/
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/
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
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/
17.04 MB 2005-12-05acl2_3.1-1_powerpc.deb info browse 183 mirrors
acl2 - A Computational Logic for Applicative Common Lisp: main binary
/Main/Debian/powerpc/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/
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/
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.49 MB 2007-08-26acl2-source_3.4-1_all.deb info browse 60 mirrors
acl2-source - A Computational Logic for Applicative Common Lisp: source files
/Main/Debian/all/math/
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/
504.34 KB 2007-08-26acl2-infix_3.4-1_powerpc.deb info browse 41 mirrors
acl2-infix - A Computational Logic for Applicative Common Lisp: infix interface
/Main/Debian/powerpc/math/
390.15 KB 2007-08-26acl2-infix_3.4-1_i386.deb info browse 59 mirrors
acl2-infix - A Computational Logic for Applicative Common Lisp: infix interface
/Main/Debian/i386/math/
431.67 KB 2007-08-26acl2-infix_3.4-1_amd64.deb info browse 59 mirrors
acl2-infix - A Computational Logic for Applicative Common Lisp: infix interface
/Main/Debian/amd64/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/
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/
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/
243.02 KB 2005-12-05acl2-infix_3.1-1_powerpc.deb info browse 183 mirrors
acl2-infix - A Computational Logic for Applicative Common Lisp: infix interface
/Main/Debian/powerpc/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/
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/
84.69 KB 2007-08-26acl2-infix-source_3.4-1_all.deb info browse 60 mirrors
acl2-infix-source - A Computational Logic for Applicative Common Lisp: infix source
/Main/Debian/all/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/
54.17 KB 2007-08-26acl2-emacs_3.4-1_all.deb info browse 60 mirrors
acl2-emacs - A Computational Logic for Applicative Common Lisp: emacs interface
/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/
2.30 MB 2007-08-26acl2-doc_3.4-1_all.deb info browse 60 mirrors
acl2-doc - A Computational Logic for Applicative Common Lisp: documentation
/Main/Debian/all/doc/
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/
27.36 MB 2007-08-26acl2-books_3.4-1_powerpc.deb 40 mirrors
20.53 MB 2007-08-26acl2-books_3.4-1_i386.deb info browse 59 mirrors
acl2-books - A Computational Logic for Applicative Common Lisp: compiled libraries
/Main/Debian/i386/math/
24.55 MB 2007-08-26acl2-books_3.4-1_amd64.deb 58 mirrors
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/
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/
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/
2.22 MB 2005-12-05acl2-books_3.1-1_powerpc.deb info browse 183 mirrors
acl2-books - A Computational Logic for Applicative Common Lisp: compiled libraries
/Main/Debian/powerpc/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/
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.83 MB 2007-08-26acl2-books-source_3.4-1_all.deb info browse 60 mirrors
acl2-books-source - A Computational Logic for Applicative Common Lisp: library sources
/Main/Debian/all/math/
| Results 1 - 50 |