Hints

Ralf Treinen

We have the following e-mail addresses on file:

• treinen@debian.org

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

• advi 1.10.2-9
• advi_1.10.2-9.dsc (main)
  • national-encoding [debian/examples-source/patches/0009-Fix-test-includes.patch]
• advi_1.10.2-9_amd64.deb (main)
  • national-encoding [usr/share/doc/advi/manual/index.html]
• advi-examples_1.10.2-9_all.deb (main)
  • national-encoding [usr/share/doc/advi-examples/examples/basics/Makefile]
  • national-encoding [usr/share/doc/advi-examples/examples/Makefile]
  • national-encoding [usr/share/doc/advi-examples/examples/prosper/Join/join.tex]
  • national-encoding [usr/share/doc/advi-examples/examples/prosper/Join/Makefile]
  • national-encoding [usr/share/doc/advi-examples/examples/prosper/LL/ll.tex]
  • national-encoding [usr/share/doc/advi-examples/examples/prosper/LL/Makefile]
  • national-encoding [usr/share/doc/advi-examples/examples/prosper/Makefile]
  • national-encoding [usr/share/doc/advi-examples/examples/seminar/a14/a14.tex]
  • national-encoding [usr/share/doc/advi-examples/examples/seminar/a14/Makefile]
  • national-encoding [usr/share/doc/advi-examples/examples/seminar/clock/Makefile]
  • national-encoding [usr/share/doc/advi-examples/examples/seminar/Makefile]
  • national-encoding [usr/share/doc/advi-examples/examples/slitex/advi/Makefile]
  • national-encoding [usr/share/doc/advi-examples/examples/slitex/caml/Makefile]
  • national-encoding [usr/share/doc/advi-examples/examples/slitex/caml/slides.tex]
  • national-encoding [usr/share/doc/advi-examples/examples/slitex/Makefile]
  • national-encoding [usr/share/doc/advi-examples/examples/slitex/simplistic/Makefile]
  • national-encoding [usr/share/doc/advi-examples/examples/slitex/skin_detection/Makefile]
• alt-ergo 2.0.0-8
• alt-ergo_2.0.0-8+b1_amd64.deb (main)
  • shared-library-lacks-prerequisites [usr/lib/x86_64-linux-gnu/alt-ergo/plugins/fm-simplex-plugin.cmxs]
  • shared-library-lacks-prerequisites [usr/lib/x86_64-linux-gnu/alt-ergo/plugins/satML-plugin.cmxs]
• aribas 1.64-6
• aribas_1.64-6.dsc (main)
  • vcs-obsolete-in-debian-infrastructure Browser https://anonscm.debian.org/cgit/debian-science/packages/aribas.git
  • vcs-obsolete-in-debian-infrastructure Git https://anonscm.debian.org/git/debian-science/packages/aribas.git
• bibtex2html 1.99-3
• bibtex2html_1.99-3.dsc (main)
  • obsolete-debian-watch-file-standard 2 [debian/watch]
• camlidl 1.09-1
• camlidl_1.09-1+b2_amd64.deb (main)
  • no-manual-page [usr/bin/camlidl]
  • package-contains-vcs-control-file [usr/share/doc/camlidl/examples/hdirect/.cvsignore]
• camlimages 1:5.0.4-1
• libcamlimages-ocaml_5.0.4-1+b1_amd64.deb (main)
  • library-not-linked-against-libc [usr/lib/ocaml/camlimages/freetype/camlimages_freetype.cmxs]
  • library-not-linked-against-libc [usr/lib/ocaml/stublibs/dllcamlimages_freetype_stubs.so]
  • shared-library-lacks-prerequisites [usr/lib/ocaml/camlimages/core/camlimages.cmxs]
  • shared-library-lacks-prerequisites [usr/lib/ocaml/camlimages/graphics/camlimages_graphics.cmxs]
• libcamlimages-ocaml-dev_5.0.4-1+b1_amd64.deb (main)
  • national-encoding [usr/lib/ocaml/camlimages/core/camlimages.ml]
  • national-encoding [usr/lib/ocaml/camlimages/tiff/tiff.ml]
• caml-mode 4.06-2
• caml-mode_4.06-2.dsc (main)
  • no-newline-at-end [debian/control]
• camlzip 1.11-1
• libzip-ocaml_1.11-1_amd64.deb (main)
  • library-not-linked-against-libc [usr/lib/ocaml/stublibs/dllcamlzip.so]
  • library-not-linked-against-libc [usr/lib/ocaml/zip/zip.cmxs]
• libzip-ocaml-dev_1.11-1_amd64.deb (main)
  • broken-zip [var/lib/ocaml/lintian/libzip-ocaml-dev.META.zip]
  • mismatched-override broken-zip var/lib/ocaml/lintian/libzip-ocaml-dev.META.zip [usr/share/lintian/overrides/libzip-ocaml-dev:1]
• coccinelle 1.1.1.deb-1
• coccinelle_1.1.1.deb-1_amd64.deb (main)
  • ocaml-dangling-cmx [usr/lib/coccinelle/ocaml/ast0_cocci.cmx]
  • ocaml-dangling-cmx [usr/lib/coccinelle/ocaml/ast_c.cmx]
  • ocaml-dangling-cmx [usr/lib/coccinelle/ocaml/ast_cocci.cmx]
  • ocaml-dangling-cmx [usr/lib/coccinelle/ocaml/coccilib.cmx]
  • ocaml-dangling-cmx [usr/lib/coccinelle/ocaml/commands.cmx]
  • ocaml-dangling-cmx [usr/lib/coccinelle/ocaml/common.cmx]
  • ocaml-dangling-cmx [usr/lib/coccinelle/ocaml/config.cmx]
  • ocaml-dangling-cmx [usr/lib/coccinelle/ocaml/dumper.cmx]
  • ocaml-dangling-cmx [usr/lib/coccinelle/ocaml/exposed_modules.cmx]
  • ocaml-dangling-cmx [usr/lib/coccinelle/ocaml/externalanalysis.cmx]
  • ocaml-dangling-cmx [usr/lib/coccinelle/ocaml/flag.cmx]
  • ocaml-dangling-cmx [usr/lib/coccinelle/ocaml/flag_parsing_c.cmx]
  • ocaml-dangling-cmx [usr/lib/coccinelle/ocaml/iteration.cmx]
  • ocaml-dangling-cmx [usr/lib/coccinelle/ocaml/lexer_c.cmx]
  • ocaml-dangling-cmx [usr/lib/coccinelle/ocaml/lib_parsing_c.cmx]
  • ocaml-dangling-cmx [usr/lib/coccinelle/ocaml/ocamlcocci_aux.cmx]
  • ocaml-dangling-cmx [usr/lib/coccinelle/ocaml/parse_c.cmx]
  • ocaml-dangling-cmx [usr/lib/coccinelle/ocaml/parser_c.cmx]
  • ocaml-dangling-cmx [usr/lib/coccinelle/ocaml/prepare_ocamlcocci.cmx]
  • ocaml-dangling-cmx [usr/lib/coccinelle/ocaml/pretty_print_c.cmx]
  • ocaml-dangling-cmx [usr/lib/coccinelle/ocaml/regexp.cmx]
  • ocaml-dangling-cmx [usr/lib/coccinelle/ocaml/run_ocamlcocci.cmx]
  • ocaml-dangling-cmx [usr/lib/coccinelle/ocaml/token_c.cmx]
  • ocaml-dangling-cmx [usr/lib/coccinelle/ocaml/visitor_c.cmx]
  • ocaml-dangling-cmx [usr/lib/coccinelle/ocaml/yes_prepare_ocamlcocci.cmx]
  • groff-message 207: a special character is not allowed in a name [usr/share/man/man1/pycocci.1.gz:1]
  • groff-message 220: warning: macro 'Lines' not defined [usr/share/man/man3/Coccilib.3cocci.gz:1]
  • groff-message 573: warning: macro 'cocciconfig' not defined [usr/share/man/man1/spatch.1.gz:1]
• coccinelle-doc_1.1.1.deb-1_all.deb (main)
  • national-encoding [usr/share/doc/coccinelle/examples/demo_rule9/sym53c8xx.c]
  • national-encoding [usr/share/doc/coccinelle/examples/demo_rule9/sym53c8xx.res]
• coinst 1.9.3-3
• coinst_1.9.3-3.dsc (main)
  • superfluous-file-pattern dgraph.ml [debian/copyright:10]
  • superfluous-file-pattern dgraph.mli [debian/copyright:10]
• coinst-viewer_1.9.3-3+b2_amd64.deb (main)
  • no-manual-page [usr/bin/coinst_converter]
• 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]
• cudf 0.9-2
• cudf-tools_0.9-2+b1_amd64.deb (main)
  • no-manual-page [usr/bin/cudf-parse-822]
• libcudf-dev_0.9-2+b1_amd64.deb (main)
  • pkg-config-unavailable-for-cross-compilation [usr/lib/pkgconfig/cudf.pc]
• dose3 6.0.1-3
• libdose3-ocaml-dev_6.0.1-3_amd64.deb (main)
  • shared-library-lacks-prerequisites [usr/lib/ocaml/dose3/algo/dose_algo.cmxs]
  • shared-library-lacks-prerequisites [usr/lib/ocaml/dose3/common/dose_common.cmxs]
  • shared-library-lacks-prerequisites [usr/lib/ocaml/dose3/debian/dose_debian.cmxs]
  • shared-library-lacks-prerequisites [usr/lib/ocaml/dose3/doseparse/dose_doseparse.cmxs]
  • shared-library-lacks-prerequisites [usr/lib/ocaml/dose3/npm/dose_npm.cmxs]
  • shared-library-lacks-prerequisites [usr/lib/ocaml/dose3/opam2/dose_opam2.cmxs]
  • shared-library-lacks-prerequisites [usr/lib/ocaml/dose3/opencsw/dose_opencsw.cmxs]
  • shared-library-lacks-prerequisites [usr/lib/ocaml/dose3/pef/dose_pef.cmxs]
  • shared-library-lacks-prerequisites [usr/lib/ocaml/dose3/versioning/dose_versioning.cmxs]
• frama-c 20201209+titanium-4.1
• frama-c_20201209+titanium-4.1.dsc (main)
  • superfluous-file-pattern src/aorai/* [debian/copyright:116]
  • superfluous-file-pattern src/kernel_services/analysis/dataflow.ml [debian/copyright:60]
  • superfluous-file-pattern src/kernel_services/analysis/dataflow.mli [debian/copyright:60]
  • superfluous-file-pattern src/plugins/e-acsl/share/e-acsl/e_acsl_printf.h [debian/copyright:25]
  • superfluous-file-pattern src/plugins/wp/why3_xml.mli [debian/copyright:29]
  • superfluous-file-pattern src/plugins/wp/why3_xml.mll [debian/copyright:29]
  • superfluous-file-pattern tests/bugs/evoting.c [debian/copyright:143]
  • superfluous-file-pattern tests/minix/* [debian/copyright:123]
• frama-c-base_20201209+titanium-4.1+b2_amd64.deb (main)
  • ocaml-dangling-cmx [usr/lib/frama-c/plugins/top/Aorai.cmx]
  • ocaml-dangling-cmx [usr/lib/frama-c/plugins/top/Callgraph.cmx]
  • ocaml-dangling-cmx [usr/lib/frama-c/plugins/top/Constant_Propagation.cmx]
  • ocaml-dangling-cmx [usr/lib/frama-c/plugins/top/Dive.cmx]
  • ocaml-dangling-cmx [usr/lib/frama-c/plugins/top/E_ACSL.cmx]
  • ocaml-dangling-cmx [usr/lib/frama-c/plugins/top/Eva.cmx]
  • ocaml-dangling-cmx [usr/lib/frama-c/plugins/top/From.cmx]
  • ocaml-dangling-cmx [usr/lib/frama-c/plugins/top/Impact.cmx]
  • ocaml-dangling-cmx [usr/lib/frama-c/plugins/top/Inout.cmx]
  • ocaml-dangling-cmx [usr/lib/frama-c/plugins/top/Instantiate.cmx]
  • ocaml-dangling-cmx [usr/lib/frama-c/plugins/top/LoopAnalysis.cmx]
  • ocaml-dangling-cmx [usr/lib/frama-c/plugins/top/Metrics.cmx]
  • ocaml-dangling-cmx [usr/lib/frama-c/plugins/top/Nonterm.cmx]
  • ocaml-dangling-cmx [usr/lib/frama-c/plugins/top/Obfuscator.cmx]
  • ocaml-dangling-cmx [usr/lib/frama-c/plugins/top/Occurrence.cmx]
  • ocaml-dangling-cmx [usr/lib/frama-c/plugins/top/Pdg.cmx]
  • ocaml-dangling-cmx [usr/lib/frama-c/plugins/top/Postdominators.cmx]
  • ocaml-dangling-cmx [usr/lib/frama-c/plugins/top/Print_api.cmx]
  • ocaml-dangling-cmx [usr/lib/frama-c/plugins/top/Qed.cmx]
  • ocaml-dangling-cmx [usr/lib/frama-c/plugins/top/Report.cmx]
  • ocaml-dangling-cmx [usr/lib/frama-c/plugins/top/RteGen.cmx]
  • ocaml-dangling-cmx [usr/lib/frama-c/plugins/top/Scope.cmx]
  • ocaml-dangling-cmx [usr/lib/frama-c/plugins/top/Security_slicing.cmx]
  • ocaml-dangling-cmx [usr/lib/frama-c/plugins/top/Server.cmx]
  • ocaml-dangling-cmx [usr/lib/frama-c/plugins/top/Slicing.cmx]
  • ocaml-dangling-cmx [usr/lib/frama-c/plugins/top/Sparecode.cmx]
  • ocaml-dangling-cmx [usr/lib/frama-c/plugins/top/Studia.cmx]
  • ocaml-dangling-cmx [usr/lib/frama-c/plugins/top/Users.cmx]
  • ocaml-dangling-cmx [usr/lib/frama-c/plugins/top/Variadic.cmx]
  • ocaml-dangling-cmx [usr/lib/frama-c/plugins/top/Wp.cmx]
  • no-manual-page [usr/bin/frama-c-config]
  • no-manual-page [usr/bin/frama-c-script]
  • shared-library-lacks-prerequisites [usr/lib/frama-c/plugins/gui/Eva.cmxs]
  • shared-library-lacks-prerequisites [usr/lib/frama-c/plugins/gui/From.cmxs]
  • shared-library-lacks-prerequisites [usr/lib/frama-c/plugins/gui/Impact.cmxs]
  • shared-library-lacks-prerequisites [usr/lib/frama-c/plugins/gui/Metrics.cmxs]
  • shared-library-lacks-prerequisites [usr/lib/frama-c/plugins/gui/Occurrence.cmxs]
  • shared-library-lacks-prerequisites [usr/lib/frama-c/plugins/gui/Qed.cmxs]
  • shared-library-lacks-prerequisites [usr/lib/frama-c/plugins/gui/Scope.cmxs]
  • shared-library-lacks-prerequisites [usr/lib/frama-c/plugins/gui/Security_slicing.cmxs]
  • shared-library-lacks-prerequisites [usr/lib/frama-c/plugins/gui/Slicing.cmxs]
  • shared-library-lacks-prerequisites [usr/lib/frama-c/plugins/gui/Studia.cmxs]
  • shared-library-lacks-prerequisites [usr/lib/frama-c/plugins/gui/Wp.cmxs]
  • shared-library-lacks-prerequisites [usr/lib/frama-c/plugins/top/Aorai.cmxs]
  • shared-library-lacks-prerequisites [usr/lib/frama-c/plugins/top/Callgraph.cmxs]
  • shared-library-lacks-prerequisites [usr/lib/frama-c/plugins/top/Constant_Propagation.cmxs]
  • shared-library-lacks-prerequisites [usr/lib/frama-c/plugins/top/Dive.cmxs]
  • shared-library-lacks-prerequisites [usr/lib/frama-c/plugins/top/E_ACSL.cmxs]
  • shared-library-lacks-prerequisites [usr/lib/frama-c/plugins/top/Eva.cmxs]
  • shared-library-lacks-prerequisites [usr/lib/frama-c/plugins/top/From.cmxs]
  • shared-library-lacks-prerequisites [usr/lib/frama-c/plugins/top/Impact.cmxs]
  • shared-library-lacks-prerequisites [usr/lib/frama-c/plugins/top/Inout.cmxs]
  • shared-library-lacks-prerequisites [usr/lib/frama-c/plugins/top/Instantiate.cmxs]
  • shared-library-lacks-prerequisites [usr/lib/frama-c/plugins/top/LoopAnalysis.cmxs]
  • shared-library-lacks-prerequisites [usr/lib/frama-c/plugins/top/Metrics.cmxs]
  • shared-library-lacks-prerequisites [usr/lib/frama-c/plugins/top/Nonterm.cmxs]
  • shared-library-lacks-prerequisites [usr/lib/frama-c/plugins/top/Obfuscator.cmxs]
  • shared-library-lacks-prerequisites [usr/lib/frama-c/plugins/top/Occurrence.cmxs]
  • shared-library-lacks-prerequisites [usr/lib/frama-c/plugins/top/Pdg.cmxs]
  • shared-library-lacks-prerequisites [usr/lib/frama-c/plugins/top/Postdominators.cmxs]
  • shared-library-lacks-prerequisites [usr/lib/frama-c/plugins/top/Print_api.cmxs]
  • shared-library-lacks-prerequisites [usr/lib/frama-c/plugins/top/Qed.cmxs]
  • shared-library-lacks-prerequisites [usr/lib/frama-c/plugins/top/Report.cmxs]
  • shared-library-lacks-prerequisites [usr/lib/frama-c/plugins/top/RteGen.cmxs]
  • shared-library-lacks-prerequisites [usr/lib/frama-c/plugins/top/Scope.cmxs]
  • shared-library-lacks-prerequisites [usr/lib/frama-c/plugins/top/Security_slicing.cmxs]
  • shared-library-lacks-prerequisites [usr/lib/frama-c/plugins/top/Server.cmxs]
  • shared-library-lacks-prerequisites [usr/lib/frama-c/plugins/top/Slicing.cmxs]
  • shared-library-lacks-prerequisites [usr/lib/frama-c/plugins/top/Sparecode.cmxs]
  • shared-library-lacks-prerequisites [usr/lib/frama-c/plugins/top/Studia.cmxs]
  • shared-library-lacks-prerequisites [usr/lib/frama-c/plugins/top/Users.cmxs]
  • shared-library-lacks-prerequisites [usr/lib/frama-c/plugins/top/Variadic.cmxs]
  • shared-library-lacks-prerequisites [usr/lib/frama-c/plugins/top/Wp.cmxs]
• hevea 2.35-1
• hevea_2.35-1_amd64.deb (main)
  • national-encoding [usr/share/doc/hevea/examples/upstream/a.tex]
  • national-encoding [usr/share/doc/hevea/examples/upstream/env.tex]
  • national-encoding [usr/share/doc/hevea/examples/upstream/lis.tex]
  • national-encoding [usr/share/doc/hevea/examples/upstream/mathpartir-test.tex]
  • national-encoding [usr/share/doc/hevea/examples/upstream/pat.def]
  • national-encoding [usr/share/doc/hevea/examples/upstream/suite.tex]
  • national-encoding [usr/share/doc/hevea/examples/upstream/sym-test.tex]
  • national-encoding [usr/share/doc/hevea/examples/upstream/verbs.tex]
  • national-encoding [usr/share/hevea/html/symb-fra.hva]
• hevea-doc 2.35-1
• hevea-doc_2.35-1.dsc (non-free)
  • source-is-missing [manual006.html]
  • source-is-missing [manual.html]
  • source-is-missing [manual-packages.html]
  • source-is-missing [thaihevea.html]
• hlins 0.39-28
• hlins_0.39-28.dsc (main)
  • national-encoding [debian/tests/expected-output]
• hlins_0.39-28_all.deb (main)
  • national-encoding [usr/share/doc/hlins/examples/hlins-documentation/hlins-doc-nolinks.html]
  • national-encoding [usr/share/doc/hlins/examples/hlins-documentation/hlins-doc.tex]
  • national-encoding [usr/share/doc/hlins/examples/test-examples/directors.db]
  • national-encoding [usr/share/doc/hlins/examples/test-examples/test1.in]
  • national-encoding [usr/share/doc/hlins/hlins-doc.adr]
  • national-encoding [usr/share/doc/hlins/hlins-doc.html]
• lablgl 1:1.06-1
• lablgl_1.06-1.dsc (main)
  • empty-short-license-in-dep5-copyright [debian/copyright:52]
  • empty-short-license-in-dep5-copyright [debian/copyright:84]
  • superfluous-file-pattern Togl/src/Togl/tkInt4.0.h [debian/copyright:76]
  • superfluous-file-pattern Togl/src/Togl/tkInt4.1.h [debian/copyright:76]
  • superfluous-file-pattern Togl/src/Togl/tkInt8.1.h [debian/copyright:76]
  • superfluous-file-pattern Togl/src/Togl/WinMain2.c [debian/copyright:76]
• lablgtk2 2.18.11-1
• lablgtk2_2.18.11-1.dsc (main)
  • source-is-missing [src/introspection/xml-light/doc/Dtd.html]
  • source-is-missing [src/introspection/xml-light/doc/type_Xml.html]
• liblablgtk2-gl-ocaml_2.18.11-1+b3_amd64.deb (main)
  • library-not-linked-against-libc [usr/lib/ocaml/lablgtk2/lablgtkgl.cmxs]
  • library-not-linked-against-libc [usr/lib/ocaml/stublibs/dlllablgtkgl2.so]
• liblablgtk2-gnome-ocaml_2.18.11-1+b3_amd64.deb (main)
  • library-not-linked-against-libc [usr/lib/ocaml/lablgtk2/lablrsvg.cmxs]
  • library-not-linked-against-libc [usr/lib/ocaml/stublibs/dlllablrsvg.so]
• liblablgtk2-ocaml_2.18.11-1+b3_amd64.deb (main)
  • library-not-linked-against-libc [usr/lib/ocaml/lablgtk2/lablgtkspell.cmxs]
  • library-not-linked-against-libc [usr/lib/ocaml/stublibs/dlllablgtkspell.so]
• liblablgtk2-ocaml-dev_2.18.11-1+b3_amd64.deb (main)
  • no-manual-page [usr/bin/gdk_pixbuf_mlsource]
  • no-manual-page [usr/bin/lablgtk2]
• lablgtk3 3.1.1+official-1
• lablgtk3_3.1.1+official-1.dsc (main)
  • source-is-missing [tools/introspection/xml-light/doc/Dtd.html]
  • source-is-missing [tools/introspection/xml-light/doc/type_Xml.html]
• liblablgtkspell3-ocaml_3.1.1+official-1+b2_amd64.deb (main)
  • library-not-linked-against-libc [usr/lib/ocaml/lablgtk3-gtkspell3/lablgtk3_gtkspell3.cmxs]
  • library-not-linked-against-libc [usr/lib/ocaml/stublibs/dlllablgtk3_gtkspell3_stubs.so]
• lbt 1.2.2-7
• lbt_1.2.2-7_amd64.deb (main)
  • national-encoding [usr/share/doc/lbt/index.html]
• maria 1.3.5-4.1
• maria_1.3.5-4.1.dsc (main)
  • build-depends-on-obsolete-package Build-Depends-Indep: texi2html
  • debian-rules-sets-dpkg-architecture-variable DEB_HOST_ARCH [debian/rules:7]
  • incorrect-packaging-filename better: debian/NEWS [debian/NEWS.Debian]
  • obsolete-debian-watch-file-standard 2 [debian/watch]
  • package-uses-deprecated-debhelper-compat-version 7
  • vcs-obsolete-in-debian-infrastructure Browser http://git.debian.org/?p=debian-science/packages/maria.git
  • vcs-obsolete-in-debian-infrastructure Git git://git.debian.org/git/debian-science/packages/maria.git
• maria_1.3.5-4.1+b2_amd64.deb (main)
  • emacsen-common-without-dh-elpa
  • national-encoding [usr/share/doc/maria/examples/dbm.pn]
  • national-encoding [usr/share/doc/maria/examples/queens.pn]
  • national-encoding [usr/share/emacs/site-lisp/maria/pn-mode.el]
  • national-encoding [usr/share/emacs/site-lisp/maria/sdl-mode.el]
  • national-encoding [usr/share/maria/runtime/bushfcn.h]
  • national-encoding [usr/share/maria/runtime/bush.h]
  • national-encoding [usr/share/maria/runtime/bushpriv.h]
  • national-encoding [usr/share/maria/runtime/codecfcn.h]
  • national-encoding [usr/share/maria/runtime/codec.h]
  • national-encoding [usr/share/maria/runtime/Error.h]
  • national-encoding [usr/share/maria/runtime/event.h]
  • national-encoding [usr/share/maria/runtime/eventpriv.h]
  • national-encoding [usr/share/maria/runtime/statefcn.h]
  • national-encoding [usr/share/maria/runtime/token.h]
  • national-encoding [usr/share/maria/runtime/types.h]
  • priority-extra-is-replaced-by-priority-optional
• maria-doc_1.3.5-4.1_all.deb (main)
  • priority-extra-is-replaced-by-priority-optional
• menhir 20210929-1
• menhir_20210929-1.dsc (main)
  • source-is-missing [doc/manual.html]
• libmenhir-ocaml-dev_20210929-1_amd64.deb (main)
  • shared-library-lacks-prerequisites [usr/lib/ocaml/menhirLib/menhirLib.cmxs]
  • shared-library-lacks-prerequisites [usr/lib/ocaml/menhirSdk/menhirSdk.cmxs]
• minisat+ 1.0-4
• minisat+_1.0-4.dsc (main)
  • vcs-obsolete-in-debian-infrastructure Browser https://anonscm.debian.org/cgit/debian-science/packages/minisat+.git
  • vcs-obsolete-in-debian-infrastructure Git https://anonscm.debian.org/git/debian-science/packages/minisat+.git
• minisat+_1.0-4_amd64.deb (main)
  • priority-extra-is-replaced-by-priority-optional
• mlgmp 20021123-21
• libgmp-ocaml_20021123-21+b2_amd64.deb (main)
  • national-encoding [usr/share/doc/libgmp-ocaml/README]
• mona 1.4-18-1
• mona_1.4-18-1_amd64.deb (main)
  • emacsen-common-without-dh-elpa
  • link-to-shared-library-in-wrong-package usr/lib/x86_64-linux-gnu/libmonabdd.so.1.0.4 [usr/lib/x86_64-linux-gnu/libmonabdd.so]
  • link-to-shared-library-in-wrong-package usr/lib/x86_64-linux-gnu/libmonadfa.so.1.0.4 [usr/lib/x86_64-linux-gnu/libmonadfa.so]
  • link-to-shared-library-in-wrong-package usr/lib/x86_64-linux-gnu/libmonagta.so.1.0.4 [usr/lib/x86_64-linux-gnu/libmonagta.so]
  • link-to-shared-library-in-wrong-package usr/lib/x86_64-linux-gnu/libmonamem.so.1.0.4 [usr/lib/x86_64-linux-gnu/libmonamem.so]
  • mismatched-override non-dev-pkg-with-shlib-symlink usr/lib/x86_64-linux-gnu/libmonabdd.so.1.0.4 usr/lib/x86_64-linux-gnu/libmonabdd.so [usr/share/lintian/overrides/mona:4]
  • mismatched-override non-dev-pkg-with-shlib-symlink usr/lib/x86_64-linux-gnu/libmonadfa.so.1.0.4 usr/lib/x86_64-linux-gnu/libmonadfa.so [usr/share/lintian/overrides/mona:1]
  • mismatched-override non-dev-pkg-with-shlib-symlink usr/lib/x86_64-linux-gnu/libmonagta.so.1.0.4 usr/lib/x86_64-linux-gnu/libmonagta.so [usr/share/lintian/overrides/mona:3]
  • mismatched-override non-dev-pkg-with-shlib-symlink usr/lib/x86_64-linux-gnu/libmonamem.so.1.0.4 usr/lib/x86_64-linux-gnu/libmonamem.so [usr/share/lintian/overrides/mona:2]
  • no-manual-page [usr/bin/dfa2dot]
  • no-manual-page [usr/bin/gta2dot]
  • package-name-defined-in-config-h usr/include/mona/config.h
• morbig 0.10.4-5
• libmorbig-ocaml-dev_0.10.4-5+b3_amd64.deb (main)
  • shared-library-lacks-prerequisites [usr/lib/ocaml/morbig/morbig.cmxs]
• morsmall 0.3.0-4
• libmorsmall-ocaml-dev_0.3.0-4+b2_amd64.deb (main)
  • shared-library-lacks-prerequisites [usr/lib/ocaml/morsmall/morsmall.cmxs]
  • shared-library-lacks-prerequisites [usr/lib/ocaml/morsmall/utilities/morsmall_utilities.cmxs]
• ocaml 4.13.1-3
• ocaml_4.13.1-3_amd64.deb (main)
  • ocaml-dangling-cmx [usr/lib/ocaml/ocamldoc/odoc_args.cmx]
  • ocaml-dangling-cmx [usr/lib/ocaml/ocamldoc/odoc.cmx]
  • ocaml-dangling-cmx [usr/lib/ocaml/ocamldoc/odoc_dag2html.cmx]
  • ocaml-dangling-cmx [usr/lib/ocaml/ocamldoc/odoc_dot.cmx]
  • ocaml-dangling-cmx [usr/lib/ocaml/ocamldoc/odoc_gen.cmx]
  • ocaml-dangling-cmx [usr/lib/ocaml/ocamldoc/odoc_html.cmx]
  • ocaml-dangling-cmx [usr/lib/ocaml/ocamldoc/odoc_latex.cmx]
  • ocaml-dangling-cmx [usr/lib/ocaml/ocamldoc/odoc_latex_style.cmx]
  • ocaml-dangling-cmx [usr/lib/ocaml/ocamldoc/odoc_man.cmx]
  • ocaml-dangling-cmx [usr/lib/ocaml/ocamldoc/odoc_ocamlhtml.cmx]
  • ocaml-dangling-cmx [usr/lib/ocaml/ocamldoc/odoc_texi.cmx]
  • ocaml-dangling-cmx [usr/lib/ocaml/ocamldoc/odoc_to_text.cmx]
  • mismatched-override no-manual-page usr/bin/ocaml*.byte [usr/share/lintian/overrides/ocaml:6]
  • mismatched-override no-manual-page usr/bin/ocaml*.opt [usr/share/lintian/overrides/ocaml:7]
  • mismatched-override ocaml-dangling-cmx usr/lib/ocaml/ocamldoc/odoc*.cmx [usr/share/lintian/overrides/ocaml:8]
  • mismatched-override script-not-executable usr/lib/ocaml/camlheader [usr/share/lintian/overrides/ocaml:1]
  • mismatched-override script-not-executable usr/lib/ocaml/target_camlheaderd [usr/share/lintian/overrides/ocaml:2]
  • mismatched-override script-not-executable usr/lib/ocaml/target_camlheaderi [usr/share/lintian/overrides/ocaml:3]
  • mismatched-override unusual-interpreter usr/lib/ocaml/target_camlheaderd #!/usr/bin/ocamlrund [usr/share/lintian/overrides/ocaml:4]
  • mismatched-override unusual-interpreter usr/lib/ocaml/target_camlheaderi #!/usr/bin/ocamlruni [usr/share/lintian/overrides/ocaml:5]
  • no-manual-page [usr/bin/ocamlc.byte]
  • no-manual-page [usr/bin/ocamlcmt]
  • no-manual-page [usr/bin/ocamlc.opt]
  • no-manual-page [usr/bin/ocamlcp.byte]
  • no-manual-page [usr/bin/ocamlcp.opt]
  • no-manual-page [usr/bin/ocamldep.byte]
  • no-manual-page [usr/bin/ocamldep.opt]
  • no-manual-page [usr/bin/ocamldoc.opt]
  • no-manual-page [usr/bin/ocamllex.byte]
  • no-manual-page [usr/bin/ocamllex.opt]
  • no-manual-page [usr/bin/ocamlmklib.byte]
  • no-manual-page [usr/bin/ocamlmklib.opt]
  • no-manual-page [usr/bin/ocamlmktop.byte]
  • no-manual-page [usr/bin/ocamlmktop.opt]
  • no-manual-page [usr/bin/ocamlobjinfo.byte]
  • no-manual-page [usr/bin/ocamlobjinfo.opt]
  • no-manual-page [usr/bin/ocamlopt.byte]
  • no-manual-page [usr/bin/ocamlopt.opt]
  • no-manual-page [usr/bin/ocamloptp.byte]
  • no-manual-page [usr/bin/ocamloptp.opt]
  • no-manual-page [usr/bin/ocamlprof.byte]
  • no-manual-page [usr/bin/ocamlprof.opt]
  • script-not-executable [usr/lib/ocaml/camlheader]
  • script-not-executable [usr/lib/ocaml/camlheaderd]
  • script-not-executable [usr/lib/ocaml/camlheaderi]
  • unusual-interpreter /usr/bin/ocamlrund [usr/lib/ocaml/camlheaderd]
  • unusual-interpreter /usr/bin/ocamlruni [usr/lib/ocaml/camlheaderi]
• ocaml-base_4.13.1-3_amd64.deb (main)
  • mismatched-override no-manual-page usr/bin/ocamlrund [usr/share/lintian/overrides/ocaml-base:1]
  • mismatched-override no-manual-page usr/bin/ocamlruni [usr/share/lintian/overrides/ocaml-base:2]
  • no-manual-page [usr/bin/ocamlrund]
  • no-manual-page [usr/bin/ocamlruni]
  • shared-library-lacks-prerequisites [usr/lib/ocaml/bigarray.cmxs]
• ocaml-man_4.13.1-3_all.deb (main)
  • groff-message 757: warning: macro 'EE,' not defined (possibly missing space after 'EE') [usr/share/man/man3/Stdlib.Format.3o.gz:1]
  • groff-message 848: warning: macro 'EE,' not defined (possibly missing space after 'EE') [usr/share/man/man3/Format.3o.gz:1]
• ocaml-doc 4.11-2
• ocaml-doc_4.11-2.dsc (non-free)
  • source-is-missing [ocaml.html/attributes.html]
  • source-is-missing [ocaml.html/bigarray.html]
  • source-is-missing [ocaml.html/bindingops.html]
  • source-is-missing [ocaml.html/classes.html]
  • source-is-missing [ocaml.html/compilerlibref/Arg_helper.html]
  • source-is-missing [ocaml.html/compilerlibref/Arg_helper.Make.html]
  • source-is-missing [ocaml.html/compilerlibref/Ast_helper.Cf.html]
  • source-is-missing [ocaml.html/compilerlibref/Ast_helper.Ci.html]
  • source-is-missing [ocaml.html/compilerlibref/Ast_helper.Cl.html]
  • source-is-missing [ocaml.html/compilerlibref/Ast_helper.Ctf.html]
  • source-is-missing [ocaml.html/compilerlibref/Ast_helper.Cty.html]
  • source-is-missing [ocaml.html/compilerlibref/Ast_helper.Exp.html]
  • source-is-missing [ocaml.html/compilerlibref/Ast_helper.Mb.html]
  • source-is-missing [ocaml.html/compilerlibref/Ast_helper.Md.html]
  • source-is-missing [ocaml.html/compilerlibref/Ast_helper.Ms.html]
  • source-is-missing [ocaml.html/compilerlibref/Ast_helper.Mtd.html]
  • source-is-missing [ocaml.html/compilerlibref/Ast_helper.Pat.html]
  • source-is-missing [ocaml.html/compilerlibref/Ast_helper.Rf.html]
  • source-is-missing [ocaml.html/compilerlibref/Ast_helper.Te.html]
  • source-is-missing [ocaml.html/compilerlibref/Ast_helper.Type.html]
  • source-is-missing [ocaml.html/compilerlibref/Ast_helper.Typ.html]
  • source-is-missing [ocaml.html/compilerlibref/Ast_helper.Val.html]
  • source-is-missing [ocaml.html/compilerlibref/Ast_helper.Vb.html]
  • source-is-missing [ocaml.html/compilerlibref/CamlinternalMenhirLib.Engine.html]
  • source-is-missing [ocaml.html/compilerlibref/CamlinternalMenhirLib.Engine.Make.html]
  • source-is-missing [ocaml.html/compilerlibref/CamlinternalMenhirLib.EngineTypes.TABLE.html]
  • source-is-missing [ocaml.html/compilerlibref/CamlinternalMenhirLib.IncrementalEngine.INCREMENTAL_ENGINE.html]
  • source-is-missing [ocaml.html/compilerlibref/CamlinternalMenhirLib.IncrementalEngine.INSPECTION.html]
  • source-is-missing [ocaml.html/compilerlibref/CamlinternalMenhirLib.InspectionTableInterpreter.html]
  • source-is-missing [ocaml.html/compilerlibref/CamlinternalMenhirLib.InspectionTableInterpreter.Make.html]
  • source-is-missing [ocaml.html/compilerlibref/CamlinternalMenhirLib.Printers.html]
  • source-is-missing [ocaml.html/compilerlibref/CamlinternalMenhirLib.Printers.Make.html]
  • source-is-missing [ocaml.html/compilerlibref/CamlinternalMenhirLib.TableInterpreter.html]
  • source-is-missing [ocaml.html/compilerlibref/CamlinternalMenhirLib.TableInterpreter.MakeEngineTable.html]
  • source-is-missing [ocaml.html/compilerlibref/Consistbl.html]
  • source-is-missing [ocaml.html/compilerlibref/Consistbl.Make.html]
  • source-is-missing [ocaml.html/compilerlibref/Identifiable.html]
  • source-is-missing [ocaml.html/compilerlibref/Identifiable.Make.html]
  • source-is-missing [ocaml.html/compilerlibref/Identifiable.Pair.html]
  • source-is-missing [ocaml.html/compilerlibref/Strongly_connected_components.html]
  • source-is-missing [ocaml.html/compilerlibref/Strongly_connected_components.Make.html]
  • source-is-missing [ocaml.html/compilerlibref/type_Arg_helper.html]
  • source-is-missing [ocaml.html/compilerlibref/type_Arg_helper.Make.html]
  • source-is-missing [ocaml.html/compilerlibref/type_CamlinternalMenhirLib.General.html]
  • source-is-missing [ocaml.html/compilerlibref/type_CamlinternalMenhirLib.html]
  • source-is-missing [ocaml.html/compilerlibref/type_CamlinternalMenhirLib.IncrementalEngine.html]
  • source-is-missing [ocaml.html/compilerlibref/type_CamlinternalMenhirLib.RowDisplacement.html]
  • source-is-missing [ocaml.html/compilerlibref/type_CamlinternalMenhirLib.TableInterpreter.MakeEngineTable.html]
  • source-is-missing [ocaml.html/compilerlibref/type_Consistbl.html]
  • source-is-missing [ocaml.html/compilerlibref/type_Consistbl.Make.html]
  • source-is-missing [ocaml.html/compilerlibref/type_Identifiable.html]
  • source-is-missing [ocaml.html/compilerlibref/type_Identifiable.Make.html]
  • source-is-missing [ocaml.html/compilerlibref/type_Identifiable.Map.html]
  • source-is-missing [ocaml.html/compilerlibref/type_Identifiable.S.html]
  • source-is-missing [ocaml.html/compilerlibref/type_Identifiable.S.Map.html]
  • source-is-missing [ocaml.html/compilerlibref/type_Identifiable.S.Tbl.html]
  • source-is-missing [ocaml.html/compilerlibref/type_Identifiable.Tbl.html]
  • source-is-missing [ocaml.html/compilerlibref/type_Misc.Color.html]
  • source-is-missing [ocaml.html/compilerlibref/type_Misc.html]
  • source-is-missing [ocaml.html/compilerlibref/type_Misc.Stdlib.html]
  • source-is-missing [ocaml.html/compilerlibref/type_Misc.Stdlib.List.html]
  • source-is-missing [ocaml.html/compilerlibref/type_Misc.Stdlib.String.html]
  • source-is-missing [ocaml.html/compilerlibref/type_Misc.Stdlib.String.Map.html]
  • source-is-missing [ocaml.html/compilerlibref/type_Misc.Stdlib.String.Tbl.html]
  • source-is-missing [ocaml.html/compilerlibref/type_Numbers.Float.html]
  • source-is-missing [ocaml.html/compilerlibref/type_Numbers.html]
  • source-is-missing [ocaml.html/compilerlibref/type_Numbers.Int.html]
  • source-is-missing [ocaml.html/compilerlibref/type_Profile.html]
  • source-is-missing [ocaml.html/expr.html]
  • source-is-missing [ocaml.html/firstclassmodules.html]
  • source-is-missing [ocaml.html/generativefunctors.html]
  • source-is-missing [ocaml.html/indexops.html]
  • source-is-missing [ocaml.html/letrecvalues.html]
  • source-is-missing [ocaml.html/lexyacc.html]
  • source-is-missing [ocaml.html/libref/Arg.html]
  • source-is-missing [ocaml.html/libref/CamlinternalFormatBasics.html]
  • source-is-missing [ocaml.html/libref/CamlinternalFormat.html]
  • source-is-missing [ocaml.html/libref/CamlinternalOO.html]
  • source-is-missing [ocaml.html/libref/Ephemeron.K1.html]
  • source-is-missing [ocaml.html/libref/Ephemeron.K1.Make.html]
  • source-is-missing [ocaml.html/libref/Ephemeron.K1.MakeSeeded.html]
  • source-is-missing [ocaml.html/libref/Ephemeron.K2.html]
  • source-is-missing [ocaml.html/libref/Ephemeron.K2.Make.html]
  • source-is-missing [ocaml.html/libref/Ephemeron.K2.MakeSeeded.html]
  • source-is-missing [ocaml.html/libref/Ephemeron.Kn.html]
  • source-is-missing [ocaml.html/libref/Ephemeron.Kn.Make.html]
  • source-is-missing [ocaml.html/libref/Ephemeron.Kn.MakeSeeded.html]
  • source-is-missing [ocaml.html/libref/Hashtbl.html]
  • source-is-missing [ocaml.html/libref/Hashtbl.Make.html]
  • source-is-missing [ocaml.html/libref/Hashtbl.MakeSeeded.html]
  • source-is-missing [ocaml.html/libref/index_values.html]
  • source-is-missing [ocaml.html/libref/Map.html]
  • source-is-missing [ocaml.html/libref/Map.Make.html]
  • source-is-missing [ocaml.html/libref/MoreLabels.Hashtbl.html]
  • source-is-missing [ocaml.html/libref/MoreLabels.Hashtbl.Make.html]
  • source-is-missing [ocaml.html/libref/MoreLabels.Hashtbl.MakeSeeded.html]
  • source-is-missing [ocaml.html/libref/MoreLabels.Map.html]
  • source-is-missing [ocaml.html/libref/MoreLabels.Set.html]
  • source-is-missing [ocaml.html/libref/Set.html]
  • source-is-missing [ocaml.html/libref/Set.Make.html]
  • source-is-missing [ocaml.html/libref/Stdlib.Arg.html]
  • source-is-missing [ocaml.html/libref/Stdlib.Hashtbl.html]
  • source-is-missing [ocaml.html/libref/Stdlib.Map.html]
  • source-is-missing [ocaml.html/libref/Stdlib.Set.html]
  • source-is-missing [ocaml.html/libref/Stdlib.Weak.html]
  • source-is-missing [ocaml.html/libref/Sys.Immediate64.html]
  • source-is-missing [ocaml.html/libref/Sys.Immediate64.Make.html]
  • source-is-missing [ocaml.html/libref/Thread.html]
  • source-is-missing [ocaml.html/libref/ThreadUnix.html]
  • source-is-missing [ocaml.html/libref/type_Array.html]
  • source-is-missing [ocaml.html/libref/type_ArrayLabels.html]
  • source-is-missing [ocaml.html/libref/type_Bigarray.Array0.html]
  • source-is-missing [ocaml.html/libref/type_Bigarray.Array1.html]
  • source-is-missing [ocaml.html/libref/type_Bigarray.Array2.html]
  • source-is-missing [ocaml.html/libref/type_Bigarray.Array3.html]
  • source-is-missing [ocaml.html/libref/type_Bigarray.html]
  • source-is-missing [ocaml.html/libref/type_CamlinternalFormatBasics.html]
  • source-is-missing [ocaml.html/libref/type_CamlinternalFormat.html]
  • source-is-missing [ocaml.html/libref/type_Ephemeron.GenHashTable.html]
  • source-is-missing [ocaml.html/libref/type_Ephemeron.GenHashTable.MakeSeeded.html]
  • source-is-missing [ocaml.html/libref/type_Ephemeron.html]
  • source-is-missing [ocaml.html/libref/type_Ephemeron.K1.html]
  • source-is-missing [ocaml.html/libref/type_Ephemeron.K1.Make.html]
  • source-is-missing [ocaml.html/libref/type_Ephemeron.K1.MakeSeeded.html]
  • source-is-missing [ocaml.html/libref/type_Ephemeron.K2.html]
  • source-is-missing [ocaml.html/libref/type_Ephemeron.K2.Make.html]
  • source-is-missing [ocaml.html/libref/type_Ephemeron.K2.MakeSeeded.html]
  • source-is-missing [ocaml.html/libref/type_Ephemeron.Kn.html]
  • source-is-missing [ocaml.html/libref/type_Ephemeron.Kn.Make.html]
  • source-is-missing [ocaml.html/libref/type_Ephemeron.Kn.MakeSeeded.html]
  • source-is-missing [ocaml.html/libref/type_Ephemeron.SeededS.html]
  • source-is-missing [ocaml.html/libref/type_Ephemeron.S.html]
  • source-is-missing [ocaml.html/libref/type_Float.Array.html]
  • source-is-missing [ocaml.html/libref/type_Float.ArrayLabels.html]
  • source-is-missing [ocaml.html/libref/type_Float.html]
  • source-is-missing [ocaml.html/libref/type_Fun.html]
  • source-is-missing [ocaml.html/libref/type_Hashtbl.html]
  • source-is-missing [ocaml.html/libref/type_Hashtbl.Make.html]
  • source-is-missing [ocaml.html/libref/type_Hashtbl.MakeSeeded.html]
  • source-is-missing [ocaml.html/libref/type_Hashtbl.SeededS.html]
  • source-is-missing [ocaml.html/libref/type_Hashtbl.S.html]
  • source-is-missing [ocaml.html/libref/type_List.html]
  • source-is-missing [ocaml.html/libref/type_ListLabels.html]
  • source-is-missing [ocaml.html/libref/type_Map.html]
  • source-is-missing [ocaml.html/libref/type_Map.Make.html]
  • source-is-missing [ocaml.html/libref/type_Map.S.html]
  • source-is-missing [ocaml.html/libref/type_MoreLabels.Hashtbl.html]
  • source-is-missing [ocaml.html/libref/type_MoreLabels.Hashtbl.Make.html]
  • source-is-missing [ocaml.html/libref/type_MoreLabels.Hashtbl.MakeSeeded.html]
  • source-is-missing [ocaml.html/libref/type_MoreLabels.html]
  • source-is-missing [ocaml.html/libref/type_MoreLabels.Map.html]
  • source-is-missing [ocaml.html/libref/type_MoreLabels.Map.Make.html]
  • source-is-missing [ocaml.html/libref/type_MoreLabels.Map.S.html]
  • source-is-missing [ocaml.html/libref/type_MoreLabels.Set.S.html]
  • source-is-missing [ocaml.html/libref/type_Printf.html]
  • source-is-missing [ocaml.html/libref/type_Queue.html]
  • source-is-missing [ocaml.html/libref/type_Result.html]
  • source-is-missing [ocaml.html/libref/type_Scanf.html]
  • source-is-missing [ocaml.html/libref/type_Seq.html]
  • source-is-missing [ocaml.html/libref/type_Set.html]
  • source-is-missing [ocaml.html/libref/type_Set.S.html]
  • source-is-missing [ocaml.html/libref/type_Stack.html]
  • source-is-missing [ocaml.html/libref/type_Stdlib.html]
  • source-is-missing [ocaml.html/libref/type_Unix.html]
  • source-is-missing [ocaml.html/libref/type_Weak.html]
  • source-is-missing [ocaml.html/libref/type_Weak.S.html]
  • source-is-missing [ocaml.html/libref/UnixLabels.html]
  • source-is-missing [ocaml.html/libref/Weak.html]
  • source-is-missing [ocaml.html/libref/Weak.Make.html]
  • source-is-missing [ocaml.html/locallyabstract.html]
  • source-is-missing [ocaml.html/manual072.html]
  • source-is-missing [ocaml.html/manual.html]
  • source-is-missing [ocaml.html/modtypes.html]
  • source-is-missing [ocaml.html/patterns.html]
  • source-is-missing [ocaml.html/types.html]
• ocaml-doc_4.11-2_all.deb (non-free)
  • info-document-missing-dir-entry [usr/share/info/ocaml.info.haux.gz]
  • info-document-missing-dir-entry [usr/share/info/ocaml.info.hocaml.info.hind.gz]
  • info-document-missing-dir-entry [usr/share/info/ocaml.info.hocaml.info.kwd.hind.gz]
  • info-document-missing-dir-section [usr/share/info/ocaml.info.haux.gz]
  • info-document-missing-dir-section [usr/share/info/ocaml.info.hocaml.info.hind.gz]
  • info-document-missing-dir-section [usr/share/info/ocaml.info.hocaml.info.kwd.hind.gz]
  • info-document-has-wrong-extension [usr/share/info/ocaml.info.body-10.gz]
  • info-document-has-wrong-extension [usr/share/info/ocaml.info.body-11.gz]
  • info-document-has-wrong-extension [usr/share/info/ocaml.info.body-12.gz]
  • info-document-has-wrong-extension [usr/share/info/ocaml.info.body-13.gz]
  • info-document-has-wrong-extension [usr/share/info/ocaml.info.body-14.gz]
  • info-document-has-wrong-extension [usr/share/info/ocaml.info.body-15.gz]
  • info-document-has-wrong-extension [usr/share/info/ocaml.info.body-16.gz]
  • info-document-has-wrong-extension [usr/share/info/ocaml.info.body-17.gz]
  • info-document-has-wrong-extension [usr/share/info/ocaml.info.body-18.gz]
  • info-document-has-wrong-extension [usr/share/info/ocaml.info.body-19.gz]
  • info-document-has-wrong-extension [usr/share/info/ocaml.info.body-1.gz]
  • info-document-has-wrong-extension [usr/share/info/ocaml.info.body-20.gz]
  • info-document-has-wrong-extension [usr/share/info/ocaml.info.body-21.gz]
  • info-document-has-wrong-extension [usr/share/info/ocaml.info.body-22.gz]
  • info-document-has-wrong-extension [usr/share/info/ocaml.info.body-23.gz]
  • info-document-has-wrong-extension [usr/share/info/ocaml.info.body-24.gz]
  • info-document-has-wrong-extension [usr/share/info/ocaml.info.body-25.gz]
  • info-document-has-wrong-extension [usr/share/info/ocaml.info.body-26.gz]
  • info-document-has-wrong-extension [usr/share/info/ocaml.info.body-27.gz]
  • info-document-has-wrong-extension [usr/share/info/ocaml.info.body-28.gz]
  • info-document-has-wrong-extension [usr/share/info/ocaml.info.body-29.gz]
  • info-document-has-wrong-extension [usr/share/info/ocaml.info.body-2.gz]
  • info-document-has-wrong-extension [usr/share/info/ocaml.info.body-30.gz]
  • info-document-has-wrong-extension [usr/share/info/ocaml.info.body-31.gz]
  • info-document-has-wrong-extension [usr/share/info/ocaml.info.body-3.gz]
  • info-document-has-wrong-extension [usr/share/info/ocaml.info.body-4.gz]
  • info-document-has-wrong-extension [usr/share/info/ocaml.info.body-5.gz]
  • info-document-has-wrong-extension [usr/share/info/ocaml.info.body-6.gz]
  • info-document-has-wrong-extension [usr/share/info/ocaml.info.body-7.gz]
  • info-document-has-wrong-extension [usr/share/info/ocaml.info.body-8.gz]
  • info-document-has-wrong-extension [usr/share/info/ocaml.info.body-9.gz]
  • info-document-has-wrong-extension [usr/share/info/ocaml.info.haux.gz]
  • info-document-has-wrong-extension [usr/share/info/ocaml.info.hocaml.info.hind.gz]
  • info-document-has-wrong-extension [usr/share/info/ocaml.info.hocaml.info.kwd.hind.gz]
  • privacy-breach-generic [<img alt="creative commons license" style="border-width:0" src="https://i.creativecommons.org/l/by-sa/4.0/88x31.png">] (https://i.creativecommons.org/l/by-sa/4.0/88x31.png) [usr/share/doc/ocaml-doc/ocaml.html/foreword.html]
  • privacy-breach-generic [<img alt="creative commons license" style="border-width:0" src="https://i.creativecommons.org/l/by-sa/4.0/88x31.png">] (https://i.creativecommons.org/l/by-sa/4.0/88x31.png) [usr/share/doc/ocaml-doc/ocaml.html/manual.html]
• ocaml-fpath 0.7.3-2
• ocaml-fpath_0.7.3-2.dsc (main)
  • no-nmu-in-changelog [debian/changelog:1]
  • source-nmu-has-incorrect-version-number 0.7.3-2 [debian/changelog:1]
• libfpath-ocaml_0.7.3-2+b1_amd64.deb (main)
  • shared-library-lacks-prerequisites [usr/lib/ocaml/fpath/fpath.cmxs]
• libfpath-ocaml-dev_0.7.3-2+b1_amd64.deb (main)
  • shared-library-lacks-prerequisites [usr/lib/ocaml/fpath/fpath_top.cmxs]
• ocaml-gnuplot 0.8.3-4
• ocaml-gnuplot_0.8.3-4.dsc (main)
  • package-uses-deprecated-debhelper-compat-version 7
• libgnuplot-ocaml-dev_0.8.3-4+b2_amd64.deb (main)
  • priority-extra-is-replaced-by-priority-optional
• ocaml-odoc 2.0.2+dfsg-1
• libodoc-ocaml_2.0.2+dfsg-1_amd64.deb (main)
  • ocaml-dangling-cmxs [usr/lib/ocaml/odoc/document/odoc_document.cmxs]
  • ocaml-dangling-cmxs [usr/lib/ocaml/odoc/examples/odoc_examples.cmxs]
  • ocaml-dangling-cmxs [usr/lib/ocaml/odoc/html/odoc_html.cmxs]
  • ocaml-dangling-cmxs [usr/lib/ocaml/odoc/latex/odoc_latex.cmxs]
  • ocaml-dangling-cmxs [usr/lib/ocaml/odoc/loader/odoc_loader.cmxs]
  • ocaml-dangling-cmxs [usr/lib/ocaml/odoc/manpage/odoc_manpage.cmxs]
  • ocaml-dangling-cmxs [usr/lib/ocaml/odoc/model_desc/odoc_model_desc.cmxs]
  • ocaml-dangling-cmxs [usr/lib/ocaml/odoc/model/odoc_model.cmxs]
  • ocaml-dangling-cmxs [usr/lib/ocaml/odoc/odoc/odoc_odoc.cmxs]
  • ocaml-dangling-cmxs [usr/lib/ocaml/odoc/xref2/odoc_xref2.cmxs]
  • shared-library-lacks-prerequisites [usr/lib/ocaml/odoc/document/odoc_document.cmxs]
  • shared-library-lacks-prerequisites [usr/lib/ocaml/odoc/examples/odoc_examples.cmxs]
  • shared-library-lacks-prerequisites [usr/lib/ocaml/odoc/html/odoc_html.cmxs]
  • shared-library-lacks-prerequisites [usr/lib/ocaml/odoc/latex/odoc_latex.cmxs]
  • shared-library-lacks-prerequisites [usr/lib/ocaml/odoc/loader/odoc_loader.cmxs]
  • shared-library-lacks-prerequisites [usr/lib/ocaml/odoc/manpage/odoc_manpage.cmxs]
  • shared-library-lacks-prerequisites [usr/lib/ocaml/odoc/model_desc/odoc_model_desc.cmxs]
  • shared-library-lacks-prerequisites [usr/lib/ocaml/odoc/model/odoc_model.cmxs]
  • shared-library-lacks-prerequisites [usr/lib/ocaml/odoc/odoc/odoc_odoc.cmxs]
  • shared-library-lacks-prerequisites [usr/lib/ocaml/odoc/xref2/odoc_xref2.cmxs]
• ocaml-tools 20120103-7
• ocaml-tools_20120103-7.dsc (main)
  • file-without-copyright-information debian/changelog [debian/copyright]
  • file-without-copyright-information debian/control [debian/copyright]
  • file-without-copyright-information debian/copyright [debian/copyright]
  • file-without-copyright-information debian/dirs [debian/copyright]
  • file-without-copyright-information debian/docs [debian/copyright]
  • file-without-copyright-information debian/gbp.conf [debian/copyright]
  • file-without-copyright-information debian/install [debian/copyright]
  • file-without-copyright-information debian/lintian-overrides [debian/copyright]
  • file-without-copyright-information debian/manpages [debian/copyright]
  • file-without-copyright-information debian/NEWS.Debian [debian/copyright]
  • file-without-copyright-information debian/README.Debian [debian/copyright]
  • file-without-copyright-information debian/rules [debian/copyright]
  • file-without-copyright-information debian/source/format [debian/copyright]
  • file-without-copyright-information debian/vim-omlet.yaml [debian/copyright]
  • incorrect-packaging-filename better: debian/NEWS [debian/NEWS.Debian]
• ocaml-tools_20120103-7_all.deb (main)
  • national-encoding [usr/share/ocaml-tools/configure.in]
• ocaml-visitors 20210127-1
• libppx-visitors-ocaml-dev_20210127-1+b1_amd64.deb (main)
  • shared-library-lacks-prerequisites [usr/lib/ocaml/visitors/ppx/ppx_deriving_visitors.cmxs]
  • shared-library-lacks-prerequisites [usr/lib/ocaml/visitors/runtime/VisitorsRuntime.cmxs]
• ocamlweb 1.41-4
• ocamlweb_1.41-4.dsc (main)
  • source-is-missing [doc/ocamlweb-1.41-man.html]
  • obsolete-debian-watch-file-standard 2 [debian/watch]
• ocamlweb_1.41-4+b2_amd64.deb (main)
  • national-encoding [usr/share/texmf/tex/latex/misc/ocamlweb.sty]
• ocplib-simplex 0.4-2
• ocplib-simplex_0.4-2.dsc (main)
  • no-newline-at-end [debian/control]
• ocplib-simplex-ocaml-dev_0.4-2+b1_amd64.deb (main)
  • shared-library-lacks-prerequisites [usr/lib/ocaml/ocplib-simplex/ocplibSimplex.cmxs]
• packup 0.6-3
• packup_0.6-3.dsc (main)
  • vcs-obsolete-in-debian-infrastructure Browser https://anonscm.debian.org/?p=collab-maint/packup.git;a=summary
  • vcs-obsolete-in-debian-infrastructure Git https://anonscm.debian.org/git/collab-maint/packup.git
• packup_0.6-3_amd64.deb (main)
  • priority-extra-is-replaced-by-priority-optional
• planets 0.1.13-20
• planets_0.1.13-20+b4_amd64.deb (main)
  • national-encoding [usr/share/doc/planets/TODO]
• ppx-derivers 1.2.1-1
• libppx-derivers-ocaml-dev_1.2.1-1+b2_amd64.deb (main)
  • shared-library-lacks-prerequisites [usr/lib/ocaml/ppx_derivers/ppx_derivers.cmxs]
• ppx-deriving 5.1-2
• libppx-deriving-ocaml_5.1-2+b1_amd64.deb (main)
  • shared-library-lacks-prerequisites [usr/lib/ocaml/ppx_deriving/api/ppx_deriving_api.cmxs]
  • shared-library-lacks-prerequisites [usr/lib/ocaml/ppx_deriving/create/ppx_deriving_create.cmxs]
  • shared-library-lacks-prerequisites [usr/lib/ocaml/ppx_deriving/enum/ppx_deriving_enum.cmxs]
  • shared-library-lacks-prerequisites [usr/lib/ocaml/ppx_deriving/eq/ppx_deriving_eq.cmxs]
  • shared-library-lacks-prerequisites [usr/lib/ocaml/ppx_deriving/fold/ppx_deriving_fold.cmxs]
  • shared-library-lacks-prerequisites [usr/lib/ocaml/ppx_deriving/iter/ppx_deriving_iter.cmxs]
  • shared-library-lacks-prerequisites [usr/lib/ocaml/ppx_deriving/make/ppx_deriving_make.cmxs]
  • shared-library-lacks-prerequisites [usr/lib/ocaml/ppx_deriving/map/ppx_deriving_map.cmxs]
  • shared-library-lacks-prerequisites [usr/lib/ocaml/ppx_deriving/ord/ppx_deriving_ord.cmxs]
  • shared-library-lacks-prerequisites [usr/lib/ocaml/ppx_deriving/runtime/ppx_deriving_runtime.cmxs]
  • shared-library-lacks-prerequisites [usr/lib/ocaml/ppx_deriving/show/ppx_deriving_show.cmxs]
  • shared-library-lacks-prerequisites [usr/lib/ocaml/ppx_deriving/std/ppx_deriving_std.cmxs]
• ppx-deriving-yojson 3.6.1-2
• ppx-deriving-yojson_3.6.1-2.dsc (main)
  • no-nmu-in-changelog [debian/changelog:1]
  • source-nmu-has-incorrect-version-number 3.6.1-2 [debian/changelog:1]
• libppx-deriving-yojson-ocaml-dev_3.6.1-2_amd64.deb (main)
  • shared-library-lacks-prerequisites [usr/lib/ocaml/ppx_deriving_yojson/ppx_deriving_yojson.cmxs]
  • shared-library-lacks-prerequisites [usr/lib/ocaml/ppx_deriving_yojson/runtime/ppx_deriving_yojson_runtime.cmxs]
• spass 3.9-1.1
• spass_3.9-1.1_amd64.deb (main)
  • no-manual-page [usr/bin/FLOTTER]
  • no-manual-page [usr/bin/SPASS]
• ssreflect 1.13.0-2
• libssreflect-coq_1.13.0-2_all.deb (main)
  • file-name-contains-wildcard-character [usr/share/doc/libssreflect-coq/htmldoc/index_abbreviation_*.html]
  • file-name-contains-wildcard-character [usr/share/doc/libssreflect-coq/htmldoc/index_axiom_*.html]
  • file-name-contains-wildcard-character [usr/share/doc/libssreflect-coq/htmldoc/index_binder_*.html]
  • file-name-contains-wildcard-character [usr/share/doc/libssreflect-coq/htmldoc/index_constructor_*.html]
  • file-name-contains-wildcard-character [usr/share/doc/libssreflect-coq/htmldoc/index_definition_*.html]
  • file-name-contains-wildcard-character [usr/share/doc/libssreflect-coq/htmldoc/index_global_*.html]
  • file-name-contains-wildcard-character [usr/share/doc/libssreflect-coq/htmldoc/index_inductive_*.html]
  • file-name-contains-wildcard-character [usr/share/doc/libssreflect-coq/htmldoc/index_lemma_*.html]
  • file-name-contains-wildcard-character [usr/share/doc/libssreflect-coq/htmldoc/index_library_*.html]
  • file-name-contains-wildcard-character [usr/share/doc/libssreflect-coq/htmldoc/index_module_*.html]
  • file-name-contains-wildcard-character [usr/share/doc/libssreflect-coq/htmldoc/index_notation_*.html]
  • file-name-contains-wildcard-character [usr/share/doc/libssreflect-coq/htmldoc/index_projection_*.html]
  • file-name-contains-wildcard-character [usr/share/doc/libssreflect-coq/htmldoc/index_record_*.html]
  • file-name-contains-wildcard-character [usr/share/doc/libssreflect-coq/htmldoc/index_section_*.html]
  • file-name-contains-wildcard-character [usr/share/doc/libssreflect-coq/htmldoc/index_variable_*.html]
  • mismatched-override file-name-contains-wildcard-character usr/share/doc/libssreflect-coq/htmldoc/index_abbreviation_*.html [usr/share/lintian/overrides/libssreflect-coq:2]
  • mismatched-override file-name-contains-wildcard-character usr/share/doc/libssreflect-coq/htmldoc/index_axiom_*.html [usr/share/lintian/overrides/libssreflect-coq:3]
  • mismatched-override file-name-contains-wildcard-character usr/share/doc/libssreflect-coq/htmldoc/index_binder_*.html [usr/share/lintian/overrides/libssreflect-coq:4]
  • mismatched-override file-name-contains-wildcard-character usr/share/doc/libssreflect-coq/htmldoc/index_constructor_*.html [usr/share/lintian/overrides/libssreflect-coq:5]
  • mismatched-override file-name-contains-wildcard-character usr/share/doc/libssreflect-coq/htmldoc/index_definition_*.html [usr/share/lintian/overrides/libssreflect-coq:6]
  • mismatched-override file-name-contains-wildcard-character usr/share/doc/libssreflect-coq/htmldoc/index_global_*.html [usr/share/lintian/overrides/libssreflect-coq:7]
  • mismatched-override file-name-contains-wildcard-character usr/share/doc/libssreflect-coq/htmldoc/index_inductive_*.html [usr/share/lintian/overrides/libssreflect-coq:8]
  • mismatched-override file-name-contains-wildcard-character usr/share/doc/libssreflect-coq/htmldoc/index_lemma_*.html [usr/share/lintian/overrides/libssreflect-coq:9]
  • mismatched-override file-name-contains-wildcard-character usr/share/doc/libssreflect-coq/htmldoc/index_library_*.html [usr/share/lintian/overrides/libssreflect-coq:10]
  • mismatched-override file-name-contains-wildcard-character usr/share/doc/libssreflect-coq/htmldoc/index_module_*.html [usr/share/lintian/overrides/libssreflect-coq:11]
  • mismatched-override file-name-contains-wildcard-character usr/share/doc/libssreflect-coq/htmldoc/index_notation_*.html [usr/share/lintian/overrides/libssreflect-coq:12]
  • mismatched-override file-name-contains-wildcard-character usr/share/doc/libssreflect-coq/htmldoc/index_projection_*.html [usr/share/lintian/overrides/libssreflect-coq:13]
  • mismatched-override file-name-contains-wildcard-character usr/share/doc/libssreflect-coq/htmldoc/index_record_*.html [usr/share/lintian/overrides/libssreflect-coq:14]
  • mismatched-override file-name-contains-wildcard-character usr/share/doc/libssreflect-coq/htmldoc/index_section_*.html [usr/share/lintian/overrides/libssreflect-coq:15]
  • mismatched-override file-name-contains-wildcard-character usr/share/doc/libssreflect-coq/htmldoc/index_variable_*.html [usr/share/lintian/overrides/libssreflect-coq:16]
• syslog-ocaml 2.0.2-1
• libsyslog-ocaml_2.0.2-1_amd64.deb (main)
  • shared-library-lacks-prerequisites [usr/lib/ocaml/syslog/syslog.cmxs]
• why3 1.4.0-3
• libwhy3-ocaml-dev_1.4.0-3_amd64.deb (main)
  • shared-library-lacks-prerequisites [usr/lib/ocaml/why3/why3.cmxs]
• why3_1.4.0-3_amd64.deb (main)
  • emacsen-common-without-dh-elpa
  • shared-library-lacks-prerequisites [usr/lib/ocaml/why3/commands/why3config.cmxs]
  • shared-library-lacks-prerequisites [usr/lib/ocaml/why3/commands/why3doc.cmxs]
  • shared-library-lacks-prerequisites [usr/lib/ocaml/why3/commands/why3execute.cmxs]
  • shared-library-lacks-prerequisites [usr/lib/ocaml/why3/commands/why3extract.cmxs]
  • shared-library-lacks-prerequisites [usr/lib/ocaml/why3/commands/why3pp.cmxs]
  • shared-library-lacks-prerequisites [usr/lib/ocaml/why3/commands/why3prove.cmxs]
  • shared-library-lacks-prerequisites [usr/lib/ocaml/why3/commands/why3realize.cmxs]
  • shared-library-lacks-prerequisites [usr/lib/ocaml/why3/commands/why3replay.cmxs]
  • shared-library-lacks-prerequisites [usr/lib/ocaml/why3/commands/why3session.cmxs]
  • shared-library-lacks-prerequisites [usr/lib/ocaml/why3/commands/why3shell.cmxs]
  • shared-library-lacks-prerequisites [usr/lib/ocaml/why3/commands/why3wc.cmxs]
  • shared-library-lacks-prerequisites [usr/lib/ocaml/why3/commands/why3webserver.cmxs]
  • shared-library-lacks-prerequisites [usr/lib/ocaml/why3/plugins/cfg.cmxs]
  • shared-library-lacks-prerequisites [usr/lib/ocaml/why3/plugins/dimacs.cmxs]
  • shared-library-lacks-prerequisites [usr/lib/ocaml/why3/plugins/genequlin.cmxs]
  • shared-library-lacks-prerequisites [usr/lib/ocaml/why3/plugins/hypothesis_selection.cmxs]
  • shared-library-lacks-prerequisites [usr/lib/ocaml/why3/plugins/microc.cmxs]
  • shared-library-lacks-prerequisites [usr/lib/ocaml/why3/plugins/python.cmxs]
  • shared-library-lacks-prerequisites [usr/lib/ocaml/why3/plugins/tptp.cmxs]
• why3-doc-html_1.4.0-3_all.deb (main)
  • privacy-breach-generic [<script async="async" src="https://cdn.jsdelivr.net/npm/mathjax@3/es5/tex-mml-chtml.js">] (https://cdn.jsdelivr.net/npm/mathjax@3/es5/tex-mml-chtml.js) [usr/share/doc/why3-doc-html/html/api.html]
  • privacy-breach-generic [<script async="async" src="https://cdn.jsdelivr.net/npm/mathjax@3/es5/tex-mml-chtml.js">] (https://cdn.jsdelivr.net/npm/mathjax@3/es5/tex-mml-chtml.js) [usr/share/doc/why3-doc-html/html/input_formats.html]
  • privacy-breach-generic [<script async="async" src="https://cdn.jsdelivr.net/npm/mathjax@3/es5/tex-mml-chtml.js">] (https://cdn.jsdelivr.net/npm/mathjax@3/es5/tex-mml-chtml.js) [usr/share/doc/why3-doc-html/html/syntaxref.html]
  • privacy-breach-generic [<script async="async" src="https://cdn.jsdelivr.net/npm/mathjax@3/es5/tex-mml-chtml.js">] (https://cdn.jsdelivr.net/npm/mathjax@3/es5/tex-mml-chtml.js) [usr/share/doc/why3-doc-html/html/technical.html]
  • privacy-breach-generic [<script async="async" src="https://cdn.jsdelivr.net/npm/mathjax@3/es5/tex-mml-chtml.js">] (https://cdn.jsdelivr.net/npm/mathjax@3/es5/tex-mml-chtml.js) [usr/share/doc/why3-doc-html/html/vcgen.html]
  • privacy-breach-generic [<script async="async" src="https://cdn.jsdelivr.net/npm/mathjax@3/es5/tex-mml-chtml.js">] (https://cdn.jsdelivr.net/npm/mathjax@3/es5/tex-mml-chtml.js) [usr/share/doc/why3-doc-html/html/whyml.html]
• why3-examples_1.4.0-3_all.deb (main)
  • national-encoding [usr/share/doc/why3-examples/examples/bts/95_char_encoding_latin1.mlw]
  • national-encoding [usr/share/doc/why3-examples/examples/doc_examples/digit_sum.tex]
• yap 6.2.2-6
• yap_6.2.2-6.dsc (main)
  • source-is-missing [LGPL/pillow/doc/pillow_doc_html/pillow_doc_1.html]
  • source-is-missing [LGPL/pillow/doc/pillow_doc_html/pillow_doc_3.html]
  • source-is-missing [packages/jpl/docs/prolog_api/overview.html]
  • configure-generated-file-in-source [packages/clib/config.log]
  • configure-generated-file-in-source [packages/http/config.log]
  • dh-clean-k-is-deprecated [debian/rules]
  • package-uses-deprecated-debhelper-compat-version 5
  • vcs-obsolete-in-debian-infrastructure Browser https://anonscm.debian.org/cgit/collab-maint/yap.git;a=summary
  • vcs-obsolete-in-debian-infrastructure Git git://anonscm.debian.org/collab-maint/yap.git
• yap_6.2.2-6+b5_amd64.deb (main)
  • priority-extra-is-replaced-by-priority-optional
  • shared-library-lacks-prerequisites [usr/lib/Yap/json.so]
  • shared-library-lacks-prerequisites [usr/lib/Yap/random.so]
  • shared-library-lacks-prerequisites [usr/lib/Yap/readutil.so]
  • shared-library-lacks-prerequisites [usr/lib/Yap/turtle.so]
  • shared-library-lacks-prerequisites [usr/lib/Yap/yap_random.so]
  • wrong-name-for-upstream-changelog [usr/share/doc/yap/changes.css]