Lintian Reports

Benjamin Barenblat

At the time of the last Lintian run, the following possible problems were found in packages maintained by Benjamin Barenblat <bbaren@debian.org>, listed by source package. See also the full report, including info, experimental and overridden tags. Also see their QA overview.

coq (8.9.0-1) [Uploader] §

coq

coq-theories

coq-theories-dbgsym

libcoq-ocaml-dev