| Paket |
Quelle |
Archiv |
Kurzbeschreibung |
Version |
| advi |
Debian |
testing |
an active DVI previewer and presenter |
1.9.0-1 |
| advi |
Debian |
stable |
an active DVI previewer and presenter |
1.6.0-13+lenny2 |
| advi |
Debian |
unstable |
an active DVI previewer and presenter |
1.9.0-1 |
| advi |
Debian |
experimental |
an active DVI previewer and presenter |
1.9.0~rc2-1 |
| advi-examples |
Debian |
testing |
example presentations for Active-DVI (advi) |
1.9.0-1 |
| advi-examples |
Debian |
stable |
example presentations for Active-DVI (advi) |
1.6.0-13+lenny2 |
| advi-examples |
Debian |
unstable |
example presentations for Active-DVI (advi) |
1.9.0-1 |
| advi-examples |
Debian |
experimental |
example presentations for Active-DVI (advi) |
1.9.0~rc2-1 |
| alt-ergo |
Debian |
unstable |
Automatic theorem prover dedicated to program verification |
0.9-1+b2 |
| alt-ergo |
Debian |
testing |
Automatic theorem prover dedicated to program verification |
0.9-1+b2 |
| bibtex2html |
Debian |
testing |
filters BibTeX files and translates them to HTML |
1.95-1 |
| bibtex2html |
Debian |
stable |
filters BibTeX files and translates them to HTML |
1.91-3 |
| bibtex2html |
Debian |
unstable |
filters BibTeX files and translates them to HTML |
1.95-1 |
| bibtex2html |
Debian |
experimental |
filters BibTeX files and translates them to HTML |
1.87-1 |
| cameleon |
Debian |
testing |
integrated development environment for OCaml |
1.9.19-2+b1 |
| cameleon |
Debian |
stable |
integrated development environment for OCaml |
1.9.18.svn20070918-2 |
| cameleon |
Debian |
unstable |
integrated development environment for OCaml |
1.9.19-2+b1 |
| cameleon |
Debian |
experimental |
integrated development environment for OCaml |
1.9.19-1+exp1 |
| cameleon-doc |
Debian |
testing |
documentation for Cameleon |
1.9.19-2 |
| cameleon-doc |
Debian |
stable |
documentation for Cameleon |
1.9.18.svn20070918-2 |
| cameleon-doc |
Debian |
unstable |
documentation for Cameleon |
1.9.19-2 |
| cameleon-doc |
Debian |
experimental |
documentation for Cameleon |
1.9.19-1+exp1 |
| camlidl |
Debian |
testing |
Stub code generator for Objective Caml |
1.05-12+b2 |
| camlidl |
Debian |
stable |
Stub code generator for Objective Caml |
1.05-10+b2 |
| camlidl |
Debian |
unstable |
Stub code generator for Objective Caml |
1.05-12+b2 |
| camlidl |
Debian |
experimental |
Stub code generator for Objective Caml |
1.05-9 |
| camlidl-doc |
Debian |
testing |
Documentation for CamlIDL in PS, PDF and HTML formats |
1.04-3 |
| camlidl-doc |
Debian |
stable |
Documentation for CamlIDL in PS, PDF and HTML formats |
1.04-3 |
| camlidl-doc |
Debian |
unstable |
Documentation for CamlIDL in PS, PDF and HTML formats |
1.04-3 |
| camlp4 |
Debian |
experimental |
Pre Processor Pretty Printer for OCaml |
3.11.0-4 |
| camlp4 |
Debian |
unstable |
Pre Processor Pretty Printer for OCaml |
3.11.2-1 |
| camlp4 |
Debian |
testing |
Pre Processor Pretty Printer for OCaml |
3.11.2-1 |
| camlp4 |
Backports.org archive |
etch-backports |
Pre Processor Pretty Printer for OCaml |
3.10.1-1~bpo40+3 |
| camlp4 |
Debian |
stable |
Pre Processor Pretty Printer for OCaml |
3.10.2-3 |
| camlp4-extra |
Debian |
experimental |
Pre Processor Pretty Printer for OCaml - extras |
3.11.0-4 |
| camlp4-extra |
Debian |
unstable |
Pre Processor Pretty Printer for OCaml - extras |
3.11.2-1 |
| camlp4-extra |
Debian |
testing |
Pre Processor Pretty Printer for OCaml - extras |
3.11.2-1 |
| camlp4-extra |
Backports.org archive |
etch-backports |
Pre Processor Pretty Printer for OCaml - extras |
3.10.1-1~bpo40+3 |
| camlp4-extra |
Debian |
stable |
Pre Processor Pretty Printer for OCaml - extras |
3.10.2-3 |
| camlp5 |
Debian |
unstable |
Pre Processor Pretty Printer for OCaml - classical version |
5.14-1 |
| camlp5 |
Debian |
experimental |
Pre Processor Pretty Printer for OCaml - classical version |
5.10-2 |
| camlp5 |
Debian |
testing |
Pre Processor Pretty Printer for OCaml - classical version |
5.14-1 |
| camlp5 |
Backports.org archive |
etch-backports |
Pre Processor Pretty Printer for OCaml - classical version |
5.07-1~bpo40+3 |
| camlp5 |
Debian |
stable |
Pre Processor Pretty Printer for OCaml - classical version |
5.08-2 |
| cduce |
Debian |
testing |
programming language adapted to the manipulation of XML data |
0.5.3-2+b2 |
| cduce |
Debian |
unstable |
programming language adapted to the manipulation of XML data |
0.5.3-2+b2 |
| ceve |
Debian |
unstable |
utility to parse package dependencies as set of constraints |
1.4-1 |
| ceve |
Debian |
experimental |
utility to parse package dependencies as set of constraints |
1.1-1 |
| ceve |
Debian |
testing |
utility to parse package dependencies as set of constraints |
1.4-1 |
| cmigrep |
Debian |
unstable |
search in OCaml compiled interface files |
1.5-7 |
