| Paket |
Quelle |
Archiv |
Kurzbeschreibung |
Version |
| acl2 |
Debian |
testing |
A Computational Logic for Applicative Common Lisp: main binary |
3.6-4 |
| acl2 |
Debian |
stable |
A Computational Logic for Applicative Common Lisp: main binary |
3.1-1 |
| acl2 |
Debian |
unstable |
A Computational Logic for Applicative Common Lisp: main binary |
3.6-4 |
| acl2-books |
Debian |
testing |
A Computational Logic for Applicative Common Lisp: compiled libraries |
3.6-4 |
| acl2-books |
Debian |
stable |
A Computational Logic for Applicative Common Lisp: compiled libraries |
3.1-1 |
| acl2-books |
Debian |
unstable |
A Computational Logic for Applicative Common Lisp: compiled libraries |
3.6-4 |
| acl2-books-certs |
Debian |
testing |
A Computational Logic for Applicative Common Lisp: library certificates |
3.6-4 |
| acl2-books-certs |
Debian |
stable |
A Computational Logic for Applicative Common Lisp: library certificates |
3.1-1 |
| acl2-books-certs |
Debian |
unstable |
A Computational Logic for Applicative Common Lisp: library certificates |
3.6-4 |
| acl2-books-source |
Debian |
testing |
A Computational Logic for Applicative Common Lisp: library sources |
3.6-4 |
| acl2-books-source |
Debian |
stable |
A Computational Logic for Applicative Common Lisp: library sources |
3.1-1 |
| acl2-books-source |
Debian |
unstable |
A Computational Logic for Applicative Common Lisp: library sources |
3.6-4 |
| acl2-doc |
Debian |
testing |
A Computational Logic for Applicative Common Lisp: documentation |
3.6-4 |
| acl2-doc |
Debian |
stable |
A Computational Logic for Applicative Common Lisp: documentation |
3.1-1 |
| acl2-doc |
Debian |
unstable |
A Computational Logic for Applicative Common Lisp: documentation |
3.6-4 |
| acl2-emacs |
Debian |
testing |
A Computational Logic for Applicative Common Lisp: emacs interface |
3.6-4 |
| acl2-emacs |
Debian |
stable |
A Computational Logic for Applicative Common Lisp: emacs interface |
3.1-1 |
| acl2-emacs |
Debian |
unstable |
A Computational Logic for Applicative Common Lisp: emacs interface |
3.6-4 |
| acl2-infix |
Debian |
testing |
A Computational Logic for Applicative Common Lisp: infix interface |
3.6-4 |
| acl2-infix |
Debian |
stable |
A Computational Logic for Applicative Common Lisp: infix interface |
3.1-1 |
| acl2-infix |
Debian |
unstable |
A Computational Logic for Applicative Common Lisp: infix interface |
3.6-4 |
| acl2-infix-source |
Debian |
testing |
A Computational Logic for Applicative Common Lisp: infix source |
3.6-4 |
| acl2-infix-source |
Debian |
stable |
A Computational Logic for Applicative Common Lisp: infix source |
3.1-1 |
| acl2-infix-source |
Debian |
unstable |
A Computational Logic for Applicative Common Lisp: infix source |
3.6-4 |
| acl2-source |
Debian |
testing |
A Computational Logic for Applicative Common Lisp: source files |
3.6-4 |
| acl2-source |
Debian |
stable |
A Computational Logic for Applicative Common Lisp: source files |
3.1-1 |
| acl2-source |
Debian |
unstable |
A Computational Logic for Applicative Common Lisp: source files |
3.6-4 |
| atlas3-base |
Debian |
testing |
Automatically Tuned Linear Algebra Software,generic shared |
3.6.0-20.6 |
| atlas3-base |
Debian |
stable |
Automatically Tuned Linear Algebra Software,generic shared |
3.6.0-20.6 |
| atlas3-base |
Debian |
unstable |
Automatically Tuned Linear Algebra Software,generic shared |
3.6.0-20.6 |
| atlas3-base-dev |
Debian |
testing |
Automatically Tuned Linear Algebra Software,generic static |
3.6.0-20.6 |
| atlas3-base-dev |
Debian |
stable |
Automatically Tuned Linear Algebra Software,generic static |
3.6.0-20.6 |
| atlas3-base-dev |
Debian |
unstable |
Automatically Tuned Linear Algebra Software,generic static |
3.6.0-20.6 |
| atlas3-doc |
Debian |
testing |
Automatically Tuned Linear Algebra Software,documentation |
3.6.0-20.6 |
| atlas3-doc |
Debian |
stable |
Automatically Tuned Linear Algebra Software,documentation |
3.6.0-20.6 |
| atlas3-doc |
Debian |
unstable |
Automatically Tuned Linear Algebra Software,documentation |
3.6.0-20.6 |
| atlas3-headers |
Debian |
testing |
Automatically Tuned Linear Algebra Software,C header files |
3.6.0-20.6 |
| atlas3-headers |
Debian |
stable |
Automatically Tuned Linear Algebra Software,C header files |
3.6.0-20.6 |
| atlas3-headers |
Debian |
unstable |
Automatically Tuned Linear Algebra Software,C header files |
3.6.0-20.6 |
| atlas3-test |
Debian |
testing |
Automatically Tuned Linear Algebra Software,test programs |
3.6.0-20.6 |
| atlas3-test |
Debian |
stable |
Automatically Tuned Linear Algebra Software,test programs |
3.6.0-20.6 |
| atlas3-test |
Debian |
unstable |
Automatically Tuned Linear Algebra Software,test programs |
3.6.0-20.6 |
| axiom |
Debian |
testing |
A general purpose computer algebra system: main binary and modules |
20091101-7 |
| axiom |
Debian |
stable |
A general purpose computer algebra system: main binary and modules |
20050901-10 |
| axiom |
Debian |
unstable |
A general purpose computer algebra system: main binary and modules |
20091101-7 |
| axiom-databases |
Debian |
testing |
A general purpose computer algebra system: generated text databases |
20091101-7 |
| axiom-databases |
Debian |
stable |
A general purpose computer algebra system: generated text databases |
20050901-10 |
| axiom-databases |
Debian |
unstable |
A general purpose computer algebra system: generated text databases |
20091101-7 |
| axiom-doc |
Debian |
testing |
A general purpose computer algebra system: documentation |
20091101-7 |
| axiom-doc |
Debian |
stable |
A general purpose computer algebra system: documentation |
20050901-10 |
