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

advi-dbgsym

advi-examples

alt-ergo (1.30-1) [Uploader]

alt-ergo

alt-ergo-dbgsym

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.1-2)

aspcud (1:1.9.1-2+b1; main)

aspcud-dbgsym (1:1.9.1-2+b1; main)

bibtex2html (1.98-5) [Uploader]

bibtex2html

camlbz2 (0.6.0-7) [Uploader]

libbz2-ocaml

libbz2-ocaml-dbgsym

libbz2-ocaml-dev

camlidl (1.05-15) [Uploader]

camlidl

camlimages (1:4.2.0-1.1) [Uploader]

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

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

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

libcamlimages-ocaml-doc

camlzip (1.06-2) [Uploader]

libzip-ocaml

libzip-ocaml-dbgsym

libzip-ocaml-dev

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

coq (8.6-4+b1; main)

coq-dbgsym (8.6-4+b1; main)

coq-theories (8.6-4+b1; main)

coq-theories-dbgsym (8.6-4+b1; main)

coqide (8.6-4+b1; main)

coqide-dbgsym (8.6-4+b1; main)

libcoq-ocaml (8.6-4+b1; main)

libcoq-ocaml-dbgsym (8.6-4+b1; main)

libcoq-ocaml-dev (8.6-4+b1; main)

libcoq-ocaml-dev-dbgsym (8.6-4+b1; main)

cryptokit (1.11-1) [Uploader]

libcryptokit-ocaml

libcryptokit-ocaml-dbgsym

libcryptokit-ocaml-dev

cudf (0.7-3) [Uploader]

cudf-tools

cudf-tools-dbgsym

libcudf-dev

libcudf-ocaml-dev

cudf (0.8-1) [Uploader]

cudf-tools (0.8-1+b1; main)

cudf-tools-dbgsym (0.8-1+b1; main)

libcudf-dev (0.8-1+b1; main)

libcudf-ocaml-dev (0.8-1+b1; main)

dh-ocaml (1.1.0) [Uploader]

dh-ocaml

dose3 (5.0.1-9) [Uploader]

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

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

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

dose-doc

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

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

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

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

libdose3-ocaml-dev-dbgsym (5.0.1-9+b1; 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-26) [Uploader]

headache

hevea (2.29-2) [Uploader]

hevea

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

hevea-doc

hlins (0.39-22) [Uploader]

hlins

lablgl (1:1.05-2) [Uploader]

liblablgl-ocaml

liblablgl-ocaml-dev

lablgtk2 (2.18.5+dfsg-1) [Uploader]

liblablgtk2-gl-ocaml

liblablgtk2-gl-ocaml-dbgsym

liblablgtk2-gl-ocaml-dev

liblablgtk2-gnome-ocaml

liblablgtk2-gnome-ocaml-dbgsym

liblablgtk2-gnome-ocaml-dev

liblablgtk2-ocaml

liblablgtk2-ocaml-dbgsym

liblablgtk2-ocaml-dev

liblablgtk2-ocaml-doc

liblablgtksourceview2-ocaml

liblablgtksourceview2-ocaml-dbgsym

liblablgtksourceview2-ocaml-dev

lbt (1.2.2-6) [Uploader]

lbt

lbt-dbgsym

ledit (2.03-5) [Uploader]

ledit

libledit-ocaml-dev (2.03-5+b1; main)

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

menhir

menhir-dbgsym

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

libgmp-ocaml-dbgsym

libgmp-ocaml-dev

mona (1.4-17-1) [Uploader]

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

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

ocaml (4.02.3-10) [Uploader]

ocaml

ocaml-base

ocaml-base-dbgsym

ocaml-base-nox

ocaml-base-nox-dbgsym

ocaml-compiler-libs

ocaml-interp

ocaml-mode

ocaml-native-compilers

ocaml-native-compilers-dbgsym

ocaml-nox

ocaml-nox-dbgsym

ocaml-source

ocaml (4.05.0-7) [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+b2; main)

ocaml-tools (20120103-4) [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

ocamldsort-dbgsym

ocamlmakefile (6.37.0-3) [Uploader]

ocamlmakefile

ocamlwc (0.3-13) [Uploader]

ocamlwc

ocamlweb (1.39-5) [Uploader]

ocamlweb

ocplib-simplex (0.3-1) [Uploader]

ocplib-simplex-ocaml-dev

ocplib-simplex-ocaml-dev-dbgsym

packup (0.6-3)

packup

packup-dbgsym

planets (0.1.13-16) [Uploader]

planets

spass (3.7-4) [Uploader]

spass

spass-dbgsym

syslog-ocaml (1.4-6) [Uploader]

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

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

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

tuareg-mode

why (2.38-1) [Uploader]

libwhy-coq

why

why-dbgsym

why3 (0.87.3-2) [Uploader]

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

why3 (0.87.3-2+b3; main)

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

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

why3-dbgsym (0.87.3-2+b3; 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)