Paket |
Quelle |
Archiv |
Kurzbeschreibung |
Version |
acl2 |
Debian |
testing |
A Computational Logic for Applicative Common Lisp: main binary |
3.6-4 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
unstable |
A Computational Logic for Applicative Common Lisp: source files |
3.6-4 |
axiom |
Debian |
testing |
A general purpose computer algebra system: main binary and modules |
20091101-7 |
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 |
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 |
unstable |
A general purpose computer algebra system: documentation |
20091101-7 |
axiom-graphics |
Debian |
testing |
A general purpose computer algebra system: graphics subsystem |
20091101-7 |
axiom-graphics |
Debian |
unstable |
A general purpose computer algebra system: graphics subsystem |
20091101-7 |
axiom-graphics-data |
Debian |
testing |
A general purpose computer algebra system: graphics subsystem |
20091101-7 |
axiom-graphics-data |
Debian |
unstable |
A general purpose computer algebra system: graphics subsystem |
20091101-7 |
axiom-hypertex |
Debian |
testing |
A general purpose computer algebra system: hypertex subsystem |
20091101-7 |
axiom-hypertex |
Debian |
unstable |
A general purpose computer algebra system: hypertex subsystem |
20091101-7 |
axiom-hypertex-data |
Debian |
testing |
A general purpose computer algebra system: hypertex subsystem |
20091101-7 |
axiom-hypertex-data |
Debian |
unstable |
A general purpose computer algebra system: hypertex subsystem |
20091101-7 |
axiom-source |
Debian |
testing |
A general purpose computer algebra system: source files |
20091101-7 |
axiom-source |
Debian |
unstable |
A general purpose computer algebra system: source files |
20091101-7 |
axiom-test |
Debian |
testing |
A general purpose computer algebra system: regression test inputs |
20091101-7 |
axiom-test |
Debian |
unstable |
A general purpose computer algebra system: regression test inputs |
20091101-7 |
axiom-tex |
Debian |
testing |
A general purpose computer algebra system: style file for TeX |
20091101-7 |
axiom-tex |
Debian |
unstable |
A general purpose computer algebra system: style file for TeX |
20091101-7 |
cxref |
Debian |
testing |
Generates LaTeX and HTML documentation for C programs |
1.6b-1 |
cxref |
Debian |
unstable |
Generates LaTeX and HTML documentation for C programs |
1.6b-1 |
cxref-doc |
Debian |
testing |
Generates LaTeX and HTML documentation for C programs |
1.6b-1 |
cxref-doc |
Debian |
unstable |
Generates LaTeX and HTML documentation for C programs |
1.6b-1 |
cxref-emacs |
Debian |
testing |
Generates LaTeX and HTML documentation for C programs |
1.6b-1 |
cxref-emacs |
Debian |
unstable |
Generates LaTeX and HTML documentation for C programs |
1.6b-1 |
gcl |
Debian |
testing |
GNU Common Lisp compiler |
2.6.7-60 |
gcl |
Debian |
unstable |
GNU Common Lisp compiler |
2.6.7-60 |
gcl-doc |
Debian |
testing |
Documentation for GNU Common Lisp |
2.6.7-60 |
gcl-doc |
Debian |
unstable |
Documentation for GNU Common Lisp |
2.6.7-60 |
gclcvs |
Debian |
unstable |
GNU Common Lisp compiler, CVS snapshot |
2.7.0-101 |
gclcvs |
Debian |
testing |
GNU Common Lisp compiler, CVS snapshot |
2.7.0-99 |