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

alt-ergo-dbgsym

approx (5.10-1) [Uploader] §

aribas (1.64-6) §

camlbz2 (0.6.0-7) [Uploader] §

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

camlidl (1.05-15.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.6-5) [Uploader] §

coq (8.9.0-1) [Uploader]

coq

coq-theories

coq-theories-dbgsym

libcoq-ocaml-dev

cryptokit (1.11-1) [Uploader] §

cudf (0.7-3) [Uploader] §

libcudf-dev (0.7-3+b2; main)

cudf (0.8-3) [Uploader]

libcudf-dev

dh-ocaml (1.1.0) [Uploader] §

dh-ocaml

dose3 (5.0.1-12) [Uploader] §

dose-extra

libdose3-ocaml-dbgsym

libdose3-ocaml-dev-dbgsym

garmin-plugin (0.3.23-5) [Uploader] §

garmin-plugin

gmanedit (0.4.2-7) §

headache (1.03-27) [Uploader] §

lablgl (1:1.05-3) [Uploader] §

liblablgl-ocaml-dbgsym

lablgtk2 (2.18.5+dfsg-3) [Uploader] §

liblablgtk2-gl-ocaml-dbgsym

liblablgtk2-gnome-ocaml-dbgsym

liblablgtk2-ocaml-dbgsym

liblablgtk2-ocaml-dev

liblablgtksourceview2-ocaml-dbgsym

lablgtk3 (3.0~beta3-1) [Uploader] §

liblablgtk3-ocaml-dbgsym

liblablgtk3-ocaml-dev

liblablgtksourceview3-ocaml-dbgsym

lbt (1.2.2-6) [Uploader] §

lbt

maria (1.3.5-4.1) [Uploader] §

maria (1.3.5-4.1+b1; main)

maria-doc

mathpartir (1.2.0-7) §

mccs (1:1.1-8) §

mccs-dbgsym

meta-ocaml (3.12.0.1) [Uploader] §

minisat+ (1.0-4) [Uploader] §

minisat+

mlgmp (20021123-19) [Uploader] §

mona (1.4-17-1) [Uploader] §

mona (1.4-17-1+b1; main)

ocaml (4.05.0-11) [Uploader] §

ocaml-base-dbgsym

ocaml-base-nox-dbgsym

ocaml-compiler-libs

ocaml-mode

ocaml-nox

ocaml-nox-dbgsym

ocaml-doc (4.05-1; non-free) [Uploader] §

ocaml-doc

ocaml-gnuplot (0.8.3-3) [Uploader] §

libgnuplot-ocaml-dev (0.8.3-3+b3; main)

ocaml-tools (20120103-5) [Uploader] §

ocamldsort (0.16.0-5) [Uploader] §

ocamlify (0.0.2-5) [Uploader] §

ocamlmakefile (6.37.0-3) [Uploader] §

ocamlmakefile

ocplib-simplex (0.4-1) [Uploader] §

packup (0.6-3) §

packup

ppx-deriving-yojson (3.1-4) [Uploader] §

libppx-deriving-yojson-ocaml-dev-dbgsym

spass (3.7-4) [Uploader] §

spass-dbgsym

ssreflect (1.7.0+dfsg-1) [Uploader] §

libssreflect-coq

syslog-ocaml (1.4-6) [Uploader] §

libsyslog-ocaml-dbgsym (1.4-6+b5; main)

tuareg-mode (1:2.1.0-2) [Uploader] §

tuareg-mode

why3 (1.2.0-1) [Uploader] §

why3

why3-dbgsym

yap (6.2.2-6) §

yap (6.2.2-6+b2; main)

yap-dbgsym (6.2.2-6+b2; main)