Hints

Benjamin Barenblat

We have the following e-mail addresses on file:

• bbaren@debian.org
• bbaren@mit.edu

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

• abseil 0~20200923.3-3
• libabsl-dev_0~20200923.3-3_amd64.deb (main)
  • no-code-sections [usr/lib/x86_64-linux-gnu/libabsl_flags.a]
  • no-code-sections [usr/lib/x86_64-linux-gnu/libabsl_random_internal_platform.a]
• libabsl20200923_0~20200923.3-3_amd64.deb (main)
  • mismatched-override spelling-error-in-binary usr/lib/*/libabsl_flags_usage_internal.so* helpfull helpful [usr/share/lintian/overrides/libabsl20200923:17]
• coq 8.15.0+dfsg-1
• coq_8.15.0+dfsg-1.dsc (main)
  • mismatched-override maintainer-desktop-entry debian/coqide.desktop [debian/source/lintian-overrides:2]
  • mismatched-override very-long-line-length-in-source-file test-suite/bugs/closed/bug_4769.v line 3 is 1569 characters long (>512) [debian/source/lintian-overrides:4]
  • mismatched-override very-long-line-length-in-source-file test-suite/bugs/closed/bug_5578.v line 1 is 1020 characters long (>512) [debian/source/lintian-overrides:5]
  • mismatched-override very-long-line-length-in-source-file test-suite/bugs/closed/bug_7811.v line 2 is 865 characters long (>512) [debian/source/lintian-overrides:6]
  • mismatched-override very-long-line-length-in-source-file test-suite/coqdoc/binder.html.out line 30 is 688 characters long (>512) [debian/source/lintian-overrides:10]
  • mismatched-override very-long-line-length-in-source-file test-suite/coqdoc/bug11353.html.out line 25 is 653 characters long (>512) [debian/source/lintian-overrides:11]
  • mismatched-override very-long-line-length-in-source-file test-suite/coqdoc/bug5648.html.out line 29 is 733 characters long (>512) [debian/source/lintian-overrides:12]
  • mismatched-override very-long-line-length-in-source-file test-suite/coqdoc/bug5648.tex.out line 34 is 586 characters long (>512) [debian/source/lintian-overrides:13]
  • mismatched-override very-long-line-length-in-source-file test-suite/coqdoc/details.html.out line 33 is 514 characters long (>512) [debian/source/lintian-overrides:14]
  • mismatched-override very-long-line-length-in-source-file test-suite/coqdoc/links.html.out line 140 is 1554 characters long (>512) [debian/source/lintian-overrides:15]
  • mismatched-override very-long-line-length-in-source-file test-suite/coqdoc/links.tex.out line 82 is 979 characters long (>512) [debian/source/lintian-overrides:16]
  • mismatched-override very-long-line-length-in-source-file test-suite/coqdoc/Record.html.out line 22 is 570 characters long (>512) [debian/source/lintian-overrides:9]
  • mismatched-override very-long-line-length-in-source-file test-suite/coq-makefile/timing/precomputed-time-tests/007-no-output-sync/time-of-build.log.in line 891 is 2713 characters long (>512) [debian/source/lintian-overrides:8]
  • mismatched-override very-long-line-length-in-source-file test-suite/output/StringSyntax.out line * is * characters long (>512) [debian/source/lintian-overrides:17]
  • mismatched-override very-long-line-length-in-source-file theories/extraction/ExtrHaskellString.v line 49 is 2018 characters long (>512) [debian/source/lintian-overrides:19]
  • mismatched-override very-long-line-length-in-source-file theories/extraction/ExtrOcamlNativeString.v line 21 is 2018 characters long (>512) [debian/source/lintian-overrides:20]
  • mismatched-override very-long-line-length-in-source-file tools/TimeFileMaker.py line 444 is 617 characters long (>512) [debian/source/lintian-overrides:22]
• coq_8.15.0+dfsg-1_amd64.deb (main)
  • mismatched-override spelling-error-in-binary usr/bin/coqc acces access [usr/share/lintian/overrides/coq:5]
  • mismatched-override spelling-error-in-binary usr/bin/coqchk acces access [usr/share/lintian/overrides/coq:7]
  • mismatched-override spelling-error-in-binary usr/bin/coqc occurences occurrences [usr/share/lintian/overrides/coq:6]
  • mismatched-override spelling-error-in-binary usr/bin/coqdoc oter other [usr/share/lintian/overrides/coq:8]
  • mismatched-override spelling-error-in-binary usr/bin/coqidetop.opt acces access [usr/share/lintian/overrides/coq:9]
  • mismatched-override spelling-error-in-binary usr/bin/coqidetop.opt occurences occurrences [usr/share/lintian/overrides/coq:10]
  • mismatched-override spelling-error-in-binary usr/bin/coqnative acces access [usr/share/lintian/overrides/coq:11]
  • mismatched-override spelling-error-in-binary usr/bin/coqproofworker.opt acces access [usr/share/lintian/overrides/coq:12]
  • mismatched-override spelling-error-in-binary usr/bin/coqproofworker.opt occurences occurrences [usr/share/lintian/overrides/coq:13]
  • mismatched-override spelling-error-in-binary usr/bin/coqqueryworker.opt acces access [usr/share/lintian/overrides/coq:14]
  • mismatched-override spelling-error-in-binary usr/bin/coqqueryworker.opt occurences occurrences [usr/share/lintian/overrides/coq:15]
  • mismatched-override spelling-error-in-binary usr/bin/coqtacticworker.opt acces access [usr/share/lintian/overrides/coq:16]
  • mismatched-override spelling-error-in-binary usr/bin/coqtacticworker.opt occurences occurrences [usr/share/lintian/overrides/coq:17]
  • mismatched-override spelling-error-in-binary usr/bin/coqtop acces access [usr/share/lintian/overrides/coq:18]
  • mismatched-override spelling-error-in-binary usr/bin/coqtop occurences occurrences [usr/share/lintian/overrides/coq:19]
  • mismatched-override spelling-error-in-binary usr/bin/coqtop.opt acces access [usr/share/lintian/overrides/coq:20]
  • mismatched-override spelling-error-in-binary usr/bin/coqtop.opt occurences occurrences [usr/share/lintian/overrides/coq:21]
  • mismatched-override spelling-error-in-binary usr/bin/coqwc tage stage [usr/share/lintian/overrides/coq:4]
• coq-theories_8.15.0+dfsg-1_amd64.deb (main)
  • file-name-contains-wildcard-character [usr/share/doc/coq-theories/html/index_abbreviation_*.html]
  • file-name-contains-wildcard-character [usr/share/doc/coq-theories/html/index_axiom_*.html]
  • file-name-contains-wildcard-character [usr/share/doc/coq-theories/html/index_binder_*.html]
  • file-name-contains-wildcard-character [usr/share/doc/coq-theories/html/index_constructor_*.html]
  • file-name-contains-wildcard-character [usr/share/doc/coq-theories/html/index_definition_*.html]
  • file-name-contains-wildcard-character [usr/share/doc/coq-theories/html/index_global_*.html]
  • file-name-contains-wildcard-character [usr/share/doc/coq-theories/html/index_inductive_*.html]
  • file-name-contains-wildcard-character [usr/share/doc/coq-theories/html/index_instance_*.html]
  • file-name-contains-wildcard-character [usr/share/doc/coq-theories/html/index_lemma_*.html]
  • file-name-contains-wildcard-character [usr/share/doc/coq-theories/html/index_library_*.html]
  • file-name-contains-wildcard-character [usr/share/doc/coq-theories/html/index_module_*.html]
  • file-name-contains-wildcard-character [usr/share/doc/coq-theories/html/index_notation_*.html]
  • file-name-contains-wildcard-character [usr/share/doc/coq-theories/html/index_projection_*.html]
  • file-name-contains-wildcard-character [usr/share/doc/coq-theories/html/index_record_*.html]
  • file-name-contains-wildcard-character [usr/share/doc/coq-theories/html/index_section_*.html]
  • file-name-contains-wildcard-character [usr/share/doc/coq-theories/html/index_variable_*.html]
  • mismatched-override file-name-contains-wildcard-character usr/share/doc/coq-theories/html/index_abbreviation_*.html [usr/share/lintian/overrides/coq-theories:1]
  • mismatched-override file-name-contains-wildcard-character usr/share/doc/coq-theories/html/index_axiom_*.html [usr/share/lintian/overrides/coq-theories:2]
  • mismatched-override file-name-contains-wildcard-character usr/share/doc/coq-theories/html/index_binder_*.html [usr/share/lintian/overrides/coq-theories:3]
  • mismatched-override file-name-contains-wildcard-character usr/share/doc/coq-theories/html/index_constructor_*.html [usr/share/lintian/overrides/coq-theories:4]
  • mismatched-override file-name-contains-wildcard-character usr/share/doc/coq-theories/html/index_definition_*.html [usr/share/lintian/overrides/coq-theories:5]
  • mismatched-override file-name-contains-wildcard-character usr/share/doc/coq-theories/html/index_global_*.html [usr/share/lintian/overrides/coq-theories:6]
  • mismatched-override file-name-contains-wildcard-character usr/share/doc/coq-theories/html/index_inductive_*.html [usr/share/lintian/overrides/coq-theories:7]
  • mismatched-override file-name-contains-wildcard-character usr/share/doc/coq-theories/html/index_instance_*.html [usr/share/lintian/overrides/coq-theories:8]
  • mismatched-override file-name-contains-wildcard-character usr/share/doc/coq-theories/html/index_lemma_*.html [usr/share/lintian/overrides/coq-theories:9]
  • mismatched-override file-name-contains-wildcard-character usr/share/doc/coq-theories/html/index_library_*.html [usr/share/lintian/overrides/coq-theories:10]
  • mismatched-override file-name-contains-wildcard-character usr/share/doc/coq-theories/html/index_module_*.html [usr/share/lintian/overrides/coq-theories:11]
  • mismatched-override file-name-contains-wildcard-character usr/share/doc/coq-theories/html/index_notation_*.html [usr/share/lintian/overrides/coq-theories:12]
  • mismatched-override file-name-contains-wildcard-character usr/share/doc/coq-theories/html/index_projection_*.html [usr/share/lintian/overrides/coq-theories:13]
  • mismatched-override file-name-contains-wildcard-character usr/share/doc/coq-theories/html/index_record_*.html [usr/share/lintian/overrides/coq-theories:14]
  • mismatched-override file-name-contains-wildcard-character usr/share/doc/coq-theories/html/index_section_*.html [usr/share/lintian/overrides/coq-theories:15]
  • mismatched-override file-name-contains-wildcard-character usr/share/doc/coq-theories/html/index_variable_*.html [usr/share/lintian/overrides/coq-theories:16]
• libcoq-ocaml_8.15.0+dfsg-1_amd64.deb (main)
  • mismatched-override shared-library-lacks-prerequisites *.cmxs [usr/share/lintian/overrides/libcoq-ocaml:6]
  • mismatched-override spelling-error-in-binary usr/lib/coq-core/kernel/kernel.cmxs acces access [usr/share/lintian/overrides/libcoq-ocaml:2]
  • mismatched-override spelling-error-in-binary usr/lib/coq-core/plugins/ltac2/ltac2_plugin.cmxs UpTo Up to [usr/share/lintian/overrides/libcoq-ocaml:3]
  • mismatched-override spelling-error-in-binary usr/lib/coq-core/tactics/tactics.cmxs occurences occurrences [usr/share/lintian/overrides/libcoq-ocaml:4]
  • shared-library-lacks-prerequisites [usr/lib/coq-core/boot/boot.cmxs]
  • shared-library-lacks-prerequisites [usr/lib/coq-core/clib/clib.cmxs]
  • shared-library-lacks-prerequisites [usr/lib/coq-core/config/config.cmxs]
  • shared-library-lacks-prerequisites [usr/lib/coq-core/engine/engine.cmxs]
  • shared-library-lacks-prerequisites [usr/lib/coq-core/gramlib/gramlib.cmxs]
  • shared-library-lacks-prerequisites [usr/lib/coq-core/interp/interp.cmxs]
  • shared-library-lacks-prerequisites [usr/lib/coq-core/kernel/kernel.cmxs]
  • shared-library-lacks-prerequisites [usr/lib/coq-core/lib/lib.cmxs]
  • shared-library-lacks-prerequisites [usr/lib/coq-core/library/library.cmxs]
  • shared-library-lacks-prerequisites [usr/lib/coq-core/parsing/parsing.cmxs]
  • shared-library-lacks-prerequisites [usr/lib/coq-core/plugins/btauto/btauto_plugin.cmxs]
  • shared-library-lacks-prerequisites [usr/lib/coq-core/plugins/cc/cc_plugin.cmxs]
  • shared-library-lacks-prerequisites [usr/lib/coq-core/plugins/derive/derive_plugin.cmxs]
  • shared-library-lacks-prerequisites [usr/lib/coq-core/plugins/extraction/extraction_plugin.cmxs]
  • shared-library-lacks-prerequisites [usr/lib/coq-core/plugins/firstorder/firstorder_plugin.cmxs]
  • shared-library-lacks-prerequisites [usr/lib/coq-core/plugins/funind/funind_plugin.cmxs]
  • shared-library-lacks-prerequisites [usr/lib/coq-core/plugins/ltac2/ltac2_plugin.cmxs]
  • shared-library-lacks-prerequisites [usr/lib/coq-core/plugins/ltac/ltac_plugin.cmxs]
  • shared-library-lacks-prerequisites [usr/lib/coq-core/plugins/micromega/micromega_plugin.cmxs]
  • shared-library-lacks-prerequisites [usr/lib/coq-core/plugins/nsatz/nsatz_plugin.cmxs]
  • shared-library-lacks-prerequisites [usr/lib/coq-core/plugins/number_string_notation/number_string_notation_plugin.cmxs]
  • shared-library-lacks-prerequisites [usr/lib/coq-core/plugins/ring/ring_plugin.cmxs]
  • shared-library-lacks-prerequisites [usr/lib/coq-core/plugins/rtauto/rtauto_plugin.cmxs]
  • shared-library-lacks-prerequisites [usr/lib/coq-core/plugins/ssreflect/ssreflect_plugin.cmxs]
  • shared-library-lacks-prerequisites [usr/lib/coq-core/plugins/ssrmatching/ssrmatching_plugin.cmxs]
  • shared-library-lacks-prerequisites [usr/lib/coq-core/plugins/tauto/tauto_plugin.cmxs]
  • shared-library-lacks-prerequisites [usr/lib/coq-core/plugins/zify/zify_plugin.cmxs]
  • shared-library-lacks-prerequisites [usr/lib/coq-core/pretyping/pretyping.cmxs]
  • shared-library-lacks-prerequisites [usr/lib/coq-core/printing/printing.cmxs]
  • shared-library-lacks-prerequisites [usr/lib/coq-core/proofs/proofs.cmxs]
  • shared-library-lacks-prerequisites [usr/lib/coq-core/stm/stm.cmxs]
  • shared-library-lacks-prerequisites [usr/lib/coq-core/sysinit/sysinit.cmxs]
  • shared-library-lacks-prerequisites [usr/lib/coq-core/tactics/tactics.cmxs]
  • shared-library-lacks-prerequisites [usr/lib/coq-core/toplevel/toplevel.cmxs]
  • shared-library-lacks-prerequisites [usr/lib/coq-core/top_printers/top_printers.cmxs]
  • shared-library-lacks-prerequisites [usr/lib/coq-core/vernac/vernac.cmxs]
  • shared-library-lacks-prerequisites [usr/lib/coq-core/vm/coqrun.cmxs]
• libcoq-ocaml-dev_8.15.0+dfsg-1_amd64.deb (main)
  • mismatched-override ocaml-dangling-cmi *__*.cmi [usr/share/lintian/overrides/libcoq-ocaml-dev:4]
  • mismatched-override package-contains-documentation-outside-usr-share-doc var/lib/ocaml/lintian/libcoq-ocaml-dev.info [usr/share/lintian/overrides/libcoq-ocaml-dev:2]
• dafny 2.3.0+dfsg-0.1
• dafny_2.3.0+dfsg-0.1.dsc (main)
  • source-is-missing [Docs/DafnyRef/out/DafnyRef.html]
  • source-contains-prebuilt-windows-binary [Test/dafny0/ExternHelloLibrary.dll]
• urweb 20170720+dfsg-2
• urweb_20170720+dfsg-2.dsc (main)
  • package-uses-deprecated-debhelper-compat-version 9
• liburweb-cgi0_20170720+dfsg-2_amd64.deb (main)
  • priority-extra-is-replaced-by-priority-optional
• liburweb-fastcgi0_20170720+dfsg-2_amd64.deb (main)
  • priority-extra-is-replaced-by-priority-optional
• liburweb-http0_20170720+dfsg-2_amd64.deb (main)
  • priority-extra-is-replaced-by-priority-optional
• liburweb-static0_20170720+dfsg-2_amd64.deb (main)
  • priority-extra-is-replaced-by-priority-optional
• liburweb0_20170720+dfsg-2_amd64.deb (main)
  • priority-extra-is-replaced-by-priority-optional
• urweb_20170720+dfsg-2_amd64.deb (main)
  • multiarch-foreign-static-library [usr/lib/x86_64-linux-gnu/liburweb.a]
  • multiarch-foreign-static-library [usr/lib/x86_64-linux-gnu/liburweb_cgi.a]
  • multiarch-foreign-static-library [usr/lib/x86_64-linux-gnu/liburweb_fastcgi.a]
  • multiarch-foreign-static-library [usr/lib/x86_64-linux-gnu/liburweb_http.a]
  • multiarch-foreign-static-library [usr/lib/x86_64-linux-gnu/liburweb_static.a]
  • package-name-defined-in-config-h usr/include/urweb/config.h
  • priority-extra-is-replaced-by-priority-optional
• urweb-doc_20170720+dfsg-2_all.deb (main)
  • priority-extra-is-replaced-by-priority-optional
• urweb-mode_20170720+dfsg-2_all.deb (main)
  • emacsen-common-without-dh-elpa
  • priority-extra-is-replaced-by-priority-optional