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)

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

cbmc (5.6-1) §

cbmc

clamav (0.100.0+dfsg-1) [Uploader] §

clamav (0.100.0+dfsg-1+b2; main)

clamav-base

clamav-daemon (0.100.0+dfsg-1+b2; main)

clamav-docs

clamav-freshclam (0.100.0+dfsg-1+b2; main)

clamav-milter (0.100.0+dfsg-1+b2; main)

clamav-testfiles

clamdscan (0.100.0+dfsg-1+b2; main)

libclamav-dev (0.100.0+dfsg-1+b2; main)

libclamav7 (0.100.0+dfsg-1+b2; main)

cloog (0.18.4-2) [Uploader] §

cloog-isl

libcloog-isl-dev

libcloog-isl4

cloog-ppl (0.16.1-8) [Uploader] §

cloog-ppl

libcloog-ppl-dev

libcloog-ppl1

diagnostics (0.3.3-12) §

libdiagnostics-dev (0.3.3-12+b1; main)

libdiagnostics0 (0.3.3-12+b1; main)

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

gcc-h8300-hms

kcov (11-1) §

kcov

kcov (25+dfsg-1)

kcov

libclamunrar (0.99-4; non-free) [Uploader] §

libclamunrar7

lnpd (0.9.0-11) §

lnpd (0.9.0-11+b2; main)

minisat2 (1:2.2.1-5) §

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

libppl-c4

libppl-doc

libppl-swi

libppl14

ppl-dev

sat4j (2.3.5-0.3) §

sat4j

z3 (4.4.1-0.3) §

libz3-4 (4.4.1-0.3+b1; main)

libz3-cil (4.4.1-0.3+b1; main)

libz3-dev (4.4.1-0.3+b1; main)

libz3-java (4.4.1-0.3+b1; main)

libz3-jni (4.4.1-0.3+b1; main)

libz3-ocaml-dev (4.4.1-0.3+b1; main)

python-z3 (4.4.1-0.3+b1; main)

z3 (4.4.1-0.3+b1; main)