Lintian Reports

Hendrik Tews

At the time of the last Lintian run, the following possible problems were found in packages maintained by Hendrik Tews <>, 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] §


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)

prooftree (0.13-1) [Uploader] §

prooftree (0.13-1+b2; main)