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

libaac-tactics-ocaml-dbgsym

alt-ergo (2.0.0-3) §

alt-ergo-dbgsym

apron (0.9.10-9) §

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

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

apron (0.9.10-9.1)

belenios (1.9+dfsg-1) §

belenios-tool (1.9+dfsg-1+b2; main)

ben (0.8.2) §

ben-dbgsym (0.8.2+b3; main)

biniou (1.0.12-2) §

biniou (1.2.0-1)

libbiniou-ocaml-dev

cairo-ocaml (1:1.2.0-6) §

cairo-ocaml (1:1.2.0-8)

libcairo-ocaml

calendar (2.04-1) §

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

calendar (2.04-3)

caml2html (1.4.3-2) §

caml2html (1.4.4-2)

camlbz2 (0.6.0-7) §

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

camlidl (1.05-16) §

camlidl

camlidl-doc (1.04-4) §

camljava (0.3-2) §

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

camlmix (1.3.1-3) §

camlp4 (4.05+1-2) §

camlp4 (4.05+2-1)

camlp4

camlp5 (7.01-1) §

camlp5 (7.08-2)

camlp5

camlpdf (2.2.1-1) §

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

camltemplate (1.0.2-3) §

camomile (1.0.2-2) §

libcamomile-ocaml-dev

cduce (0.6.0-5) §

cmdliner (1.0.2-1) §

libcmdliner-ocaml-dev-dbgsym

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)

comparelib (113.00.00-2) §

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

coq (8.9.0-1) §

coq-theories-dbgsym

coq (8.9.1-1)

coq

coq-theories