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 report showing only errors and warnings. Also see their QA overview.

coq (8.8.2-1) [Uploader] §

coq

coq-theories

coq-theories-dbgsym

libcoq-ocaml-dev

rcm (1.3.3-2) §

transmission-remote-gtk (1.4.1-1) §

xcwd (0~2.gbpe2c777c-1) §

xcwd