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 report showing only errors and warnings. Also see their QA overview.

aac-tactics (8.8.0+1.gbp069dc3b-1) §

libaac-tactics-ocaml-dbgsym

libaac-tactics-ocaml-dev (8.8.0+1.gbp069dc3b-1+b1; main)

advi (1.10.2-4) §

advi (1.10.2-5)

advi

advi-examples

alt-ergo (2.0.0-3) §

alt-ergo-dbgsym

alt-ergo (2.0.0-5)

alt-ergo

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)

libapron

libapron-ocaml

libapron-ocaml-dev

belenios (1.8+dfsg-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)

ben (0.8.3)

bibtex2html (1.99-2) §

bin-prot (113.33.03-4) §

bin-prot (113.33.03-5)

libbin-prot-ocaml-dev

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)

libcalendar-ocaml-dev

caml-mode (4.06-1) §

elpa-caml

caml2html (1.4.3-2) §

caml2html (1.4.4-2)

caml2html

camlbz2 (0.6.0-7) §

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

camlbz2 (0.6.0-10)

camlidl (1.05-16) §

camlidl

camlidl-doc (1.04-4) §

camlidl-doc

camlimages (1:4.2.6-5) §

libcamlimages-ocaml

libcamlimages-ocaml-dev

libcamlimages-ocaml-doc

camljava (0.3-2) §

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

camlmix (1.3.1-3) §

camlmix (1.3.1-3+b3; main)

camlp4 (4.05+1-2) §

camlp4 (4.05+2-1)

camlp4

libcamlp4-ocaml-dev

camlp5 (7.01-1) §

camlp5 (7.08-2)

camlp5

camlpdf (2.2.1-1) §

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

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

camltemplate (1.0.2-3) §

libcamltemplate-ocaml-dev

camlzip (1.07-2) §

camlzip (1.08-1)

camomile (1.0.2-2) §

libcamomile-ocaml-data

libcamomile-ocaml-dev

cduce (0.6.0-5) §

cduce (0.6.0-5+b7; main)

cmdliner (1.0.2-1) §

libcmdliner-ocaml-dev-dbgsym

cmdliner (1.0.4-1)

libcmdliner-ocaml-dev

coccinelle (1.0.4.deb-4) §

coccinelle

coccinelle-doc

coccinelle (1.0.7.deb-1)

coccinelle

coccinelle-doc

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