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-3) [Uploader]

advi (1.10.2-3+b1; main)

advi-dbgsym (1.10.2-3+b1; main)

advi-examples

alt-ergo (1.30-1) [Uploader]

alt-ergo (1.30-1+b1; main)

alt-ergo-dbgsym (1.30-1+b1; main)

approx (5.8-1) [Uploader]

approx

approx-dbgsym

approx (5.9-1) [Uploader]

approx

approx-dbgsym

aribas (1.64-6)

aribas

aspcud (1:1.9.4-1)

aspcud

aspcud-dbgsym

bibtex2html (1.98-6) [Uploader]

bibtex2html

camlbz2 (0.6.0-7) [Uploader]

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

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

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

camlidl (1.05-15) [Uploader]

camlidl (1.05-15+b1; main)

camlimages (1:4.2.0-1.1) [Uploader]

libcamlimages-ocaml (1:4.2.0-1.1+b3; main)

libcamlimages-ocaml-dbgsym (1:4.2.0-1.1+b3; main)

libcamlimages-ocaml-dev (1:4.2.0-1.1+b3; main)

libcamlimages-ocaml-doc

camlzip (1.06-2) [Uploader]

libzip-ocaml (1.06-2+b1; main)

libzip-ocaml-dbgsym (1.06-2+b1; main)

libzip-ocaml-dev (1.06-2+b1; main)

checkbot (1.80-3)

checkbot

cmigrep (1.5-14) [Uploader]

cmigrep

coinst (1.9.3-1) [Uploader]

coinst (1.9.3-1+b1; main)

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

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

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

coq (8.6-5) [Uploader]

coq

coq-dbgsym

coq-theories

coq-theories-dbgsym

coqide

coqide-dbgsym

libcoq-ocaml

libcoq-ocaml-dbgsym

libcoq-ocaml-dev

libcoq-ocaml-dev-dbgsym

cryptokit (1.11-1) [Uploader]

libcryptokit-ocaml (1.11-1+b2; main)

libcryptokit-ocaml-dbgsym (1.11-1+b2; main)

libcryptokit-ocaml-dev (1.11-1+b2; main)

cudf (0.7-3) [Uploader]

cudf-tools (0.7-3+b1; main)

cudf-tools-dbgsym (0.7-3+b1; main)

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

libcudf-ocaml-dev (0.7-3+b1; main)

cudf (0.8-3) [Uploader]

cudf-tools

cudf-tools-dbgsym

libcudf-dev

libcudf-ocaml-dev

dh-ocaml (1.1.0) [Uploader]

dh-ocaml

dose3 (5.0.1-9) [Uploader]

apt-cudf (5.0.1-9+b2; main)

dose-builddebcheck (5.0.1-9+b2; main)

dose-distcheck (5.0.1-9+b2; main)

dose-doc

dose-extra (5.0.1-9+b2; main)

libdose3-ocaml (5.0.1-9+b2; main)

libdose3-ocaml-dbgsym (5.0.1-9+b2; main)

libdose3-ocaml-dev (5.0.1-9+b2; main)

libdose3-ocaml-dev-dbgsym (5.0.1-9+b2; main)

garmin-forerunner-tools (0.10repacked-10) [Uploader]

garmin-forerunner-tools (0.10repacked-10+b1; main)

garmin-forerunner-tools-dbgsym (0.10repacked-10+b1; main)

garmin-plugin (0.3.23-5) [Uploader]

garmin-plugin

gmanedit (0.4.2-7)

gmanedit

gmanedit-dbgsym

headache (1.03-27) [Uploader]

headache

hevea (2.30-1) [Uploader]

hevea

hevea-doc (2.29-2; non-free) [Uploader]

hevea-doc

hlins (0.39-23) [Uploader]

hlins

lablgl (1:1.05-2) [Uploader]

liblablgl-ocaml (1:1.05-2+b1; main)

liblablgl-ocaml-dbgsym (1:1.05-2+b1; main)

liblablgl-ocaml-dev (1:1.05-2+b1; main)

lablgtk2 (2.18.5+dfsg-1) [Uploader]

liblablgtk2-gl-ocaml (2.18.5+dfsg-1+b1; main)

liblablgtk2-gl-ocaml-dbgsym (2.18.5+dfsg-1+b1; main)

liblablgtk2-gl-ocaml-dev (2.18.5+dfsg-1+b1; main)

liblablgtk2-gnome-ocaml (2.18.5+dfsg-1+b1; main)

liblablgtk2-gnome-ocaml-dbgsym (2.18.5+dfsg-1+b1; main)

liblablgtk2-gnome-ocaml-dev (2.18.5+dfsg-1+b1; main)

liblablgtk2-ocaml (2.18.5+dfsg-1+b1; main)

liblablgtk2-ocaml-dbgsym (2.18.5+dfsg-1+b1; main)

liblablgtk2-ocaml-dev (2.18.5+dfsg-1+b1; main)

liblablgtk2-ocaml-doc

liblablgtksourceview2-ocaml (2.18.5+dfsg-1+b1; main)

liblablgtksourceview2-ocaml-dbgsym (2.18.5+dfsg-1+b1; main)

liblablgtksourceview2-ocaml-dev (2.18.5+dfsg-1+b1; main)

lbt (1.2.2-6) [Uploader]

lbt

lbt-dbgsym

ledit (2.03-6) [Uploader]

ledit

libledit-ocaml-dev

maria (1.3.5-4.1) [Uploader]

maria

maria-dbgsym

maria-doc

mathpartir (1.2.0-6)

mathpartir

mccs (1:1.1-6)

mccs

mccs-dbgsym

menhir (20170712-1) [Uploader]

libmenhir-ocaml-dev (20170712-1+b1; main)

menhir (20170712-1+b1; main)

menhir-dbgsym (20170712-1+b1; main)

menhir-doc

meta-ocaml (3.12.0.1) [Uploader]

ocaml-core

ocaml-libs

minisat+ (1.0-4) [Uploader]

minisat+

minisat+-dbgsym

mlgmp (20021123-19) [Uploader]

libgmp-ocaml (20021123-19+b1; main)

libgmp-ocaml-dbgsym (20021123-19+b1; main)

libgmp-ocaml-dev (20021123-19+b1; main)

mona (1.4-17-1) [Uploader]

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

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

ocaml (4.05.0-10) [Uploader]

ocaml

ocaml-base

ocaml-base-dbgsym

ocaml-base-nox

ocaml-base-nox-dbgsym

ocaml-compiler-libs

ocaml-interp

ocaml-mode

ocaml-nox

ocaml-nox-dbgsym

ocaml-source

ocaml-doc (4.02-2; non-free) [Uploader]

ocaml-doc

ocaml-doc (4.05-1~exp1; 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]

ocaml-tools

ocaml-visitors (20170725-1) [Uploader]

libppx-visitors-ocaml-dev

libppx-visitors-ocaml-dev-dbgsym

libppx-visitors-ocaml-doc

ocamldsort (0.16.0-5) [Uploader]

ocamldsort (0.16.0-5+b1; main)

ocamldsort-dbgsym (0.16.0-5+b1; main)

ocamlify (0.0.2-5) [Uploader]

ocamlify

ocamlmakefile (6.37.0-3) [Uploader]

ocamlmakefile

ocamlwc (0.3-14) [Uploader]

ocamlwc

ocamlweb (1.39-6) [Uploader]

ocamlweb

ocplib-simplex (0.3-1) [Uploader]

ocplib-simplex-ocaml-dev (0.3-1+b1; main)

ocplib-simplex-ocaml-dev-dbgsym (0.3-1+b1; main)

packup (0.6-3)

packup

packup-dbgsym

planets (0.1.13-17) [Uploader]

planets

spass (3.7-4) [Uploader]

spass

spass-dbgsym

syslog-ocaml (1.4-6) [Uploader]

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

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

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

tuareg-mode (1:2.0.10-1) [Uploader]

tuareg-mode

why (2.39-2) [Uploader]

libwhy-coq

why

why-dbgsym

why3 (0.87.3-2) [Uploader]

libwhy3-ocaml-dev (0.87.3-2+b4; main)

why3 (0.87.3-2+b4; main)

why3-coq (0.87.3-2+b4; main)

why3-coq-dbgsym (0.87.3-2+b4; main)

why3-dbgsym (0.87.3-2+b4; main)

why3-doc-html

why3-doc-pdf

why3-examples

xdemineur (2.1.1-19)

xdemineur

xdemineur-dbgsym

yap (6.2.2-6)

yap (6.2.2-6+b2; main)

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