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 |