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

camlidl (1.05-14+b2; main)

camlimages (1:4.2.0-1.1) [Uploader]

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

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

libcamlimages-ocaml-dev (1:4.2.0-1.1+b1; 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

coq-dbgsym

coq-theories

coq-theories-dbgsym

coqide

coqide-dbgsym

libcoq-ocaml

libcoq-ocaml-dbgsym

libcoq-ocaml-dev

libcoq-ocaml-dev-dbgsym

cryptokit (1.10-1) [Uploader]

libcryptokit-ocaml (1.10-1+b1; main)

libcryptokit-ocaml-dev (1.10-1+b1; main)

cudf (0.7-2) [Uploader]

cudf-tools (0.7-2+b3; main)

libcudf-dev (0.7-2+b3; main)

libcudf-ocaml-dev (0.7-2+b3; main)

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

dh-ocaml

dose3 (5.0.1-8) [Uploader]

apt-cudf

dose-builddebcheck

dose-distcheck

dose-doc

dose-extra

libdose3-ocaml

libdose3-ocaml-dbgsym

libdose3-ocaml-dev

libdose3-ocaml-dev-dbgsym

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-1) [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.3+dfsg-2) [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

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 (20170607.dfsg-2) [Uploader]

libmenhir-ocaml-dev

menhir

menhir-dbgsym

meta-ocaml (3.12.0.1) [Uploader]

ocaml-core

ocaml-libs

minisat+ (1.0-4) [Uploader]

minisat+

minisat+-dbgsym

mlgmp (20021123-18) [Uploader]

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

libgmp-ocaml-dev (20021123-18+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.02.3-9) [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.04.0-2) [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-gnuplot (0.8.3-3) [Uploader]

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

ocaml-tools (20120103-4) [Uploader]

ocaml-tools

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+b1; main)

why3 (0.87.3-2+b1; main)

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

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

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