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 full report, including info, experimental and overridden tags. Also see their QA overview.

• W ancient-libtool
  • ltconfig
• W ancient-standards-version
  • 3.9.5 (released 2013-10-28) (current is 4.4.0)
• W debhelper-tools-from-autotools-dev-are-deprecated
  • dh ... --with autotools-dev (line 9)

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

• W manpage-has-errors-from-man
  • usr/share/man/man1/h8300-hitachi-coff-readelf.1.gz 152: warning [p 1, 4.0i]: cannot adjust line [amd64, i386]
• W priority-extra-is-replaced-by-priority-optional

• W ancient-standards-version
  • 3.9.6 (released 2014-09-17) (current is 4.4.0)
• W package-uses-deprecated-debhelper-compat-version
  • 7

bmt

• W priority-extra-is-replaced-by-priority-optional

• W ancient-standards-version
  • 3.9.3 (released 2012-02-23) (current is 4.4.1)
• W debian-rules-missing-recommended-target
  • build-arch
  • build-indep
• W dh-clean-k-is-deprecated
• W format-3.0-but-debian-changes-patch
• W package-uses-deprecated-debhelper-compat-version
  • 5

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

• W priority-extra-is-replaced-by-priority-optional

• W ancient-standards-version
  • 3.9.8 (released 2016-04-06) (current is 4.4.0)

brickos

• W priority-extra-is-replaced-by-priority-optional

brickos-doc

• W priority-extra-is-replaced-by-priority-optional

• W ancient-standards-version
  • 3.9.8 (released 2016-04-06) (current is 4.4.0)

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

• W pkg-config-unavailable-for-cross-compilation
  • usr/lib/pkgconfig/diagnostics.pc [amd64, i386]
• W priority-extra-is-replaced-by-priority-optional

libdiagnostics0 (0.3.3-12+b1; main)

• W priority-extra-is-replaced-by-priority-optional
• E symbols-file-contains-current-version-with-debian-revision
  • on symbol _ZN11diagnostics8internal9to_stringIA16_cPKcA9_cS4_A2_cEENSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEERKT_RKT0_RKT1_RKT2_RKT3_@Base and 11 others
  • on symbol _ZN11diagnostics8internal9to_stringIA16_cPKcA9_cS4_A2_cEENSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEERKT_RKT0_RKT1_RKT2_RKT3_@Base and 14 others

• W ancient-standards-version
  • 3.9.6 (released 2014-09-17) (current is 4.4.1)
• W debian-rules-sets-dpkg-architecture-variable
  • DEB_BUILD_GNU_TYPE (line 22)
  • DEB_HOST_GNU_TYPE (line 23)
• W dh-clean-k-is-deprecated
• W package-uses-deprecated-debhelper-compat-version
  • 5
• W spelling-error-in-patch-description
  • debian/patches/m68k-update.dpatch specfic specific

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

• W binary-without-manpage
  • usr/bin/h8300-hitachi-coff-c++ [amd64, i386]
  • usr/bin/h8300-hitachi-coff-cpp [amd64, i386]
  • usr/bin/h8300-hitachi-coff-g++ [amd64, i386]
  • usr/bin/h8300-hitachi-coff-gcc [amd64, i386]
  • usr/bin/h8300-hitachi-coff-gcc-3.4.6 [amd64, i386]
  • usr/bin/h8300-hms-c++ [amd64, i386]
  • usr/bin/h8300-hms-cpp [amd64, i386]
  • usr/bin/h8300-hms-g++ [amd64, i386]
  • usr/bin/h8300-hms-gcc [amd64, i386]
  • usr/bin/h8300-hms-gcc-3.4.6 [amd64, i386]
• W priority-extra-is-replaced-by-priority-optional

• W orig-tarball-missing-upstream-signature
  • libclamunrar_0.101.2.orig.tar.xz

• W ancient-standards-version
  • 3.9.5 (released 2013-10-28) (current is 4.4.0)
• W package-uses-deprecated-debhelper-compat-version
  • 7

lnpd (0.9.0-11+b2; main)

• W init.d-script-does-not-source-init-functions
  • etc/init.d/lnpd [amd64, i386]
• W non-dev-pkg-with-shlib-symlink
  • usr/lib/liblnp.so.0.0.0 usr/lib/liblnp.so [amd64, i386]
• W package-name-doesnt-match-sonames
  • liblnp0 [amd64, i386]
• W priority-extra-is-replaced-by-priority-optional

• W ancient-standards-version
  • 3.9.5 (released 2013-10-28) (current is 4.4.0)
• W obsolete-url-in-packaging
  • debian/control git://gitorious.org/minisat-debian/minisat2.git

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

• W non-dev-pkg-with-shlib-symlink
  • usr/lib/libminisat.so.2.1.0 usr/lib/libminisat.so [amd64, i386]
• W package-name-doesnt-match-sonames
  • libminisat2 [amd64, i386]
• W priority-extra-is-replaced-by-priority-optional

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

• W priority-extra-is-replaced-by-priority-optional
• W transitional-package-should-be-oldlibs-optional
  • oldlibs/extra [amd64, i386]

picosat

• W non-dev-pkg-with-shlib-symlink
  • usr/lib/i386-linux-gnu/libpicosat-trace.so.1.0.0 usr/lib/i386-linux-gnu/libpicosat-trace.so [amd64, i386]
  • usr/lib/i386-linux-gnu/libpicosat.so.1.0.0 usr/lib/i386-linux-gnu/libpicosat.so [amd64, i386]
  • usr/lib/x86_64-linux-gnu/libpicosat-trace.so.1.0.0 usr/lib/x86_64-linux-gnu/libpicosat-trace.so [amd64, i386]
  • usr/lib/x86_64-linux-gnu/libpicosat.so.1.0.0 usr/lib/x86_64-linux-gnu/libpicosat.so [amd64, i386]
• W package-name-doesnt-match-sonames
  • libpicosat-trace1 libpicosat1 [amd64, i386]
• W spelling-error-in-description
  • satisfiabilty satisfiability [amd64, i386]

libppl-c4

• E debian-changelog-file-contains-invalid-email-address
  • doko@debian..org

libppl-dev

• E debian-changelog-file-contains-invalid-email-address
  • doko@debian..org [amd64, i386]

libppl-doc

• E debian-changelog-file-contains-invalid-email-address
  • doko@debian..org

libppl-swi

• E debian-changelog-file-contains-invalid-email-address
  • doko@debian..org

libppl14

• E debian-changelog-file-contains-invalid-email-address
  • doko@debian..org

ppl-dev

• E debian-changelog-file-contains-invalid-email-address
  • doko@debian..org [amd64, i386]

• W ancient-standards-version
  • 3.9.8 (released 2016-04-06) (current is 4.4.1)