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.

biniou (1.0.12-2) [Uploader] §

caml2html (1.4.3-2) [Uploader] §

camlmix (1.3.1-3) [Uploader] §

camlmix (1.3.1-3+b3; main)

cmdliner (1.0.2-1) [Uploader] §

libcmdliner-ocaml-dev-dbgsym

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

cppo (1.6.4-3) [Uploader] §

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

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

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

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

mikmatch (1.0.8-2) [Uploader] §

libmikmatch-ocaml-dev

oasis (0.4.10-2) [Uploader] §

ocaml-atd (2.0.0-3) [Uploader] §

libatd-ocaml-dev (2.0.0-3+b1; main)

libatdgen-ocaml-dev (2.0.0-3+b1; main)

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

ocaml-benchmark (1.3-3) [Uploader]

libbenchmark-ocaml-dev

ocaml-extunix (0.1.6-1) [Uploader] §

libextunix-ocaml

libextunix-ocaml-dev

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

otags (4.05.1-1) [Uploader] §

otags

ounit (2.0.8-1) [Uploader] §

proofgeneral (4.4.1~pre170114-1.1) §

proofgeneral

prooftree (0.13-1) [Uploader] §

prooftree (0.13-1+b3; main)

tophide (1.0.4-1) [Uploader] §

uuidm (0.9.6-1) [Uploader] §

libuuidm-ocaml-dev

libuuidm-ocaml-dev-dbgsym

yojson (1.3.2-1) [Uploader] §