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

alt-ergo (2.0.0-5) §

apron (0.9.10-9.1) §

biniou (1.2.0-1) §

cairo-ocaml (1:1.2.0-8) §

calendar (2.04-3) §

caml2html (1.4.4-2) §

camlidl-doc (1.04-4) §

camljava (0.3-2) §

camlmix (1.3.1-3) §

camltemplate (1.0.2-3) §

cduce (0.6.0-5) §

coccinelle (1.0.4.deb-4) §

coccinelle

coccinelle (1.0.7.deb-1)

coccinelle

coinst (1.9.3-1) §

coinst (1.9.3-1+b1; main)

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

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

coq-float (1:8.4-5) §

cothreads (0.10-5) §

cppo (1.6.6-1) §

cudf (0.8-3) §

dh-ocaml (1.1.0) §

dh-ocaml

easy-format (1.2.0-1) §

eliom (4.2-3) §

eliom (4.2-3+b4; main)

libeliom-ocaml-doc

facile (1.1.1-1) §

fieldslib (113.33.03-2) §

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

frama-c-base (20171101+sulfur+dfsg-2+b1; main)

freetennis (0.4.8-11) §

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

libgd-gd2-noxpm-ocaml

libgd-gd2-noxpm-ocaml-dev

gmetadom (0.2.6-7) §

hol-light (20190729-2) §

hol-light (20190729-2+b1; main)

js-build-tools (113.33.04-2) §

js-of-ocaml (2.5-2) §

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

jsonm (1.0.1-2) §

lablgl (1:1.06-1) §

lablgtk-extras (1.5-1) §

lablgtkmathview (0.7.8-7) §

laby (0.6.4-3) §

libaio-ocaml (1.0.1-1) §

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

libaio-ocaml-dev (1.0.1-1+b2; 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-2) §

mingw-ocaml (4.01.0~20140328-1) §

mingw-ocaml

mldonkey (3.1.6-1) §

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

mlgmp (20021123-20) §

mlpcap (0.9-17.1) §

mysql-ocaml (1.2.1-1) §

nproc (0.5.1-2) §

nurpawiki (1.2.3-10) §

nurpawiki (1.2.3-10+b3; main)

oasis (0.4.11-1) §

obus (1.1.5-6) §

ocaml-alsa (0.2.3-1) §

ocaml-ao (0.2.0-2) §

ocaml-base64 (2.0.0-2) §

ocaml-benchmark (1.3-3) §

ocaml-bitstring (2.0.4-4) §

ocaml-bjack (0.1.4-2) §

ocaml-config-file (1.2-1) §

ocaml-curses (1.0.3-3) §

ocaml-dbus (0.29-3) §

ocaml-deriving-ocsigen (0.7.1-1) §

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

ocaml-doc

ocaml-dssi (0.1.1-2) §

ocaml-expat (0.9.1+debian1-7) §

ocaml-expect (0.0.5-2) §

ocaml-extunix (0.1.6-1) §

ocaml-fileutils (0.5.3-2) §

ocaml-frei0r (0.1.0-3) §

ocaml-gavl (0.1.5-2) §

ocaml-getopt (0.0.20040811-10) §

ocaml-gnuplot (0.8.3-4) §

ocaml-http (0.1.5-2) §

ocaml-inifiles (1.2-4) §

ocaml-inotify (1.0-3) §

ocaml-ipaddr (2.7.0-2) §

ocaml-ladspa (0.1.4-1.1) §

ocaml-lame (0.3.2-1) §

ocaml-lastfm (0.3.0-5) §

ocaml-mad (0.4.4-2) §

ocaml-magic (0.7.3-5) §

ocaml-melt (1.4.0-2) §

ocaml-migrate-parsetree (1.4.0-1) §

libmigrate-parsetree-ocaml-doc

ocaml-portaudio (0.2.1-1) §

ocaml-pulseaudio (0.1.2-1) §

ocaml-qtest (2.9-3) §

libqtest-ocaml

ocaml-re (1.7.3-2) §

ocaml-reins (0.1a-9) §

ocaml-res (4.0.3-4) §

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

ocaml-samplerate (0.1.2-2) §

ocaml-sha (1.11-1) §

ocaml-shine (0.2.0-1) §

ocaml-shout (0.2.7-1) §

ocaml-soundtouch (0.1.7-1) §

ocaml-sqlite3 (4.0.5-2) §

ocaml-taglib (0.3.1-1) §

ocaml-usb (1.3.0-4) §

ocaml-voaacenc (0.1.0-1) §

ocaml-xmlplaylist (0.1.3-1) §

ocaml-zarith (1.8-1) §

ocamlagrep (1.0-13) §

ocamlbricks (0.90+bzr456-2) §

ocamlcreal (0.7-6) §

ocamldap (2.1.8-11) §

ocamlgraph (1.8.8-1.1) §

ocamlgsl (1.19.1-2) §

ocamlmakefile (6.37.0-3) §

ocamlmakefile

ocamlmod (0.0.9-2) §

ocamlnet (4.1.6-1) §

libocamlnet-ocaml-doc

ocamlodbc (2.15-6.1) §

ocamlpam (1.1-5) §

ocamlrss (2.2.1-3) §

ocamlsdl (0.9.1-3) §

ocamlviz (1.01-3) §

ocsigenserver (2.7-1) §

ocsigenserver (2.7-1+b5; main)

ocurl (0.8.2-1) §

libcurl-ocaml (0.8.2-1+b2; main)

omake (0.9.8.5-3-10) §

omake

opam (2.0.5-1) §

opam-doc

opam-installer

optcomp (1.6-3) §

otags (4.05.1-1) §

otags

pa-ounit (113.00.00-3) §

pagodacf (0.10-5) §

pcre-ocaml (7.2.3-2) §

perl4caml (0.9.5-5) §

libperl4caml-ocaml-doc

pgocaml (2.3-1) §

ppx-core (113.33.03-1) §

libppx-core-ocaml

ppx-deriving-yojson (3.5.1-2) §

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-type-conv (113.33.03-1) §

prooftree (0.13-1) §

pxp (1.2.9-1) §

pycaml (0.82-15) §

react (1.2.0-3) §

reactivedata (0.1-3) §

sexplib310 (113.33.03-3) §

libsexplib-ocaml

libsexplib-ocaml-dev

syslog-ocaml (1.4-7) §

type-conv (113.00.02-2) §

tyxml (4.1.0-1) §

ulex (1.1-4) §

unison (2.48.4-1) §

variantslib (113.33.03-2) §

wyrd (1.4.6-5) §

wyrd

xml-light (2.4-1) §

xmlrpc-light (0.6.1-5) §

xstr (0.2.1-23) §

yojson (1.7.0-1) §