Lintian Reports

Debian OCaml Maintainers

At the time of the last Lintian run, the following possible problems were found in packages maintained by Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>, listed by source package. See also the full report, including info, experimental and overridden tags. Also see their QA overview.

aac-tactics (8.6.1-2)

libaac-tactics-ocaml-dbgsym

alt-ergo (1.30-1)

alt-ergo (1.30-1+b1; main)

apron (0.9.10-9)

libapron-dbgsym (0.9.10-9+b2; main)

libapron-ocaml-dbgsym (0.9.10-9+b2; main)

atdgen (1.9.1-2)

libatdgen-ocaml-dev (1.9.1-2+b3; main)

belenios (1.4+dfsg-2)

bibtex2html (1.98-6)

bibtex2html

bin-prot (113.00.00-1)

calendar (2.04-1)

libcalendar-ocaml-dbgsym (2.04-1+b2; main)

caml2html (1.4.3-2)

camlbz2 (0.6.0-7)

libbz2-ocaml-dbgsym (0.6.0-7+b1; main)

camlidl (1.05-15)

camlidl-doc (1.04-4)

camlimages (1:4.2.0-1.1)

libcamlimages-ocaml-dbgsym (1:4.2.0-1.1+b3; main)

camljava (0.3-2)

libcamljava-ocaml-dev (0.3-2+b1; main)

camlmix (1.3.1-3)

camlp4 (4.05+1-2)

camlp4

camlp5 (7.01-1)

camlp5 (7.01-1+b1; main)

camlpdf (2.2.1-1)

libcamlpdf-ocaml-dev (2.2.1-1+b1; main)

camltemplate (1.0.2-2)

camomile (0.8.5-1)

libcamomile-ocaml-data

cduce (0.6.0-5)

cmdliner (0.9.8-2)

libcmdliner-ocaml-dev (0.9.8-2+b1; main)

libcmdliner-ocaml-dev-dbgsym (0.9.8-2+b1; main)

coccinelle (1.0.4.deb-3)

coccinelle (1.0.4.deb-3+b3; main)

coccinelle (1.0.6.deb-1)

coccinelle

coinst (1.9.3-1)

coinst (1.9.3-1+b1; main)

coinst-viewer (1.9.3-1+b1; main)

comparelib (113.00.00-2)

libcompare-camlp4-dev (113.00.00-2+b1; main)

libcompare-camlp4-dev-dbgsym (113.00.00-2+b1; main)

coq (8.6-5)

coq

coq-theories

coq-theories-dbgsym

coq-doc (8.6-1; non-free)

coq-float (1:8.4-5)

cothreads (0.10-4)

cppo (1.5.0-2)

cppo-dbgsym (1.5.0-2+b1; main)

cryptgps (0.2.1-9)

cudf (0.7-3)

dh-ocaml (1.1.0)

dh-ocaml

dose3 (5.0.1-9)

apt-cudf (5.0.1-9+b3; main)

dose-builddebcheck (5.0.1-9+b3; main)

dose-distcheck (5.0.1-9+b3; main)

dose-doc

dose-extra (5.0.1-9+b3; main)

libdose3-ocaml (5.0.1-9+b3; main)

libdose3-ocaml-dbgsym (5.0.1-9+b3; main)

libdose3-ocaml-dev (5.0.1-9+b3; main)

libdose3-ocaml-dev-dbgsym (5.0.1-9+b3; main)

easy-format (1.2.0-1)

libeasy-format-ocaml-dbgsym (1.2.0-1+b1; main)

eliom (4.2-3)

eliom (4.2-3+b4; main)

libeliom-ocaml-dev-dbgsym (4.2-3+b4; main)

libeliom-ocaml-doc

enumerate (111.08.00-3)

libenumerate-camlp4-dev (111.08.00-3+b1; main)

facile (1.1.1-1)

libfacile-ocaml-dev (1.1.1-1+b1; main)

fieldslib (113.00.00-1)

fieldslib (113.33.03-2)

libfieldslib-ocaml (113.33.03-2+b1; main)

libfieldslib-ocaml-dev (113.33.03-2+b1; main)

findlib (1.7.3-2)

libfindlib-ocaml-dbgsym

libfindlib-ocaml-dev-dbgsym

frama-c (20170501+phosphorus+dfsg-2)

frama-c (20170501+phosphorus+dfsg-2+b1; main)

frama-c-base (20170501+phosphorus+dfsg-2+b1; main)

frama-c-base-dbgsym (20170501+phosphorus+dfsg-2+b1; main)

freetennis (0.4.8-10)

freetennis-common

galax (1.1-15)

galax (1.1-15+b5; main)

galax-extra (1.1-15+b5; main)

galaxd (1.1-15+b5; main)

gd4o (1.0~alpha5-8)

libgd-gd2-noxpm-ocaml

libgd-gd2-noxpm-ocaml-dev

libgd-ocaml-dev (1.0~alpha5-8+b6; main)

gmetadom (0.2.6-7)

libgdome2-cpp-smart-dev (0.2.6-7+b1; main)

libgdome2-cpp-smart0v5 (0.2.6-7+b1; main)

herelib (112.35.00-2)

libhere-camlp4-dev (112.35.00-2+b1; main)

libhere-camlp4-dev-dbgsym (112.35.00-2+b1; main)

hevea-doc (2.29-2; non-free)

hol-light (20170109-2)

hol-light

janest-core (113.00.00-4)

libcore-ocaml

libcore-ocaml-dev

janest-core-extended (113.00.00-2)

libcore-extended-ocaml

libcore-extended-ocaml-dev

janest-core-kernel (113.00.00-3)

libcore-kernel-ocaml

libcore-kernel-ocaml-dev

jbuilder (1.0~beta14-1)

jbuilder

js-build-tools (113.33.04-2)

js-of-ocaml (2.5-2)

js-of-ocaml (2.5-2+b4; main)

libjs-of-ocaml (2.5-2+b4; main)

libjs-of-ocaml-dbgsym (2.5-2+b4; main)

libjs-of-ocaml-dev-dbgsym (2.5-2+b4; main)

jsonm (0.9.1-3)

lablgl (1:1.05-2)

liblablgl-ocaml-dbgsym (1:1.05-2+b1; main)

lablgtk-extras (1.5-1)

lablgtk2 (2.18.5+dfsg-1)

liblablgtk2-gl-ocaml-dbgsym (2.18.5+dfsg-1+b1; main)

liblablgtk2-gnome-ocaml-dbgsym (2.18.5+dfsg-1+b1; main)

liblablgtk2-ocaml-dbgsym (2.18.5+dfsg-1+b1; main)

liblablgtk2-ocaml-dev (2.18.5+dfsg-1+b1; main)

liblablgtksourceview2-ocaml-dbgsym (2.18.5+dfsg-1+b1; main)

lablgtkmathview (0.7.8-7)

liblablgtkmathview-ocaml-dbgsym

labltk (8.06.2+dfsg-1)

labltk

liblabltk-ocaml-dbgsym

laby (0.6.4-2)

laby (0.6.4-2+b1; main)

lambda-term (1.10.1-2)

ledit (2.03-6)

libaio-ocaml (1.0.1-1)

libaio-ocaml (1.0.1-1+b2; main)

libaio-ocaml-dev (1.0.1-1+b2; main)

liquidsoap (1.1.1-7.1)

liquidsoap (1.1.1-7.2)

liguidsoap

liquidsoap

liquidsoap-mode

liquidsoap-plugin-alsa-dbgsym

liquidsoap-plugin-ao-dbgsym

liquidsoap-plugin-camlimages-dbgsym

liquidsoap-plugin-gavl-dbgsym

liquidsoap-plugin-gd-dbgsym

liquidsoap-plugin-icecast-dbgsym

liquidsoap-plugin-jack-dbgsym

liquidsoap-plugin-ladspa-dbgsym

liquidsoap-plugin-mad-dbgsym

liquidsoap-plugin-ogg-dbgsym

liquidsoap-plugin-portaudio

liquidsoap-plugin-portaudio-dbgsym

liquidsoap-plugin-pulseaudio

liquidsoap-plugin-pulseaudio-dbgsym

liquidsoap-plugin-samplerate-dbgsym

liquidsoap-plugin-sdl-dbgsym

liquidsoap-plugin-shine

liquidsoap-plugin-soundtouch-dbgsym

liquidsoap-plugin-taglib-dbgsym

liquidsoap-plugin-xmlplaylist-dbgsym

lwt (2.7.1-4)

liblwt-ocaml-dbgsym

liblwt-ocaml-dev

marionnet (0.90.6+bzr508-1)

marionnet

matita (0.99.3-1)

matita (0.99.3-1+b2; main)

meta-ocaml (3.12.0.1)

meta-unison (2.48+2)

mingw-ocaml (4.01.0~20140328-1)

mingw-ocaml

ocaml-mingw-w64-i686 (4.01.0~20140328-1+b2; main)

ocaml-mingw-w64-x86-64 (4.01.0~20140328-1+b2; main)

mldonkey (3.1.6-1)

mldonkey-server

mlgmp (20021123-19)

mlpcap (0.9-17.1)

libmlpcap-ocaml

libmlpcap-ocaml-dev

mlpost (0.8.1-8)

mlpost (0.8.1-8+b1; main)

mysql-ocaml (1.2.1-1)

nproc (0.5.1-2)

nss-passwords (0.2-2)

nurpawiki (1.2.3-10)

nurpawiki (1.2.3-10+b3; main)

nurpawiki-dbgsym (1.2.3-10+b3; main)

oasis (0.4.10-2)

obus (1.1.5-6)

ocaml (4.05.0-10)

ocaml-base-dbgsym

ocaml-base-nox-dbgsym

ocaml-compiler-libs

ocaml-mode

ocaml-nox

ocaml-nox-dbgsym

ocaml-alsa (0.2.3-1)

ocaml-ao (0.2.0-2)

ocaml-atd (1.1.2-1)

ocaml-batteries (2.6.0-1)

libbatteries-ocaml-dev (2.6.0-1+b1; main)

libbatteries-ocaml-doc

ocaml-benchmark (1.3-2)

ocaml-bitstring (2.0.4-2)

ocaml-bjack (0.1.4-2)

ocaml-config-file (1.2-1)

libconfig-file-ocaml-dev-dbgsym (1.2-1+b2; main)

ocaml-cry (0.2.2-2)

ocaml-ctypes (0.7.0-1)

libctypes-ocaml-dbgsym (0.7.0-1+b1; main)

ocaml-curses (1.0.3-3)

ocaml-data-notation (0.0.11-2)

ocaml-dbus (0.29-3)

libdbus-ocaml-dbgsym (0.29-3+b2; main)

ocaml-doc (4.02-2; non-free)

ocaml-doc

ocaml-doc (4.05-1~exp1; non-free)

ocaml-doc

ocaml-dssi (0.1.1-2)

libdssi-ocaml-dev (0.1.1-2+b3; main)

ocaml-dtools (0.3.1-2)

ocaml-duppy (0.5.1-1)

ocaml-estring (20130822-5)

libestring-ocaml-dev (20130822-5+b2; main)

ocaml-expat (0.9.1+debian1-7)

libexpat-ocaml-dev (0.9.1+debian1-7+b5; main)

ocaml-expect (0.0.5-2)

ocaml-faad (0.3.2-2)

libfaad-ocaml-dev (0.3.2-2+b3; main)

ocaml-fdkaac (0.2.0-1; contrib)

libfdkaac-ocaml-dev (0.2.0-1+b2; contrib)

libfdkaac-ocaml-dynlink-dbgsym (0.2.0-1+b2; contrib)

ocaml-flac (0.1.1-4)

ocaml-frei0r (0.1.0-3)

libfrei0r-ocaml-dev (0.1.0-3+b3; main)

ocaml-gavl (0.1.5-2)

ocaml-getopt (0.0.20040811-10)

ocaml-gettext (0.3.7-1)

libgettext-ocaml-dbgsym (0.3.7-1+b1; main)

ocaml-gnuplot (0.8.3-3)

libgnuplot-ocaml-dev (0.8.3-3+b3; main)

ocaml-gstreamer (0.2.0-2)

ocaml-http (0.1.5-1)

ocaml-inifiles (1.2-3)

libinifiles-ocaml (1.2-3+b3; main)

libinifiles-ocaml-dev (1.2-3+b3; main)

ocaml-inotify (1.0-2)

libinotify-ocaml-dbgsym (1.0-2+b1; main)

ocaml-ladspa (0.1.4-1.1)

libladspa-ocaml (0.1.4-1.1+b2; main)

libladspa-ocaml-dev (0.1.4-1.1+b2; main)

ocaml-lame (0.3.2-1)

libmp3lame-ocaml (0.3.2-1+b3; main)

libmp3lame-ocaml-dev (0.3.2-1+b3; main)

ocaml-lastfm (0.3.0-4)

ocaml-lo (0.1.0-1)

liblo-ocaml-dev (0.1.0-1+b4; main)

ocaml-mad (0.4.4-2)

ocaml-magic (0.7.3-5)

ocaml-melt (1.4.0-2)

ocaml-mm (0.3.0-1)

libmm-ocaml-dev (0.3.0-1+b1; main)

ocaml-ogg (0.4.5-1)

ocaml-opus (0.1.0-4)

libopus-ocaml-dev (0.1.0-4+b3; main)

ocaml-portaudio (0.2.1-1)

ocaml-pulseaudio (0.1.2-1)

ocaml-re (1.6.1-2)

ocaml-re2 (113.00.00+dfsg-2.2)

ocaml-reins (0.1a-7)

ocaml-res (4.0.3-4)

libres-ocaml-dev (4.0.3-4+b1; main)

ocaml-result (1.2-1)

libresult-ocaml-dbgsym (1.2-1+b1; main)

ocaml-samplerate (0.1.2-2)

ocaml-sha (1.9-2)

ocaml-shine (0.2.0-1)

libshine-ocaml-dev (0.2.0-1+b2; main)

ocaml-shout (0.2.7-1)

ocaml-soundtouch (0.1.7-1)

libsoundtouch-ocaml-dbgsym (0.1.7-1+b5; main)

ocaml-speex (0.2.0-3)

ocaml-sqlexpr (0.5.5-3)

libsqlexpr-ocaml-dev (0.5.5-3+b1; main)

ocaml-sqlite3 (4.0.5-2)

ocaml-ssl (0.5.3-1)

ocaml-taglib (0.3.1-1)

libtaglib-ocaml-dbgsym (0.3.1-1+b4; main)

ocaml-text (0.8-1)

libtext-ocaml-dbgsym (0.8-1+b1; main)

ocaml-theora (0.3.0-3)

ocaml-tools (20120103-5)

ocaml-usb (1.3.0-4)

ocaml-voaacenc (0.1.0-1)

libvoaacenc-ocaml-dev (0.1.0-1+b4; main)

ocaml-vorbis (0.6.1-3)

libvorbis-ocaml (0.6.1-3+b3; main)

libvorbis-ocaml-dev (0.6.1-3+b3; main)

ocaml-xmlplaylist (0.1.3-1)

ocaml-zarith (1.5-1)

ocamlagrep (1.0-12)

ocamlbricks (0.90+bzr456-1)

libocamlbricks-ocaml-dev

libocamlbricks-ocaml-dev-dbgsym

ocamlbuild (0.11.0-3)

ocamlcreal (0.7-6)

libcreal-ocaml-dev (0.7-6+b6; main)

ocamldap (2.1.8-10)

ocamldsort (0.16.0-5)

ocamlgraph (1.8.6-1)

libocamlgraph-ocaml-dev-dbgsym (1.8.6-1+b4; main)

ocamlgsl (1.19.1-2)

ocamlmakefile (6.37.0-3)

ocamlmakefile

ocamlmod (0.0.8-2)

ocamlnet (4.1.2-2)

libapache2-mod-netcgi-apache (4.1.2-2+b1; main)

libocamlnet-ocaml-bin (4.1.2-2+b1; main)

ocamlodbc (2.15-6)

ocamlpam (1.1-5)

libpam-ocaml-dbgsym (1.1-5+b1; main)

ocamlrss (2.2.1-3)

librss-ocaml-dbgsym (2.2.1-3+b8; main)

ocamlsdl (0.9.1-2)

ocamlviz (1.01-2)

ocp-indent (1.5.3-2)

libocp-indent-lib-ocaml-dbgsym (1.5.3-2+b1; main)

ocsigenserver (2.7-1)

libocsigenserver-ocaml-dbgsym (2.7-1+b5; main)

ocsigenserver (2.7-1+b5; main)

omake (0.9.8.5-3-9)

omake (0.9.8.5-3-9+b3; main)

opam (1.2.2-6)

opam (1.2.2-6+b1; main)

opam-docs

optcomp (1.6-2)

optcomp (1.6-2+b1; main)

otags (4.05.1-1)

otags

ounit (2.0.0-2)

pa-bench (113.00.00-2)

libpa-bench-camlp4-dev (113.00.00-2+b1; main)

pa-ounit (113.00.00-2)

libpa-ounit-camlp4-dev (113.00.00-2+b1; main)

pa-structural-sexp (113.00.00-2)

libpa-structural-sexp-camlp4-dev

libpa-structural-sexp-camlp4-dev-dbgsym

pagodacf (0.10-4)

libcf-ocaml-dbgsym (0.10-4+b1; main)

parmap (1.0~rc8-1)

libparmap-ocaml-dbgsym (1.0~rc8-1+b1; main)

pcre-ocaml (7.2.3-2)

perl4caml (0.9.5-5)

libperl4caml-ocaml-dbgsym (0.9.5-5+b3; main)

libperl4caml-ocaml-doc

pgocaml (2.2-2)

libpgocaml-ocaml-dev (2.2-2+b1; main)

pipebang (113.00.00-2)

libpipebang-camlp4-dev (113.00.00-2+b1; main)

postgresql-ocaml (2.0.5-3)

ppx-core (113.33.03-1)

libppx-core-ocaml

ppx-deriving (4.1-1.1)

ppx-driver (113.33.03-1)

libppx-driver-ocaml

ppx-optcomp (113.33.03-1)

libppx-optcomp-ocaml (113.33.03-1+b1; main)

ppx-tools (5.0+4.05.0-1)

libppx-tools-ocaml-dev-dbgsym (5.0+4.05.0-1+b1; main)

pxp (1.2.9-1)

pycaml (0.82-15)

libpycaml-ocaml-dbgsym (0.82-15+b1; main)

libpycaml-ocaml-dev (0.82-15+b1; main)

react (1.2.0-3)

libreact-ocaml-dbgsym (1.2.0-3+b1; main)

libreact-ocaml-dev-dbgsym (1.2.0-3+b1; main)

reactivedata (0.1-3)

libreactivedata-ocaml-dbgsym (0.1-3+b1; main)

sexplib310 (113.00.00-1)

sexplib310 (113.33.03-3)

libsexplib-ocaml

libsexplib-ocaml-dev

spamoracle (1.4-15)

ssreflect (1.6.1-3)

libssreflect-coq

libssreflect-ocaml-dbgsym

syslog-ocaml (1.4-6)

libsyslog-ocaml-dbgsym (1.4-6+b5; main)

tophide (1.0.4-1)

tuareg-mode (1:2.1.0-1)

tuareg-mode

type-conv (113.00.02-2)

libtype-conv-camlp4-dev (113.00.02-2+b1; main)

typerep (113.00.00-3)

libtyperep-camlp4-dev

tyxml (3.5.0-2)

ulex (1.1-3)

ulex0.8 (0.8-10)

utop (1.19.3-2)

utop (1.19.3-2+b1; main)

uuidm (0.9.5-2)

uutf (0.9.4-3)

libuutf-ocaml-dbgsym (0.9.4-3+b1; main)

variantslib (109.15.03-2)

libvariants-camlp4-dev-dbgsym

variantslib (113.33.03-2)

libvariantslib-ocaml (113.33.03-2+b1; main)

libvariantslib-ocaml-dbgsym (113.33.03-2+b1; main)

libvariantslib-ocaml-dev (113.33.03-2+b1; main)

why3 (0.88.2-1)

why3

why3-examples

xml-light (2.4-1)

libxml-light-ocaml-dbgsym (2.4-1+b1; main)

xmlm (1.2.0-2)

libxmlm-ocaml-dev (1.2.0-2+b1; main)

libxmlm-ocaml-dev-dbgsym (1.2.0-2+b1; main)

xmlrpc-light (0.6.1-4)

xstr (0.2.1-22)

xstrp4 (1.8.1-4)

zed (1.4-3)