Lintian Reports

Michael Tautschnig

At the time of the last Lintian run, the following possible problems were found in packages maintained by Michael Tautschnig <>, listed by source package. See also the full report, including info, experimental and overridden tags. 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) §


boolector ( §

boolector (; main)

boolector-dbgsym (; main)

brickos (0.9.0.dfsg-12.1) §



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 (1:3.4.6+dfsg2-4+b1; main)

libclamunrar (0.101.2-1; non-free) [Uploader] §