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-examples

alt-ergo (1.30+dfsg1-1) [Uploader] §

alt-ergo

approx (5.10-1) [Uploader] §

approx

aribas (1.64-6) §

aribas

aspcud (1:1.9.4-1) §

aspcud

bibtex2html (1.99-1) [Uploader] §

camlbz2 (0.6.0-7) [Uploader] §

libbz2-ocaml-dbgsym (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.07-2) [Uploader] §

libzip-ocaml

libzip-ocaml-dev

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

coq-theories

coq-theories-dbgsym

coqide

libcoq-ocaml

libcoq-ocaml-dev

cryptokit (1.11-1) [Uploader] §

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

cudf (0.7-3) [Uploader] §

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

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

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

cudf (0.8-3) [Uploader]

cudf-tools

libcudf-dev

libcudf-ocaml-dev

dh-ocaml (1.1.0) [Uploader] §

dh-ocaml

dose3 (5.0.1-11) [Uploader] §

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

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

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

dose-doc

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

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

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

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

libdose3-ocaml-dev-dbgsym (5.0.1-11+b1; main)

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

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

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

garmin-plugin

gmanedit (0.4.2-7) §

gmanedit

headache (1.03-27) [Uploader] §

headache

hevea (2.32-1) [Uploader] §

hevea

hevea-doc (2.32-1; non-free) [Uploader] §

hevea-doc

hlins (0.39-23) [Uploader] §

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

liblablgl-ocaml

liblablgl-ocaml-dbgsym

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

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

lablgtk2 (2.18.5+dfsg-2) [Uploader]

liblablgtk2-gl-ocaml-dbgsym

liblablgtk2-gnome-ocaml-dbgsym

liblablgtk2-ocaml

liblablgtk2-ocaml-dbgsym

liblablgtk2-ocaml-dev

lbt (1.2.2-6) [Uploader] §

lbt

ledit (2.04-1) [Uploader] §

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

mccs-dbgsym

menhir (20180530-2) [Uploader] §

libmenhir-ocaml-dev

menhir

menhir-doc

meta-ocaml (3.12.0.1) [Uploader] §

ocaml-core

ocaml-libs

minisat+ (1.0-4) [Uploader] §

minisat+

mlgmp (20021123-19) [Uploader] §

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

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

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

ocaml (4.05.0-10) [Uploader] §

ocaml (4.05.0-10+b1; main)

ocaml-base (4.05.0-10+b1; main)

ocaml-base-dbgsym (4.05.0-10+b1; main)

ocaml-base-nox (4.05.0-10+b1; main)

ocaml-base-nox-dbgsym (4.05.0-10+b1; main)

ocaml-compiler-libs (4.05.0-10+b1; main)

ocaml-interp (4.05.0-10+b1; main)

ocaml-mode

ocaml-nox (4.05.0-10+b1; main)

ocaml-nox-dbgsym (4.05.0-10+b1; main)

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] §

ocaml-tools

ocaml-visitors (20180306-3) [Uploader] §

libppx-visitors-ocaml-dev

libppx-visitors-ocaml-doc

ocamldsort (0.16.0-5) [Uploader] §

ocamldsort (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.40-1) [Uploader] §

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

ocplib-simplex-ocaml-dev

packup (0.6-3) §

packup

planets (0.1.13-19) [Uploader] §

planets

ppx-derivers (1.2-4) [Uploader] §

libppx-derivers-ocaml-dev

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

libppx-deriving-yojson-ocaml-dev

libppx-deriving-yojson-ocaml-dev-dbgsym

spass (3.7-4) [Uploader] §

spass

spass-dbgsym

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

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

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

tuareg-mode

why (2.40-3) [Uploader] §

why

why3 (1.0.0-2) [Uploader] §

libwhy3-ocaml-dev

why3

why3-dbgsym

why3-doc-html

why3-doc-pdf

why3-examples

xdemineur (2.1.1-19) §

xdemineur

yap (6.2.2-6) §

yap (6.2.2-6+b2; main)

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