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

advi (1.10.2-4) [Uploader] §

advi (1.10.2-5) [Uploader]

advi

advi-examples

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]

approx

aribas (1.64-6) §

aribas

aspcud (1:1.9.4-2) §

aspcud

bibtex2html (1.99-2) [Uploader] §

caml-mode (4.06-1) [Uploader] §

elpa-caml

camlbz2 (0.6.0-7) [Uploader] §

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

camlbz2 (0.6.0-10) [Uploader]

camlidl (1.05-16) [Uploader] §

camlidl

camlimages (1:4.2.6-5) [Uploader] §

libcamlimages-ocaml

libcamlimages-ocaml-dev

libcamlimages-ocaml-doc

camlzip (1.07-2) [Uploader] §

camlzip (1.08-1) [Uploader]

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