| Paket |
Quelle |
Archiv |
Kurzbeschreibung |
Version |
| acl2 |
Debian |
stable |
A Computational Logic for Applicative Common Lisp: main binary |
3.1-1 |
| acl2-books |
Debian |
stable |
A Computational Logic for Applicative Common Lisp: compiled libraries |
3.1-1 |
| acl2-books-certs |
Debian |
stable |
A Computational Logic for Applicative Common Lisp: library certificates |
3.1-1 |
| acl2-books-source |
Debian |
stable |
A Computational Logic for Applicative Common Lisp: library sources |
3.1-1 |
| acl2-doc |
Debian |
stable |
A Computational Logic for Applicative Common Lisp: documentation |
3.1-1 |
| acl2-emacs |
Debian |
stable |
A Computational Logic for Applicative Common Lisp: emacs interface |
3.1-1 |
| acl2-infix |
Debian |
stable |
A Computational Logic for Applicative Common Lisp: infix interface |
3.1-1 |
| acl2-infix-source |
Debian |
stable |
A Computational Logic for Applicative Common Lisp: infix source |
3.1-1 |
| acl2-source |
Debian |
stable |
A Computational Logic for Applicative Common Lisp: source files |
3.1-1 |
| 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 |
stable |
A general purpose computer algebra system: main binary and modules |
20050901-10 |
| axiom-databases |
Debian |
stable |
A general purpose computer algebra system: generated text databases |
20050901-10 |
| axiom-doc |
Debian |
stable |
A general purpose computer algebra system: documentation |
20050901-10 |
| axiom-graphics |
Debian |
stable |
A general purpose computer algebra system: graphics subsystem |
20050901-10 |
| axiom-graphics-data |
Debian |
stable |
A general purpose computer algebra system: graphics subsystem |
20050901-10 |
| axiom-hypertex |
Debian |
stable |
A general purpose computer algebra system: hypertex subsystem |
20050901-10 |
| axiom-hypertex-data |
Debian |
stable |
A general purpose computer algebra system: hypertex subsystem |
20050901-10 |
| axiom-source |
Debian |
stable |
A general purpose computer algebra system: source files |
20050901-10 |
| axiom-test |
Debian |
stable |
A general purpose computer algebra system: regression test inputs |
20050901-10 |
| axiom-tex |
Debian |
stable |
A general purpose computer algebra system: style file for TeX |
20050901-10 |
| codebreaker |
Debian |
testing |
A Master Mind clone using GTK |
1.2.1-5.3+b1 |
| codebreaker |
Debian |
stable |
A Master Mind clone using GTK |
1.2.1-5.3+b1 |
| codebreaker |
Debian |
unstable |
A Master Mind clone using GTK |
1.2.1-5.3+b1 |
| cxref |
Debian |
stable |
Generates latex and HTML documentation for C programs |
1.6a-1.2 |
| cxref-doc |
Debian |
stable |
Generates latex and HTML documentation for C programs |
1.6a-1.2 |
| cxref-emacs |
Debian |
stable |
Generates latex and HTML documentation for C programs |
1.6a-1.2 |
| gcl |
Debian |
stable |
GNU Common Lisp compiler |
2.6.7-45 |
| gcl-doc |
Debian |
stable |
Documentation for GNU Common Lisp |
2.6.7-45 |
| hol88 |
Debian |
stable |
Higher Order Logic, system image |
2.02.19940316-8 |
| hol88-contrib-help |
Debian |
stable |
Higher Order Logic, user contributed online help files |
2.02.19940316-8 |
| hol88-contrib-source |
Debian |
stable |
Higher Order Logic, user contributed source |
2.02.19940316-8 |
| hol88-doc |
Debian |
stable |
Documentation for hol88 |
2.02.19940316-8 |
| hol88-help |
Debian |
stable |
Higher Order Logic, online help files |
2.02.19940316-8 |
| hol88-library |
Debian |
stable |
Higher Order Logic, binary library modules |
2.02.19940316-8 |
| hol88-library-help |
Debian |
stable |
Higher Order Logic, library online help files |
2.02.19940316-8 |
| hol88-library-source |
Debian |
stable |
Higher Order Logic, library source files |
2.02.19940316-8 |
