Lintian Reports

Enrico Tassi

At the time of the last Lintian run, the following possible problems were found in packages maintained by Enrico Tassi <gareuselesinge@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-theories-dbgsym

coq (8.9.1-1) [Uploader]

coq

coq-theories