Hints

Camm Maguire

We have the following e-mail addresses on file:

• camm@debian.org

Found 436 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)
  • source-is-missing [books/centaur/vl2014/server/public/lib/typeahead-bundle/typeahead.bundle.js]
  • source-is-missing [books/centaur/vl2014/server/public/lib/typeahead-bundle/typeahead.jquery.js]
  • source-is-missing [books/centaur/vl/server/public/lib/typeahead-bundle/typeahead.bundle.js]
  • source-is-missing [books/centaur/vl/server/public/lib/typeahead-bundle/typeahead.jquery.js]
  • source-is-missing [books/quicklisp/bundle/software/cl-ppcre-20190521-git/docs/index.html]
  • source-is-missing [books/quicklisp/bundle/software/flexi-streams-20200715-git/docs/index.html]
  • source-is-missing [books/quicklisp/bundle/software/html-template-20171227-git/docs/index.html]
  • source-is-missing [books/quicklisp/bundle/software/hunchentoot-v1.3.0/docs/index.html]
  • source-is-missing [books/quicklisp/bundle/software/hunchentoot-v1.3.0/www/hunchentoot-doc.html]
  • source-is-missing [books/workshops/2000/shumsky/slides2_files/slide0010.htm]
  • source-is-missing [books/xdoc/fancy/lib/typeahead-bundle/typeahead.bundle.js]
  • source-is-missing [books/xdoc/fancy/lib/typeahead-bundle/typeahead.jquery.js]
  • source-is-missing [doc/home-page.html]
  • mismatched-override maintainer-manual-page debian/acl2.1 [debian/source/lintian-overrides:6]
  • mismatched-override source-contains-prebuilt-java-object books/kestrel/java/aij/java/lib/apiguardian-api-1.0.0.jar [debian/source/lintian-overrides:8]
  • 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]
  • 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]
  • 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]
  • 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]
  • 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]
  • mismatched-override source-contains-prebuilt-java-object books/kestrel/java/aij/java/lib/opentest4j-1.1.1.jar [debian/source/lintian-overrides:14]
  • mismatched-override source-contains-prebuilt-javascript-object books/centaur/vl2014/server/public/lib/jquery-2.1.0.min.js [debian/source/lintian-overrides:20]
  • mismatched-override source-contains-prebuilt-javascript-object books/centaur/vl2014/server/public/lib/jquery.powertip.min.js [debian/source/lintian-overrides:21]
  • mismatched-override source-contains-prebuilt-javascript-object books/centaur/vl2014/server/public/lib/typeahead-bundle/bloodhound.min.js [debian/source/lintian-overrides:22]
  • mismatched-override source-contains-prebuilt-javascript-object books/centaur/vl2014/server/public/lib/typeahead-bundle/typeahead.bundle.min.js [debian/source/lintian-overrides:23]
  • mismatched-override source-contains-prebuilt-javascript-object books/centaur/vl2014/server/public/lib/typeahead-bundle/typeahead.jquery.min.js [debian/source/lintian-overrides:24]
  • mismatched-override source-contains-prebuilt-javascript-object books/centaur/vl/server/public/lib/jquery-2.1.0.min.js [debian/source/lintian-overrides:15]
  • mismatched-override source-contains-prebuilt-javascript-object books/centaur/vl/server/public/lib/jquery.powertip.min.js [debian/source/lintian-overrides:16]
  • mismatched-override source-contains-prebuilt-javascript-object books/centaur/vl/server/public/lib/typeahead-bundle/bloodhound.min.js [debian/source/lintian-overrides:17]
  • mismatched-override source-contains-prebuilt-javascript-object books/centaur/vl/server/public/lib/typeahead-bundle/typeahead.bundle.min.js [debian/source/lintian-overrides:18]
  • mismatched-override source-contains-prebuilt-javascript-object books/centaur/vl/server/public/lib/typeahead-bundle/typeahead.jquery.min.js [debian/source/lintian-overrides:19]
  • mismatched-override source-contains-prebuilt-javascript-object books/projects/sidekick/public/lib/jquery-2.1.0.min.js [debian/source/lintian-overrides:25]
  • mismatched-override source-contains-prebuilt-javascript-object books/workshops/2000/shumsky/slides2_files/script.js line length is 639 characters (>512) [debian/source/lintian-overrides:26]
  • mismatched-override source-contains-prebuilt-javascript-object books/xdoc/fancy/lib/jquery-2.1.0.min.js [debian/source/lintian-overrides:27]
  • mismatched-override source-contains-prebuilt-javascript-object books/xdoc/fancy/lib/jquery.powertip.min.js [debian/source/lintian-overrides:28]
  • mismatched-override source-contains-prebuilt-javascript-object books/xdoc/fancy/lib/katex/katex.min.js [debian/source/lintian-overrides:29]
  • mismatched-override source-contains-prebuilt-javascript-object books/xdoc/fancy/lib/typeahead-bundle/bloodhound.min.js [debian/source/lintian-overrides:30]
  • mismatched-override source-contains-prebuilt-javascript-object books/xdoc/fancy/lib/typeahead-bundle/typeahead.bundle.min.js [debian/source/lintian-overrides:31]
  • mismatched-override source-contains-prebuilt-javascript-object books/xdoc/fancy/lib/typeahead-bundle/typeahead.jquery.min.js [debian/source/lintian-overrides:32]
  • mismatched-override source-contains-prebuilt-javascript-object books/xdoc/fancy/render.js line length is 9713 characters (>512) [debian/source/lintian-overrides:33]
  • mismatched-override very-long-line-length-in-source-file books/workshops/2000/shumsky/slides2_files/script.js line length is 640 characters (>512) [debian/source/lintian-overrides:34]
  • mismatched-override very-long-line-length-in-source-file books/xdoc/fancy/render.js line length is 9713 characters (>512) [debian/source/lintian-overrides:35]
  • superfluous-file-pattern books/quicklisp/bundle/software/bordeaux-threads-v0.8.6/* [debian/copyright:235]
  • superfluous-file-pattern books/quicklisp/bundle/software/cl-fad-20180430-git/* [debian/copyright:249]
  • superfluous-file-pattern books/quicklisp/bundle/software/cl+ssl-20181018-git/* [debian/copyright:258]
  • superfluous-file-pattern books/quicklisp/bundle/software/osicat-20180228-git/* [debian/copyright:231]
  • superfluous-file-pattern books/quicklisp/bundle/software/shellpool-20150505-git/* [debian/copyright:245]
  • superfluous-file-pattern books/quicklisp/bundle/software/split-sequence-v1.5.0/* [debian/copyright:254]
  • superfluous-file-pattern books/quicklisp/bundle/software/usocket-0.7.1/* [debian/copyright:239]
• acl2_8.4dfsg-2_amd64.deb (main)
  • binary-compiled-with-profiling-enabled [usr/lib/acl2-8.4dfsg/saved_acl2]
  • hardening-no-pie [usr/lib/acl2-8.4dfsg/saved_acl2]
  • mismatched-override binary-compiled-with-profiling-enabled usr/lib/acl2-8.4dfsg/saved_acl2 [usr/share/lintian/overrides/acl2:2]
  • mismatched-override executable-in-usr-lib usr/lib/acl2-8.4dfsg/saved_acl2 [usr/share/lintian/overrides/acl2:15]
  • mismatched-override hardening-no-bindnow usr/lib/acl2-8.4dfsg/saved_acl2 [usr/share/lintian/overrides/acl2:7]
  • mismatched-override hardening-no-pie usr/lib/acl2-8.4dfsg/saved_acl2 [usr/share/lintian/overrides/acl2:4]
  • mismatched-override spelling-error-in-binary usr/lib/acl2-8.4dfsg/saved_acl2 Buss Bus [usr/share/lintian/overrides/acl2:9]
  • mismatched-override spelling-error-in-binary usr/lib/acl2-8.4dfsg/saved_acl2 increas increase [usr/share/lintian/overrides/acl2:10]
  • mismatched-override spelling-error-in-binary usr/lib/acl2-8.4dfsg/saved_acl2 ment meant [usr/share/lintian/overrides/acl2:11]
  • mismatched-override spelling-error-in-binary usr/lib/acl2-8.4dfsg/saved_acl2 onThe on the [usr/share/lintian/overrides/acl2:12]
  • 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)
  • mismatched-override repeated-path-segment books usr/lib/acl2-8.4dfsg/books/projects/paco/books/ [usr/share/lintian/overrides/acl2-books:11]
  • 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]
  • 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]
  • 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]
  • mismatched-override repeated-path-segment books usr/lib/acl2-8.4dfsg/books/workshops/2013/verbeek-schmaltz/books/ [usr/share/lintian/overrides/acl2-books:15]
  • mismatched-override repeated-path-segment books usr/share/acl2-8.4dfsg/books/projects/paco/books/ [usr/share/lintian/overrides/acl2-books:16]
  • 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]
  • 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]
  • 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]
  • mismatched-override repeated-path-segment books usr/share/acl2-8.4dfsg/books/workshops/2013/verbeek-schmaltz/books/ [usr/share/lintian/overrides/acl2-books:20]
  • mismatched-override repeated-path-segment lib usr/lib/acl2-8.4dfsg/books/arithmetic-5/lib/ [usr/share/lintian/overrides/acl2-books:21]
  • mismatched-override repeated-path-segment lib usr/lib/acl2-8.4dfsg/books/projects/rp-rewriter/lib/ [usr/share/lintian/overrides/acl2-books:22]
  • mismatched-override repeated-path-segment lib usr/lib/acl2-8.4dfsg/books/rtl/rel11/lib/ [usr/share/lintian/overrides/acl2-books:23]
  • 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]
  • mismatched-override repeated-path-segment lib usr/lib/acl2-8.4dfsg/books/rtl/rel4/lib/ [usr/share/lintian/overrides/acl2-books:25]
  • mismatched-override repeated-path-segment lib usr/lib/acl2-8.4dfsg/books/rtl/rel9/lib/ [usr/share/lintian/overrides/acl2-books:26]
  • mismatched-override repeated-path-segment pipeline usr/lib/acl2-8.4dfsg/books/workshops/2000/manolios/pipeline/pipeline/ [usr/share/lintian/overrides/acl2-books:27]
  • mismatched-override repeated-path-segment pipeline usr/share/acl2-8.4dfsg/books/workshops/2000/manolios/pipeline/pipeline/ [usr/share/lintian/overrides/acl2-books:28]
  • 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]
  • mismatched-override repeated-path-segment support usr/lib/acl2-8.4dfsg/books/rtl/rel9/support/support/ [usr/share/lintian/overrides/acl2-books:30]
  • 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]
  • mismatched-override repeated-path-segment support usr/share/acl2-8.4dfsg/books/rtl/rel9/support/support/ [usr/share/lintian/overrides/acl2-books:32]
  • 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]
  • 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]
  • 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]
  • 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]
  • 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]
  • 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]
  • 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]
  • 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)
  • mismatched-override extra-license-file usr/share/acl2-8.3dfsg/books/centaur/aignet/copying.cert [usr/share/lintian/overrides/acl2-books-certs:2]
  • mismatched-override repeated-path-segment books usr/share/acl2-8.4dfsg/books/projects/paco/books/ [usr/share/lintian/overrides/acl2-books-certs:4]
  • 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]
  • 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]
  • 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]
  • 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]
  • 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]
  • 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]
  • 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)
  • mismatched-override repeated-path-segment books usr/share/acl2-8.4dfsg/books/clause-processors/SULFA/books/ [usr/share/lintian/overrides/acl2-books-source:2]
  • mismatched-override repeated-path-segment books usr/share/acl2-8.4dfsg/books/projects/paco/books/ [usr/share/lintian/overrides/acl2-books-source:3]
  • mismatched-override repeated-path-segment books usr/share/acl2-8.4dfsg/books/workshops/2000/cowles/books/ [usr/share/lintian/overrides/acl2-books-source:4]
  • 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]
  • 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]
  • 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]
  • 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]
  • 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]
  • 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]
  • 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]
  • mismatched-override repeated-path-segment support usr/share/acl2-8.4dfsg/books/rtl/rel9/support/support/ [usr/share/lintian/overrides/acl2-books-source:12]
  • 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]
  • 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]
  • 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)
  • mismatched-override repeated-path-segment books usr/share/doc/acl2-doc/books/workshops/2000/cowles/books/ [usr/share/lintian/overrides/acl2-doc:4]
  • mismatched-override repeated-path-segment books usr/share/doc/acl2-doc/books/workshops/2013/verbeek-schmaltz/books/ [usr/share/lintian/overrides/acl2-doc:5]
  • mismatched-override repeated-path-segment doc usr/share/doc/acl2-doc/books/system/doc/ [usr/share/lintian/overrides/acl2-doc:6]
  • mismatched-override repeated-path-segment doc usr/share/doc/acl2-doc/doc/ [usr/share/lintian/overrides/acl2-doc:7]
  • mismatched-override repeated-path-segment pipeline usr/share/doc/acl2-doc/books/workshops/2000/manolios/pipeline/pipeline/ [usr/share/lintian/overrides/acl2-doc:8]
  • 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]
  • mismatched-override repeated-path-segment support usr/share/doc/acl2-doc/books/rtl/rel9/support/support/ [usr/share/lintian/overrides/acl2-doc:10]
  • 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)
  • csh-considered-harmful /bin/csh [usr/share/doc/acl2-infix/examples/doinfix:1]
• elpa-acl2_8.4dfsg-2_all.deb (main)
  • mismatched-override executable-in-usr-lib usr/lib/emacsen-common/packages/install/elpa-acl2 [usr/share/lintian/overrides/elpa-acl2:2]
  • 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)
  • source-is-missing [src/axiom-website/axiomgraph/js/arbor.js]
  • source-is-missing [src/axiom-website/hyperdoc/axbook/section-0.1.xhtml]
  • source-is-missing [src/axiom-website/hyperdoc/axbook/section-0.6.xhtml]
  • source-is-missing [src/axiom-website/hyperdoc/axbook/section-0.7.xhtml]
  • source-is-missing [src/axiom-website/hyperdoc/axbook/section-1.10.xhtml]
  • source-is-missing [src/axiom-website/hyperdoc/axbook/section-1.11.xhtml]
  • source-is-missing [src/axiom-website/hyperdoc/axbook/section-1.12.xhtml]
  • source-is-missing [src/axiom-website/hyperdoc/axbook/section-1.13.xhtml]
  • source-is-missing [src/axiom-website/hyperdoc/axbook/section-1.14.xhtml]
  • source-is-missing [src/axiom-website/hyperdoc/axbook/section-1.15.xhtml]
  • source-is-missing [src/axiom-website/hyperdoc/axbook/section-13.12.xhtml]
  • source-is-missing [src/axiom-website/hyperdoc/axbook/section-1.4.xhtml]
  • source-is-missing [src/axiom-website/hyperdoc/axbook/section-1.5.xhtml]
  • source-is-missing [src/axiom-website/hyperdoc/axbook/section-1.6.xhtml]
  • source-is-missing [src/axiom-website/hyperdoc/axbook/section-1.7.xhtml]
  • source-is-missing [src/axiom-website/hyperdoc/axbook/section-1.8.xhtml]
  • source-is-missing [src/axiom-website/hyperdoc/axbook/section-21.6.xhtml]
  • source-is-missing [src/axiom-website/hyperdoc/axbook/section-2.7.xhtml]
  • source-is-missing [src/axiom-website/hyperdoc/axbook/section-4.5.xhtml]
  • source-is-missing [src/axiom-website/hyperdoc/axbook/section-4.7.xhtml]
  • source-is-missing [src/axiom-website/hyperdoc/axbook/section-5.4.xhtml]
  • source-is-missing [src/axiom-website/hyperdoc/axbook/section-5.5.xhtml]
  • source-is-missing [src/axiom-website/hyperdoc/axbook/section-5.6.xhtml]
  • source-is-missing [src/axiom-website/hyperdoc/axbook/section-6.14.xhtml]
  • source-is-missing [src/axiom-website/hyperdoc/axbook/section-6.17.xhtml]
  • source-is-missing [src/axiom-website/hyperdoc/axbook/section-6.20.xhtml]
  • source-is-missing [src/axiom-website/hyperdoc/axbook/section-6.21.xhtml]
  • source-is-missing [src/axiom-website/hyperdoc/axbook/section-7.1.xhtml]
  • source-is-missing [src/axiom-website/hyperdoc/axbook/section-8.10.xhtml]
  • source-is-missing [src/axiom-website/hyperdoc/axbook/section-8.11.xhtml]
  • source-is-missing [src/axiom-website/hyperdoc/axbook/section-8.12.xhtml]
  • source-is-missing [src/axiom-website/hyperdoc/axbook/section-8.13.xhtml]
  • source-is-missing [src/axiom-website/hyperdoc/axbook/section-8.14.xhtml]
  • source-is-missing [src/axiom-website/hyperdoc/axbook/section-8.1.xhtml]
  • source-is-missing [src/axiom-website/hyperdoc/axbook/section-8.2.xhtml]
  • source-is-missing [src/axiom-website/hyperdoc/axbook/section-8.3.xhtml]
  • source-is-missing [src/axiom-website/hyperdoc/axbook/section-8.4.xhtml]
  • source-is-missing [src/axiom-website/hyperdoc/axbook/section-8.5.xhtml]
  • source-is-missing [src/axiom-website/hyperdoc/axbook/section-8.7.xhtml]
  • source-is-missing [src/axiom-website/hyperdoc/axbook/section-8.8.xhtml]
  • source-is-missing [src/axiom-website/hyperdoc/axbook/section-8.9.xhtml]
  • source-is-missing [src/axiom-website/hyperdoc/axbook/section-9.10.xhtml]
  • source-is-missing [src/axiom-website/hyperdoc/axbook/section-9.12.xhtml]
  • source-is-missing [src/axiom-website/hyperdoc/axbook/section-9.13.xhtml]
  • source-is-missing [src/axiom-website/hyperdoc/axbook/section-9.14.xhtml]
  • source-is-missing [src/axiom-website/hyperdoc/axbook/section-9.15.xhtml]
  • source-is-missing [src/axiom-website/hyperdoc/axbook/section-9.16.xhtml]
  • source-is-missing [src/axiom-website/hyperdoc/axbook/section-9.1.xhtml]
  • source-is-missing [src/axiom-website/hyperdoc/axbook/section-9.21.xhtml]
  • source-is-missing [src/axiom-website/hyperdoc/axbook/section-9.22.xhtml]
  • source-is-missing [src/axiom-website/hyperdoc/axbook/section-9.26.xhtml]
  • source-is-missing [src/axiom-website/hyperdoc/axbook/section-9.27.xhtml]
  • source-is-missing [src/axiom-website/hyperdoc/axbook/section-9.29.xhtml]
  • source-is-missing [src/axiom-website/hyperdoc/axbook/section-9.31.xhtml]
  • source-is-missing [src/axiom-website/hyperdoc/axbook/section-9.33.xhtml]
  • source-is-missing [src/axiom-website/hyperdoc/axbook/section-9.35.xhtml]
  • source-is-missing [src/axiom-website/hyperdoc/axbook/section-9.38.xhtml]
  • source-is-missing [src/axiom-website/hyperdoc/axbook/section-9.39.xhtml]
  • source-is-missing [src/axiom-website/hyperdoc/axbook/section-9.3.xhtml]
  • source-is-missing [src/axiom-website/hyperdoc/axbook/section-9.40.xhtml]
  • source-is-missing [src/axiom-website/hyperdoc/axbook/section-9.42.xhtml]
  • source-is-missing [src/axiom-website/hyperdoc/axbook/section-9.43.xhtml]
  • source-is-missing [src/axiom-website/hyperdoc/axbook/section-9.44.xhtml]
  • source-is-missing [src/axiom-website/hyperdoc/axbook/section-9.45.xhtml]
  • source-is-missing [src/axiom-website/hyperdoc/axbook/section-9.46.xhtml]
  • source-is-missing [src/axiom-website/hyperdoc/axbook/section-9.48.xhtml]
  • source-is-missing [src/axiom-website/hyperdoc/axbook/section-9.4.xhtml]
  • source-is-missing [src/axiom-website/hyperdoc/axbook/section-9.50.xhtml]
  • source-is-missing [src/axiom-website/hyperdoc/axbook/section-9.51.xhtml]
  • source-is-missing [src/axiom-website/hyperdoc/axbook/section-9.52.xhtml]
  • source-is-missing [src/axiom-website/hyperdoc/axbook/section-9.53.xhtml]
  • source-is-missing [src/axiom-website/hyperdoc/axbook/section-9.54.xhtml]
  • source-is-missing [src/axiom-website/hyperdoc/axbook/section-9.56.xhtml]
  • source-is-missing [src/axiom-website/hyperdoc/axbook/section-9.58.xhtml]
  • source-is-missing [src/axiom-website/hyperdoc/axbook/section-9.5.xhtml]
  • source-is-missing [src/axiom-website/hyperdoc/axbook/section-9.60.xhtml]
  • source-is-missing [src/axiom-website/hyperdoc/axbook/section-9.61.xhtml]
  • source-is-missing [src/axiom-website/hyperdoc/axbook/section-9.63.xhtml]
  • source-is-missing [src/axiom-website/hyperdoc/axbook/section-9.66.xhtml]
  • source-is-missing [src/axiom-website/hyperdoc/axbook/section-9.67.xhtml]
  • source-is-missing [src/axiom-website/hyperdoc/axbook/section-9.68.xhtml]
  • source-is-missing [src/axiom-website/hyperdoc/axbook/section-9.6.xhtml]
  • source-is-missing [src/axiom-website/hyperdoc/axbook/section-9.71.xhtml]
  • source-is-missing [src/axiom-website/hyperdoc/axbook/section-9.74.xhtml]
  • source-is-missing [src/axiom-website/hyperdoc/axbook/section-9.75.xhtml]
  • source-is-missing [src/axiom-website/hyperdoc/axbook/section-9.77.xhtml]
  • source-is-missing [src/axiom-website/hyperdoc/axbook/section-9.79.xhtml]
  • source-is-missing [src/axiom-website/hyperdoc/axbook/section-9.7.xhtml]
  • source-is-missing [src/axiom-website/hyperdoc/axbook/section-9.80.xhtml]
  • source-is-missing [src/axiom-website/hyperdoc/axbook/section-9.82.xhtml]
  • source-is-missing [src/axiom-website/hyperdoc/axbook/section-9.83.xhtml]
  • source-is-missing [src/axiom-website/hyperdoc/axbook/section-9.87.xhtml]
  • source-is-missing [src/axiom-website/hyperdoc/axbook/section-9.88.xhtml]
  • source-is-missing [src/axiom-website/hyperdoc/axbook/section-9.89.xhtml]
  • source-is-missing [src/axiom-website/hyperdoc/axbook/section-9.90.xhtml]
  • source-is-missing [src/axiom-website/hyperdoc/axbook/section-9.91.xhtml]
  • debian-rules-should-not-set-CFLAGS-from-noopt [debian/rules]
  • no-versioned-debhelper-prerequisite 9
  • package-uses-deprecated-debhelper-compat-version 9
  • patch-file-present-but-not-mentioned-in-series [debian/patches/axiom-extens]
  • patch-file-present-but-not-mentioned-in-series [debian/patches/ftbfs-ppc64-prevent-overflow-sa_data]
  • patch-file-present-but-not-mentioned-in-series [debian/patches/GCLVERSION-cygwin-1]
  • patch-file-present-but-not-mentioned-in-series [debian/patches/GCLVERSION-gcl-cygwin]
  • patch-file-present-but-not-mentioned-in-series [debian/patches/help_files_no_wildcards]
  • patch-file-present-but-not-mentioned-in-series [debian/patches/help_files_no_wildcards1]
• axiom_20170501-6_amd64.deb (main)
  • binary-compiled-with-profiling-enabled [usr/lib/axiom-20170501/bin/AXIOMsys]
  • hardening-no-pie [usr/lib/axiom-20170501/bin/AXIOMsys]
• axiom-doc_20170501-6_all.deb (main)
  • 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)
  • national-encoding [usr/share/doc/axiom-doc/bookvol7.1.pamphlet]
• axiom-test_20170501-6_all.deb (main)
  • national-encoding [usr/share/axiom-20170501/input/setcmd.input]
• cxref 1.6e-3.1
• cxref_1.6e-3.1.dsc (main)
  • national-encoding [debian/po/cs.po]
  • national-encoding [debian/po/fr.po]
  • national-encoding [debian/po/sv.po]
  • no-nmu-in-changelog [debian/changelog:1]
  • no-versioned-debhelper-prerequisite 9
  • obsolete-debian-watch-file-standard 2 [debian/watch]
  • package-uses-deprecated-debhelper-compat-version 9
• cxref-emacs_1.6e-3.1_all.deb (main)
  • emacsen-common-without-dh-elpa
• fricas 1.3.7-3
• fricas_1.3.7-3.dsc (main)
  • mismatched-override maintainer-manual-page debian/fricas-test.1 [debian/source/lintian-overrides:4]
• elpa-fricas_1.3.7-3_all.deb (main)
  • mismatched-override executable-in-usr-lib usr/lib/emacsen-common/packages/install/elpa-fricas [usr/share/lintian/overrides/elpa-fricas:5]
  • 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)
  • mawk-script-but-no-mawk-dep /usr/bin/mawk (does not satisfy mawk:any) [usr/lib/fricas/target/x86_64-linux-gnu/lib/presea]
  • binary-compiled-with-profiling-enabled [usr/lib/fricas/target/x86_64-linux-gnu/bin/FRICASsys]
  • hardening-no-pie [usr/lib/fricas/target/x86_64-linux-gnu/bin/FRICASsys]
  • mismatched-override binary-compiled-with-profiling-enabled usr/lib/fricas/target/x86_64-linux-gnu/bin/FRICASsys [usr/share/lintian/overrides/fricas:2]
  • mismatched-override executable-in-usr-lib usr/lib/fricas/target/x86_64-linux-gnu/bin/asq [usr/share/lintian/overrides/fricas:10]
  • mismatched-override executable-in-usr-lib usr/lib/fricas/target/x86_64-linux-gnu/bin/clef [usr/share/lintian/overrides/fricas:11]
  • mismatched-override executable-in-usr-lib usr/lib/fricas/target/x86_64-linux-gnu/bin/fricas [usr/share/lintian/overrides/fricas:12]
  • mismatched-override executable-in-usr-lib usr/lib/fricas/target/x86_64-linux-gnu/bin/FRICASsys [usr/share/lintian/overrides/fricas:9]
  • mismatched-override executable-in-usr-lib usr/lib/fricas/target/x86_64-linux-gnu/bin/sman [usr/share/lintian/overrides/fricas:13]
  • mismatched-override executable-in-usr-lib usr/lib/fricas/target/x86_64-linux-gnu/lib/ex2ht [usr/share/lintian/overrides/fricas:15]
  • mismatched-override executable-in-usr-lib usr/lib/fricas/target/x86_64-linux-gnu/lib/presea [usr/share/lintian/overrides/fricas:16]
  • mismatched-override executable-in-usr-lib usr/lib/fricas/target/x86_64-linux-gnu/lib/session [usr/share/lintian/overrides/fricas:17]
  • mismatched-override executable-in-usr-lib usr/lib/fricas/target/x86_64-linux-gnu/lib/spadbuf [usr/share/lintian/overrides/fricas:18]
  • mismatched-override executable-in-usr-lib usr/lib/fricas/target/x86_64-linux-gnu/lib/spadclient [usr/share/lintian/overrides/fricas:19]
  • mismatched-override executable-in-usr-lib usr/lib/fricas/target/x86_64-linux-gnu/lib/SPADEDIT [usr/share/lintian/overrides/fricas:14]
  • mismatched-override hardening-no-bindnow usr/lib/fricas/target/x86_64-linux-gnu/bin/FRICASsys [usr/share/lintian/overrides/fricas:7]
  • mismatched-override hardening-no-pie usr/lib/fricas/target/x86_64-linux-gnu/bin/FRICASsys [usr/share/lintian/overrides/fricas:4]
  • mismatched-override repeated-path-segment lib usr/lib/fricas/target/x86_64-linux-gnu/lib/ [usr/share/lintian/overrides/fricas:21]
  • 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]
  • 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)
  • 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)
  • 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)
  • mismatched-override executable-in-usr-lib usr/lib/fricas/target/x86_64-linux-gnu/bin/viewAlone [usr/share/lintian/overrides/fricas-graphics:2]
  • mismatched-override executable-in-usr-lib usr/lib/fricas/target/x86_64-linux-gnu/lib/view2D [usr/share/lintian/overrides/fricas-graphics:3]
  • mismatched-override executable-in-usr-lib usr/lib/fricas/target/x86_64-linux-gnu/lib/view3D [usr/share/lintian/overrides/fricas-graphics:4]
  • mismatched-override executable-in-usr-lib usr/lib/fricas/target/x86_64-linux-gnu/lib/viewman [usr/share/lintian/overrides/fricas-graphics:5]
  • 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)
  • mismatched-override repeated-path-segment lib usr/lib/fricas/target/x86_64-linux-gnu/lib/ [usr/share/lintian/overrides/fricas-graphics-data:5]
  • 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)
  • mismatched-override executable-in-usr-lib usr/lib/fricas/target/x86_64-linux-gnu/bin/htadd [usr/share/lintian/overrides/fricas-hypertex:2]
  • mismatched-override executable-in-usr-lib usr/lib/fricas/target/x86_64-linux-gnu/bin/hypertex [usr/share/lintian/overrides/fricas-hypertex:3]
  • mismatched-override executable-in-usr-lib usr/lib/fricas/target/x86_64-linux-gnu/lib/hthits [usr/share/lintian/overrides/fricas-hypertex:4]
  • mismatched-override executable-in-usr-lib usr/lib/fricas/target/x86_64-linux-gnu/lib/htsearch [usr/share/lintian/overrides/fricas-hypertex:5]
  • 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)
  • 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.dsc (main)
  • source-is-missing [info/gcl/Constraints-on-the-COMMON_002dLISP-Package-for-Conforming-Programs.html]
  • source-is-missing [info/gcl/defmethod.html]
  • source-is-missing [info/gcl/Defsetf-Lambda-Lists.html]
  • source-is-missing [info/gcl/Destructuring-Lambda-Lists.html]
  • source-is-missing [info/gcl/Generic-Function-Lambda-Lists.html]
  • source-is-missing [info/gcl/loop.html]
  • source-is-missing [info/gcl/Macro-Lambda-Lists.html]
  • source-is-missing [info/gcl/Ordinary-Lambda-Lists.html]
  • source-is-missing [info/gcl/Specialized-Lambda-Lists.html]
  • source-is-missing [info/gcl/The-_0022Compound-Type-Specifier-Arguments_0022-Section-of-a-Dictionary-Entry.html]
  • source-is-missing [info/gcl/The-_0022Compound-Type-Specifier-Syntax_0022-Section-of-a-Dictionary-Entry.html]
• gcl_2.6.12-117_amd64.deb (main)
  • binary-compiled-with-profiling-enabled [usr/lib/gcl-2.6.12-prof/unixport/saved_ansi_gcl]
  • binary-compiled-with-profiling-enabled [usr/lib/gcl-2.6.12-prof/unixport/saved_gcl]
  • binary-compiled-with-profiling-enabled [usr/lib/gcl-2.6.12/unixport/saved_ansi_gcl]
  • binary-compiled-with-profiling-enabled [usr/lib/gcl-2.6.12/unixport/saved_gcl]
  • hardening-no-pie [usr/lib/gcl-2.6.12-prof/unixport/saved_ansi_gcl]
  • hardening-no-pie [usr/lib/gcl-2.6.12-prof/unixport/saved_gcl]
  • hardening-no-pie [usr/lib/gcl-2.6.12/unixport/saved_ansi_gcl]
  • hardening-no-pie [usr/lib/gcl-2.6.12/unixport/saved_gcl]
  • mismatched-override binary-compiled-with-profiling-enabled usr/lib/gcl-2.6.12-prof/unixport/saved_ansi_gcl [usr/share/lintian/overrides/gcl:1]
  • mismatched-override binary-compiled-with-profiling-enabled usr/lib/gcl-2.6.12-prof/unixport/saved_gcl [usr/share/lintian/overrides/gcl:2]
  • mismatched-override binary-compiled-with-profiling-enabled usr/lib/gcl-2.6.12/unixport/saved_ansi_gcl [usr/share/lintian/overrides/gcl:3]
  • mismatched-override binary-compiled-with-profiling-enabled usr/lib/gcl-2.6.12/unixport/saved_gcl [usr/share/lintian/overrides/gcl:4]
  • mismatched-override hardening-no-pie usr/lib/gcl-2.6.12-prof/unixport/saved_ansi_gcl [usr/share/lintian/overrides/gcl:5]
  • mismatched-override hardening-no-pie usr/lib/gcl-2.6.12-prof/unixport/saved_gcl [usr/share/lintian/overrides/gcl:6]
  • mismatched-override hardening-no-pie usr/lib/gcl-2.6.12/unixport/saved_ansi_gcl [usr/share/lintian/overrides/gcl:7]
  • 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)
  • unpack-message-for-orig hol88_2.02.19940316.orig.tar.gz . ar failed for hol88-2.02.19940316/contrib/benchmark/LOG13.a
  • debian-rules-should-not-set-CFLAGS-from-noopt [debian/rules]
  • no-nmu-in-changelog [debian/changelog:1]
  • package-uses-deprecated-debhelper-compat-version 9
  • source-contains-prebuilt-windows-binary [Manual/LaTeX/makeindex.src/src/makeindx.exe]
• hol88_2.02.19940316-35.1_amd64.deb (main)
  • binary-compiled-with-profiling-enabled [usr/lib/hol88-2.02.19940316/basic-hol]
  • binary-compiled-with-profiling-enabled [usr/lib/hol88-2.02.19940316/hol]
  • binary-compiled-with-profiling-enabled [usr/lib/hol88-2.02.19940316/hol-lcf]
  • hardening-no-pie [usr/lib/hol88-2.02.19940316/basic-hol]
  • hardening-no-pie [usr/lib/hol88-2.02.19940316/hol]
  • hardening-no-pie [usr/lib/hol88-2.02.19940316/hol-lcf]
• hol88-help_2.02.19940316-35.1_all.deb (main)
  • file-name-contains-wildcard-character [usr/share/hol88-2.02.19940316/help/ENTRIES/*.doc]
  • 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)
  • obsolete-debian-watch-file-standard 2 [debian/watch]
  • useless-autoreconf-build-depends (does not need to satisfy autotools-dev:any)
• lam-mpidoc_7.1.4-7_all.deb (main)
  • priority-extra-is-replaced-by-priority-optional
• lam-runtime_7.1.4-7_amd64.deb (main)
  • incorrect-path-for-interpreter /usr/bin/env perl != /usr/bin/perl [usr/bin/mpiexec.lam]
  • priority-extra-is-replaced-by-priority-optional
• lam4-dev_7.1.4-7_amd64.deb (main)
  • priority-extra-is-replaced-by-priority-optional
• liblam4_7.1.4-7_amd64.deb (main)
  • priority-extra-is-replaced-by-priority-optional
• maxima 5.45.1-8
• maxima_5.45.1-8.dsc (main)
  • source-is-missing [crosscompile-windows/licenses.html]
  • source-is-missing [doc/info/maxima_100.html]
  • source-is-missing [doc/info/maxima_104.html]
  • source-is-missing [doc/info/maxima_109.html]
  • source-is-missing [doc/info/maxima_110.html]
  • source-is-missing [doc/info/maxima_111.html]
  • source-is-missing [doc/info/maxima_114.html]
  • source-is-missing [doc/info/maxima_115.html]
  • source-is-missing [doc/info/maxima_133.html]
  • source-is-missing [doc/info/maxima_134.html]
  • source-is-missing [doc/info/maxima_135.html]
  • source-is-missing [doc/info/maxima_136.html]
  • source-is-missing [doc/info/maxima_137.html]
  • source-is-missing [doc/info/maxima_148.html]
  • source-is-missing [doc/info/maxima_152.html]
  • source-is-missing [doc/info/maxima_155.html]
  • source-is-missing [doc/info/maxima_163.html]
  • source-is-missing [doc/info/maxima_164.html]
  • source-is-missing [doc/info/maxima_168.html]
  • source-is-missing [doc/info/maxima_172.html]
  • source-is-missing [doc/info/maxima_175.html]
  • source-is-missing [doc/info/maxima_181.html]
  • source-is-missing [doc/info/maxima_197.html]
  • source-is-missing [doc/info/maxima_200.html]
  • source-is-missing [doc/info/maxima_201.html]
  • source-is-missing [doc/info/maxima_202.html]
  • source-is-missing [doc/info/maxima_203.html]
  • source-is-missing [doc/info/maxima_206.html]
  • source-is-missing [doc/info/maxima_207.html]
  • source-is-missing [doc/info/maxima_208.html]
  • source-is-missing [doc/info/maxima_209.html]
  • source-is-missing [doc/info/maxima_213.html]
  • source-is-missing [doc/info/maxima_214.html]
  • source-is-missing [doc/info/maxima_218.html]
  • source-is-missing [doc/info/maxima_219.html]
  • source-is-missing [doc/info/maxima_21.html]
  • source-is-missing [doc/info/maxima_223.html]
  • source-is-missing [doc/info/maxima_225.html]
  • source-is-missing [doc/info/maxima_231.html]
  • source-is-missing [doc/info/maxima_232.html]
  • source-is-missing [doc/info/maxima_237.html]
  • source-is-missing [doc/info/maxima_241.html]
  • source-is-missing [doc/info/maxima_242.html]
  • source-is-missing [doc/info/maxima_259.html]
  • source-is-missing [doc/info/maxima_273.html]
  • source-is-missing [doc/info/maxima_274.html]
  • source-is-missing [doc/info/maxima_276.html]
  • source-is-missing [doc/info/maxima_281.html]
  • source-is-missing [doc/info/maxima_284.html]
  • source-is-missing [doc/info/maxima_285.html]
  • source-is-missing [doc/info/maxima_289.html]
  • source-is-missing [doc/info/maxima_290.html]
  • source-is-missing [doc/info/maxima_292.html]
  • source-is-missing [doc/info/maxima_293.html]
  • source-is-missing [doc/info/maxima_294.html]
  • source-is-missing [doc/info/maxima_299.html]
  • source-is-missing [doc/info/maxima_304.html]
  • source-is-missing [doc/info/maxima_310.html]
  • source-is-missing [doc/info/maxima_314.html]
  • source-is-missing [doc/info/maxima_321.html]
  • source-is-missing [doc/info/maxima_326.html]
  • source-is-missing [doc/info/maxima_334.html]
  • source-is-missing [doc/info/maxima_342.html]
  • source-is-missing [doc/info/maxima_345.html]
  • source-is-missing [doc/info/maxima_349.html]
  • source-is-missing [doc/info/maxima_351.html]
  • source-is-missing [doc/info/maxima_352.html]
  • source-is-missing [doc/info/maxima_353.html]
  • source-is-missing [doc/info/maxima_354.html]
  • source-is-missing [doc/info/maxima_355.html]
  • source-is-missing [doc/info/maxima_356.html]
  • source-is-missing [doc/info/maxima_357.html]
  • source-is-missing [doc/info/maxima_359.html]
  • source-is-missing [doc/info/maxima_360.html]
  • source-is-missing [doc/info/maxima_365.html]
  • source-is-missing [doc/info/maxima_48.html]
  • source-is-missing [doc/info/maxima_49.html]
  • source-is-missing [doc/info/maxima_50.html]
  • source-is-missing [doc/info/maxima_51.html]
  • source-is-missing [doc/info/maxima_52.html]
  • source-is-missing [doc/info/maxima_53.html]
  • source-is-missing [doc/info/maxima_57.html]
  • source-is-missing [doc/info/maxima_58.html]
  • source-is-missing [doc/info/maxima_59.html]
  • source-is-missing [doc/info/maxima_63.html]
  • source-is-missing [doc/info/maxima_64.html]
  • source-is-missing [doc/info/maxima_70.html]
  • source-is-missing [doc/info/maxima_71.html]
  • source-is-missing [doc/info/maxima_72.html]
  • source-is-missing [doc/info/maxima_79.html]
  • source-is-missing [doc/info/maxima_7.html]
  • source-is-missing [doc/info/maxima_86.html]
  • source-is-missing [doc/info/maxima_8.html]
  • source-is-missing [doc/info/maxima_90.html]
  • source-is-missing [doc/info/maxima_99.html]
  • source-is-missing [doc/info/maxima_singlepage.html]
  • source-is-missing [share/algebra/solver/solver1-en.html]
  • source-is-missing [share/pytranslate/maxima-to-ir.html]
  • obsolete-debian-watch-file-standard 2 [debian/watch]
• maxima_5.45.1-8_amd64.deb (main)
  • binary-compiled-with-profiling-enabled [usr/lib/maxima/5.45.1/binary-gcl/maxima]
  • hardening-no-pie [usr/lib/maxima/5.45.1/binary-gcl/maxima]
  • mismatched-override binary-compiled-with-profiling-enabled usr/lib/maxima/5.44.0/binary-gcl/maxima [usr/share/lintian/overrides/maxima:1]
  • 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)
  • package-uses-deprecated-debhelper-compat-version 9
• pcal 4.11.0-3
• pcal_4.11.0-3.dsc (main)
  • obsolete-debian-watch-file-standard 2 [debian/watch]
  • package-uses-deprecated-debhelper-compat-version 9
• pcal_4.11.0-3+b1_amd64.deb (main)
  • national-encoding [usr/share/doc/pcal/examples/calendar_fr.txt]
• xmpi 2.2.3b8-14
• xmpi_2.2.3b8-14.dsc (main)
  • obsolete-debian-watch-file-standard 2 [debian/watch]
  • package-uses-deprecated-debhelper-compat-version 9