Lintian Reports

Stéphane Glondu

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

aac-tactics (8.8.0+1.gbp069dc3b-1) [Uploader] §

belenios (1.9+dfsg-1) [Uploader] §

belenios-tool (1.9+dfsg-1+b2; main)

ben (0.8.3) [Uploader] §

ben (0.8.3+b3; main)

libben-ocaml (0.8.3+b3; main)

calendar (2.04-3) [Uploader] §

camlp4 (4.05+2-1) [Uploader] §

camlp4

camlp5 (7.08-2) [Uploader] §

camlp5

camlpdf (2.2.1-1) [Uploader] §

libcamlpdf-ocaml-dev (2.2.1-1+b1; main)

cduce (0.6.0-5) [Uploader] §

coq (8.9.1-1) [Uploader] §

coq

coq-theories