Lintian Reports

Michael Tautschnig

At the time of the last Lintian run, the following possible problems were found in packages maintained by Michael Tautschnig <mt@debian.org>, listed by source package. See also the report showing only errors and warnings. Also see their QA overview.

binutils-h8300-hms (2.16.1-10)

binutils-h8300-hms (2.16.1-10+b2; main)

binutils-h8300-hms-dbgsym (2.16.1-10+b2; main)

bmt (0.6-1)

bmt

boolector (1.5.118.6b56be4.121013-1)

boolector (1.5.118.6b56be4.121013-1+b1; main)

boolector-dbgsym (1.5.118.6b56be4.121013-1+b1; main)

brickos (0.9.0.dfsg-12.1)

brickos

brickos-dbgsym

brickos-doc

cbmc (5.6-1)

cbmc

cbmc-dbgsym

clamav (0.99.2+dfsg-6) [Uploader]

clamav (0.99.2+dfsg-6+b1; main)

clamav-base

clamav-daemon (0.99.2+dfsg-6+b1; main)

clamav-daemon-dbgsym (0.99.2+dfsg-6+b1; main)

clamav-dbgsym (0.99.2+dfsg-6+b1; main)

clamav-docs

clamav-freshclam (0.99.2+dfsg-6+b1; main)

clamav-freshclam-dbgsym (0.99.2+dfsg-6+b1; main)

clamav-milter (0.99.2+dfsg-6+b1; main)

clamav-milter-dbgsym (0.99.2+dfsg-6+b1; main)

clamav-testfiles

clamdscan (0.99.2+dfsg-6+b1; main)

clamdscan-dbgsym (0.99.2+dfsg-6+b1; main)

libclamav-dev (0.99.2+dfsg-6+b1; main)

libclamav7 (0.99.2+dfsg-6+b1; main)

libclamav7-dbgsym (0.99.2+dfsg-6+b1; main)

cloog (0.18.4-1) [Uploader]

cloog-isl (0.18.4-1+b1; main)

cloog-isl-dbgsym (0.18.4-1+b1; main)

libcloog-isl-dev (0.18.4-1+b1; main)

libcloog-isl4 (0.18.4-1+b1; main)

libcloog-isl4-dbgsym (0.18.4-1+b1; main)

cloog-ppl (0.16.1-7) [Uploader]

cloog-ppl

cloog-ppl-dbgsym

libcloog-ppl-dev

libcloog-ppl1

libcloog-ppl1-dbgsym

diagnostics (0.3.3-12)

libdiagnostics-dev

libdiagnostics0

libdiagnostics0-dbgsym

gcc-h8300-hms (1:3.4.6+dfsg2-4)

gcc-h8300-hms

kcov (11-1)

kcov

kcov (25+dfsg-1)

kcov

libclamunrar (0.99-3; non-free) [Uploader]

libclamunrar7

libclamunrar7-dbgsym

lnpd (0.9.0-11)

lnpd (0.9.0-11+b2; main)

lnpd-dbgsym (0.9.0-11+b2; main)

minisat2 (1:2.2.1-5)

minisat (1:2.2.1-5+b3; main)

minisat-dbgsym (1:2.2.1-5+b3; main)

minisat2 (1:2.2.1-5+b3; main)

picosat (960-1)

picosat (960-1+b2; main)

picosat-dbgsym (960-1+b2; main)

ppl (1:1.2-1) [Uploader]

libppl-c4

libppl-c4-dbgsym

libppl-dev

libppl-doc

libppl-swi

libppl-swi-dbgsym

libppl14

libppl14-dbgsym

ppl-dev

ppl-dev-dbgsym

sat4j (2.3.5-0.2)

sat4j

z3 (4.4.1-0.3)

libz3-4

libz3-4-dbgsym

libz3-cil

libz3-dev

libz3-java

libz3-jni

libz3-jni-dbgsym

libz3-ocaml-dev

libz3-ocaml-dev-dbgsym

python-z3

z3

z3-dbgsym