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.9.1-1) [Uploader] §

coq

coq-theories