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

advi (1.10.2-3) §

alt-ergo (1.30+dfsg1-1) §

alt-ergo

apron (0.9.10-9) §

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

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

atdgen (1.9.1-2) §

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

belenios (1.6+dfsg-1) §

belenios-tool

ben (0.8.2) §

ben

ben-dbgsym

bibtex2html (1.99-1) §

bin-prot (113.00.00-1) §

bin-prot (113.33.03-3)

biniou (1.0.12-2) §

cairo-ocaml (1:1.2.0-6) §

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 (1.0.2-1) §

libcmdliner-ocaml-dev-dbgsym

coccinelle (1.0.4.deb-3) §

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

coccinelle (1.0.6.deb-3)

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.6.4-3) §

cryptgps (0.2.1-9) §

cryptokit (1.11-1) §

cudf (0.7-3) §

libcudf-dev (0.7-3+b2; main)

cudf (0.8-3)

libcudf-dev

dh-ocaml (1.1.0) §

dh-ocaml

dose3 (5.0.1-11) §

libdose3-ocaml-dbgsym (5.0.1-11+b1; main)

libdose3-ocaml-dev-dbgsym (5.0.1-11+b1; main)

dune (1.0~beta20-1) §

dune

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)

extlib (1.7.0-3) §

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 (1.7.3-2+b1; main)

libfindlib-ocaml-dev-dbgsym (1.7.3-2+b1; main)

frama-c (20171101+sulfur+dfsg-1) §

frama-c

frama-c-base

frama-c-base-dbgsym

freetennis (0.4.8-10) §

freetennis-common

galax (1.1-15) §

galax (1.1-15+b6; main)

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

galaxd (1.1-15+b6; 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-smart0v5 (0.2.6-7+b1; main)

headache (1.03-27) §

herelib (112.35.00-2) §

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

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

hlins (0.39-23) §

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

js-build-tools (113.33.04-2) §

js-of-ocaml (2.5-2) §

js-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 (1.0.1-1) §

libjsonm-ocaml-dbgsym

lablgl (1:1.05-3) §

liblablgl-ocaml-dbgsym

lablgtk-extras (1.5-1) §

lablgtk2 (2.18.5+dfsg-1) §

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

lablgtk2 (2.18.5+dfsg-2)

liblablgtk2-gl-ocaml-dbgsym

liblablgtk2-gnome-ocaml-dbgsym

liblablgtk2-ocaml-dbgsym

liblablgtk2-ocaml-dev

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) §

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)

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-dbgsym

liquidsoap-plugin-pulseaudio-dbgsym

liquidsoap-plugin-samplerate-dbgsym

liquidsoap-plugin-sdl-dbgsym

liquidsoap-plugin-soundtouch-dbgsym

liquidsoap-plugin-taglib-dbgsym

liquidsoap-plugin-xmlplaylist-dbgsym

liquidsoap (1.3.3-2)

liquidsoap-mode

lwt (2.7.1-4) §

liblwt-ocaml-dbgsym (2.7.1-4+b1; main)

liblwt-ocaml-dev (2.7.1-4+b1; main)

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) §

mikmatch (1.0.8-1) §

mingw-ocaml (4.01.0~20140328-1) §

mingw-ocaml

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

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

mldonkey (3.1.6-1) §

mldonkey-server (3.1.6-1+b1; main)

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 (4.05.0-10+b1; main)

ocaml-base-nox-dbgsym (4.05.0-10+b1; main)

ocaml-compiler-libs (4.05.0-10+b1; main)

ocaml-mode

ocaml-nox (4.05.0-10+b1; main)

ocaml-nox-dbgsym (4.05.0-10+b1; main)

ocaml-alsa (0.2.3-1) §

ocaml-ao (0.2.0-2) §

ocaml-atd (1.1.2-1) §

ocaml-atd (2.0.0-1)

libatdgen-ocaml-dev

ocaml-base64 (2.0.0-2) §

ocaml-batteries (2.6.0-1) §

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

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-csv (1.5-1) §

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-deriving-ocsigen (0.7.1-1) §

ocaml-doc (4.05-1; non-free) §

ocaml-doc

ocaml-dssi (0.1.1-2) §

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

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-flac (0.1.3-2) §

libflac-ocaml-dbgsym

ocaml-frei0r (0.1.0-3) §

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

ocaml-gavl (0.1.5-2) §

ocaml-gen (0.5-1) §

ocaml-getopt (0.0.20040811-10) §

ocaml-gettext (0.3.7-1) §

libgettext-ocaml-dbgsym (0.3.7-1+b2; 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-ipaddr (2.7.0-2) §

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-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.1-1) §

libmm-ocaml-dev

ocaml-ogg (0.5.2-1) §

libogg-ocaml-dbgsym

ocaml-opus (0.1.2-2) §

libopus-ocaml-dbgsym

ocaml-portaudio (0.2.1-1) §

ocaml-pulseaudio (0.1.2-1) §

ocaml-re (1.7.3-2) §

libre-ocaml-dev

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-sedlex (1.99.4-1) §

libsedlex-ocaml-dbgsym

ocaml-sha (1.11-1) §

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 (0.1.7-1+b5; main)

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

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

ocaml-sqlexpr (0.5.5-3) §

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

ocaml-sqlite3 (4.0.5-2) §

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-textutils (112.17.00-4) §

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-xmlplaylist (0.1.3-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) §

ocamlify (0.0.2-5) §

ocamlmakefile (6.37.0-3) §

ocamlmakefile

ocamlmod (0.0.9-1) §

ocamlnet (4.1.2-3) §

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

libocamlnet-ocaml-bin (4.1.2-3+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+b9; main)

ocamlsdl (0.9.1-2) §

ocamlviz (1.01-2) §

ocamlwc (0.3-14) §

ocamlweb (1.40-1) §

ocp-indent (1.6.1-1) §

libocp-indent-lib-ocaml-dbgsym

ocp-indent

ocplib-simplex (0.4-1) §

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+b4; main)

opam (2.0.0-4) §

opam-docs

opam-installer

optcomp (1.6-2) §

optcomp (1.6-2+b1; main)

otags (4.05.1-1) §

otags

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~rc9-2) §

libparmap-ocaml-dbgsym

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.3-1) §

libpgocaml-ocaml-dev (2.3-1+b2; 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-yojson (3.1-3) §

libppx-deriving-yojson-ocaml-dev-dbgsym

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-sexp-conv (113.33.03-2) §

ppx-tools (5.0+4.05.0-1) §

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

ppx-type-conv (113.33.03-1) §

prooftree (0.13-1) §

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-2) §

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

ulex (1.1-3) §

ulex0.8 (0.8-10) §

unison (2.48.4-1) §

utop (1.19.3-2) §

utop (1.19.3-2+b1; main)

uuidm (0.9.6-1) §

libuuidm-ocaml-dev-dbgsym

uutf (1.0.1-2) §

libuutf-ocaml-dbgsym

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 (1.0.0-2) §

libwhy3-ocaml-dev

why3

why3-dbgsym

why3-examples

xml-light (2.4-1) §

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

xmlm (1.3.0-2) §

libxmlm-ocaml-dev-dbgsym

xmlrpc-light (0.6.1-4) §

xstr (0.2.1-22) §

xstrp4 (1.8.2-1) §

yojson (1.3.2-1) §

zed (1.4-3) §