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.

camlmix (1.3.1-3) [Uploader] §

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

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

mikmatch (1.0.8-2) [Uploader] §

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

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

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

otags (4.05.1-1) [Uploader] §

otags

prooftree (0.13-1) [Uploader] §