Lintian Reports

Hendrik Tews

At the time of the last Lintian run, the following possible problems were found in packages maintained by Hendrik Tews <hendrik@askra.de>, listed by source package. See also the report showing only errors and warnings. Also see their QA overview.

atdgen (1.9.1-2) [Uploader] §

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

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

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

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

biniou (1.0.12-2) [Uploader] §

libbiniou-ocaml (1.0.12-2+b2; main)

libbiniou-ocaml-dbgsym (1.0.12-2+b2; main)

libbiniou-ocaml-dev (1.0.12-2+b2; main)

libbiniou-ocaml-dev-dbgsym (1.0.12-2+b2; main)

caml2html (1.4.3-2) [Uploader] §

caml2html (1.4.3-2+b1; main)

caml2html-dbgsym (1.4.3-2+b1; main)

libcaml2html-ocaml (1.4.3-2+b1; main)

libcaml2html-ocaml-dev (1.4.3-2+b1; main)

camlmix (1.3.1-3) [Uploader] §

camlmix (1.3.1-3+b3; main)

camlmix-dbgsym (1.3.1-3+b3; main)

coq-doc (8.6-1; non-free) [Uploader] §

coq-doc

coq-doc-html

coq-doc-pdf

cppo (1.5.0-2) [Uploader] §

cppo (1.5.0-2+b1; main)

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

easy-format (1.2.0-1) [Uploader] §

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

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

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

hol-light (20170109-2) [Uploader] §

hol-light

mikmatch (1.0.8-1) [Uploader] §

libmikmatch-ocaml (1.0.8-1+b1; main)

libmikmatch-ocaml-dev (1.0.8-1+b1; main)

oasis (0.4.10-2) [Uploader] §

liboasis-ocaml (0.4.10-2+b1; main)

liboasis-ocaml-dbgsym (0.4.10-2+b1; main)

liboasis-ocaml-dev (0.4.10-2+b1; main)

liboasis-ocaml-doc

oasis (0.4.10-2+b1; main)

oasis-dbgsym (0.4.10-2+b1; main)

ocaml-atd (1.1.2-1) [Uploader] §

libatd-ocaml (1.1.2-1+b5; main)

libatd-ocaml-dbgsym (1.1.2-1+b5; main)

libatd-ocaml-dev (1.1.2-1+b5; main)

libatd-ocaml-dev-dbgsym (1.1.2-1+b5; main)

ocaml-benchmark (1.3-2) [Uploader] §

libbenchmark-ocaml-dev (1.3-2+b1; main)

libbenchmark-ocaml-dev-dbgsym (1.3-2+b1; main)

ocaml-extunix (0.1.5-2) [Uploader] §

libextunix-ocaml (0.1.5-2+b1; main)

libextunix-ocaml-dbgsym (0.1.5-2+b1; main)

libextunix-ocaml-dev (0.1.5-2+b1; main)

ocaml-fileutils (0.5.2-1) [Uploader] §

libfileutils-ocaml-dev (0.5.2-1+b1; main)

libfileutils-ocaml-dev-dbgsym (0.5.2-1+b1; main)

otags (4.05.1-1) [Uploader] §

otags

otags-dbgsym

ounit (2.0.0-2) [Uploader] §

libounit-ocaml-dev (2.0.0-2+b1; main)

libounit-ocaml-dev-dbgsym (2.0.0-2+b1; main)

proofgeneral (4.4.1~pre170114-1) §

proofgeneral

proofgeneral-doc

prooftree (0.13-1) [Uploader] §

prooftree (0.13-1+b2; main)

prooftree-dbgsym (0.13-1+b2; main)

tophide (1.0.4-1) [Uploader] §

libtophide-ocaml-dev

uuidm (0.9.5-2) [Uploader] §

libuuidm-ocaml-dev (0.9.5-2+b1; main)

libuuidm-ocaml-dev-dbgsym (0.9.5-2+b1; main)

yojson (1.3.2-1) [Uploader] §

libyojson-ocaml (1.3.2-1+b2; main)

libyojson-ocaml-dbgsym (1.3.2-1+b2; main)

libyojson-ocaml-dev (1.3.2-1+b2; main)

libyojson-ocaml-dev-dbgsym (1.3.2-1+b2; main)