Found 779 issues in 47 maintained sources. To see all packaging hints, please click on the source. advi 1.10.2-9advi_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-8alt-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-6aribas_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.gitbibtex2html 1.99-3bibtex2html_1.99-3.dsc (main) obsolete-debian-watch-file-standard 2 [debian/watch]camlidl 1.09-1camlidl_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-1libcamlimages-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-2caml-mode_4.06-2.dsc (main) no-newline-at-end [debian/control]camlzip 1.11-1libzip-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-1coccinelle_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-3coinst_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-1coq_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-2cudf-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-3libdose3-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.1frama-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-1hevea_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-1hevea-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-28hlins_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-1lablgl_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-1lablgtk2_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-1lablgtk3_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-7lbt_1.2.2-7_amd64.deb (main) national-encoding [usr/share/doc/lbt/index.html]maria 1.3.5-4.1maria_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.gitmaria_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-1menhir_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-4minisat+_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+.gitminisat+_1.0-4_amd64.deb (main) priority-extra-is-replaced-by-priority-optional mlgmp 20021123-21libgmp-ocaml_20021123-21+b2_amd64.deb (main) national-encoding [usr/share/doc/libgmp-ocaml/README]mona 1.4-18-1mona_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.hmorbig 0.10.4-5libmorbig-ocaml-dev_0.10.4-5+b3_amd64.deb (main) shared-library-lacks-prerequisites [usr/lib/ocaml/morbig/morbig.cmxs]morsmall 0.3.0-4libmorsmall-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-3ocaml_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-2ocaml-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-2ocaml-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-4ocaml-gnuplot_0.8.3-4.dsc (main) package-uses-deprecated-debhelper-compat-version 7libgnuplot-ocaml-dev_0.8.3-4+b2_amd64.deb (main) priority-extra-is-replaced-by-priority-optional ocaml-odoc 2.0.2+dfsg-1libodoc-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-7ocaml-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-1libppx-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-4ocamlweb_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-2ocplib-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-3packup_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.gitpackup_0.6-3_amd64.deb (main) priority-extra-is-replaced-by-priority-optional planets 0.1.13-20planets_0.1.13-20+b4_amd64.deb (main) national-encoding [usr/share/doc/planets/TODO]ppx-derivers 1.2.1-1libppx-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-2libppx-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-2ppx-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.1spass_3.9-1.1_amd64.deb (main) no-manual-page [usr/bin/FLOTTER] no-manual-page [usr/bin/SPASS]ssreflect 1.13.0-2libssreflect-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-1libsyslog-ocaml_2.0.2-1_amd64.deb (main) shared-library-lacks-prerequisites [usr/lib/ocaml/syslog/syslog.cmxs]why3 1.4.0-3libwhy3-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-6yap_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.gityap_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]