Lintian Reports

Ralf Treinen

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

alt-ergo (2.0.0-3) [Uploader] §

alt-ergo-dbgsym

alt-ergo (2.0.0-5) [Uploader]

alt-ergo

approx (5.10-1) [Uploader] §

approx (5.10-2) [Uploader]

aribas (1.64-6) §

camlbz2 (0.6.0-7) [Uploader] §

libbz2-ocaml-dbgsym (0.6.0-7+b1; main)

camlidl (1.05-16) [Uploader] §

camlidl

checkbot (1.80-3) §

coinst (1.9.3-1) [Uploader] §

coinst (1.9.3-1+b1; main)

coinst-viewer (1.9.3-1+b1; main)

coq (8.9.0-1) [Uploader] §

coq-theories-dbgsym

coq (8.9.1-1) [Uploader]

coq

coq-theories