| Paket |
Quelle |
Archiv |
Kurzbeschreibung |
Version |
| coq-doc |
Debian |
stable |
documentation for Coq in html format |
8.1-3 |
| coq-doc-html |
Debian |
stable |
documentation for Coq in html format |
8.1-3 |
| coq-doc-pdf |
Debian |
stable |
documentation for Coq in pdf format |
8.1-3 |
| dssi-vst |
Debian |
unstable |
Adapter for VST an VSTi audio plugins |
0.8-2+b1 |
| dssi-vst |
Debian |
testing |
Adapter for VST an VSTi audio plugins |
0.8-2+b1 |
| exmap |
Debian |
testing |
determine how much physical memory and swap is used by individual processes |
0.10-2.1 |
| exmap |
Debian |
stable |
determine how much physical memory and swap is used by individual processes |
0.10-1 |
| exmap |
Debian |
unstable |
determine how much physical memory and swap is used by individual processes |
0.10-2.1 |
| exmap-modules-source |
Debian |
testing |
determine how much physical memory and swap is used by individual processes |
0.10-2.1 |
| exmap-modules-source |
Debian |
stable |
determine how much physical memory and swap is used by individual processes |
0.10-1 |
| exmap-modules-source |
Debian |
unstable |
determine how much physical memory and swap is used by individual processes |
0.10-2.1 |
| fusesmb |
Debian |
testing |
filesystem client based on the SMB file transfer protocol |
0.8.7-1.1 |
| fusesmb |
Debian |
stable |
filesystem client based on the SMB file transfer protocol |
0.8.7-1 |
| fusesmb |
Debian |
unstable |
filesystem client based on the SMB file transfer protocol |
0.8.7-1.1 |
| libalsa-ocaml |
Backports.org archive |
etch-backports |
OCaml bindings for the ALSA library |
0.1.2-2~bpo40+3 |
| libalsa-ocaml-dev |
Backports.org archive |
etch-backports |
OCaml bindings for the ALSA library |
0.1.2-2~bpo40+3 |
| libao-ocaml |
Backports.org archive |
etch-backports |
OCaml bindings for libao |
0.1.7.1-4~bpo40+2 |
| libao-ocaml-dev |
Backports.org archive |
etch-backports |
OCaml bindings for libao |
0.1.7.1-4~bpo40+2 |
| libcairo-ocaml |
Debian |
stable |
OCaml bindings for Cairo |
20070908-1+b2 |
| libcairo-ocaml-dev |
Debian |
stable |
OCaml bindings for Cairo |
20070908-1+b2 |
| libcurses-ocaml |
Debian |
stable |
OCaml bindings for the ncurses library |
1.0.2-2+b2 |
| libcurses-ocaml-dev |
Debian |
stable |
OCaml bindings for the ncurses library |
1.0.2-2+b2 |
| libdtools-ocaml-dev |
Backports.org archive |
etch-backports |
library for writing daemons in OCaml |
0.1.5-1~bpo40+2 |
| libfloat-coq |
Debian |
stable |
coq library for floating point numbers |
1:8.1-1.0-4 |
| libmysql-ocaml |
Debian |
stable |
OCaml bindings for MySql |
1.0.4-4+lenny1 |
| libmysql-ocaml-dev |
Debian |
stable |
OCaml bindings for MySql |
1.0.4-4+lenny1 |
| libortp2 |
Backports.org archive |
sarge-backports |
Real-time Transport Protocol stack |
1.2.0-1bpo2 |
| libortp2-dev |
Backports.org archive |
sarge-backports |
Real-time Transport Protocol stack |
1.2.0-1bpo2 |
| libsamplerate0 |
Debian |
stable |
audio rate conversion library |
0.1.4-1 |
| libsamplerate0-dev |
Debian |
stable |
development files for audio rate conversion (libsamplerate) |
0.1.4-1 |
| libsdl-ocaml |
Debian |
stable |
OCaml bindings for SDL - runtime files |
0.7.2-8 |
| libsdl-ocaml-dev |
Debian |
stable |
OCaml bindings for SDL - development files |
0.7.2-8 |
| libsdl-ttf2.0-0 |
Debian |
testing |
ttf library for Simple DirectMedia Layer with FreeType 2 support |
2.0.9-1 |
| libsdl-ttf2.0-0 |
Debian |
stable |
ttf library for Simple DirectMedia Layer with FreeType 2 support |
2.0.9-1 |
| libsdl-ttf2.0-0 |
Debian |
unstable |
ttf library for Simple DirectMedia Layer with FreeType 2 support |
2.0.9-1 |
| libsdl-ttf2.0-dev |
Debian |
testing |
development files for SDL ttf library (version 2.0) |
2.0.9-1 |
| libsdl-ttf2.0-dev |
Debian |
stable |
development files for SDL ttf library (version 2.0) |
2.0.9-1 |
| libsdl-ttf2.0-dev |
Debian |
unstable |
development files for SDL ttf library (version 2.0) |
2.0.9-1 |
| libsndfile1 |
Debian |
stable |
Library for reading/writing audio files |
1.0.17-4+lenny2 |
| libsndfile1-dev |
Debian |
stable |
Library for reading/writing audio files |
1.0.17-4+lenny2 |
| libssl-ocaml |
Backports.org archive |
sarge-backports |
OCaml bindings for OpenSSL |
0.3.1-3bpo1 |
| libssl-ocaml |
Backports.org archive |
etch-backports |
OCaml bindings for OpenSSL |
0.4.2-3~bpo40+2 |
| libssl-ocaml-dev |
Backports.org archive |
sarge-backports |
OCaml bindings for OpenSSL |
0.3.1-3bpo1 |
| libssl-ocaml-dev |
Backports.org archive |
etch-backports |
OCaml bindings for OpenSSL |
0.4.2-3~bpo40+2 |
| menhir |
Backports.org archive |
sarge-backports |
Parser generator for OCaml |
20060615.dfsg-2~bpo.1 |
| menhir |
Debian |
stable |
Parser generator for OCaml |
20071212.dfsg-1+b2 |
| midish |
Debian |
testing |
shell-like MIDI sequencer/filter |
0.3.0-1 |
| midish |
Debian |
stable |
shell-like MIDI sequencer/filter |
0.3.0-1 |
| midish |
Debian |
unstable |
shell-like MIDI sequencer/filter |
0.3.0-1 |
| midish |
Debian |
experimental |
shell-like MIDI sequencer/filter |
0.2.7-1 |
