Hints

Found 196 issues in 11 maintained sources. To see all packaging hints, please click on the source.

• acl2 8.4dfsg-2
• acl2_8.4dfsg-2.dsc (main)
  • W mismatched-override maintainer-manual-page debian/acl2.1 [debian/source/lintian-overrides:6]
  • W mismatched-override source-contains-prebuilt-java-object books/kestrel/java/aij/java/lib/apiguardian-api-1.0.0.jar [debian/source/lintian-overrides:8]
  • W mismatched-override source-contains-prebuilt-java-object books/kestrel/java/aij/java/lib/junit-jupiter-api-5.4.2.jar [debian/source/lintian-overrides:9]
  • W mismatched-override source-contains-prebuilt-java-object books/kestrel/java/aij/java/lib/junit-jupiter-engine-5.4.2.jar [debian/source/lintian-overrides:10]
  • W mismatched-override source-contains-prebuilt-java-object books/kestrel/java/aij/java/lib/junit-jupiter-params-5.4.2.jar [debian/source/lintian-overrides:11]
  • W mismatched-override source-contains-prebuilt-java-object books/kestrel/java/aij/java/lib/junit-platform-commons-1.4.2.jar [debian/source/lintian-overrides:12]
  • W mismatched-override source-contains-prebuilt-java-object books/kestrel/java/aij/java/lib/junit-platform-engine-1.4.2.jar [debian/source/lintian-overrides:13]
  • W mismatched-override source-contains-prebuilt-java-object books/kestrel/java/aij/java/lib/opentest4j-1.1.1.jar [debian/source/lintian-overrides:14]
  • W superfluous-file-pattern books/quicklisp/bundle/software/bordeaux-threads-v0.8.6/* [debian/copyright:235]
  • W superfluous-file-pattern books/quicklisp/bundle/software/cl-fad-20180430-git/* [debian/copyright:249]
  • W superfluous-file-pattern books/quicklisp/bundle/software/cl+ssl-20181018-git/* [debian/copyright:258]
  • W superfluous-file-pattern books/quicklisp/bundle/software/osicat-20180228-git/* [debian/copyright:231]
  • W superfluous-file-pattern books/quicklisp/bundle/software/shellpool-20150505-git/* [debian/copyright:245]
  • W superfluous-file-pattern books/quicklisp/bundle/software/split-sequence-v1.5.0/* [debian/copyright:254]
  • W superfluous-file-pattern books/quicklisp/bundle/software/usocket-0.7.1/* [debian/copyright:239]
• acl2_8.4dfsg-2_amd64.deb (main)
  • W binary-compiled-with-profiling-enabled [usr/lib/acl2-8.4dfsg/saved_acl2]
  • W hardening-no-pie [usr/lib/acl2-8.4dfsg/saved_acl2]
  • W mismatched-override binary-compiled-with-profiling-enabled usr/lib/acl2-8.4dfsg/saved_acl2 [usr/share/lintian/overrides/acl2:2]
  • W mismatched-override executable-in-usr-lib usr/lib/acl2-8.4dfsg/saved_acl2 [usr/share/lintian/overrides/acl2:15]
  • W mismatched-override hardening-no-bindnow usr/lib/acl2-8.4dfsg/saved_acl2 [usr/share/lintian/overrides/acl2:7]
  • W mismatched-override hardening-no-pie usr/lib/acl2-8.4dfsg/saved_acl2 [usr/share/lintian/overrides/acl2:4]
  • W mismatched-override spelling-error-in-binary usr/lib/acl2-8.4dfsg/saved_acl2 Buss Bus [usr/share/lintian/overrides/acl2:9]
  • W mismatched-override spelling-error-in-binary usr/lib/acl2-8.4dfsg/saved_acl2 increas increase [usr/share/lintian/overrides/acl2:10]
  • W mismatched-override spelling-error-in-binary usr/lib/acl2-8.4dfsg/saved_acl2 ment meant [usr/share/lintian/overrides/acl2:11]
  • W mismatched-override spelling-error-in-binary usr/lib/acl2-8.4dfsg/saved_acl2 onThe on the [usr/share/lintian/overrides/acl2:12]
  • W mismatched-override spelling-error-in-binary usr/lib/acl2-8.4dfsg/saved_acl2 retur return [usr/share/lintian/overrides/acl2:13]
• acl2-books_8.4dfsg-2_amd64.deb (main)
  • W mismatched-override repeated-path-segment books usr/lib/acl2-8.4dfsg/books/projects/paco/books/ [usr/share/lintian/overrides/acl2-books:11]
  • W mismatched-override repeated-path-segment books usr/lib/acl2-8.4dfsg/books/workshops/2006/pike-shields-matthews/core_verifier/books/ [usr/share/lintian/overrides/acl2-books:12]
  • W mismatched-override repeated-path-segment books usr/lib/acl2-8.4dfsg/books/workshops/2013/joosten-van-gastel-schmaltz/books/ [usr/share/lintian/overrides/acl2-books:13]
  • W mismatched-override repeated-path-segment books usr/lib/acl2-8.4dfsg/books/workshops/2013/van-gastel-schmaltz/books/ [usr/share/lintian/overrides/acl2-books:14]
  • W mismatched-override repeated-path-segment books usr/lib/acl2-8.4dfsg/books/workshops/2013/verbeek-schmaltz/books/ [usr/share/lintian/overrides/acl2-books:15]
  • W mismatched-override repeated-path-segment books usr/share/acl2-8.4dfsg/books/projects/paco/books/ [usr/share/lintian/overrides/acl2-books:16]
  • W mismatched-override repeated-path-segment books usr/share/acl2-8.4dfsg/books/workshops/2006/pike-shields-matthews/core_verifier/books/ [usr/share/lintian/overrides/acl2-books:17]
  • W mismatched-override repeated-path-segment books usr/share/acl2-8.4dfsg/books/workshops/2013/joosten-van-gastel-schmaltz/books/ [usr/share/lintian/overrides/acl2-books:18]
  • W mismatched-override repeated-path-segment books usr/share/acl2-8.4dfsg/books/workshops/2013/van-gastel-schmaltz/books/ [usr/share/lintian/overrides/acl2-books:19]
  • W mismatched-override repeated-path-segment books usr/share/acl2-8.4dfsg/books/workshops/2013/verbeek-schmaltz/books/ [usr/share/lintian/overrides/acl2-books:20]
  • W mismatched-override repeated-path-segment lib usr/lib/acl2-8.4dfsg/books/arithmetic-5/lib/ [usr/share/lintian/overrides/acl2-books:21]
  • W mismatched-override repeated-path-segment lib usr/lib/acl2-8.4dfsg/books/projects/rp-rewriter/lib/ [usr/share/lintian/overrides/acl2-books:22]
  • W mismatched-override repeated-path-segment lib usr/lib/acl2-8.4dfsg/books/rtl/rel11/lib/ [usr/share/lintian/overrides/acl2-books:23]
  • W mismatched-override repeated-path-segment lib usr/lib/acl2-8.4dfsg/books/rtl/rel11/rel9-rtl-pkg/lib/ [usr/share/lintian/overrides/acl2-books:24]
  • W mismatched-override repeated-path-segment lib usr/lib/acl2-8.4dfsg/books/rtl/rel4/lib/ [usr/share/lintian/overrides/acl2-books:25]
  • W mismatched-override repeated-path-segment lib usr/lib/acl2-8.4dfsg/books/rtl/rel9/lib/ [usr/share/lintian/overrides/acl2-books:26]
  • W mismatched-override repeated-path-segment pipeline usr/lib/acl2-8.4dfsg/books/workshops/2000/manolios/pipeline/pipeline/ [usr/share/lintian/overrides/acl2-books:27]
  • W mismatched-override repeated-path-segment pipeline usr/share/acl2-8.4dfsg/books/workshops/2000/manolios/pipeline/pipeline/ [usr/share/lintian/overrides/acl2-books:28]
  • W mismatched-override repeated-path-segment support usr/lib/acl2-8.4dfsg/books/rtl/rel11/rel9-rtl-pkg/support/support/ [usr/share/lintian/overrides/acl2-books:29]
  • W mismatched-override repeated-path-segment support usr/lib/acl2-8.4dfsg/books/rtl/rel9/support/support/ [usr/share/lintian/overrides/acl2-books:30]
  • W mismatched-override repeated-path-segment support usr/share/acl2-8.4dfsg/books/rtl/rel11/rel9-rtl-pkg/support/support/ [usr/share/lintian/overrides/acl2-books:31]
  • W mismatched-override repeated-path-segment support usr/share/acl2-8.4dfsg/books/rtl/rel9/support/support/ [usr/share/lintian/overrides/acl2-books:32]
  • W mismatched-override spelling-error-in-binary usr/lib/acl2-8.4dfsg/books/centaur/bitops/sparseint.o pRES press [usr/share/lintian/overrides/acl2-books:7]
  • W mismatched-override spelling-error-in-binary usr/lib/acl2-8.4dfsg/books/centaur/fty/tests/deftranssum.o EmTY Empty [usr/share/lintian/overrides/acl2-books:2]
  • W mismatched-override spelling-error-in-binary usr/lib/acl2-8.4dfsg/books/coi/syntax/syntax-extensions.o auxilary auxiliary [usr/share/lintian/overrides/acl2-books:3]
  • W mismatched-override spelling-error-in-binary usr/lib/acl2-8.4dfsg/books/kestrel/fty/defbyte.o vARITY variety [usr/share/lintian/overrides/acl2-books:4]
  • W mismatched-override spelling-error-in-binary usr/lib/acl2-8.4dfsg/books/system/doc/acl2-doc-wrap.o Buss Bus [usr/share/lintian/overrides/acl2-books:5]
  • W mismatched-override spelling-error-in-binary usr/lib/acl2-8.4dfsg/books/workshops/2004/smith-et-al/support/bags/bind-free-rules.o pRES press [usr/share/lintian/overrides/acl2-books:6]
  • W mismatched-override spelling-error-in-binary usr/lib/acl2-8.4dfsg/books/workshops/2004/smith-et-al/support/syntax/syntax-extensions.o auxilary auxiliary [usr/share/lintian/overrides/acl2-books:8]
  • W mismatched-override spelling-error-in-binary usr/lib/acl2-8.4dfsg/books/workshops/2009/fraij-roach/support/functions.o ACOUNT ACCOUNT [usr/share/lintian/overrides/acl2-books:9]
• acl2-books-certs_8.4dfsg-2_all.deb (main)
  • W mismatched-override extra-license-file usr/share/acl2-8.3dfsg/books/centaur/aignet/copying.cert [usr/share/lintian/overrides/acl2-books-certs:2]
  • W mismatched-override repeated-path-segment books usr/share/acl2-8.4dfsg/books/projects/paco/books/ [usr/share/lintian/overrides/acl2-books-certs:4]
  • W mismatched-override repeated-path-segment books usr/share/acl2-8.4dfsg/books/workshops/2006/pike-shields-matthews/core_verifier/books/ [usr/share/lintian/overrides/acl2-books-certs:5]
  • W mismatched-override repeated-path-segment books usr/share/acl2-8.4dfsg/books/workshops/2013/joosten-van-gastel-schmaltz/books/ [usr/share/lintian/overrides/acl2-books-certs:6]
  • W mismatched-override repeated-path-segment books usr/share/acl2-8.4dfsg/books/workshops/2013/van-gastel-schmaltz/books/ [usr/share/lintian/overrides/acl2-books-certs:7]
  • W mismatched-override repeated-path-segment books usr/share/acl2-8.4dfsg/books/workshops/2013/verbeek-schmaltz/books/ [usr/share/lintian/overrides/acl2-books-certs:8]
  • W mismatched-override repeated-path-segment pipeline usr/share/acl2-8.4dfsg/books/workshops/2000/manolios/pipeline/pipeline/ [usr/share/lintian/overrides/acl2-books-certs:9]
  • W mismatched-override repeated-path-segment support usr/share/acl2-8.4dfsg/books/rtl/rel11/rel9-rtl-pkg/support/support/ [usr/share/lintian/overrides/acl2-books-certs:10]
  • W mismatched-override repeated-path-segment support usr/share/acl2-8.4dfsg/books/rtl/rel9/support/support/ [usr/share/lintian/overrides/acl2-books-certs:11]
• acl2-books-source_8.4dfsg-2_all.deb (main)
  • W mismatched-override repeated-path-segment books usr/share/acl2-8.4dfsg/books/clause-processors/SULFA/books/ [usr/share/lintian/overrides/acl2-books-source:2]
  • W mismatched-override repeated-path-segment books usr/share/acl2-8.4dfsg/books/projects/paco/books/ [usr/share/lintian/overrides/acl2-books-source:3]
  • W mismatched-override repeated-path-segment books usr/share/acl2-8.4dfsg/books/workshops/2000/cowles/books/ [usr/share/lintian/overrides/acl2-books-source:4]
  • W mismatched-override repeated-path-segment books usr/share/acl2-8.4dfsg/books/workshops/2006/pike-shields-matthews/core_verifier/books/ [usr/share/lintian/overrides/acl2-books-source:5]
  • W mismatched-override repeated-path-segment books usr/share/acl2-8.4dfsg/books/workshops/2013/joosten-van-gastel-schmaltz/books/ [usr/share/lintian/overrides/acl2-books-source:6]
  • W mismatched-override repeated-path-segment books usr/share/acl2-8.4dfsg/books/workshops/2013/van-gastel-schmaltz/books/ [usr/share/lintian/overrides/acl2-books-source:7]
  • W mismatched-override repeated-path-segment books usr/share/acl2-8.4dfsg/books/workshops/2013/verbeek-schmaltz/books/ [usr/share/lintian/overrides/acl2-books-source:8]
  • W mismatched-override repeated-path-segment clause-processors usr/share/acl2-8.4dfsg/books/clause-processors/SULFA/books/clause-processors/ [usr/share/lintian/overrides/acl2-books-source:9]
  • W mismatched-override repeated-path-segment pipeline usr/share/acl2-8.4dfsg/books/workshops/2000/manolios/pipeline/pipeline/ [usr/share/lintian/overrides/acl2-books-source:10]
  • W mismatched-override repeated-path-segment support usr/share/acl2-8.4dfsg/books/rtl/rel11/rel9-rtl-pkg/support/support/ [usr/share/lintian/overrides/acl2-books-source:11]
  • W mismatched-override repeated-path-segment support usr/share/acl2-8.4dfsg/books/rtl/rel9/support/support/ [usr/share/lintian/overrides/acl2-books-source:12]
  • W mismatched-override repeated-path-segment y86 usr/share/acl2-8.4dfsg/books/models/y86/y86-basic/y86/ [usr/share/lintian/overrides/acl2-books-source:13]
  • W mismatched-override repeated-path-segment y86 usr/share/acl2-8.4dfsg/books/models/y86/y86-two-level-abs/y86/ [usr/share/lintian/overrides/acl2-books-source:14]
  • W mismatched-override repeated-path-segment y86 usr/share/acl2-8.4dfsg/books/models/y86/y86-two-level/y86/ [usr/share/lintian/overrides/acl2-books-source:15]
• acl2-doc_8.4dfsg-2_all.deb (main)
  • W mismatched-override repeated-path-segment books usr/share/doc/acl2-doc/books/workshops/2000/cowles/books/ [usr/share/lintian/overrides/acl2-doc:4]
  • W mismatched-override repeated-path-segment books usr/share/doc/acl2-doc/books/workshops/2013/verbeek-schmaltz/books/ [usr/share/lintian/overrides/acl2-doc:5]
  • W mismatched-override repeated-path-segment doc usr/share/doc/acl2-doc/books/system/doc/ [usr/share/lintian/overrides/acl2-doc:6]
  • W mismatched-override repeated-path-segment doc usr/share/doc/acl2-doc/doc/ [usr/share/lintian/overrides/acl2-doc:7]
  • W mismatched-override repeated-path-segment pipeline usr/share/doc/acl2-doc/books/workshops/2000/manolios/pipeline/pipeline/ [usr/share/lintian/overrides/acl2-doc:8]
  • W mismatched-override repeated-path-segment support usr/share/doc/acl2-doc/books/rtl/rel11/rel9-rtl-pkg/support/support/ [usr/share/lintian/overrides/acl2-doc:9]
  • W mismatched-override repeated-path-segment support usr/share/doc/acl2-doc/books/rtl/rel9/support/support/ [usr/share/lintian/overrides/acl2-doc:10]
  • W mismatched-override repeated-path-segment y86 usr/share/doc/acl2-doc/books/models/y86/y86-basic/y86/ [usr/share/lintian/overrides/acl2-doc:11]
• acl2-infix_8.4dfsg-2_amd64.deb (main)
  • W csh-considered-harmful /bin/csh [usr/share/doc/acl2-infix/examples/doinfix:1]
• elpa-acl2_8.4dfsg-2_all.deb (main)
  • W mismatched-override executable-in-usr-lib usr/lib/emacsen-common/packages/install/elpa-acl2 [usr/share/lintian/overrides/elpa-acl2:2]
  • W mismatched-override executable-in-usr-lib usr/lib/emacsen-common/packages/remove/elpa-acl2 [usr/share/lintian/overrides/elpa-acl2:3]
• axiom 20170501-6
• axiom_20170501-6.dsc (main)
  • W debian-rules-should-not-set-CFLAGS-from-noopt [debian/rules]
  • W no-versioned-debhelper-prerequisite 9
  • W package-uses-deprecated-debhelper-compat-version 9
  • W patch-file-present-but-not-mentioned-in-series [debian/patches/axiom-extens]
  • W patch-file-present-but-not-mentioned-in-series [debian/patches/ftbfs-ppc64-prevent-overflow-sa_data]
  • W patch-file-present-but-not-mentioned-in-series [debian/patches/GCLVERSION-cygwin-1]
  • W patch-file-present-but-not-mentioned-in-series [debian/patches/GCLVERSION-gcl-cygwin]
  • W patch-file-present-but-not-mentioned-in-series [debian/patches/help_files_no_wildcards]
  • W patch-file-present-but-not-mentioned-in-series [debian/patches/help_files_no_wildcards1]
• axiom_20170501-6_amd64.deb (main)
  • W binary-compiled-with-profiling-enabled [usr/lib/axiom-20170501/bin/AXIOMsys]
  • W hardening-no-pie [usr/lib/axiom-20170501/bin/AXIOMsys]
• axiom-doc_20170501-6_all.deb (main)
  • W privacy-breach-generic [<img src="http://www-theory.dcs.st-andrews.ac.uk/~mnd/icons/warning.gif"\n align=center\n alt="warning: ">] (http://www-theory.dcs.st-andrews.ac.uk/~mnd/icons/warning.gif) [usr/share/doc/axiom-doc/axiom_tutorialu/index.html]
• axiom-hypertex-data_20170501-6_all.deb (main)
  • W national-encoding [usr/share/doc/axiom-doc/bookvol7.1.pamphlet]
• axiom-test_20170501-6_all.deb (main)
  • W national-encoding [usr/share/axiom-20170501/input/setcmd.input]
• cxref 1.6e-3.1
• cxref_1.6e-3.1.dsc (main)
  • W national-encoding [debian/po/cs.po]
  • W national-encoding [debian/po/fr.po]
  • W national-encoding [debian/po/sv.po]
  • W no-nmu-in-changelog [debian/changelog:1]
  • W no-versioned-debhelper-prerequisite 9
  • W obsolete-debian-watch-file-standard 2 [debian/watch]
  • W package-uses-deprecated-debhelper-compat-version 9
• cxref-emacs_1.6e-3.1_all.deb (main)
  • W emacsen-common-without-dh-elpa
• fricas 1.3.7-3
• fricas_1.3.7-3.dsc (main)
  • W mismatched-override maintainer-manual-page debian/fricas-test.1 [debian/source/lintian-overrides:4]
• elpa-fricas_1.3.7-3_all.deb (main)
  • W mismatched-override executable-in-usr-lib usr/lib/emacsen-common/packages/install/elpa-fricas [usr/share/lintian/overrides/elpa-fricas:5]
  • W mismatched-override executable-in-usr-lib usr/lib/emacsen-common/packages/remove/elpa-fricas [usr/share/lintian/overrides/elpa-fricas:6]
• fricas_1.3.7-3_amd64.deb (main)
  • E mawk-script-but-no-mawk-dep /usr/bin/mawk (does not satisfy mawk:any) [usr/lib/fricas/target/x86_64-linux-gnu/lib/presea]
  • W binary-compiled-with-profiling-enabled [usr/lib/fricas/target/x86_64-linux-gnu/bin/FRICASsys]
  • W hardening-no-pie [usr/lib/fricas/target/x86_64-linux-gnu/bin/FRICASsys]
  • W mismatched-override binary-compiled-with-profiling-enabled usr/lib/fricas/target/x86_64-linux-gnu/bin/FRICASsys [usr/share/lintian/overrides/fricas:2]
  • W mismatched-override executable-in-usr-lib usr/lib/fricas/target/x86_64-linux-gnu/bin/asq [usr/share/lintian/overrides/fricas:10]
  • W mismatched-override executable-in-usr-lib usr/lib/fricas/target/x86_64-linux-gnu/bin/clef [usr/share/lintian/overrides/fricas:11]
  • W mismatched-override executable-in-usr-lib usr/lib/fricas/target/x86_64-linux-gnu/bin/fricas [usr/share/lintian/overrides/fricas:12]
  • W mismatched-override executable-in-usr-lib usr/lib/fricas/target/x86_64-linux-gnu/bin/FRICASsys [usr/share/lintian/overrides/fricas:9]
  • W mismatched-override executable-in-usr-lib usr/lib/fricas/target/x86_64-linux-gnu/bin/sman [usr/share/lintian/overrides/fricas:13]
  • W mismatched-override executable-in-usr-lib usr/lib/fricas/target/x86_64-linux-gnu/lib/ex2ht [usr/share/lintian/overrides/fricas:15]
  • W mismatched-override executable-in-usr-lib usr/lib/fricas/target/x86_64-linux-gnu/lib/presea [usr/share/lintian/overrides/fricas:16]
  • W mismatched-override executable-in-usr-lib usr/lib/fricas/target/x86_64-linux-gnu/lib/session [usr/share/lintian/overrides/fricas:17]
  • W mismatched-override executable-in-usr-lib usr/lib/fricas/target/x86_64-linux-gnu/lib/spadbuf [usr/share/lintian/overrides/fricas:18]
  • W mismatched-override executable-in-usr-lib usr/lib/fricas/target/x86_64-linux-gnu/lib/spadclient [usr/share/lintian/overrides/fricas:19]
  • W mismatched-override executable-in-usr-lib usr/lib/fricas/target/x86_64-linux-gnu/lib/SPADEDIT [usr/share/lintian/overrides/fricas:14]
  • W mismatched-override hardening-no-bindnow usr/lib/fricas/target/x86_64-linux-gnu/bin/FRICASsys [usr/share/lintian/overrides/fricas:7]
  • W mismatched-override hardening-no-pie usr/lib/fricas/target/x86_64-linux-gnu/bin/FRICASsys [usr/share/lintian/overrides/fricas:4]
  • W mismatched-override repeated-path-segment lib usr/lib/fricas/target/x86_64-linux-gnu/lib/ [usr/share/lintian/overrides/fricas:21]
  • W mismatched-override spelling-error-in-binary usr/lib/fricas/target/x86_64-linux-gnu/bin/FRICASsys isnt isn't [usr/share/lintian/overrides/fricas:24]
  • W mismatched-override spelling-error-in-binary usr/lib/fricas/target/x86_64-linux-gnu/bin/FRICASsys withon within [usr/share/lintian/overrides/fricas:23]
• fricas-databases_1.3.7-3_all.deb (main)
  • W mismatched-override repeated-path-segment lib usr/lib/fricas/target/x86_64-linux-gnu/lib/ [usr/share/lintian/overrides/fricas-databases:13]
• fricas-doc_1.3.7-3_all.deb (main)
  • W mismatched-override repeated-path-segment share usr/share/fricas/share/ [usr/share/lintian/overrides/fricas-doc:7]
• fricas-graphics_1.3.7-3_amd64.deb (main)
  • W mismatched-override executable-in-usr-lib usr/lib/fricas/target/x86_64-linux-gnu/bin/viewAlone [usr/share/lintian/overrides/fricas-graphics:2]
  • W mismatched-override executable-in-usr-lib usr/lib/fricas/target/x86_64-linux-gnu/lib/view2D [usr/share/lintian/overrides/fricas-graphics:3]
  • W mismatched-override executable-in-usr-lib usr/lib/fricas/target/x86_64-linux-gnu/lib/view3D [usr/share/lintian/overrides/fricas-graphics:4]
  • W mismatched-override executable-in-usr-lib usr/lib/fricas/target/x86_64-linux-gnu/lib/viewman [usr/share/lintian/overrides/fricas-graphics:5]
  • W mismatched-override repeated-path-segment lib usr/lib/fricas/target/x86_64-linux-gnu/lib/ [usr/share/lintian/overrides/fricas-graphics:7]
• fricas-graphics-data_1.3.7-3_all.deb (main)
  • W mismatched-override repeated-path-segment lib usr/lib/fricas/target/x86_64-linux-gnu/lib/ [usr/share/lintian/overrides/fricas-graphics-data:5]
  • W mismatched-override repeated-path-segment share usr/share/fricas/share/ [usr/share/lintian/overrides/fricas-graphics-data:6]
• fricas-hypertex_1.3.7-3_amd64.deb (main)
  • W mismatched-override executable-in-usr-lib usr/lib/fricas/target/x86_64-linux-gnu/bin/htadd [usr/share/lintian/overrides/fricas-hypertex:2]
  • W mismatched-override executable-in-usr-lib usr/lib/fricas/target/x86_64-linux-gnu/bin/hypertex [usr/share/lintian/overrides/fricas-hypertex:3]
  • W mismatched-override executable-in-usr-lib usr/lib/fricas/target/x86_64-linux-gnu/lib/hthits [usr/share/lintian/overrides/fricas-hypertex:4]
  • W mismatched-override executable-in-usr-lib usr/lib/fricas/target/x86_64-linux-gnu/lib/htsearch [usr/share/lintian/overrides/fricas-hypertex:5]
  • W mismatched-override repeated-path-segment lib usr/lib/fricas/target/x86_64-linux-gnu/lib/ [usr/share/lintian/overrides/fricas-hypertex:7]
• fricas-hypertex-data_1.3.7-3_all.deb (main)
  • W mismatched-override repeated-path-segment share usr/share/fricas/share/ [usr/share/lintian/overrides/fricas-hypertex-data:4]
• gcl 2.6.12-117
• gcl_2.6.12-117_amd64.deb (main)
  • W binary-compiled-with-profiling-enabled [usr/lib/gcl-2.6.12-prof/unixport/saved_ansi_gcl]
  • W binary-compiled-with-profiling-enabled [usr/lib/gcl-2.6.12-prof/unixport/saved_gcl]
  • W binary-compiled-with-profiling-enabled [usr/lib/gcl-2.6.12/unixport/saved_ansi_gcl]
  • W binary-compiled-with-profiling-enabled [usr/lib/gcl-2.6.12/unixport/saved_gcl]
  • W hardening-no-pie [usr/lib/gcl-2.6.12-prof/unixport/saved_ansi_gcl]
  • W hardening-no-pie [usr/lib/gcl-2.6.12-prof/unixport/saved_gcl]
  • W hardening-no-pie [usr/lib/gcl-2.6.12/unixport/saved_ansi_gcl]
  • W hardening-no-pie [usr/lib/gcl-2.6.12/unixport/saved_gcl]
  • W mismatched-override binary-compiled-with-profiling-enabled usr/lib/gcl-2.6.12-prof/unixport/saved_ansi_gcl [usr/share/lintian/overrides/gcl:1]
  • W mismatched-override binary-compiled-with-profiling-enabled usr/lib/gcl-2.6.12-prof/unixport/saved_gcl [usr/share/lintian/overrides/gcl:2]
  • W mismatched-override binary-compiled-with-profiling-enabled usr/lib/gcl-2.6.12/unixport/saved_ansi_gcl [usr/share/lintian/overrides/gcl:3]
  • W mismatched-override binary-compiled-with-profiling-enabled usr/lib/gcl-2.6.12/unixport/saved_gcl [usr/share/lintian/overrides/gcl:4]
  • W mismatched-override hardening-no-pie usr/lib/gcl-2.6.12-prof/unixport/saved_ansi_gcl [usr/share/lintian/overrides/gcl:5]
  • W mismatched-override hardening-no-pie usr/lib/gcl-2.6.12-prof/unixport/saved_gcl [usr/share/lintian/overrides/gcl:6]
  • W mismatched-override hardening-no-pie usr/lib/gcl-2.6.12/unixport/saved_ansi_gcl [usr/share/lintian/overrides/gcl:7]
  • W mismatched-override hardening-no-pie usr/lib/gcl-2.6.12/unixport/saved_gcl [usr/share/lintian/overrides/gcl:8]
• hol88 2.02.19940316-35.1
• hol88_2.02.19940316-35.1.dsc (main)
  • E unpack-message-for-orig hol88_2.02.19940316.orig.tar.gz . ar failed for hol88-2.02.19940316/contrib/benchmark/LOG13.a
  • W debian-rules-should-not-set-CFLAGS-from-noopt [debian/rules]
  • W no-nmu-in-changelog [debian/changelog:1]
  • W package-uses-deprecated-debhelper-compat-version 9
• hol88_2.02.19940316-35.1_amd64.deb (main)
  • W binary-compiled-with-profiling-enabled [usr/lib/hol88-2.02.19940316/basic-hol]
  • W binary-compiled-with-profiling-enabled [usr/lib/hol88-2.02.19940316/hol]
  • W binary-compiled-with-profiling-enabled [usr/lib/hol88-2.02.19940316/hol-lcf]
  • W hardening-no-pie [usr/lib/hol88-2.02.19940316/basic-hol]
  • W hardening-no-pie [usr/lib/hol88-2.02.19940316/hol]
  • W hardening-no-pie [usr/lib/hol88-2.02.19940316/hol-lcf]
• hol88-help_2.02.19940316-35.1_all.deb (main)
  • W file-name-contains-wildcard-character [usr/share/hol88-2.02.19940316/help/ENTRIES/*.doc]
  • W mismatched-override file-name-contains-wildcard-character usr/share/hol88-2.02.19940316/help/ENTRIES/*.doc [usr/share/lintian/overrides/hol88-help:1]
• lam 7.1.4-7
• lam_7.1.4-7.dsc (main)
  • W obsolete-debian-watch-file-standard 2 [debian/watch]
  • W useless-autoreconf-build-depends (does not need to satisfy autotools-dev:any)
• lam-mpidoc_7.1.4-7_all.deb (main)
  • W priority-extra-is-replaced-by-priority-optional
• lam-runtime_7.1.4-7_amd64.deb (main)
  • W incorrect-path-for-interpreter /usr/bin/env perl != /usr/bin/perl [usr/bin/mpiexec.lam]
  • W priority-extra-is-replaced-by-priority-optional
• lam4-dev_7.1.4-7_amd64.deb (main)
  • W priority-extra-is-replaced-by-priority-optional
• liblam4_7.1.4-7_amd64.deb (main)
  • W priority-extra-is-replaced-by-priority-optional
• maxima 5.45.1-8
• maxima_5.45.1-8.dsc (main)
  • W obsolete-debian-watch-file-standard 2 [debian/watch]
• maxima_5.45.1-8_amd64.deb (main)
  • W binary-compiled-with-profiling-enabled [usr/lib/maxima/5.45.1/binary-gcl/maxima]
  • W hardening-no-pie [usr/lib/maxima/5.45.1/binary-gcl/maxima]
  • W mismatched-override binary-compiled-with-profiling-enabled usr/lib/maxima/5.44.0/binary-gcl/maxima [usr/share/lintian/overrides/maxima:1]
  • W mismatched-override hardening-no-pie usr/lib/maxima/5.44.0/binary-gcl/maxima [usr/share/lintian/overrides/maxima:2]
• netpipe 3.7.2-8
• netpipe_3.7.2-8.dsc (main)
  • W package-uses-deprecated-debhelper-compat-version 9
• pcal 4.11.0-3
• pcal_4.11.0-3.dsc (main)
  • W obsolete-debian-watch-file-standard 2 [debian/watch]
  • W package-uses-deprecated-debhelper-compat-version 9
• pcal_4.11.0-3+b1_amd64.deb (main)
  • W national-encoding [usr/share/doc/pcal/examples/calendar_fr.txt]
• xmpi 2.2.3b8-14
• xmpi_2.2.3b8-14.dsc (main)
  • W obsolete-debian-watch-file-standard 2 [debian/watch]
  • W package-uses-deprecated-debhelper-compat-version 9