Hints

Debian OCaml Maintainers

We have the following e-mail addresses on file:

• debian-ocaml-maint@lists.debian.org

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

• aac-tactics 8.11.0-1
• libaac-tactics-ocaml_8.11.0-1+b1_amd64.deb (main)
  • W shared-library-lacks-prerequisites usr/lib/coq/user-contrib/AAC_tactics/aac_plugin.cmxs
• advi 1.10.2-9
• advi_1.10.2-9.dsc (main)
  • W national-encoding debian/examples-source/patches/0009-Fix-test-includes.patch
• advi_1.10.2-9_amd64.deb (main)
  • W national-encoding usr/share/doc/advi/manual/index.html
• advi-examples_1.10.2-9_all.deb (main)
  • W national-encoding usr/share/doc/advi-examples/examples/basics/Makefile
  • W national-encoding usr/share/doc/advi-examples/examples/Makefile
  • W national-encoding usr/share/doc/advi-examples/examples/prosper/Join/join.tex
  • W national-encoding usr/share/doc/advi-examples/examples/prosper/Join/Makefile
  • W national-encoding usr/share/doc/advi-examples/examples/prosper/LL/ll.tex
  • W national-encoding usr/share/doc/advi-examples/examples/prosper/LL/Makefile
  • W national-encoding usr/share/doc/advi-examples/examples/prosper/Makefile
  • W national-encoding usr/share/doc/advi-examples/examples/seminar/a14/a14.tex
  • W national-encoding usr/share/doc/advi-examples/examples/seminar/a14/Makefile
  • W national-encoding usr/share/doc/advi-examples/examples/seminar/clock/Makefile
  • W national-encoding usr/share/doc/advi-examples/examples/seminar/Makefile
  • W national-encoding usr/share/doc/advi-examples/examples/slitex/advi/Makefile
  • W national-encoding usr/share/doc/advi-examples/examples/slitex/caml/Makefile
  • W national-encoding usr/share/doc/advi-examples/examples/slitex/caml/slides.tex
  • W national-encoding usr/share/doc/advi-examples/examples/slitex/Makefile
  • W national-encoding usr/share/doc/advi-examples/examples/slitex/simplistic/Makefile
  • W national-encoding usr/share/doc/advi-examples/examples/slitex/skin_detection/Makefile
• alt-ergo 2.0.0-7
• alt-ergo_2.0.0-7+b4_amd64.deb (main)
  • W shared-library-lacks-prerequisites usr/lib/x86_64-linux-gnu/alt-ergo/plugins/fm-simplex-plugin.cmxs
  • W shared-library-lacks-prerequisites usr/lib/x86_64-linux-gnu/alt-ergo/plugins/satML-plugin.cmxs
• apron 0.9.10-9.1
• apron_0.9.10-9.1.dsc (main)
  • E no-human-maintainers
  • W absolute-symbolic-link-target-in-source apron/mlapronidl/mpq.idl -> /scratch/home/bjeannet/pkg/mlgmpidl/linux386/lib/mpq.idl
  • W absolute-symbolic-link-target-in-source apron/mlapronidl/mpz.idl -> /scratch/home/bjeannet/pkg/mlgmpidl/linux386/lib/mpz.idl
  • W build-depends-on-obsolete-package Build-Depends: texi2html (>= 1.82)
  • W file-without-copyright-information debian/copyright Makefile
  • W file-without-copyright-information debian/copyright Makefile.config.model
  • W file-without-copyright-information debian/copyright README
  • W file-without-copyright-information debian/copyright README.mac
  • W file-without-copyright-information debian/copyright README.windows
  • W package-uses-deprecated-debhelper-compat-version 9
  • W team-upload-has-incorrect-version-number 0.9.10-9.1
• libapron_0.9.10-9.1+b2_amd64.deb (main)
  • W shared-library-lacks-prerequisites usr/lib/libap_pkgrid.so.0
• libapron-ocaml_0.9.10-9.1+b2_amd64.deb (main)
  • E library-not-linked-against-libc usr/lib/ocaml/stublibs/libap_ppl_caml.so
  • E library-not-linked-against-libc usr/lib/ocaml/stublibs/libboxD_caml.so
  • E library-not-linked-against-libc usr/lib/ocaml/stublibs/libboxMPFR_caml.so
  • E library-not-linked-against-libc usr/lib/ocaml/stublibs/libboxMPQ_caml.so
  • E library-not-linked-against-libc usr/lib/ocaml/stublibs/liboctD_caml.so
  • E library-not-linked-against-libc usr/lib/ocaml/stublibs/liboctMPQ_caml.so
  • E library-not-linked-against-libc usr/lib/ocaml/stublibs/libpolkaMPQ_caml.so
  • E library-not-linked-against-libc usr/lib/ocaml/stublibs/libpolkaRll_caml.so
• belenios 1.14+dfsg-1
• belenios-tool_1.14+dfsg-1_amd64.deb (main)
  • W bad-whatis-entry usr/share/man/man1/belenios-tool.1.gz
• ben 0.9.2
• ben_0.9.2_amd64.deb (main)
  • W privacy-breach-generic usr/share/doc/ben/refman.html [<link rel="stylesheet" href="https://fonts.googleapis.com/css?family=open+sans:300,300italic,400,400italic,600,600italic%7cnoto+serif:400,400italic,700,700italic%7cdroid+sans+mono:400,700">] (https://fonts.googleapis.com/css?family=open+sans:300,300italic,400,400italic,600,600italic%7cnoto+serif:400,400italic,700,700italic%7cdroid+sans+mono:400,700)
  • W shared-library-lacks-prerequisites usr/lib/ben/templates/debian.cmxs
  • W shared-library-lacks-prerequisites usr/lib/ben/templates/debianrt.cmxs
• libben-ocaml_0.9.2_amd64.deb (main)
  • W shared-library-lacks-prerequisites usr/lib/ocaml/stublibs/dllbenl.so
• bibtex2html 1.99-3
• bibtex2html_1.99-3.dsc (main)
  • W obsolete-debian-watch-file-standard 2
• biniou 1.2.1-1
• biniou_1.2.1-1.dsc (main)
  • E no-human-maintainers
• libbiniou-ocaml_1.2.1-1+b2_amd64.deb (main)
  • W shared-library-lacks-prerequisites usr/lib/ocaml/biniou/biniou.cmxs
• bin-prot 1:0.14.0-1
• libbin-prot-ocaml_0.14.0-1+b3_amd64.deb (main)
  • W shared-library-lacks-prerequisites usr/lib/ocaml/bin_prot/shape/bin_shape_lib.cmxs
  • W shared-library-lacks-prerequisites usr/lib/ocaml/bin_prot/xen/bin_prot_xen.cmxs
• cairo-ocaml 1:1.2.0-8
• cairo-ocaml_1.2.0-8.dsc (main)
  • E no-human-maintainers
• libcairo-ocaml_1.2.0-8+b3_amd64.deb (main)
  • E library-not-linked-against-libc usr/lib/ocaml/stublibs/dllmlpangocairo.so
  • W shared-library-lacks-prerequisites usr/lib/ocaml/stublibs/dllmlcairo_lablgtk.so
• calendar 2.04-3
• calendar_2.04-3.dsc (main)
  • W configure-generated-file-in-source config.status
  • W incorrect-packaging-filename debian/NEWS.Debian -> debian/NEWS
• libcalendar-ocaml_2.04-3+b2_amd64.deb (main)
  • W shared-library-lacks-prerequisites usr/lib/ocaml/calendar/calendarLib.cmxs
• caml2html 1.4.4-2
• caml2html_1.4.4-2.dsc (main)
  • E no-human-maintainers
• caml2html_1.4.4-2+b2_amd64.deb (main)
  • W national-encoding usr/share/doc/caml2html/README.md
• camlidl 1.09-1
• camlidl_1.09-1+b1_amd64.deb (main)
  • W no-manual-page usr/bin/camlidl
  • W package-contains-vcs-control-file usr/share/doc/camlidl/examples/hdirect/.cvsignore
• camlidl-doc 1.04-5
• camlidl-doc_1.04-5.dsc (main)
  • E no-human-maintainers
• camlimages 1:5.0.4-1
• libcamlimages-ocaml_5.0.4-1_amd64.deb (main)
  • E library-not-linked-against-libc usr/lib/ocaml/camlimages/freetype/camlimages_freetype.cmxs
  • E library-not-linked-against-libc usr/lib/ocaml/stublibs/dllcamlimages_freetype_stubs.so
  • W shared-library-lacks-prerequisites usr/lib/ocaml/camlimages/core/camlimages.cmxs
  • W shared-library-lacks-prerequisites usr/lib/ocaml/camlimages/graphics/camlimages_graphics.cmxs
• libcamlimages-ocaml-dev_5.0.4-1_amd64.deb (main)
  • W national-encoding usr/lib/ocaml/camlimages/core/camlimages.ml
  • W national-encoding usr/lib/ocaml/camlimages/tiff/tiff.ml
• camljava 0.3-3
• camljava_0.3-3.dsc (main)
  • E no-human-maintainers
• libcamljava-ocaml-dev_0.3-3_amd64.deb (main)
  • W jar-not-in-usr-share usr/lib/ocaml/camljava/camljava.jar
• camlmix 1.3.1-4
• camlmix_1.3.1-4.dsc (main)
  • E no-human-maintainers
• caml-mode 4.06-2
• caml-mode_4.06-2.dsc (main)
  • W no-newline-at-end debian/control
• camlp4 4.11+1-1
• camlp4_4.11+1-1_amd64.deb (main)
  • W no-manual-page usr/bin/camlp4
  • W no-manual-page usr/bin/camlp4boot
  • W no-manual-page usr/bin/camlp4o
  • W no-manual-page usr/bin/camlp4of
  • W no-manual-page usr/bin/camlp4of.opt
  • W no-manual-page usr/bin/camlp4oof
  • W no-manual-page usr/bin/camlp4oof.opt
  • W no-manual-page usr/bin/camlp4o.opt
  • W no-manual-page usr/bin/camlp4orf
  • W no-manual-page usr/bin/camlp4orf.opt
  • W no-manual-page usr/bin/camlp4prof
  • W no-manual-page usr/bin/camlp4r
  • W no-manual-page usr/bin/camlp4rf
  • W no-manual-page usr/bin/camlp4rf.opt
  • W no-manual-page usr/bin/camlp4r.opt
  • W no-manual-page usr/bin/mkcamlp4
• camlp5 7.13-1
• camlp5_7.13-1+b1_amd64.deb (main)
  • W package-contains-vcs-control-file usr/share/doc/camlp5/html/.gitignore
• camlpdf 2.3.1-2
• libcamlpdf-ocaml-dev_2.3.1-2_amd64.deb (main)
  • W executable-not-elf-or-script usr/share/doc/libcamlpdf-ocaml-dev/examples/OCamlMakefile
• camltemplate 1.0.2-3
• camltemplate_1.0.2-3.dsc (main)
  • E no-human-maintainers
• libcamltemplate-ocaml-dev_1.0.2-3+b2_amd64.deb (main)
  • W national-encoding usr/lib/ocaml/camltemplate/camlTemplate.mli
  • W national-encoding usr/share/doc/libcamltemplate-ocaml-dev/api/CamlTemplate.html
  • W national-encoding usr/share/doc/libcamltemplate-ocaml-dev/examples/fastcgi/fcgihello.ml
  • W national-encoding usr/share/doc/libcamltemplate-ocaml-dev/examples/hello/hello.ml
  • W national-encoding usr/share/doc/libcamltemplate-ocaml-dev/examples/mod_caml/cthello.ml.in
  • W national-encoding usr/share/doc/libcamltemplate-ocaml-dev/examples/thread/thread_test.ml
• camlzip 1.10-1
• libzip-ocaml_1.10-1+b1_amd64.deb (main)
  • E library-not-linked-against-libc usr/lib/ocaml/stublibs/dllcamlzip.so
  • E library-not-linked-against-libc usr/lib/ocaml/zip/zip.cmxs
• libzip-ocaml-dev_1.10-1+b1_amd64.deb (main)
  • W broken-zip var/lib/ocaml/lintian/libzip-ocaml-dev.META.zip
• camomile 1.0.2-3
• libcamomile-ocaml-dev_1.0.2-3+b1_amd64.deb (main)
  • W shared-library-lacks-prerequisites usr/lib/ocaml/camomile/camomile_yuge.cmxs
  • W shared-library-lacks-prerequisites usr/lib/ocaml/camomile/default_config/camomileDefaultConfig.cmxs
  • W shared-library-lacks-prerequisites usr/lib/ocaml/camomile/dyn/camomileLibraryDyn.cmxs
  • W shared-library-lacks-prerequisites usr/lib/ocaml/camomile/lib_default/camomileLibraryDefault.cmxs
  • W shared-library-lacks-prerequisites usr/lib/ocaml/camomile/library/camomileLibrary.cmxs
• cduce 0.6.0-5
• cduce_0.6.0-5.dsc (main)
  • W no-nmu-in-changelog
  • W package-uses-deprecated-debhelper-compat-version 7
  • W source-nmu-has-incorrect-version-number 0.6.0-5
  • W vcs-obsolete-in-debian-infrastructure Browser http://anonscm.debian.org/gitweb/?p=pkg-ocaml-maint/packages/cduce.git
  • W vcs-obsolete-in-debian-infrastructure Git git://anonscm.debian.org/pkg-ocaml-maint/packages/cduce.git
• cmdliner 1.0.4-2
• libcmdliner-ocaml-dev_1.0.4-2+b1_amd64.deb (main)
  • W shared-library-lacks-prerequisites usr/lib/ocaml/cmdliner/cmdliner.cmxs
• coccinelle 1.1.0.deb-1.1
• coccinelle_1.1.0.deb-1.1.dsc (main)
  • W configure-generated-file-in-source config.log
  • W configure-generated-file-in-source config.status
• coccinelle_1.1.0.deb-1.1_amd64.deb (main)
  • E ocaml-dangling-cmx usr/lib/coccinelle/ocaml/ast0_cocci.cmx
  • E ocaml-dangling-cmx usr/lib/coccinelle/ocaml/ast_c.cmx
  • E ocaml-dangling-cmx usr/lib/coccinelle/ocaml/ast_cocci.cmx
  • E ocaml-dangling-cmx usr/lib/coccinelle/ocaml/coccilib.cmx
  • E ocaml-dangling-cmx usr/lib/coccinelle/ocaml/commands.cmx
  • E ocaml-dangling-cmx usr/lib/coccinelle/ocaml/common.cmx
  • E ocaml-dangling-cmx usr/lib/coccinelle/ocaml/config.cmx
  • E ocaml-dangling-cmx usr/lib/coccinelle/ocaml/dumper.cmx
  • E ocaml-dangling-cmx usr/lib/coccinelle/ocaml/exposed_modules.cmx
  • E ocaml-dangling-cmx usr/lib/coccinelle/ocaml/externalanalysis.cmx
  • E ocaml-dangling-cmx usr/lib/coccinelle/ocaml/flag.cmx
  • E ocaml-dangling-cmx usr/lib/coccinelle/ocaml/flag_parsing_c.cmx
  • E ocaml-dangling-cmx usr/lib/coccinelle/ocaml/iteration.cmx
  • E ocaml-dangling-cmx usr/lib/coccinelle/ocaml/lexer_c.cmx
  • E ocaml-dangling-cmx usr/lib/coccinelle/ocaml/lib_parsing_c.cmx
  • E ocaml-dangling-cmx usr/lib/coccinelle/ocaml/ocamlcocci_aux.cmx
  • E ocaml-dangling-cmx usr/lib/coccinelle/ocaml/parse_c.cmx
  • E ocaml-dangling-cmx usr/lib/coccinelle/ocaml/parser_c.cmx
  • E ocaml-dangling-cmx usr/lib/coccinelle/ocaml/prepare_ocamlcocci.cmx
  • E ocaml-dangling-cmx usr/lib/coccinelle/ocaml/pretty_print_c.cmx
  • E ocaml-dangling-cmx usr/lib/coccinelle/ocaml/regexp.cmx
  • E ocaml-dangling-cmx usr/lib/coccinelle/ocaml/run_ocamlcocci.cmx
  • E ocaml-dangling-cmx usr/lib/coccinelle/ocaml/token_c.cmx
  • E ocaml-dangling-cmx usr/lib/coccinelle/ocaml/visitor_c.cmx
  • E ocaml-dangling-cmx usr/lib/coccinelle/ocaml/yes_prepare_ocamlcocci.cmx
  • W groff-message usr/share/man/man1/pycocci.1.gz (line 1) 207: a special character is not allowed in a name
  • W groff-message usr/share/man/man1/spatch.1.gz (line 1) 573: warning: macro 'cocciconfig' not defined
  • W groff-message usr/share/man/man3/Coccilib.3cocci.gz (line 1) 220: warning: macro 'Lines' not defined
• coccinelle-doc_1.1.0.deb-1.1_all.deb (main)
  • W national-encoding usr/share/doc/coccinelle/examples/demo_rule9/sym53c8xx.c
  • W national-encoding usr/share/doc/coccinelle/examples/demo_rule9/sym53c8xx.res
• coinst 1.9.3-3
• coinst-viewer_1.9.3-3+b2_amd64.deb (main)
  • W no-manual-page usr/bin/coinst_converter
• coq 8.12.0-3
• coq_8.12.0-3+b3_amd64.deb (main)
  • W executable-not-elf-or-script usr/lib/coq/tools/TimeFileMaker.py
  • W no-manual-page usr/bin/coqidetop
  • W no-manual-page usr/bin/coqidetop.opt
  • W no-manual-page usr/bin/coqpp
  • W no-manual-page usr/bin/coqproofworker.byte
  • W no-manual-page usr/bin/coqproofworker.opt
  • W no-manual-page usr/bin/coqqueryworker.byte
  • W no-manual-page usr/bin/coqqueryworker.opt
  • W no-manual-page usr/bin/coqtacticworker.byte
  • W no-manual-page usr/bin/coqtacticworker.opt
  • W no-manual-page usr/bin/coqworkmgr
  • W no-manual-page usr/bin/ocamllibdep
  • W no-manual-page usr/bin/votour
• coq-theories_8.12.0-3+b3_amd64.deb (main)
  • W file-name-contains-wildcard-character usr/share/doc/coq-theories/html/index_binder_*.html
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Arith/.coq-native/NCoq_Arith_Arith_base.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Arith/.coq-native/NCoq_Arith_Arith.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Arith/.coq-native/NCoq_Arith_Between.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Arith/.coq-native/NCoq_Arith_Bool_nat.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Arith/.coq-native/NCoq_Arith_Compare.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Arith/.coq-native/NCoq_Arith_Compare_dec.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Arith/.coq-native/NCoq_Arith_Div2.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Arith/.coq-native/NCoq_Arith_EqNat.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Arith/.coq-native/NCoq_Arith_Euclid.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Arith/.coq-native/NCoq_Arith_Even.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Arith/.coq-native/NCoq_Arith_Factorial.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Arith/.coq-native/NCoq_Arith_Gt.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Arith/.coq-native/NCoq_Arith_Le.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Arith/.coq-native/NCoq_Arith_Lt.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Arith/.coq-native/NCoq_Arith_Max.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Arith/.coq-native/NCoq_Arith_Min.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Arith/.coq-native/NCoq_Arith_Minus.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Arith/.coq-native/NCoq_Arith_Mult.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Arith/.coq-native/NCoq_Arith_Peano_dec.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Arith/.coq-native/NCoq_Arith_PeanoNat.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Arith/.coq-native/NCoq_Arith_Plus.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Arith/.coq-native/NCoq_Arith_Wf_nat.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Bool/.coq-native/NCoq_Bool_Bool.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Bool/.coq-native/NCoq_Bool_BoolEq.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Bool/.coq-native/NCoq_Bool_BoolOrder.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Bool/.coq-native/NCoq_Bool_Bvector.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Bool/.coq-native/NCoq_Bool_DecBool.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Bool/.coq-native/NCoq_Bool_IfProp.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Bool/.coq-native/NCoq_Bool_Sumbool.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Bool/.coq-native/NCoq_Bool_Zerob.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/btauto/.coq-native/NCoq_btauto_Algebra.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/btauto/.coq-native/NCoq_btauto_Btauto.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/btauto/.coq-native/NCoq_btauto_Reflect.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Classes/.coq-native/NCoq_Classes_CEquivalence.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Classes/.coq-native/NCoq_Classes_CMorphisms.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Classes/.coq-native/NCoq_Classes_CRelationClasses.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Classes/.coq-native/NCoq_Classes_DecidableClass.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Classes/.coq-native/NCoq_Classes_Equivalence.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Classes/.coq-native/NCoq_Classes_EquivDec.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Classes/.coq-native/NCoq_Classes_Init.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Classes/.coq-native/NCoq_Classes_Morphisms.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Classes/.coq-native/NCoq_Classes_Morphisms_Prop.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Classes/.coq-native/NCoq_Classes_Morphisms_Relations.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Classes/.coq-native/NCoq_Classes_RelationClasses.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Classes/.coq-native/NCoq_Classes_RelationPairs.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Classes/.coq-native/NCoq_Classes_SetoidClass.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Classes/.coq-native/NCoq_Classes_SetoidDec.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Classes/.coq-native/NCoq_Classes_SetoidTactics.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Compat/.coq-native/NCoq_Compat_AdmitAxiom.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Compat/.coq-native/NCoq_Compat_Coq810.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Compat/.coq-native/NCoq_Compat_Coq811.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Compat/.coq-native/NCoq_Compat_Coq812.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/derive/.coq-native/NCoq_derive_Derive.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/extraction/.coq-native/NCoq_extraction_Extraction.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/extraction/.coq-native/NCoq_extraction_ExtrHaskellBasic.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/extraction/.coq-native/NCoq_extraction_ExtrHaskellNatInt.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/extraction/.coq-native/NCoq_extraction_ExtrHaskellNatInteger.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/extraction/.coq-native/NCoq_extraction_ExtrHaskellNatNum.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/extraction/.coq-native/NCoq_extraction_ExtrHaskellString.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/extraction/.coq-native/NCoq_extraction_ExtrHaskellZInt.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/extraction/.coq-native/NCoq_extraction_ExtrHaskellZInteger.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/extraction/.coq-native/NCoq_extraction_ExtrHaskellZNum.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/extraction/.coq-native/NCoq_extraction_ExtrOcamlBasic.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/extraction/.coq-native/NCoq_extraction_ExtrOcamlBigIntConv.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/extraction/.coq-native/NCoq_extraction_ExtrOcamlChar.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/extraction/.coq-native/NCoq_extraction_ExtrOCamlFloats.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/extraction/.coq-native/NCoq_extraction_ExtrOCamlInt63.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/extraction/.coq-native/NCoq_extraction_ExtrOcamlIntConv.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/extraction/.coq-native/NCoq_extraction_ExtrOcamlNatBigInt.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/extraction/.coq-native/NCoq_extraction_ExtrOcamlNatInt.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/extraction/.coq-native/NCoq_extraction_ExtrOcamlNativeString.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/extraction/.coq-native/NCoq_extraction_ExtrOcamlString.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/extraction/.coq-native/NCoq_extraction_ExtrOcamlZBigInt.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/extraction/.coq-native/NCoq_extraction_ExtrOcamlZInt.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Floats/.coq-native/NCoq_Floats_FloatAxioms.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Floats/.coq-native/NCoq_Floats_FloatClass.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Floats/.coq-native/NCoq_Floats_FloatLemmas.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Floats/.coq-native/NCoq_Floats_FloatOps.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Floats/.coq-native/NCoq_Floats_Floats.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Floats/.coq-native/NCoq_Floats_PrimFloat.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Floats/.coq-native/NCoq_Floats_SpecFloat.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/FSets/.coq-native/NCoq_FSets_FMapAVL.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/FSets/.coq-native/NCoq_FSets_FMapFacts.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/FSets/.coq-native/NCoq_FSets_FMapFullAVL.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/FSets/.coq-native/NCoq_FSets_FMapInterface.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/FSets/.coq-native/NCoq_FSets_FMapList.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/FSets/.coq-native/NCoq_FSets_FMapPositive.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/FSets/.coq-native/NCoq_FSets_FMaps.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/FSets/.coq-native/NCoq_FSets_FMapWeakList.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/FSets/.coq-native/NCoq_FSets_FSetAVL.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/FSets/.coq-native/NCoq_FSets_FSetBridge.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/FSets/.coq-native/NCoq_FSets_FSetCompat.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/FSets/.coq-native/NCoq_FSets_FSetDecide.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/FSets/.coq-native/NCoq_FSets_FSetEqProperties.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/FSets/.coq-native/NCoq_FSets_FSetFacts.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/FSets/.coq-native/NCoq_FSets_FSetInterface.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/FSets/.coq-native/NCoq_FSets_FSetList.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/FSets/.coq-native/NCoq_FSets_FSetPositive.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/FSets/.coq-native/NCoq_FSets_FSetProperties.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/FSets/.coq-native/NCoq_FSets_FSets.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/FSets/.coq-native/NCoq_FSets_FSetToFiniteSet.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/FSets/.coq-native/NCoq_FSets_FSetWeakList.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/funind/.coq-native/NCoq_funind_FunInd.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/funind/.coq-native/NCoq_funind_Recdef.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Init/.coq-native/NCoq_Init_Byte.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Init/.coq-native/NCoq_Init_Datatypes.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Init/.coq-native/NCoq_Init_Decimal.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Init/.coq-native/NCoq_Init_Hexadecimal.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Init/.coq-native/NCoq_Init_Logic.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Init/.coq-native/NCoq_Init_Logic_Type.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Init/.coq-native/NCoq_Init_Ltac.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Init/.coq-native/NCoq_Init_Nat.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Init/.coq-native/NCoq_Init_Notations.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Init/.coq-native/NCoq_Init_Numeral.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Init/.coq-native/NCoq_Init_Peano.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Init/.coq-native/NCoq_Init_Prelude.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Init/.coq-native/NCoq_Init_Specif.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Init/.coq-native/NCoq_Init_Tactics.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Init/.coq-native/NCoq_Init_Tauto.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Init/.coq-native/NCoq_Init_Wf.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Lists/.coq-native/NCoq_Lists_List.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Lists/.coq-native/NCoq_Lists_ListDec.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Lists/.coq-native/NCoq_Lists_ListSet.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Lists/.coq-native/NCoq_Lists_ListTactics.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Lists/.coq-native/NCoq_Lists_SetoidList.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Lists/.coq-native/NCoq_Lists_SetoidPermutation.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Lists/.coq-native/NCoq_Lists_StreamMemo.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Lists/.coq-native/NCoq_Lists_Streams.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Logic/.coq-native/NCoq_Logic_Berardi.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Logic/.coq-native/NCoq_Logic_ChoiceFacts.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Logic/.coq-native/NCoq_Logic_ClassicalChoice.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Logic/.coq-native/NCoq_Logic_Classical.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Logic/.coq-native/NCoq_Logic_ClassicalDescription.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Logic/.coq-native/NCoq_Logic_ClassicalEpsilon.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Logic/.coq-native/NCoq_Logic_ClassicalFacts.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Logic/.coq-native/NCoq_Logic_Classical_Pred_Type.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Logic/.coq-native/NCoq_Logic_Classical_Prop.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Logic/.coq-native/NCoq_Logic_ClassicalUniqueChoice.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Logic/.coq-native/NCoq_Logic_ConstructiveEpsilon.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Logic/.coq-native/NCoq_Logic_Decidable.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Logic/.coq-native/NCoq_Logic_Description.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Logic/.coq-native/NCoq_Logic_Diaconescu.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Logic/.coq-native/NCoq_Logic_Epsilon.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Logic/.coq-native/NCoq_Logic_Eqdep.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Logic/.coq-native/NCoq_Logic_Eqdep_dec.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Logic/.coq-native/NCoq_Logic_EqdepFacts.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Logic/.coq-native/NCoq_Logic_ExtensionalFunctionRepresentative.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Logic/.coq-native/NCoq_Logic_ExtensionalityFacts.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Logic/.coq-native/NCoq_Logic_FinFun.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Logic/.coq-native/NCoq_Logic_FunctionalExtensionality.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Logic/.coq-native/NCoq_Logic_HLevels.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Logic/.coq-native/NCoq_Logic_Hurkens.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Logic/.coq-native/NCoq_Logic_IndefiniteDescription.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Logic/.coq-native/NCoq_Logic_JMeq.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Logic/.coq-native/NCoq_Logic_ProofIrrelevance.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Logic/.coq-native/NCoq_Logic_ProofIrrelevanceFacts.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Logic/.coq-native/NCoq_Logic_PropExtensionality.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Logic/.coq-native/NCoq_Logic_PropExtensionalityFacts.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Logic/.coq-native/NCoq_Logic_PropFacts.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Logic/.coq-native/NCoq_Logic_RelationalChoice.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Logic/.coq-native/NCoq_Logic_SetIsType.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Logic/.coq-native/NCoq_Logic_SetoidChoice.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Logic/.coq-native/NCoq_Logic_StrictProp.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Logic/.coq-native/NCoq_Logic_WeakFan.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Logic/.coq-native/NCoq_Logic_WKL.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/micromega/.coq-native/NCoq_micromega_DeclConstant.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/micromega/.coq-native/NCoq_micromega_Env.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/micromega/.coq-native/NCoq_micromega_EnvRing.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/micromega/.coq-native/NCoq_micromega_Fourier.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/micromega/.coq-native/NCoq_micromega_Fourier_util.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/micromega/.coq-native/NCoq_micromega_Lia.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/micromega/.coq-native/NCoq_micromega_Lqa.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/micromega/.coq-native/NCoq_micromega_Lra.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/micromega/.coq-native/NCoq_micromega_MExtraction.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/micromega/.coq-native/NCoq_micromega_OrderedRing.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/micromega/.coq-native/NCoq_micromega_Psatz.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/micromega/.coq-native/NCoq_micromega_QMicromega.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/micromega/.coq-native/NCoq_micromega_Refl.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/micromega/.coq-native/NCoq_micromega_RingMicromega.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/micromega/.coq-native/NCoq_micromega_RMicromega.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/micromega/.coq-native/NCoq_micromega_Tauto.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/micromega/.coq-native/NCoq_micromega_VarMap.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/micromega/.coq-native/NCoq_micromega_ZArith_hints.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/micromega/.coq-native/NCoq_micromega_ZCoeff.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/micromega/.coq-native/NCoq_micromega_ZifyBool.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/micromega/.coq-native/NCoq_micromega_ZifyClasses.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/micromega/.coq-native/NCoq_micromega_Zify.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/micromega/.coq-native/NCoq_micromega_ZifyComparison.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/micromega/.coq-native/NCoq_micromega_ZifyInst.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/micromega/.coq-native/NCoq_micromega_ZifyPow.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/micromega/.coq-native/NCoq_micromega_ZMicromega.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/micromega/.coq-native/NCoq_micromega_Ztac.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/MSets/.coq-native/NCoq_MSets_MSetAVL.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/MSets/.coq-native/NCoq_MSets_MSetDecide.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/MSets/.coq-native/NCoq_MSets_MSetEqProperties.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/MSets/.coq-native/NCoq_MSets_MSetFacts.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/MSets/.coq-native/NCoq_MSets_MSetGenTree.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/MSets/.coq-native/NCoq_MSets_MSetInterface.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/MSets/.coq-native/NCoq_MSets_MSetList.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/MSets/.coq-native/NCoq_MSets_MSetPositive.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/MSets/.coq-native/NCoq_MSets_MSetProperties.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/MSets/.coq-native/NCoq_MSets_MSetRBT.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/MSets/.coq-native/NCoq_MSets_MSets.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/MSets/.coq-native/NCoq_MSets_MSetToFiniteSet.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/MSets/.coq-native/NCoq_MSets_MSetWeakList.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/NArith/.coq-native/NCoq_NArith_BinNat.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/NArith/.coq-native/NCoq_NArith_BinNatDef.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/NArith/.coq-native/NCoq_NArith_NArith.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/NArith/.coq-native/NCoq_NArith_Ndec.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/NArith/.coq-native/NCoq_NArith_Ndigits.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/NArith/.coq-native/NCoq_NArith_Ndist.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/NArith/.coq-native/NCoq_NArith_Ndiv_def.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/NArith/.coq-native/NCoq_NArith_Ngcd_def.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/NArith/.coq-native/NCoq_NArith_Nnat.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/NArith/.coq-native/NCoq_NArith_Nsqrt_def.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/nsatz/.coq-native/NCoq_nsatz_Nsatz.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/nsatz/.coq-native/NCoq_nsatz_NsatzTactic.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Numbers/.coq-native/NCoq_Numbers_AltBinNotations.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Numbers/.coq-native/NCoq_Numbers_BinNums.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Numbers/.coq-native/NCoq_Numbers_DecimalFacts.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Numbers/.coq-native/NCoq_Numbers_DecimalNat.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Numbers/.coq-native/NCoq_Numbers_DecimalN.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Numbers/.coq-native/NCoq_Numbers_DecimalPos.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Numbers/.coq-native/NCoq_Numbers_DecimalQ.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Numbers/.coq-native/NCoq_Numbers_DecimalString.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Numbers/.coq-native/NCoq_Numbers_DecimalZ.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Numbers/.coq-native/NCoq_Numbers_HexadecimalFacts.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Numbers/.coq-native/NCoq_Numbers_HexadecimalNat.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Numbers/.coq-native/NCoq_Numbers_HexadecimalN.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Numbers/.coq-native/NCoq_Numbers_HexadecimalPos.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Numbers/.coq-native/NCoq_Numbers_HexadecimalQ.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Numbers/.coq-native/NCoq_Numbers_HexadecimalString.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Numbers/.coq-native/NCoq_Numbers_HexadecimalZ.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Numbers/.coq-native/NCoq_Numbers_NaryFunctions.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Numbers/.coq-native/NCoq_Numbers_NumPrelude.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Numbers/Cyclic/Abstract/.coq-native/NCoq_Numbers_Cyclic_Abstract_CyclicAxioms.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Numbers/Cyclic/Abstract/.coq-native/NCoq_Numbers_Cyclic_Abstract_DoubleType.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Numbers/Cyclic/Abstract/.coq-native/NCoq_Numbers_Cyclic_Abstract_NZCyclic.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Numbers/Cyclic/Int31/.coq-native/NCoq_Numbers_Cyclic_Int31_Cyclic31.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Numbers/Cyclic/Int31/.coq-native/NCoq_Numbers_Cyclic_Int31_Int31.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Numbers/Cyclic/Int31/.coq-native/NCoq_Numbers_Cyclic_Int31_Ring31.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Numbers/Cyclic/Int63/.coq-native/NCoq_Numbers_Cyclic_Int63_Cyclic63.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Numbers/Cyclic/Int63/.coq-native/NCoq_Numbers_Cyclic_Int63_Int63.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Numbers/Cyclic/Int63/.coq-native/NCoq_Numbers_Cyclic_Int63_Ring63.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Numbers/Cyclic/ZModulo/.coq-native/NCoq_Numbers_Cyclic_ZModulo_ZModulo.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Numbers/Integer/Abstract/.coq-native/NCoq_Numbers_Integer_Abstract_ZAdd.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Numbers/Integer/Abstract/.coq-native/NCoq_Numbers_Integer_Abstract_ZAddOrder.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Numbers/Integer/Abstract/.coq-native/NCoq_Numbers_Integer_Abstract_ZAxioms.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Numbers/Integer/Abstract/.coq-native/NCoq_Numbers_Integer_Abstract_ZBase.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Numbers/Integer/Abstract/.coq-native/NCoq_Numbers_Integer_Abstract_ZBits.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Numbers/Integer/Abstract/.coq-native/NCoq_Numbers_Integer_Abstract_ZDivEucl.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Numbers/Integer/Abstract/.coq-native/NCoq_Numbers_Integer_Abstract_ZDivFloor.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Numbers/Integer/Abstract/.coq-native/NCoq_Numbers_Integer_Abstract_ZDivTrunc.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Numbers/Integer/Abstract/.coq-native/NCoq_Numbers_Integer_Abstract_ZGcd.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Numbers/Integer/Abstract/.coq-native/NCoq_Numbers_Integer_Abstract_ZLcm.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Numbers/Integer/Abstract/.coq-native/NCoq_Numbers_Integer_Abstract_ZLt.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Numbers/Integer/Abstract/.coq-native/NCoq_Numbers_Integer_Abstract_ZMaxMin.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Numbers/Integer/Abstract/.coq-native/NCoq_Numbers_Integer_Abstract_ZMul.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Numbers/Integer/Abstract/.coq-native/NCoq_Numbers_Integer_Abstract_ZMulOrder.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Numbers/Integer/Abstract/.coq-native/NCoq_Numbers_Integer_Abstract_ZParity.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Numbers/Integer/Abstract/.coq-native/NCoq_Numbers_Integer_Abstract_ZPow.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Numbers/Integer/Abstract/.coq-native/NCoq_Numbers_Integer_Abstract_ZProperties.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Numbers/Integer/Abstract/.coq-native/NCoq_Numbers_Integer_Abstract_ZSgnAbs.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Numbers/Integer/Binary/.coq-native/NCoq_Numbers_Integer_Binary_ZBinary.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Numbers/Integer/NatPairs/.coq-native/NCoq_Numbers_Integer_NatPairs_ZNatPairs.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Numbers/NatInt/.coq-native/NCoq_Numbers_NatInt_NZAdd.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Numbers/NatInt/.coq-native/NCoq_Numbers_NatInt_NZAddOrder.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Numbers/NatInt/.coq-native/NCoq_Numbers_NatInt_NZAxioms.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Numbers/NatInt/.coq-native/NCoq_Numbers_NatInt_NZBase.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Numbers/NatInt/.coq-native/NCoq_Numbers_NatInt_NZBits.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Numbers/NatInt/.coq-native/NCoq_Numbers_NatInt_NZDiv.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Numbers/NatInt/.coq-native/NCoq_Numbers_NatInt_NZDomain.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Numbers/NatInt/.coq-native/NCoq_Numbers_NatInt_NZGcd.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Numbers/NatInt/.coq-native/NCoq_Numbers_NatInt_NZLog.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Numbers/NatInt/.coq-native/NCoq_Numbers_NatInt_NZMul.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Numbers/NatInt/.coq-native/NCoq_Numbers_NatInt_NZMulOrder.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Numbers/NatInt/.coq-native/NCoq_Numbers_NatInt_NZOrder.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Numbers/NatInt/.coq-native/NCoq_Numbers_NatInt_NZParity.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Numbers/NatInt/.coq-native/NCoq_Numbers_NatInt_NZPow.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Numbers/NatInt/.coq-native/NCoq_Numbers_NatInt_NZProperties.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Numbers/NatInt/.coq-native/NCoq_Numbers_NatInt_NZSqrt.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Numbers/Natural/Abstract/.coq-native/NCoq_Numbers_Natural_Abstract_NAdd.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Numbers/Natural/Abstract/.coq-native/NCoq_Numbers_Natural_Abstract_NAddOrder.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Numbers/Natural/Abstract/.coq-native/NCoq_Numbers_Natural_Abstract_NAxioms.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Numbers/Natural/Abstract/.coq-native/NCoq_Numbers_Natural_Abstract_NBase.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Numbers/Natural/Abstract/.coq-native/NCoq_Numbers_Natural_Abstract_NBits.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Numbers/Natural/Abstract/.coq-native/NCoq_Numbers_Natural_Abstract_NDefOps.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Numbers/Natural/Abstract/.coq-native/NCoq_Numbers_Natural_Abstract_NDiv.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Numbers/Natural/Abstract/.coq-native/NCoq_Numbers_Natural_Abstract_NGcd.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Numbers/Natural/Abstract/.coq-native/NCoq_Numbers_Natural_Abstract_NIso.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Numbers/Natural/Abstract/.coq-native/NCoq_Numbers_Natural_Abstract_NLcm.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Numbers/Natural/Abstract/.coq-native/NCoq_Numbers_Natural_Abstract_NLog.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Numbers/Natural/Abstract/.coq-native/NCoq_Numbers_Natural_Abstract_NMaxMin.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Numbers/Natural/Abstract/.coq-native/NCoq_Numbers_Natural_Abstract_NMulOrder.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Numbers/Natural/Abstract/.coq-native/NCoq_Numbers_Natural_Abstract_NOrder.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Numbers/Natural/Abstract/.coq-native/NCoq_Numbers_Natural_Abstract_NParity.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Numbers/Natural/Abstract/.coq-native/NCoq_Numbers_Natural_Abstract_NPow.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Numbers/Natural/Abstract/.coq-native/NCoq_Numbers_Natural_Abstract_NProperties.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Numbers/Natural/Abstract/.coq-native/NCoq_Numbers_Natural_Abstract_NSqrt.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Numbers/Natural/Abstract/.coq-native/NCoq_Numbers_Natural_Abstract_NStrongRec.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Numbers/Natural/Abstract/.coq-native/NCoq_Numbers_Natural_Abstract_NSub.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Numbers/Natural/Binary/.coq-native/NCoq_Numbers_Natural_Binary_NBinary.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Numbers/Natural/Peano/.coq-native/NCoq_Numbers_Natural_Peano_NPeano.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/omega/.coq-native/NCoq_omega_Omega.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/omega/.coq-native/NCoq_omega_OmegaLemmas.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/omega/.coq-native/NCoq_omega_OmegaPlugin.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/omega/.coq-native/NCoq_omega_OmegaTactic.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/omega/.coq-native/NCoq_omega_PreOmega.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/PArith/.coq-native/NCoq_PArith_BinPos.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/PArith/.coq-native/NCoq_PArith_BinPosDef.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/PArith/.coq-native/NCoq_PArith_PArith.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/PArith/.coq-native/NCoq_PArith_Pnat.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/PArith/.coq-native/NCoq_PArith_POrderedType.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Program/.coq-native/NCoq_Program_Basics.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Program/.coq-native/NCoq_Program_Combinators.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Program/.coq-native/NCoq_Program_Equality.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Program/.coq-native/NCoq_Program_Program.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Program/.coq-native/NCoq_Program_Subset.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Program/.coq-native/NCoq_Program_Syntax.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Program/.coq-native/NCoq_Program_Tactics.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Program/.coq-native/NCoq_Program_Utils.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Program/.coq-native/NCoq_Program_Wf.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/QArith/.coq-native/NCoq_QArith_Qabs.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/QArith/.coq-native/NCoq_QArith_QArith_base.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/QArith/.coq-native/NCoq_QArith_QArith.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/QArith/.coq-native/NCoq_QArith_Qcabs.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/QArith/.coq-native/NCoq_QArith_Qcanon.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/QArith/.coq-native/NCoq_QArith_Qfield.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/QArith/.coq-native/NCoq_QArith_Qminmax.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/QArith/.coq-native/NCoq_QArith_QOrderedType.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/QArith/.coq-native/NCoq_QArith_Qpower.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/QArith/.coq-native/NCoq_QArith_Qreals.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/QArith/.coq-native/NCoq_QArith_Qreduction.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/QArith/.coq-native/NCoq_QArith_Qring.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/QArith/.coq-native/NCoq_QArith_Qround.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Reals/Abstract/.coq-native/NCoq_Reals_Abstract_ConstructiveAbs.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Reals/Abstract/.coq-native/NCoq_Reals_Abstract_ConstructiveLimits.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Reals/Abstract/.coq-native/NCoq_Reals_Abstract_ConstructiveLUB.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Reals/Abstract/.coq-native/NCoq_Reals_Abstract_ConstructiveMinMax.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Reals/Abstract/.coq-native/NCoq_Reals_Abstract_ConstructivePower.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Reals/Abstract/.coq-native/NCoq_Reals_Abstract_ConstructiveReals.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Reals/Abstract/.coq-native/NCoq_Reals_Abstract_ConstructiveRealsMorphisms.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Reals/Abstract/.coq-native/NCoq_Reals_Abstract_ConstructiveSum.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Reals/Cauchy/.coq-native/NCoq_Reals_Cauchy_ConstructiveCauchyAbs.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Reals/Cauchy/.coq-native/NCoq_Reals_Cauchy_ConstructiveCauchyReals.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Reals/Cauchy/.coq-native/NCoq_Reals_Cauchy_ConstructiveCauchyRealsMult.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Reals/Cauchy/.coq-native/NCoq_Reals_Cauchy_ConstructiveRcomplete.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Reals/.coq-native/NCoq_Reals_Alembert.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Reals/.coq-native/NCoq_Reals_AltSeries.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Reals/.coq-native/NCoq_Reals_ArithProp.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Reals/.coq-native/NCoq_Reals_Binomial.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Reals/.coq-native/NCoq_Reals_Cauchy_prod.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Reals/.coq-native/NCoq_Reals_ClassicalConstructiveReals.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Reals/.coq-native/NCoq_Reals_ClassicalDedekindReals.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Reals/.coq-native/NCoq_Reals_Cos_plus.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Reals/.coq-native/NCoq_Reals_Cos_rel.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Reals/.coq-native/NCoq_Reals_DiscrR.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Reals/.coq-native/NCoq_Reals_Exp_prop.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Reals/.coq-native/NCoq_Reals_Integration.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Reals/.coq-native/NCoq_Reals_Machin.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Reals/.coq-native/NCoq_Reals_MVT.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Reals/.coq-native/NCoq_Reals_NewtonInt.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Reals/.coq-native/NCoq_Reals_PartSum.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Reals/.coq-native/NCoq_Reals_PSeries_reg.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Reals/.coq-native/NCoq_Reals_Ranalysis1.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Reals/.coq-native/NCoq_Reals_Ranalysis2.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Reals/.coq-native/NCoq_Reals_Ranalysis3.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Reals/.coq-native/NCoq_Reals_Ranalysis4.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Reals/.coq-native/NCoq_Reals_Ranalysis5.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Reals/.coq-native/NCoq_Reals_Ranalysis.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Reals/.coq-native/NCoq_Reals_Ranalysis_reg.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Reals/.coq-native/NCoq_Reals_Ratan.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Reals/.coq-native/NCoq_Reals_Raxioms.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Reals/.coq-native/NCoq_Reals_Rbase.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Reals/.coq-native/NCoq_Reals_Rbasic_fun.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Reals/.coq-native/NCoq_Reals_Rcomplete.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Reals/.coq-native/NCoq_Reals_Rdefinitions.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Reals/.coq-native/NCoq_Reals_Rderiv.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Reals/.coq-native/NCoq_Reals_Reals.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Reals/.coq-native/NCoq_Reals_Rfunctions.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Reals/.coq-native/NCoq_Reals_Rgeom.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Reals/.coq-native/NCoq_Reals_RiemannInt.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Reals/.coq-native/NCoq_Reals_RiemannInt_SF.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Reals/.coq-native/NCoq_Reals_R_Ifp.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Reals/.coq-native/NCoq_Reals_RIneq.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Reals/.coq-native/NCoq_Reals_Rlimit.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Reals/.coq-native/NCoq_Reals_RList.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Reals/.coq-native/NCoq_Reals_Rlogic.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Reals/.coq-native/NCoq_Reals_Rminmax.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Reals/.coq-native/NCoq_Reals_ROrderedType.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Reals/.coq-native/NCoq_Reals_Rpow_def.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Reals/.coq-native/NCoq_Reals_Rpower.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Reals/.coq-native/NCoq_Reals_Rprod.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Reals/.coq-native/NCoq_Reals_Rregisternames.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Reals/.coq-native/NCoq_Reals_Rseries.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Reals/.coq-native/NCoq_Reals_Rsigma.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Reals/.coq-native/NCoq_Reals_R_sqr.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Reals/.coq-native/NCoq_Reals_R_sqrt.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Reals/.coq-native/NCoq_Reals_Rsqrt_def.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Reals/.coq-native/NCoq_Reals_Rtopology.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Reals/.coq-native/NCoq_Reals_Rtrigo1.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Reals/.coq-native/NCoq_Reals_Rtrigo_alt.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Reals/.coq-native/NCoq_Reals_Rtrigo_calc.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Reals/.coq-native/NCoq_Reals_Rtrigo.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Reals/.coq-native/NCoq_Reals_Rtrigo_def.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Reals/.coq-native/NCoq_Reals_Rtrigo_facts.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Reals/.coq-native/NCoq_Reals_Rtrigo_fun.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Reals/.coq-native/NCoq_Reals_Rtrigo_reg.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Reals/.coq-native/NCoq_Reals_Runcountable.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Reals/.coq-native/NCoq_Reals_SeqProp.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Reals/.coq-native/NCoq_Reals_SeqSeries.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Reals/.coq-native/NCoq_Reals_SplitAbsolu.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Reals/.coq-native/NCoq_Reals_SplitRmult.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Reals/.coq-native/NCoq_Reals_Sqrt_reg.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Relations/.coq-native/NCoq_Relations_Operators_Properties.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Relations/.coq-native/NCoq_Relations_Relation_Definitions.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Relations/.coq-native/NCoq_Relations_Relation_Operators.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Relations/.coq-native/NCoq_Relations_Relations.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/rtauto/.coq-native/NCoq_rtauto_Bintree.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/rtauto/.coq-native/NCoq_rtauto_Rtauto.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/setoid_ring/.coq-native/NCoq_setoid_ring_Algebra_syntax.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/setoid_ring/.coq-native/NCoq_setoid_ring_ArithRing.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/setoid_ring/.coq-native/NCoq_setoid_ring_BinList.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/setoid_ring/.coq-native/NCoq_setoid_ring_Cring.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/setoid_ring/.coq-native/NCoq_setoid_ring_Field.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/setoid_ring/.coq-native/NCoq_setoid_ring_Field_tac.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/setoid_ring/.coq-native/NCoq_setoid_ring_Field_theory.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/setoid_ring/.coq-native/NCoq_setoid_ring_InitialRing.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/setoid_ring/.coq-native/NCoq_setoid_ring_Integral_domain.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/setoid_ring/.coq-native/NCoq_setoid_ring_NArithRing.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/setoid_ring/.coq-native/NCoq_setoid_ring_Ncring.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/setoid_ring/.coq-native/NCoq_setoid_ring_Ncring_initial.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/setoid_ring/.coq-native/NCoq_setoid_ring_Ncring_polynom.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/setoid_ring/.coq-native/NCoq_setoid_ring_Ncring_tac.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/setoid_ring/.coq-native/NCoq_setoid_ring_RealField.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/setoid_ring/.coq-native/NCoq_setoid_ring_Ring_base.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/setoid_ring/.coq-native/NCoq_setoid_ring_Ring.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/setoid_ring/.coq-native/NCoq_setoid_ring_Ring_polynom.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/setoid_ring/.coq-native/NCoq_setoid_ring_Rings_Q.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/setoid_ring/.coq-native/NCoq_setoid_ring_Rings_R.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/setoid_ring/.coq-native/NCoq_setoid_ring_Rings_Z.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/setoid_ring/.coq-native/NCoq_setoid_ring_Ring_tac.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/setoid_ring/.coq-native/NCoq_setoid_ring_Ring_theory.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/setoid_ring/.coq-native/NCoq_setoid_ring_ZArithRing.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Setoids/.coq-native/NCoq_Setoids_Setoid.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Sets/.coq-native/NCoq_Sets_Classical_sets.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Sets/.coq-native/NCoq_Sets_Constructive_sets.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Sets/.coq-native/NCoq_Sets_Cpo.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Sets/.coq-native/NCoq_Sets_Ensembles.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Sets/.coq-native/NCoq_Sets_Finite_sets.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Sets/.coq-native/NCoq_Sets_Finite_sets_facts.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Sets/.coq-native/NCoq_Sets_Image.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Sets/.coq-native/NCoq_Sets_Infinite_sets.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Sets/.coq-native/NCoq_Sets_Integers.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Sets/.coq-native/NCoq_Sets_Multiset.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Sets/.coq-native/NCoq_Sets_Partial_Order.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Sets/.coq-native/NCoq_Sets_Permut.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Sets/.coq-native/NCoq_Sets_Powerset_Classical_facts.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Sets/.coq-native/NCoq_Sets_Powerset.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Sets/.coq-native/NCoq_Sets_Powerset_facts.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Sets/.coq-native/NCoq_Sets_Relations_1.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Sets/.coq-native/NCoq_Sets_Relations_1_facts.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Sets/.coq-native/NCoq_Sets_Relations_2.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Sets/.coq-native/NCoq_Sets_Relations_2_facts.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Sets/.coq-native/NCoq_Sets_Relations_3.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Sets/.coq-native/NCoq_Sets_Relations_3_facts.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Sets/.coq-native/NCoq_Sets_Uniset.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Sorting/.coq-native/NCoq_Sorting_CPermutation.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Sorting/.coq-native/NCoq_Sorting_Heap.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Sorting/.coq-native/NCoq_Sorting_Mergesort.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Sorting/.coq-native/NCoq_Sorting_Permutation.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Sorting/.coq-native/NCoq_Sorting_PermutEq.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Sorting/.coq-native/NCoq_Sorting_PermutSetoid.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Sorting/.coq-native/NCoq_Sorting_Sorted.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Sorting/.coq-native/NCoq_Sorting_Sorting.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/ssr/.coq-native/NCoq_ssr_ssrbool.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/ssr/.coq-native/NCoq_ssr_ssrclasses.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/ssr/.coq-native/NCoq_ssr_ssreflect.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/ssr/.coq-native/NCoq_ssr_ssrfun.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/ssr/.coq-native/NCoq_ssr_ssrsetoid.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/ssr/.coq-native/NCoq_ssr_ssrunder.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/ssrmatching/.coq-native/NCoq_ssrmatching_ssrmatching.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/ssrsearch/.coq-native/NCoq_ssrsearch_ssrsearch.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Strings/.coq-native/NCoq_Strings_Ascii.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Strings/.coq-native/NCoq_Strings_BinaryString.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Strings/.coq-native/NCoq_Strings_Byte.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Strings/.coq-native/NCoq_Strings_ByteVector.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Strings/.coq-native/NCoq_Strings_HexString.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Strings/.coq-native/NCoq_Strings_OctalString.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Strings/.coq-native/NCoq_Strings_String.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Structures/.coq-native/NCoq_Structures_DecidableType.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Structures/.coq-native/NCoq_Structures_DecidableTypeEx.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Structures/.coq-native/NCoq_Structures_Equalities.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Structures/.coq-native/NCoq_Structures_EqualitiesFacts.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Structures/.coq-native/NCoq_Structures_GenericMinMax.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Structures/.coq-native/NCoq_Structures_OrderedTypeAlt.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Structures/.coq-native/NCoq_Structures_OrderedType.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Structures/.coq-native/NCoq_Structures_OrderedTypeEx.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Structures/.coq-native/NCoq_Structures_OrdersAlt.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Structures/.coq-native/NCoq_Structures_Orders.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Structures/.coq-native/NCoq_Structures_OrdersEx.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Structures/.coq-native/NCoq_Structures_OrdersFacts.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Structures/.coq-native/NCoq_Structures_OrdersLists.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Structures/.coq-native/NCoq_Structures_OrdersTac.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Unicode/.coq-native/NCoq_Unicode_Utf8.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Unicode/.coq-native/NCoq_Unicode_Utf8_core.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Vectors/.coq-native/NCoq_Vectors_Fin.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Vectors/.coq-native/NCoq_Vectors_Vector.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Vectors/.coq-native/NCoq_Vectors_VectorDef.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Vectors/.coq-native/NCoq_Vectors_VectorEq.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Vectors/.coq-native/NCoq_Vectors_VectorSpec.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Wellfounded/.coq-native/NCoq_Wellfounded_Disjoint_Union.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Wellfounded/.coq-native/NCoq_Wellfounded_Inclusion.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Wellfounded/.coq-native/NCoq_Wellfounded_Inverse_Image.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Wellfounded/.coq-native/NCoq_Wellfounded_Lexicographic_Exponentiation.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Wellfounded/.coq-native/NCoq_Wellfounded_Lexicographic_Product.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Wellfounded/.coq-native/NCoq_Wellfounded_Transitive_Closure.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Wellfounded/.coq-native/NCoq_Wellfounded_Union.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Wellfounded/.coq-native/NCoq_Wellfounded_Wellfounded.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Wellfounded/.coq-native/NCoq_Wellfounded_Well_Ordering.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/ZArith/.coq-native/NCoq_ZArith_auxiliary.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/ZArith/.coq-native/NCoq_ZArith_BinInt.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/ZArith/.coq-native/NCoq_ZArith_BinIntDef.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/ZArith/.coq-native/NCoq_ZArith_Int.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/ZArith/.coq-native/NCoq_ZArith_Wf_Z.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/ZArith/.coq-native/NCoq_ZArith_Zabs.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/ZArith/.coq-native/NCoq_ZArith_ZArith_base.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/ZArith/.coq-native/NCoq_ZArith_ZArith.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/ZArith/.coq-native/NCoq_ZArith_ZArith_dec.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/ZArith/.coq-native/NCoq_ZArith_Zbool.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/ZArith/.coq-native/NCoq_ZArith_Zcompare.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/ZArith/.coq-native/NCoq_ZArith_Zcomplements.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/ZArith/.coq-native/NCoq_ZArith_Zdigits.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/ZArith/.coq-native/NCoq_ZArith_Zdiv.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/ZArith/.coq-native/NCoq_ZArith_Zeuclid.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/ZArith/.coq-native/NCoq_ZArith_Zeven.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/ZArith/.coq-native/NCoq_ZArith_Zgcd_alt.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/ZArith/.coq-native/NCoq_ZArith_Zhints.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/ZArith/.coq-native/NCoq_ZArith_Zmax.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/ZArith/.coq-native/NCoq_ZArith_Zmin.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/ZArith/.coq-native/NCoq_ZArith_Zminmax.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/ZArith/.coq-native/NCoq_ZArith_Zmisc.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/ZArith/.coq-native/NCoq_ZArith_Znat.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/ZArith/.coq-native/NCoq_ZArith_Znumtheory.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/ZArith/.coq-native/NCoq_ZArith_Zorder.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/ZArith/.coq-native/NCoq_ZArith_Zpow_alt.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/ZArith/.coq-native/NCoq_ZArith_Zpow_def.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/ZArith/.coq-native/NCoq_ZArith_Zpower.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/ZArith/.coq-native/NCoq_ZArith_Zpow_facts.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/ZArith/.coq-native/NCoq_ZArith_Zquot.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/ZArith/.coq-native/NCoq_ZArith_Zwf.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/user-contrib/Ltac2/.coq-native/NLtac2_Array.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/user-contrib/Ltac2/.coq-native/NLtac2_Bool.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/user-contrib/Ltac2/.coq-native/NLtac2_Char.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/user-contrib/Ltac2/.coq-native/NLtac2_Constr.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/user-contrib/Ltac2/.coq-native/NLtac2_Control.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/user-contrib/Ltac2/.coq-native/NLtac2_Env.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/user-contrib/Ltac2/.coq-native/NLtac2_Fresh.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/user-contrib/Ltac2/.coq-native/NLtac2_Ident.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/user-contrib/Ltac2/.coq-native/NLtac2_Init.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/user-contrib/Ltac2/.coq-native/NLtac2_Int.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/user-contrib/Ltac2/.coq-native/NLtac2_List.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/user-contrib/Ltac2/.coq-native/NLtac2_Ltac1.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/user-contrib/Ltac2/.coq-native/NLtac2_Ltac2.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/user-contrib/Ltac2/.coq-native/NLtac2_Message.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/user-contrib/Ltac2/.coq-native/NLtac2_Notations.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/user-contrib/Ltac2/.coq-native/NLtac2_Option.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/user-contrib/Ltac2/.coq-native/NLtac2_Pattern.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/user-contrib/Ltac2/.coq-native/NLtac2_Std.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/user-contrib/Ltac2/.coq-native/NLtac2_String.cmxs
• libcoq-ocaml_8.12.0-3+b3_amd64.deb (main)
  • W shared-library-lacks-prerequisites usr/lib/coq/plugins/btauto/btauto_plugin.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/plugins/cc/cc_plugin.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/plugins/derive/derive_plugin.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/plugins/extraction/extraction_plugin.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/plugins/firstorder/ground_plugin.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/plugins/funind/recdef_plugin.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/plugins/ltac/ltac_plugin.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/plugins/ltac/tauto_plugin.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/plugins/micromega/micromega_plugin.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/plugins/micromega/zify_plugin.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/plugins/nsatz/nsatz_plugin.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/plugins/omega/omega_plugin.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/plugins/rtauto/rtauto_plugin.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/plugins/setoid_ring/newring_plugin.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/plugins/ssrmatching/ssrmatching_plugin.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/plugins/ssrsearch/ssrsearch_plugin.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/plugins/ssr/ssreflect_plugin.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/plugins/syntax/float_syntax_plugin.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/plugins/syntax/int63_syntax_plugin.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/plugins/syntax/numeral_notation_plugin.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/plugins/syntax/r_syntax_plugin.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/plugins/syntax/string_notation_plugin.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/user-contrib/Ltac2/ltac2_plugin.cmxs
• libcoq-ocaml-dev_8.12.0-3+b3_amd64.deb (main)
  • E ocaml-dangling-cmx usr/lib/coq/plugins/btauto/g_btauto.cmx
  • E ocaml-dangling-cmx usr/lib/coq/plugins/btauto/refl_btauto.cmx
  • E ocaml-dangling-cmx usr/lib/coq/plugins/cc/ccalgo.cmx
  • E ocaml-dangling-cmx usr/lib/coq/plugins/cc/ccproof.cmx
  • E ocaml-dangling-cmx usr/lib/coq/plugins/cc/cctac.cmx
  • E ocaml-dangling-cmx usr/lib/coq/plugins/cc/g_congruence.cmx
  • E ocaml-dangling-cmx usr/lib/coq/plugins/derive/derive.cmx
  • E ocaml-dangling-cmx usr/lib/coq/plugins/derive/g_derive.cmx
  • E ocaml-dangling-cmx usr/lib/coq/plugins/extraction/common.cmx
  • E ocaml-dangling-cmx usr/lib/coq/plugins/extraction/extract_env.cmx
  • E ocaml-dangling-cmx usr/lib/coq/plugins/extraction/extraction.cmx
  • E ocaml-dangling-cmx usr/lib/coq/plugins/extraction/g_extraction.cmx
  • E ocaml-dangling-cmx usr/lib/coq/plugins/extraction/haskell.cmx
  • E ocaml-dangling-cmx usr/lib/coq/plugins/extraction/json.cmx
  • E ocaml-dangling-cmx usr/lib/coq/plugins/extraction/miniml.cmx
  • E ocaml-dangling-cmx usr/lib/coq/plugins/extraction/mlutil.cmx
  • E ocaml-dangling-cmx usr/lib/coq/plugins/extraction/modutil.cmx
  • E ocaml-dangling-cmx usr/lib/coq/plugins/extraction/ocaml.cmx
  • E ocaml-dangling-cmx usr/lib/coq/plugins/extraction/scheme.cmx
  • E ocaml-dangling-cmx usr/lib/coq/plugins/extraction/table.cmx
  • E ocaml-dangling-cmx usr/lib/coq/plugins/firstorder/formula.cmx
  • E ocaml-dangling-cmx usr/lib/coq/plugins/firstorder/g_ground.cmx
  • E ocaml-dangling-cmx usr/lib/coq/plugins/firstorder/ground.cmx
  • E ocaml-dangling-cmx usr/lib/coq/plugins/firstorder/instances.cmx
  • E ocaml-dangling-cmx usr/lib/coq/plugins/firstorder/rules.cmx
  • E ocaml-dangling-cmx usr/lib/coq/plugins/firstorder/sequent.cmx
  • E ocaml-dangling-cmx usr/lib/coq/plugins/firstorder/unify.cmx
  • E ocaml-dangling-cmx usr/lib/coq/plugins/funind/functional_principles_proofs.cmx
  • E ocaml-dangling-cmx usr/lib/coq/plugins/funind/functional_principles_types.cmx
  • E ocaml-dangling-cmx usr/lib/coq/plugins/funind/gen_principle.cmx
  • E ocaml-dangling-cmx usr/lib/coq/plugins/funind/g_indfun.cmx
  • E ocaml-dangling-cmx usr/lib/coq/plugins/funind/glob_termops.cmx
  • E ocaml-dangling-cmx usr/lib/coq/plugins/funind/glob_term_to_relation.cmx
  • E ocaml-dangling-cmx usr/lib/coq/plugins/funind/indfun.cmx
  • E ocaml-dangling-cmx usr/lib/coq/plugins/funind/indfun_common.cmx
  • E ocaml-dangling-cmx usr/lib/coq/plugins/funind/invfun.cmx
  • E ocaml-dangling-cmx usr/lib/coq/plugins/funind/recdef.cmx
  • E ocaml-dangling-cmx usr/lib/coq/plugins/ltac/coretactics.cmx
  • E ocaml-dangling-cmx usr/lib/coq/plugins/ltac/evar_tactics.cmx
  • E ocaml-dangling-cmx usr/lib/coq/plugins/ltac/extraargs.cmx
  • E ocaml-dangling-cmx usr/lib/coq/plugins/ltac/extratactics.cmx
  • E ocaml-dangling-cmx usr/lib/coq/plugins/ltac/g_auto.cmx
  • E ocaml-dangling-cmx usr/lib/coq/plugins/ltac/g_class.cmx
  • E ocaml-dangling-cmx usr/lib/coq/plugins/ltac/g_eqdecide.cmx
  • E ocaml-dangling-cmx usr/lib/coq/plugins/ltac/g_ltac.cmx
  • E ocaml-dangling-cmx usr/lib/coq/plugins/ltac/g_obligations.cmx
  • E ocaml-dangling-cmx usr/lib/coq/plugins/ltac/g_rewrite.cmx
  • E ocaml-dangling-cmx usr/lib/coq/plugins/ltac/g_tactic.cmx
  • E ocaml-dangling-cmx usr/lib/coq/plugins/ltac/leminv.cmx
  • E ocaml-dangling-cmx usr/lib/coq/plugins/ltac/pltac.cmx
  • E ocaml-dangling-cmx usr/lib/coq/plugins/ltac/pptactic.cmx
  • E ocaml-dangling-cmx usr/lib/coq/plugins/ltac/profile_ltac.cmx
  • E ocaml-dangling-cmx usr/lib/coq/plugins/ltac/profile_ltac_tactics.cmx
  • E ocaml-dangling-cmx usr/lib/coq/plugins/ltac/rewrite.cmx
  • E ocaml-dangling-cmx usr/lib/coq/plugins/ltac/tacarg.cmx
  • E ocaml-dangling-cmx usr/lib/coq/plugins/ltac/taccoerce.cmx
  • E ocaml-dangling-cmx usr/lib/coq/plugins/ltac/tacentries.cmx
  • E ocaml-dangling-cmx usr/lib/coq/plugins/ltac/tacenv.cmx
  • E ocaml-dangling-cmx usr/lib/coq/plugins/ltac/tacexpr.cmx
  • E ocaml-dangling-cmx usr/lib/coq/plugins/ltac/tacintern.cmx
  • E ocaml-dangling-cmx usr/lib/coq/plugins/ltac/tacinterp.cmx
  • E ocaml-dangling-cmx usr/lib/coq/plugins/ltac/tacsubst.cmx
  • E ocaml-dangling-cmx usr/lib/coq/plugins/ltac/tactic_debug.cmx
  • E ocaml-dangling-cmx usr/lib/coq/plugins/ltac/tactic_matching.cmx
  • E ocaml-dangling-cmx usr/lib/coq/plugins/ltac/tactic_option.cmx
  • E ocaml-dangling-cmx usr/lib/coq/plugins/ltac/tauto.cmx
  • E ocaml-dangling-cmx usr/lib/coq/plugins/micromega/certificate.cmx
  • E ocaml-dangling-cmx usr/lib/coq/plugins/micromega/coq_micromega.cmx
  • E ocaml-dangling-cmx usr/lib/coq/plugins/micromega/csdpcert.cmx
  • E ocaml-dangling-cmx usr/lib/coq/plugins/micromega/g_micromega.cmx
  • E ocaml-dangling-cmx usr/lib/coq/plugins/micromega/g_zify.cmx
  • E ocaml-dangling-cmx usr/lib/coq/plugins/micromega/itv.cmx
  • E ocaml-dangling-cmx usr/lib/coq/plugins/micromega/mfourier.cmx
  • E ocaml-dangling-cmx usr/lib/coq/plugins/micromega/micromega.cmx
  • E ocaml-dangling-cmx usr/lib/coq/plugins/micromega/mutils.cmx
  • E ocaml-dangling-cmx usr/lib/coq/plugins/micromega/numCompat.cmx
  • E ocaml-dangling-cmx usr/lib/coq/plugins/micromega/persistent_cache.cmx
  • E ocaml-dangling-cmx usr/lib/coq/plugins/micromega/polynomial.cmx
  • E ocaml-dangling-cmx usr/lib/coq/plugins/micromega/simplex.cmx
  • E ocaml-dangling-cmx usr/lib/coq/plugins/micromega/sos.cmx
  • E ocaml-dangling-cmx usr/lib/coq/plugins/micromega/sos_lib.cmx
  • E ocaml-dangling-cmx usr/lib/coq/plugins/micromega/sos_types.cmx
  • E ocaml-dangling-cmx usr/lib/coq/plugins/micromega/vect.cmx
  • E ocaml-dangling-cmx usr/lib/coq/plugins/micromega/zify.cmx
  • E ocaml-dangling-cmx usr/lib/coq/plugins/nsatz/g_nsatz.cmx
  • E ocaml-dangling-cmx usr/lib/coq/plugins/nsatz/ideal.cmx
  • E ocaml-dangling-cmx usr/lib/coq/plugins/nsatz/nsatz.cmx
  • E ocaml-dangling-cmx usr/lib/coq/plugins/nsatz/polynom.cmx
  • E ocaml-dangling-cmx usr/lib/coq/plugins/nsatz/utile.cmx
  • E ocaml-dangling-cmx usr/lib/coq/plugins/omega/coq_omega.cmx
  • E ocaml-dangling-cmx usr/lib/coq/plugins/omega/g_omega.cmx
  • E ocaml-dangling-cmx usr/lib/coq/plugins/omega/omega.cmx
  • E ocaml-dangling-cmx usr/lib/coq/plugins/rtauto/g_rtauto.cmx
  • E ocaml-dangling-cmx usr/lib/coq/plugins/rtauto/proof_search.cmx
  • E ocaml-dangling-cmx usr/lib/coq/plugins/rtauto/refl_tauto.cmx
  • E ocaml-dangling-cmx usr/lib/coq/plugins/setoid_ring/g_newring.cmx
  • E ocaml-dangling-cmx usr/lib/coq/plugins/setoid_ring/newring_ast.cmx
  • E ocaml-dangling-cmx usr/lib/coq/plugins/setoid_ring/newring.cmx
  • E ocaml-dangling-cmx usr/lib/coq/plugins/ssrmatching/g_ssrmatching.cmx
  • E ocaml-dangling-cmx usr/lib/coq/plugins/ssrmatching/ssrmatching.cmx
  • E ocaml-dangling-cmx usr/lib/coq/plugins/ssrsearch/g_search.cmx
  • E ocaml-dangling-cmx usr/lib/coq/plugins/ssr/ssrbwd.cmx
  • E ocaml-dangling-cmx usr/lib/coq/plugins/ssr/ssrcommon.cmx
  • E ocaml-dangling-cmx usr/lib/coq/plugins/ssr/ssrelim.cmx
  • E ocaml-dangling-cmx usr/lib/coq/plugins/ssr/ssrequality.cmx
  • E ocaml-dangling-cmx usr/lib/coq/plugins/ssr/ssrfwd.cmx
  • E ocaml-dangling-cmx usr/lib/coq/plugins/ssr/ssripats.cmx
  • E ocaml-dangling-cmx usr/lib/coq/plugins/ssr/ssrparser.cmx
  • E ocaml-dangling-cmx usr/lib/coq/plugins/ssr/ssrprinters.cmx
  • E ocaml-dangling-cmx usr/lib/coq/plugins/ssr/ssrtacticals.cmx
  • E ocaml-dangling-cmx usr/lib/coq/plugins/ssr/ssrvernac.cmx
  • E ocaml-dangling-cmx usr/lib/coq/plugins/ssr/ssrview.cmx
  • E ocaml-dangling-cmx usr/lib/coq/plugins/syntax/float_syntax.cmx
  • E ocaml-dangling-cmx usr/lib/coq/plugins/syntax/g_numeral.cmx
  • E ocaml-dangling-cmx usr/lib/coq/plugins/syntax/g_string.cmx
  • E ocaml-dangling-cmx usr/lib/coq/plugins/syntax/int63_syntax.cmx
  • E ocaml-dangling-cmx usr/lib/coq/plugins/syntax/numeral.cmx
  • E ocaml-dangling-cmx usr/lib/coq/plugins/syntax/r_syntax.cmx
  • E ocaml-dangling-cmx usr/lib/coq/plugins/syntax/string_notation.cmx
  • E ocaml-dangling-cmx usr/lib/coq/proofs/tactypes.cmx
  • E ocaml-dangling-cmx usr/lib/coq/topbin/coqc_bin.cmx
  • E ocaml-dangling-cmx usr/lib/coq/topbin/coqproofworker_bin.cmx
  • E ocaml-dangling-cmx usr/lib/coq/topbin/coqqueryworker_bin.cmx
  • E ocaml-dangling-cmx usr/lib/coq/topbin/coqtacticworker_bin.cmx
  • E ocaml-dangling-cmx usr/lib/coq/topbin/coqtop_bin.cmx
  • E ocaml-dangling-cmx usr/lib/coq/user-contrib/Ltac2/g_ltac2.cmx
  • E ocaml-dangling-cmx usr/lib/coq/user-contrib/Ltac2/tac2core.cmx
  • E ocaml-dangling-cmx usr/lib/coq/user-contrib/Ltac2/tac2dyn.cmx
  • E ocaml-dangling-cmx usr/lib/coq/user-contrib/Ltac2/tac2entries.cmx
  • E ocaml-dangling-cmx usr/lib/coq/user-contrib/Ltac2/tac2env.cmx
  • E ocaml-dangling-cmx usr/lib/coq/user-contrib/Ltac2/tac2extffi.cmx
  • E ocaml-dangling-cmx usr/lib/coq/user-contrib/Ltac2/tac2ffi.cmx
  • E ocaml-dangling-cmx usr/lib/coq/user-contrib/Ltac2/tac2intern.cmx
  • E ocaml-dangling-cmx usr/lib/coq/user-contrib/Ltac2/tac2interp.cmx
  • E ocaml-dangling-cmx usr/lib/coq/user-contrib/Ltac2/tac2match.cmx
  • E ocaml-dangling-cmx usr/lib/coq/user-contrib/Ltac2/tac2print.cmx
  • E ocaml-dangling-cmx usr/lib/coq/user-contrib/Ltac2/tac2quote.cmx
  • E ocaml-dangling-cmx usr/lib/coq/user-contrib/Ltac2/tac2stdlib.cmx
  • E ocaml-dangling-cmx usr/lib/coq/user-contrib/Ltac2/tac2tactics.cmx
• coq-doc 8.6-1
• coq-doc_8.6-1.dsc (non-free)
  • W package-uses-deprecated-debhelper-compat-version 9
  • W unnecessary-team-upload
  • W vcs-obsolete-in-debian-infrastructure Browser https://anonscm.debian.org/gitweb/?p=pkg-ocaml-maint/packages/coq-doc.git
  • W vcs-obsolete-in-debian-infrastructure Git https://anonscm.debian.org/cgit/pkg-ocaml-maint/packages/coq-doc.git
• cppo 1.6.6-2
• cppo_1.6.6-2.dsc (main)
  • E no-human-maintainers
• cppo_1.6.6-2+b1_amd64.deb (main)
  • W shared-library-lacks-prerequisites usr/lib/ocaml/cppo_ocamlbuild/cppo_ocamlbuild.cmxs
• cudf 0.9-1
• cudf-tools_0.9-1+b1_amd64.deb (main)
  • W no-manual-page usr/bin/cudf-parse-822
• libcudf-dev_0.9-1+b1_amd64.deb (main)
  • W pkg-config-unavailable-for-cross-compilation usr/lib/pkgconfig/cudf.pc
• dose3 6.0.1-2
• libdose3-ocaml-dev_6.0.1-2_amd64.deb (main)
  • W shared-library-lacks-prerequisites usr/lib/ocaml/dose3/algo/dose_algo.cmxs
  • W shared-library-lacks-prerequisites usr/lib/ocaml/dose3/common/dose_common.cmxs
  • W shared-library-lacks-prerequisites usr/lib/ocaml/dose3/debian/dose_debian.cmxs
  • W shared-library-lacks-prerequisites usr/lib/ocaml/dose3/doseparse/dose_doseparse.cmxs
  • W shared-library-lacks-prerequisites usr/lib/ocaml/dose3/npm/dose_npm.cmxs
  • W shared-library-lacks-prerequisites usr/lib/ocaml/dose3/opam2/dose_opam2.cmxs
  • W shared-library-lacks-prerequisites usr/lib/ocaml/dose3/opencsw/dose_opencsw.cmxs
  • W shared-library-lacks-prerequisites usr/lib/ocaml/dose3/pef/dose_pef.cmxs
  • W shared-library-lacks-prerequisites usr/lib/ocaml/dose3/versioning/dose_versioning.cmxs
• easy-format 1.3.2-1
• libeasy-format-ocaml_1.3.2-1+b1_amd64.deb (main)
  • W shared-library-lacks-prerequisites usr/lib/ocaml/easy-format/easy_format.cmxs
• eliom 6.12.4-1
• eliom_6.12.4-1+b5_amd64.deb (main)
  • W no-manual-page usr/bin/eliombuild
  • W no-manual-page usr/bin/eliomdoc
  • W no-manual-page usr/bin/eliompp
  • W no-manual-page usr/bin/ppx_eliom_client
  • W no-manual-page usr/bin/ppx_eliom_server
  • W no-manual-page usr/bin/ppx_eliom_types
• libeliom-ocaml-dev_6.12.4-1+b5_amd64.deb (main)
  • W shared-library-lacks-prerequisites usr/lib/ocaml/eliom/ocamlbuild/ocamlbuild_eliom.cmxs
  • W shared-library-lacks-prerequisites usr/lib/ocaml/eliom/ppx/ppx_eliom_client.cmxs
  • W shared-library-lacks-prerequisites usr/lib/ocaml/eliom/ppx/ppx_eliom.cmxs
  • W shared-library-lacks-prerequisites usr/lib/ocaml/eliom/ppx/ppx_eliom_server.cmxs
  • W shared-library-lacks-prerequisites usr/lib/ocaml/eliom/ppx/ppx_eliom_type.cmxs
  • W shared-library-lacks-prerequisites usr/lib/ocaml/eliom/server/monitor/eliom_monitor.cmxs
  • W shared-library-lacks-prerequisites usr/lib/ocaml/eliom/server/monitor/eliom_monitor_main.cmxs
  • W shared-library-lacks-prerequisites usr/lib/ocaml/eliom/server/server.cmxs
• libeliom-ocaml-doc_6.12.4-1_all.deb (main)
  • W duplicate-changelog-files usr/share/doc/eliom/CHANGES.gz usr/share/doc/libeliom-ocaml-doc/changelog.gz
• extlib 1.7.7-2
• libextlib-ocaml_1.7.7-2+b1_amd64.deb (main)
  • W shared-library-lacks-prerequisites usr/lib/ocaml/extlib/extLib.cmxs
• facile 1.1.3-1
• facile_1.1.3-1.dsc (main)
  • E no-human-maintainers
• fieldslib 1:0.14.0-1
• libfieldslib-ocaml_0.14.0-1+b1_amd64.deb (main)
  • W shared-library-lacks-prerequisites usr/lib/ocaml/fieldslib/fieldslib.cmxs
• findlib 1.8.1-2
• libfindlib-ocaml_1.8.1-2_amd64.deb (main)
  • W shared-library-lacks-prerequisites usr/lib/ocaml/findlib/findlib.cmxs
  • W shared-library-lacks-prerequisites usr/lib/ocaml/findlib/findlib_dynload.cmxs
• libfindlib-ocaml-dev_1.8.1-2_amd64.deb (main)
  • W shared-library-lacks-prerequisites usr/lib/ocaml/findlib/findlib_top.cmxs
• frama-c 20201209+titanium-4.1
• frama-c-base_20201209+titanium-4.1_amd64.deb (main)
  • E ocaml-dangling-cmx usr/lib/frama-c/plugins/top/Aorai.cmx
  • E ocaml-dangling-cmx usr/lib/frama-c/plugins/top/Callgraph.cmx
  • E ocaml-dangling-cmx usr/lib/frama-c/plugins/top/Constant_Propagation.cmx
  • E ocaml-dangling-cmx usr/lib/frama-c/plugins/top/Dive.cmx
  • E ocaml-dangling-cmx usr/lib/frama-c/plugins/top/E_ACSL.cmx
  • E ocaml-dangling-cmx usr/lib/frama-c/plugins/top/Eva.cmx
  • E ocaml-dangling-cmx usr/lib/frama-c/plugins/top/From.cmx
  • E ocaml-dangling-cmx usr/lib/frama-c/plugins/top/Impact.cmx
  • E ocaml-dangling-cmx usr/lib/frama-c/plugins/top/Inout.cmx
  • E ocaml-dangling-cmx usr/lib/frama-c/plugins/top/Instantiate.cmx
  • E ocaml-dangling-cmx usr/lib/frama-c/plugins/top/LoopAnalysis.cmx
  • E ocaml-dangling-cmx usr/lib/frama-c/plugins/top/Metrics.cmx
  • E ocaml-dangling-cmx usr/lib/frama-c/plugins/top/Nonterm.cmx
  • E ocaml-dangling-cmx usr/lib/frama-c/plugins/top/Obfuscator.cmx
  • E ocaml-dangling-cmx usr/lib/frama-c/plugins/top/Occurrence.cmx
  • E ocaml-dangling-cmx usr/lib/frama-c/plugins/top/Pdg.cmx
  • E ocaml-dangling-cmx usr/lib/frama-c/plugins/top/Postdominators.cmx
  • E ocaml-dangling-cmx usr/lib/frama-c/plugins/top/Print_api.cmx
  • E ocaml-dangling-cmx usr/lib/frama-c/plugins/top/Qed.cmx
  • E ocaml-dangling-cmx usr/lib/frama-c/plugins/top/Report.cmx
  • E ocaml-dangling-cmx usr/lib/frama-c/plugins/top/RteGen.cmx
  • E ocaml-dangling-cmx usr/lib/frama-c/plugins/top/Scope.cmx
  • E ocaml-dangling-cmx usr/lib/frama-c/plugins/top/Security_slicing.cmx
  • E ocaml-dangling-cmx usr/lib/frama-c/plugins/top/Server.cmx
  • E ocaml-dangling-cmx usr/lib/frama-c/plugins/top/Slicing.cmx
  • E ocaml-dangling-cmx usr/lib/frama-c/plugins/top/Sparecode.cmx
  • E ocaml-dangling-cmx usr/lib/frama-c/plugins/top/Studia.cmx
  • E ocaml-dangling-cmx usr/lib/frama-c/plugins/top/Users.cmx
  • E ocaml-dangling-cmx usr/lib/frama-c/plugins/top/Variadic.cmx
  • E ocaml-dangling-cmx usr/lib/frama-c/plugins/top/Wp.cmx
  • W no-manual-page usr/bin/frama-c-config
  • W no-manual-page usr/bin/frama-c-script
  • W shared-library-lacks-prerequisites usr/lib/frama-c/plugins/gui/Eva.cmxs
  • W shared-library-lacks-prerequisites usr/lib/frama-c/plugins/gui/From.cmxs
  • W shared-library-lacks-prerequisites usr/lib/frama-c/plugins/gui/Impact.cmxs
  • W shared-library-lacks-prerequisites usr/lib/frama-c/plugins/gui/Metrics.cmxs
  • W shared-library-lacks-prerequisites usr/lib/frama-c/plugins/gui/Occurrence.cmxs
  • W shared-library-lacks-prerequisites usr/lib/frama-c/plugins/gui/Qed.cmxs
  • W shared-library-lacks-prerequisites usr/lib/frama-c/plugins/gui/Scope.cmxs
  • W shared-library-lacks-prerequisites usr/lib/frama-c/plugins/gui/Security_slicing.cmxs
  • W shared-library-lacks-prerequisites usr/lib/frama-c/plugins/gui/Slicing.cmxs
  • W shared-library-lacks-prerequisites usr/lib/frama-c/plugins/gui/Studia.cmxs
  • W shared-library-lacks-prerequisites usr/lib/frama-c/plugins/gui/Wp.cmxs
  • W shared-library-lacks-prerequisites usr/lib/frama-c/plugins/top/Aorai.cmxs
  • W shared-library-lacks-prerequisites usr/lib/frama-c/plugins/top/Callgraph.cmxs
  • W shared-library-lacks-prerequisites usr/lib/frama-c/plugins/top/Constant_Propagation.cmxs
  • W shared-library-lacks-prerequisites usr/lib/frama-c/plugins/top/Dive.cmxs
  • W shared-library-lacks-prerequisites usr/lib/frama-c/plugins/top/E_ACSL.cmxs
  • W shared-library-lacks-prerequisites usr/lib/frama-c/plugins/top/Eva.cmxs
  • W shared-library-lacks-prerequisites usr/lib/frama-c/plugins/top/From.cmxs
  • W shared-library-lacks-prerequisites usr/lib/frama-c/plugins/top/Impact.cmxs
  • W shared-library-lacks-prerequisites usr/lib/frama-c/plugins/top/Inout.cmxs
  • W shared-library-lacks-prerequisites usr/lib/frama-c/plugins/top/Instantiate.cmxs
  • W shared-library-lacks-prerequisites usr/lib/frama-c/plugins/top/LoopAnalysis.cmxs
  • W shared-library-lacks-prerequisites usr/lib/frama-c/plugins/top/Metrics.cmxs
  • W shared-library-lacks-prerequisites usr/lib/frama-c/plugins/top/Nonterm.cmxs
  • W shared-library-lacks-prerequisites usr/lib/frama-c/plugins/top/Obfuscator.cmxs
  • W shared-library-lacks-prerequisites usr/lib/frama-c/plugins/top/Occurrence.cmxs
  • W shared-library-lacks-prerequisites usr/lib/frama-c/plugins/top/Pdg.cmxs
  • W shared-library-lacks-prerequisites usr/lib/frama-c/plugins/top/Postdominators.cmxs
  • W shared-library-lacks-prerequisites usr/lib/frama-c/plugins/top/Print_api.cmxs
  • W shared-library-lacks-prerequisites usr/lib/frama-c/plugins/top/Qed.cmxs
  • W shared-library-lacks-prerequisites usr/lib/frama-c/plugins/top/Report.cmxs
  • W shared-library-lacks-prerequisites usr/lib/frama-c/plugins/top/RteGen.cmxs
  • W shared-library-lacks-prerequisites usr/lib/frama-c/plugins/top/Scope.cmxs
  • W shared-library-lacks-prerequisites usr/lib/frama-c/plugins/top/Security_slicing.cmxs
  • W shared-library-lacks-prerequisites usr/lib/frama-c/plugins/top/Server.cmxs
  • W shared-library-lacks-prerequisites usr/lib/frama-c/plugins/top/Slicing.cmxs
  • W shared-library-lacks-prerequisites usr/lib/frama-c/plugins/top/Sparecode.cmxs
  • W shared-library-lacks-prerequisites usr/lib/frama-c/plugins/top/Studia.cmxs
  • W shared-library-lacks-prerequisites usr/lib/frama-c/plugins/top/Users.cmxs
  • W shared-library-lacks-prerequisites usr/lib/frama-c/plugins/top/Variadic.cmxs
  • W shared-library-lacks-prerequisites usr/lib/frama-c/plugins/top/Wp.cmxs
• freetennis 0.4.8-13
• freetennis_0.4.8-13+b1_amd64.deb (main)
  • E custom-library-search-path usr/games/freetennis /usr/lib/x86_64-linux-gnu
  • E custom-library-search-path usr/games/freetennis /usr/X11R6/lib
  • W command-in-menu-file-and-desktop-file freetennis usr/share/menu/freetennis:3
• freetennis-common_0.4.8-13_all.deb (main)
  • E privacy-breach-logo usr/share/doc/freetennis-common/web-site/index.html (http://sourceforge.net/sflogo.php?group_id=88285&amp;type=5)
  • W privacy-breach-generic usr/share/doc/freetennis-common/web-site/index.html [<script language="javascript" src="http://servizi.radicalparty.org/feed/en.php">] (http://servizi.radicalparty.org/feed/en.php)
• galax 1.1-16
• galax_1.1-16.dsc (main)
  • E no-human-maintainers
• galax_1.1-16+b2_amd64.deb (main)
  • W no-manual-page usr/bin/galax-parse
  • W no-manual-page usr/bin/galax-run
• galax-doc_1.1-16_all.deb (main)
  • W national-encoding usr/share/doc/galax/man/general.html
  • W national-encoding usr/share/doc/galax/man/index.html
  • W national-encoding usr/share/doc/galax/man/tutorial.html
• galax-extra_1.1-16+b2_amd64.deb (main)
  • W no-manual-page usr/bin/galax-mapschema
  • W no-manual-page usr/bin/galax-mapwsdl
  • W no-manual-page usr/bin/galax-project
  • W no-manual-page usr/bin/xmlplan2plan
  • W no-manual-page usr/bin/xquery2plan
  • W no-manual-page usr/bin/xquery2soap
  • W no-manual-page usr/bin/xquery2xmlplan
  • W no-manual-page usr/bin/xqueryx2xquery
• galaxd_1.1-16+b2_amd64.deb (main)
  • W no-manual-page usr/bin/galaxd
  • W no-manual-page usr/bin/galax-webgui
  • W no-manual-page usr/bin/galax-zerod
• gd4o 1.0~alpha5-9
• gd4o_1.0~alpha5-9.dsc (main)
  • E no-human-maintainers
  • W debhelper-but-no-misc-depends libgd-gd2-noxpm-ocaml
  • W debhelper-but-no-misc-depends libgd-gd2-noxpm-ocaml-dev
• libgd-gd2-noxpm-ocaml_1.0~alpha5-9_all.deb (main)
  • W transitional-package-not-oldlibs-optional ocaml/optional
• libgd-gd2-noxpm-ocaml-dev_1.0~alpha5-9_all.deb (main)
  • W transitional-package-not-oldlibs-optional ocaml/optional
• gmetadom 0.2.6-7
• gmetadom_0.2.6-7.dsc (main)
  • E no-human-maintainers
  • W vcs-obsolete-in-debian-infrastructure Browser https://anonscm.debian.org/git/pkg-ocaml-maint/packages/gmetadom.git
  • W vcs-obsolete-in-debian-infrastructure Git https://anonscm.debian.org/git/pkg-ocaml-maint/packages/gmetadom.git
• libgdome2-cpp-smart0v5_0.2.6-7+b3_amd64.deb (main)
  • W package-name-doesnt-match-sonames libgmetadom-gdome-cpp-smart0
• hevea 2.34-2
• hevea_2.34-2.dsc (main)
  • W obsolete-debian-watch-file-standard 2
• hevea_2.34-2+b1_amd64.deb (main)
  • W national-encoding usr/share/doc/hevea/examples/upstream/a.tex
  • W national-encoding usr/share/doc/hevea/examples/upstream/env.tex
  • W national-encoding usr/share/doc/hevea/examples/upstream/lis.tex
  • W national-encoding usr/share/doc/hevea/examples/upstream/mathpartir-test.tex
  • W national-encoding usr/share/doc/hevea/examples/upstream/pat.def
  • W national-encoding usr/share/doc/hevea/examples/upstream/suite.tex
  • W national-encoding usr/share/doc/hevea/examples/upstream/sym-test.tex
  • W national-encoding usr/share/doc/hevea/examples/upstream/verbs.tex
  • W national-encoding usr/share/hevea/html/hevea.hva
  • W national-encoding usr/share/hevea/html/mathpartir.hva
  • W national-encoding usr/share/hevea/html/symb-fra.hva
  • W national-encoding usr/share/hevea/listings.hva
  • W national-encoding usr/share/hevea/text/hevea.hva
  • W package-contains-timestamped-gzip usr/share/doc/hevea/examples/upstream/HF.ps.gz 2020-10-13T11:36:43
• hevea-doc 2.34-1
• hevea-doc_2.34-1.dsc (non-free)
  • W obsolete-debian-watch-file-standard 2
• hlins 0.39-27
• hlins_0.39-27.dsc (main)
  • W national-encoding debian/tests/expected-output
• hlins_0.39-27_all.deb (main)
  • W national-encoding usr/share/doc/hlins/examples/hlins-documentation/hlins-doc-nolinks.html
  • W national-encoding usr/share/doc/hlins/examples/hlins-documentation/hlins-doc.tex
  • W national-encoding usr/share/doc/hlins/examples/test-examples/directors.db
  • W national-encoding usr/share/doc/hlins/examples/test-examples/test1.in
  • W national-encoding usr/share/doc/hlins/hlins-doc.adr
  • W national-encoding usr/share/doc/hlins/hlins-doc.html
• hol-light 20190729-4
• hol-light_20190729-4+b3_amd64.deb (main)
  • W executable-not-elf-or-script usr/share/hol-light/Examples/digit_serial_methods.ml
  • W executable-not-elf-or-script usr/share/hol-light/update_database_3.ml
  • W executable-not-elf-or-script usr/share/hol-light/update_database_4.ml
  • W executable-not-elf-or-script usr/share/hol-light/update_database.ml
  • W national-encoding usr/share/hol-light/Proofrecording/diffs/proofobjects_dummy.ml
  • W national-encoding usr/share/hol-light/Proofrecording/diffs/proofobjects_trt.ml
  • W national-encoding usr/share/hol-light/Proofrecording/README
  • W package-contains-vcs-control-file usr/share/hol-light/ProofTrace/.gitignore
  • W unusual-interpreter usr/share/hol-light/Formal_ineqs/tests/data/gen_nat_data.py /usr/bin/python
• janest-base 0.14.0-1
• libbase-ocaml_0.14.0-1+b1_amd64.deb (main)
  • W shared-library-lacks-prerequisites usr/lib/ocaml/base/base.cmxs
  • W shared-library-lacks-prerequisites usr/lib/ocaml/base/base_internalhash_types/base_internalhash_types.cmxs
  • W shared-library-lacks-prerequisites usr/lib/ocaml/base/caml/caml.cmxs
  • W shared-library-lacks-prerequisites usr/lib/ocaml/base/md5/md5_lib.cmxs
  • W shared-library-lacks-prerequisites usr/lib/ocaml/base/shadow_stdlib/shadow_stdlib.cmxs
  • W shared-library-lacks-prerequisites usr/lib/ocaml/stublibs/dllbase_internalhash_types_stubs.so
  • W shared-library-lacks-prerequisites usr/lib/ocaml/stublibs/dllbase_stubs.so
• janest-ocaml-compiler-libs 0.12.3-1
• libocaml-compiler-libs-ocaml-dev_0.12.3-1_amd64.deb (main)
  • W shared-library-lacks-prerequisites usr/lib/ocaml/ocaml-compiler-libs/bytecomp/ocaml_bytecomp.cmxs
  • W shared-library-lacks-prerequisites usr/lib/ocaml/ocaml-compiler-libs/common/ocaml_common.cmxs
  • W shared-library-lacks-prerequisites usr/lib/ocaml/ocaml-compiler-libs/optcomp/ocaml_optcomp.cmxs
  • W shared-library-lacks-prerequisites usr/lib/ocaml/ocaml-compiler-libs/shadow/ocaml_shadow.cmxs
  • W shared-library-lacks-prerequisites usr/lib/ocaml/ocaml-compiler-libs/toplevel/ocaml_toplevel.cmxs
• js-of-ocaml 3.8.0-2
• js-of-ocaml_3.8.0-2_amd64.deb (main)
  • W bad-whatis-entry usr/share/man/man1/js_of_ocaml.1.gz
  • W bad-whatis-entry usr/share/man/man1/js_of_ocaml-build-fs.1.gz
  • W bad-whatis-entry usr/share/man/man1/js_of_ocaml-build-runtime.1.gz
  • W bad-whatis-entry usr/share/man/man1/js_of_ocaml-link.1.gz
  • W bad-whatis-entry usr/share/man/man1/jsoo_fs.1.gz
  • W bad-whatis-entry usr/share/man/man1/jsoo_link.1.gz
  • W bad-whatis-entry usr/share/man/man1/jsoo_minify.1.gz
  • W national-encoding usr/share/doc/js-of-ocaml/examples/wiki/wikicreole.mll
  • W national-encoding usr/share/doc/js-of-ocaml/examples/wiki/wiki_syntax.ml
  • W no-manual-page usr/bin/jsoo_listunits
  • W no-manual-page usr/bin/jsoo_mkcmis
  • W no-manual-page usr/bin/jsoo_mktop
• libjs-of-ocaml_3.8.0-2_amd64.deb (main)
  • W shared-library-lacks-prerequisites usr/lib/ocaml/js_of_ocaml-compiler/findlib-support/jsoo_findlib_support.cmxs
  • W shared-library-lacks-prerequisites usr/lib/ocaml/js_of_ocaml-compiler/js_of_ocaml_compiler.cmxs
  • W shared-library-lacks-prerequisites usr/lib/ocaml/js_of_ocaml-compiler/runtime/jsoo_runtime.cmxs
  • W shared-library-lacks-prerequisites usr/lib/ocaml/js_of_ocaml/deriving/js_of_ocaml_deriving.cmxs
  • W shared-library-lacks-prerequisites usr/lib/ocaml/js_of_ocaml-lwt/js_of_ocaml_lwt.cmxs
  • W shared-library-lacks-prerequisites usr/lib/ocaml/js_of_ocaml-lwt/logger/lwt_log_js.cmxs
  • W shared-library-lacks-prerequisites usr/lib/ocaml/js_of_ocaml-ocamlbuild/ocamlbuild_js_of_ocaml.cmxs
  • W shared-library-lacks-prerequisites usr/lib/ocaml/js_of_ocaml-ppx/as-lib/ppx_js.cmxs
  • W shared-library-lacks-prerequisites usr/lib/ocaml/js_of_ocaml-ppx_deriving_json/ppx_deriving_json.cmxs
  • W shared-library-lacks-prerequisites usr/lib/ocaml/js_of_ocaml-ppx/ppx_js_rewriter.cmxs
  • W shared-library-lacks-prerequisites usr/lib/ocaml/js_of_ocaml-toplevel/js_of_ocaml_toplevel.cmxs
  • W shared-library-lacks-prerequisites usr/lib/ocaml/js_of_ocaml-tyxml/js_of_ocaml_tyxml.cmxs
• libjs-of-ocaml-doc_3.8.0-2_all.deb (main)
  • W zero-byte-file-in-doc-directory usr/share/doc/libjs-of-ocaml-doc/api/js_of_ocaml-compiler/Js_of_ocaml_compiler__Annot_lexer/.dune-keep
  • W zero-byte-file-in-doc-directory usr/share/doc/libjs-of-ocaml-doc/api/js_of_ocaml-compiler/Js_of_ocaml_compiler__Annot_parser/.dune-keep
  • W zero-byte-file-in-doc-directory usr/share/doc/libjs-of-ocaml-doc/api/js_of_ocaml-compiler/Js_of_ocaml_compiler__Base64/.dune-keep
  • W zero-byte-file-in-doc-directory usr/share/doc/libjs-of-ocaml-doc/api/js_of_ocaml-compiler/Js_of_ocaml_compiler__Build_path_prefix_map/.dune-keep
  • W zero-byte-file-in-doc-directory usr/share/doc/libjs-of-ocaml-doc/api/js_of_ocaml-compiler/Js_of_ocaml_compiler__Builtins/.dune-keep
  • W zero-byte-file-in-doc-directory usr/share/doc/libjs-of-ocaml-doc/api/js_of_ocaml-compiler/Js_of_ocaml_compiler__Code/.dune-keep
  • W zero-byte-file-in-doc-directory usr/share/doc/libjs-of-ocaml-doc/api/js_of_ocaml-compiler/Js_of_ocaml_compiler__Compiler_version/.dune-keep
  • W zero-byte-file-in-doc-directory usr/share/doc/libjs-of-ocaml-doc/api/js_of_ocaml-compiler/Js_of_ocaml_compiler__Config/.dune-keep
  • W zero-byte-file-in-doc-directory usr/share/doc/libjs-of-ocaml-doc/api/js_of_ocaml-compiler/Js_of_ocaml_compiler__Constant/.dune-keep
  • W zero-byte-file-in-doc-directory usr/share/doc/libjs-of-ocaml-doc/api/js_of_ocaml-compiler/Js_of_ocaml_compiler__Deadcode/.dune-keep
  • W zero-byte-file-in-doc-directory usr/share/doc/libjs-of-ocaml-doc/api/js_of_ocaml-compiler/Js_of_ocaml_compiler__Debug/.dune-keep
  • W zero-byte-file-in-doc-directory usr/share/doc/libjs-of-ocaml-doc/api/js_of_ocaml-compiler/Js_of_ocaml_compiler__Dgraph/.dune-keep
  • W zero-byte-file-in-doc-directory usr/share/doc/libjs-of-ocaml-doc/api/js_of_ocaml-compiler/Js_of_ocaml_compiler__Driver/.dune-keep
  • W zero-byte-file-in-doc-directory usr/share/doc/libjs-of-ocaml-doc/api/js_of_ocaml-compiler/Js_of_ocaml_compiler/.dune-keep
  • W zero-byte-file-in-doc-directory usr/share/doc/libjs-of-ocaml-doc/api/js_of_ocaml-compiler/Js_of_ocaml_compiler__Eval/.dune-keep
  • W zero-byte-file-in-doc-directory usr/share/doc/libjs-of-ocaml-doc/api/js_of_ocaml-compiler/Js_of_ocaml_compiler__Findlib/.dune-keep
  • W zero-byte-file-in-doc-directory usr/share/doc/libjs-of-ocaml-doc/api/js_of_ocaml-compiler/Js_of_ocaml_compiler__Flow/.dune-keep
  • W zero-byte-file-in-doc-directory usr/share/doc/libjs-of-ocaml-doc/api/js_of_ocaml-compiler/Js_of_ocaml_compiler__Freevars/.dune-keep
  • W zero-byte-file-in-doc-directory usr/share/doc/libjs-of-ocaml-doc/api/js_of_ocaml-compiler/Js_of_ocaml_compiler__Fs/.dune-keep
  • W zero-byte-file-in-doc-directory usr/share/doc/libjs-of-ocaml-doc/api/js_of_ocaml-compiler/Js_of_ocaml_compiler__Generate_closure/.dune-keep
  • W zero-byte-file-in-doc-directory usr/share/doc/libjs-of-ocaml-doc/api/js_of_ocaml-compiler/Js_of_ocaml_compiler__Generate/.dune-keep
  • W zero-byte-file-in-doc-directory usr/share/doc/libjs-of-ocaml-doc/api/js_of_ocaml-compiler/Js_of_ocaml_compiler__Inline/.dune-keep
  • W zero-byte-file-in-doc-directory usr/share/doc/libjs-of-ocaml-doc/api/js_of_ocaml-compiler/Js_of_ocaml_compiler__Instr/.dune-keep
  • W zero-byte-file-in-doc-directory usr/share/doc/libjs-of-ocaml-doc/api/js_of_ocaml-compiler/Js_of_ocaml_compiler__Javascript/.dune-keep
  • W zero-byte-file-in-doc-directory usr/share/doc/libjs-of-ocaml-doc/api/js_of_ocaml-compiler/Js_of_ocaml_compiler__Js_assign/.dune-keep
  • W zero-byte-file-in-doc-directory usr/share/doc/libjs-of-ocaml-doc/api/js_of_ocaml-compiler/Js_of_ocaml_compiler__Js_lexer/.dune-keep
  • W zero-byte-file-in-doc-directory usr/share/doc/libjs-of-ocaml-doc/api/js_of_ocaml-compiler/Js_of_ocaml_compiler__Js_output/.dune-keep
  • W zero-byte-file-in-doc-directory usr/share/doc/libjs-of-ocaml-doc/api/js_of_ocaml-compiler/Js_of_ocaml_compiler__Js_parser/.dune-keep
  • W zero-byte-file-in-doc-directory usr/share/doc/libjs-of-ocaml-doc/api/js_of_ocaml-compiler/Js_of_ocaml_compiler__Js_simpl/.dune-keep
  • W zero-byte-file-in-doc-directory usr/share/doc/libjs-of-ocaml-doc/api/js_of_ocaml-compiler/Js_of_ocaml_compiler__Js_token/.dune-keep
  • W zero-byte-file-in-doc-directory usr/share/doc/libjs-of-ocaml-doc/api/js_of_ocaml-compiler/Js_of_ocaml_compiler__Js_traverse/.dune-keep
  • W zero-byte-file-in-doc-directory usr/share/doc/libjs-of-ocaml-doc/api/js_of_ocaml-compiler/Js_of_ocaml_compiler__Linker/.dune-keep
  • W zero-byte-file-in-doc-directory usr/share/doc/libjs-of-ocaml-doc/api/js_of_ocaml-compiler/Js_of_ocaml_compiler__Link_js/.dune-keep
  • W zero-byte-file-in-doc-directory usr/share/doc/libjs-of-ocaml-doc/api/js_of_ocaml-compiler/Js_of_ocaml_compiler__Macro/.dune-keep
  • W zero-byte-file-in-doc-directory usr/share/doc/libjs-of-ocaml-doc/api/js_of_ocaml-compiler/Js_of_ocaml_compiler__Magic_number/.dune-keep
  • W zero-byte-file-in-doc-directory usr/share/doc/libjs-of-ocaml-doc/api/js_of_ocaml-compiler/Js_of_ocaml_compiler__Mlvalue/.dune-keep
  • W zero-byte-file-in-doc-directory usr/share/doc/libjs-of-ocaml-doc/api/js_of_ocaml-compiler/Js_of_ocaml_compiler__Ocaml_compiler/.dune-keep
  • W zero-byte-file-in-doc-directory usr/share/doc/libjs-of-ocaml-doc/api/js_of_ocaml-compiler/Js_of_ocaml_compiler__Ocaml_version/.dune-keep
  • W zero-byte-file-in-doc-directory usr/share/doc/libjs-of-ocaml-doc/api/js_of_ocaml-compiler/Js_of_ocaml_compiler__Parse_bytecode/.dune-keep
  • W zero-byte-file-in-doc-directory usr/share/doc/libjs-of-ocaml-doc/api/js_of_ocaml-compiler/Js_of_ocaml_compiler__Parse_info/.dune-keep
  • W zero-byte-file-in-doc-directory usr/share/doc/libjs-of-ocaml-doc/api/js_of_ocaml-compiler/Js_of_ocaml_compiler__Parse_js/.dune-keep
  • W zero-byte-file-in-doc-directory usr/share/doc/libjs-of-ocaml-doc/api/js_of_ocaml-compiler/Js_of_ocaml_compiler__Phisimpl/.dune-keep
  • W zero-byte-file-in-doc-directory usr/share/doc/libjs-of-ocaml-doc/api/js_of_ocaml-compiler/Js_of_ocaml_compiler__Pretty_print/.dune-keep
  • W zero-byte-file-in-doc-directory usr/share/doc/libjs-of-ocaml-doc/api/js_of_ocaml-compiler/Js_of_ocaml_compiler__Primitive/.dune-keep
  • W zero-byte-file-in-doc-directory usr/share/doc/libjs-of-ocaml-doc/api/js_of_ocaml-compiler/Js_of_ocaml_compiler__Pseudo_fs/.dune-keep
  • W zero-byte-file-in-doc-directory usr/share/doc/libjs-of-ocaml-doc/api/js_of_ocaml-compiler/Js_of_ocaml_compiler__Pure_fun/.dune-keep
  • W zero-byte-file-in-doc-directory usr/share/doc/libjs-of-ocaml-doc/api/js_of_ocaml-compiler/Js_of_ocaml_compiler__Reserved/.dune-keep
  • W zero-byte-file-in-doc-directory usr/share/doc/libjs-of-ocaml-doc/api/js_of_ocaml-compiler/Js_of_ocaml_compiler__Source_map/.dune-keep
  • W zero-byte-file-in-doc-directory usr/share/doc/libjs-of-ocaml-doc/api/js_of_ocaml-compiler/Js_of_ocaml_compiler__Source_map_io/.dune-keep
  • W zero-byte-file-in-doc-directory usr/share/doc/libjs-of-ocaml-doc/api/js_of_ocaml-compiler/Js_of_ocaml_compiler__Specialize/.dune-keep
  • W zero-byte-file-in-doc-directory usr/share/doc/libjs-of-ocaml-doc/api/js_of_ocaml-compiler/Js_of_ocaml_compiler__Specialize_js/.dune-keep
  • W zero-byte-file-in-doc-directory usr/share/doc/libjs-of-ocaml-doc/api/js_of_ocaml-compiler/Js_of_ocaml_compiler__Stdlib/.dune-keep
  • W zero-byte-file-in-doc-directory usr/share/doc/libjs-of-ocaml-doc/api/js_of_ocaml-compiler/Js_of_ocaml_compiler__Strongly_connected_components/.dune-keep
  • W zero-byte-file-in-doc-directory usr/share/doc/libjs-of-ocaml-doc/api/js_of_ocaml-compiler/Js_of_ocaml_compiler__Subst/.dune-keep
  • W zero-byte-file-in-doc-directory usr/share/doc/libjs-of-ocaml-doc/api/js_of_ocaml-compiler/Js_of_ocaml_compiler__Tailcall/.dune-keep
  • W zero-byte-file-in-doc-directory usr/share/doc/libjs-of-ocaml-doc/api/js_of_ocaml-compiler/Js_of_ocaml_compiler__Timer/.dune-keep
  • W zero-byte-file-in-doc-directory usr/share/doc/libjs-of-ocaml-doc/api/js_of_ocaml-compiler/Js_of_ocaml_compiler__Var_printer/.dune-keep
  • W zero-byte-file-in-doc-directory usr/share/doc/libjs-of-ocaml-doc/api/js_of_ocaml-compiler/Js_of_ocaml_compiler__Vlq64/.dune-keep
  • W zero-byte-file-in-doc-directory usr/share/doc/libjs-of-ocaml-doc/api/js_of_ocaml-compiler/Jsoo_findlib_support/.dune-keep
  • W zero-byte-file-in-doc-directory usr/share/doc/libjs-of-ocaml-doc/api/js_of_ocaml-compiler/Jsoo_runtime/.dune-keep
  • W zero-byte-file-in-doc-directory usr/share/doc/libjs-of-ocaml-doc/api/js_of_ocaml-compiler/Jsoo_runtime__/.dune-keep
  • W zero-byte-file-in-doc-directory usr/share/doc/libjs-of-ocaml-doc/api/js_of_ocaml-compiler/Jsoo_runtime__Files/.dune-keep
  • W zero-byte-file-in-doc-directory usr/share/doc/libjs-of-ocaml-doc/api/js_of_ocaml/Deriving_Json/.dune-keep
  • W zero-byte-file-in-doc-directory usr/share/doc/libjs-of-ocaml-doc/api/js_of_ocaml/Deriving_Json_import/.dune-keep
  • W zero-byte-file-in-doc-directory usr/share/doc/libjs-of-ocaml-doc/api/js_of_ocaml/Deriving_Json_lexer/.dune-keep
  • W zero-byte-file-in-doc-directory usr/share/doc/libjs-of-ocaml-doc/api/js_of_ocaml/Js_of_ocaml__CSS/.dune-keep
  • W zero-byte-file-in-doc-directory usr/share/doc/libjs-of-ocaml-doc/api/js_of_ocaml/Js_of_ocaml__Dom/.dune-keep
  • W zero-byte-file-in-doc-directory usr/share/doc/libjs-of-ocaml-doc/api/js_of_ocaml/Js_of_ocaml__Dom_events/.dune-keep
  • W zero-byte-file-in-doc-directory usr/share/doc/libjs-of-ocaml-doc/api/js_of_ocaml/Js_of_ocaml__Dom_html/.dune-keep
  • W zero-byte-file-in-doc-directory usr/share/doc/libjs-of-ocaml-doc/api/js_of_ocaml/Js_of_ocaml__Dom_svg/.dune-keep
  • W zero-byte-file-in-doc-directory usr/share/doc/libjs-of-ocaml-doc/api/js_of_ocaml/Js_of_ocaml/.dune-keep
  • W zero-byte-file-in-doc-directory usr/share/doc/libjs-of-ocaml-doc/api/js_of_ocaml/Js_of_ocaml__/.dune-keep
  • W zero-byte-file-in-doc-directory usr/share/doc/libjs-of-ocaml-doc/api/js_of_ocaml/Js_of_ocaml__EventSource/.dune-keep
  • W zero-byte-file-in-doc-directory usr/share/doc/libjs-of-ocaml-doc/api/js_of_ocaml/Js_of_ocaml__File/.dune-keep
  • W zero-byte-file-in-doc-directory usr/share/doc/libjs-of-ocaml-doc/api/js_of_ocaml/Js_of_ocaml__Firebug/.dune-keep
  • W zero-byte-file-in-doc-directory usr/share/doc/libjs-of-ocaml-doc/api/js_of_ocaml/Js_of_ocaml__Form/.dune-keep
  • W zero-byte-file-in-doc-directory usr/share/doc/libjs-of-ocaml-doc/api/js_of_ocaml/Js_of_ocaml__Geolocation/.dune-keep
  • W zero-byte-file-in-doc-directory usr/share/doc/libjs-of-ocaml-doc/api/js_of_ocaml/Js_of_ocaml__Import/.dune-keep
  • W zero-byte-file-in-doc-directory usr/share/doc/libjs-of-ocaml-doc/api/js_of_ocaml/Js_of_ocaml__IntersectionObserver/.dune-keep
  • W zero-byte-file-in-doc-directory usr/share/doc/libjs-of-ocaml-doc/api/js_of_ocaml/Js_of_ocaml__Intl/.dune-keep
  • W zero-byte-file-in-doc-directory usr/share/doc/libjs-of-ocaml-doc/api/js_of_ocaml/Js_of_ocaml__Js/.dune-keep
  • W zero-byte-file-in-doc-directory usr/share/doc/libjs-of-ocaml-doc/api/js_of_ocaml/Js_of_ocaml__Json/.dune-keep
  • W zero-byte-file-in-doc-directory usr/share/doc/libjs-of-ocaml-doc/api/js_of_ocaml/Js_of_ocaml__Jstable/.dune-keep
  • W zero-byte-file-in-doc-directory usr/share/doc/libjs-of-ocaml-doc/api/js_of_ocaml/Js_of_ocaml__Lib_version/.dune-keep
  • W zero-byte-file-in-doc-directory usr/share/doc/libjs-of-ocaml-doc/api/js_of_ocaml/Js_of_ocaml__MutationObserver/.dune-keep
  • W zero-byte-file-in-doc-directory usr/share/doc/libjs-of-ocaml-doc/api/js_of_ocaml/Js_of_ocaml__Regexp/.dune-keep
  • W zero-byte-file-in-doc-directory usr/share/doc/libjs-of-ocaml-doc/api/js_of_ocaml/Js_of_ocaml__ResizeObserver/.dune-keep
  • W zero-byte-file-in-doc-directory usr/share/doc/libjs-of-ocaml-doc/api/js_of_ocaml/Js_of_ocaml__Sys_js/.dune-keep
  • W zero-byte-file-in-doc-directory usr/share/doc/libjs-of-ocaml-doc/api/js_of_ocaml/Js_of_ocaml__Typed_array/.dune-keep
  • W zero-byte-file-in-doc-directory usr/share/doc/libjs-of-ocaml-doc/api/js_of_ocaml/Js_of_ocaml__Url/.dune-keep
  • W zero-byte-file-in-doc-directory usr/share/doc/libjs-of-ocaml-doc/api/js_of_ocaml/Js_of_ocaml__WebGL/.dune-keep
  • W zero-byte-file-in-doc-directory usr/share/doc/libjs-of-ocaml-doc/api/js_of_ocaml/Js_of_ocaml__WebSockets/.dune-keep
  • W zero-byte-file-in-doc-directory usr/share/doc/libjs-of-ocaml-doc/api/js_of_ocaml/Js_of_ocaml__Worker/.dune-keep
  • W zero-byte-file-in-doc-directory usr/share/doc/libjs-of-ocaml-doc/api/js_of_ocaml/Js_of_ocaml__XmlHttpRequest/.dune-keep
  • W zero-byte-file-in-doc-directory usr/share/doc/libjs-of-ocaml-doc/api/js_of_ocaml-lwt/Graphics_js/.dune-keep
  • W zero-byte-file-in-doc-directory usr/share/doc/libjs-of-ocaml-doc/api/js_of_ocaml-lwt/Graphics_js__/.dune-keep
  • W zero-byte-file-in-doc-directory usr/share/doc/libjs-of-ocaml-doc/api/js_of_ocaml-lwt/Graphics_js__Import/.dune-keep
  • W zero-byte-file-in-doc-directory usr/share/doc/libjs-of-ocaml-doc/api/js_of_ocaml-lwt/Js_of_ocaml_lwt/.dune-keep
  • W zero-byte-file-in-doc-directory usr/share/doc/libjs-of-ocaml-doc/api/js_of_ocaml-lwt/Js_of_ocaml_lwt__/.dune-keep
  • W zero-byte-file-in-doc-directory usr/share/doc/libjs-of-ocaml-doc/api/js_of_ocaml-lwt/Js_of_ocaml_lwt__Import/.dune-keep
  • W zero-byte-file-in-doc-directory usr/share/doc/libjs-of-ocaml-doc/api/js_of_ocaml-lwt/Js_of_ocaml_lwt__Lwt_file/.dune-keep
  • W zero-byte-file-in-doc-directory usr/share/doc/libjs-of-ocaml-doc/api/js_of_ocaml-lwt/Js_of_ocaml_lwt__Lwt_js/.dune-keep
  • W zero-byte-file-in-doc-directory usr/share/doc/libjs-of-ocaml-doc/api/js_of_ocaml-lwt/Js_of_ocaml_lwt__Lwt_js_events/.dune-keep
  • W zero-byte-file-in-doc-directory usr/share/doc/libjs-of-ocaml-doc/api/js_of_ocaml-lwt/Js_of_ocaml_lwt__Lwt_jsonp/.dune-keep
  • W zero-byte-file-in-doc-directory usr/share/doc/libjs-of-ocaml-doc/api/js_of_ocaml-lwt/Js_of_ocaml_lwt__Lwt_xmlHttpRequest/.dune-keep
  • W zero-byte-file-in-doc-directory usr/share/doc/libjs-of-ocaml-doc/api/js_of_ocaml-lwt/Lwt_log_js/.dune-keep
  • W zero-byte-file-in-doc-directory usr/share/doc/libjs-of-ocaml-doc/api/js_of_ocaml-lwt/Lwt_log_js__/.dune-keep
  • W zero-byte-file-in-doc-directory usr/share/doc/libjs-of-ocaml-doc/api/js_of_ocaml-lwt/Lwt_log_js__Import/.dune-keep
  • W zero-byte-file-in-doc-directory usr/share/doc/libjs-of-ocaml-doc/api/js_of_ocaml-ocamlbuild/Ocamlbuild_js_of_ocaml/.dune-keep
  • W zero-byte-file-in-doc-directory usr/share/doc/libjs-of-ocaml-doc/api/js_of_ocaml-ppx_deriving_json/Ppx_deriving_json/.dune-keep
  • W zero-byte-file-in-doc-directory usr/share/doc/libjs-of-ocaml-doc/api/js_of_ocaml-ppx/Ppx_js/.dune-keep
  • W zero-byte-file-in-doc-directory usr/share/doc/libjs-of-ocaml-doc/api/js_of_ocaml-ppx/Ppx_js__/.dune-keep
  • W zero-byte-file-in-doc-directory usr/share/doc/libjs-of-ocaml-doc/api/js_of_ocaml-ppx/Ppx_js__Ppx_js_internal/.dune-keep
  • W zero-byte-file-in-doc-directory usr/share/doc/libjs-of-ocaml-doc/api/js_of_ocaml-ppx/Ppx_js_rewriter/.dune-keep
  • W zero-byte-file-in-doc-directory usr/share/doc/libjs-of-ocaml-doc/api/js_of_ocaml-toplevel/Js_of_ocaml_toplevel/.dune-keep
  • W zero-byte-file-in-doc-directory usr/share/doc/libjs-of-ocaml-doc/api/js_of_ocaml-toplevel/Js_of_ocaml_toplevel__/.dune-keep
  • W zero-byte-file-in-doc-directory usr/share/doc/libjs-of-ocaml-doc/api/js_of_ocaml-toplevel/Js_of_ocaml_toplevel__JsooTop/.dune-keep
  • W zero-byte-file-in-doc-directory usr/share/doc/libjs-of-ocaml-doc/api/js_of_ocaml-toplevel/Js_of_ocaml_toplevel__JsooTopError/.dune-keep
  • W zero-byte-file-in-doc-directory usr/share/doc/libjs-of-ocaml-doc/api/js_of_ocaml-toplevel/Js_of_ocaml_toplevel__JsooTopPpx/.dune-keep
  • W zero-byte-file-in-doc-directory usr/share/doc/libjs-of-ocaml-doc/api/js_of_ocaml-tyxml/Js_of_ocaml_tyxml/.dune-keep
  • W zero-byte-file-in-doc-directory usr/share/doc/libjs-of-ocaml-doc/api/js_of_ocaml-tyxml/Js_of_ocaml_tyxml__/.dune-keep
  • W zero-byte-file-in-doc-directory usr/share/doc/libjs-of-ocaml-doc/api/js_of_ocaml-tyxml/Js_of_ocaml_tyxml__Import/.dune-keep
  • W zero-byte-file-in-doc-directory usr/share/doc/libjs-of-ocaml-doc/api/js_of_ocaml-tyxml/Js_of_ocaml_tyxml__Tyxml_cast/.dune-keep
  • W zero-byte-file-in-doc-directory usr/share/doc/libjs-of-ocaml-doc/api/js_of_ocaml-tyxml/Js_of_ocaml_tyxml__Tyxml_cast_sigs/.dune-keep
  • W zero-byte-file-in-doc-directory usr/share/doc/libjs-of-ocaml-doc/api/js_of_ocaml-tyxml/Js_of_ocaml_tyxml__Tyxml_js/.dune-keep
• jsonm 1.0.1-2.1
• jsonm_1.0.1-2.1.dsc (main)
  • W no-nmu-in-changelog
  • W package-uses-deprecated-debhelper-compat-version 8
• libjsonm-ocaml_1.0.1-2.1_amd64.deb (main)
  • W shared-library-lacks-prerequisites usr/lib/ocaml/jsonm/jsonm.cmxs
• lablgl 1:1.06-1
• lablgl_1.06-1.dsc (main)
  • W empty-short-license-in-dep5-copyright debian/copyright (line 52)
  • W empty-short-license-in-dep5-copyright debian/copyright (line 84)
• lablgtk2 2.18.11-1
• liblablgtk2-gl-ocaml_2.18.11-1+b2_amd64.deb (main)
  • E library-not-linked-against-libc usr/lib/ocaml/lablgtk2/lablgtkgl.cmxs
  • E library-not-linked-against-libc usr/lib/ocaml/stublibs/dlllablgtkgl2.so
• liblablgtk2-gnome-ocaml_2.18.11-1+b2_amd64.deb (main)
  • E library-not-linked-against-libc usr/lib/ocaml/lablgtk2/lablrsvg.cmxs
  • E library-not-linked-against-libc usr/lib/ocaml/stublibs/dlllablrsvg.so
• liblablgtk2-ocaml_2.18.11-1+b2_amd64.deb (main)
  • E library-not-linked-against-libc usr/lib/ocaml/lablgtk2/lablgtkspell.cmxs
  • E library-not-linked-against-libc usr/lib/ocaml/stublibs/dlllablgtkspell.so
• liblablgtk2-ocaml-dev_2.18.11-1+b2_amd64.deb (main)
  • W no-manual-page usr/bin/gdk_pixbuf_mlsource
  • W no-manual-page usr/bin/lablgtk2
• lablgtk3 3.1.1+official-1
• liblablgtkspell3-ocaml_3.1.1+official-1+b2_amd64.deb (main)
  • E library-not-linked-against-libc usr/lib/ocaml/lablgtk3-gtkspell3/lablgtk3_gtkspell3.cmxs
  • E library-not-linked-against-libc usr/lib/ocaml/stublibs/dlllablgtk3_gtkspell3_stubs.so
• lablgtkmathview 0.7.8-7
• lablgtkmathview_0.7.8-7.dsc (main)
  • W vcs-obsolete-in-debian-infrastructure Browser http://git.debian.org/?p=pkg-ocaml-maint/packages/lablgtkmathview.git
  • W vcs-obsolete-in-debian-infrastructure Git git://git.debian.org/git/pkg-ocaml-maint/packages/lablgtkmathview.git
• labltk 8.06.9-1
• labltk_8.06.9-1+b1_amd64.deb (main)
  • W no-manual-page usr/bin/labltk
• laby 0.7.0-1
• laby_0.7.0-1.dsc (main)
  • W inconsistent-appstream-metadata-license debian/copyright packaging/laby.appdata.xml (cc0-1.0 != gpl-3+)
  • W obsolete-debian-watch-file-standard 2
• libaio-ocaml 1.0.1-1
• libaio-ocaml_1.0.1-1.dsc (main)
  • W package-uses-deprecated-debhelper-compat-version 8
  • W space-in-std-shortname-in-dep5-copyright debian/copyright link exception (line 32)
  • W space-in-std-shortname-in-dep5-copyright debian/copyright link exception (line 4)
  • W space-in-std-shortname-in-dep5-copyright debian/copyright link exception (line 8)
  • W vcs-obsolete-in-debian-infrastructure Browser http://anonscm.debian.org/gitweb/?p=pkg-ocaml-maint/packages/libaio-ocaml.git
  • W vcs-obsolete-in-debian-infrastructure Git git://anonscm.debian.org/pkg-ocaml-maint/packages/libaio-ocaml.git
• libaio-ocaml_1.0.1-1+b3_amd64.deb (main)
  • W spelling-error-in-changelog convertion conversion
• libaio-ocaml-dev_1.0.1-1+b3_amd64.deb (main)
  • W spelling-error-in-changelog convertion conversion
• lwt 5.3.0-1
• liblwt-ocaml_5.3.0-1+b2_amd64.deb (main)
  • W shared-library-lacks-prerequisites usr/lib/ocaml/lwt/lwt.cmxs
  • W shared-library-lacks-prerequisites usr/lib/ocaml/lwt_react/lwt_react.cmxs
• liblwt-ocaml-dev_5.3.0-1+b2_amd64.deb (main)
  • W shared-library-lacks-prerequisites usr/lib/ocaml/lwt_ppx/ppx_lwt.cmxs
• lwt-log 1.1.1-3
• liblwt-log-ocaml_1.1.1-3+b4_amd64.deb (main)
  • W shared-library-lacks-prerequisites usr/lib/ocaml/lwt_log/core/lwt_log_core.cmxs
  • W shared-library-lacks-prerequisites usr/lib/ocaml/lwt_log/lwt_log.cmxs
• lwt-ssl 1:1.1.3-2
• liblwt-ssl-ocaml_1.1.3-2+b5_amd64.deb (main)
  • W shared-library-lacks-prerequisites usr/lib/ocaml/lwt_ssl/lwt_ssl.cmxs
• matita 0.99.3-1
• matita_0.99.3-1.dsc (main)
  • W incorrect-packaging-filename debian/TODO.Debian -> debian/TODO
  • W package-uses-deprecated-debhelper-compat-version 8
  • W vcs-obsolete-in-debian-infrastructure Browser http://git.debian.org/?p=pkg-ocaml-maint/packages/matita.git
  • W vcs-obsolete-in-debian-infrastructure Git git://git.debian.org/git/pkg-ocaml-maint/packages/matita.git
• matita_0.99.3-1+b2_amd64.deb (main)
  • W command-in-menu-file-and-desktop-file matita usr/share/menu/matita:6
  • W no-manual-page usr/bin/matita
  • W no-manual-page usr/bin/matita.opt
  • W script-not-executable usr/share/matita/lib/formal_topology/replace.sh
• menhir 20201216-1
• libmenhir-ocaml-dev_20201216-1_amd64.deb (main)
  • W shared-library-lacks-prerequisites usr/lib/ocaml/menhirLib/menhirLib.cmxs
  • W shared-library-lacks-prerequisites usr/lib/ocaml/menhirSdk/menhirSdk.cmxs
• mikmatch 1.0.9-1
• mikmatch_1.0.9-1.dsc (main)
  • E no-human-maintainers
• mingw-ocaml 4.01.0~20140328-1
• mingw-ocaml_4.01.0~20140328-1.dsc (main)
  • W debian-rules-sets-dpkg-architecture-variable DEB_HOST_ARCH_CPU (line 4)
  • W package-uses-deprecated-debhelper-compat-version 7
  • W vcs-obsolete-in-debian-infrastructure Browser http://git.debian.org/?p=pkg-ocaml-maint/packages/mingw32-ocaml.git
  • W vcs-obsolete-in-debian-infrastructure Git git://git.debian.org/git/pkg-ocaml-maint/packages/mingw32-ocaml.git
• mingw-ocaml_4.01.0~20140328-1_all.deb (main)
  • E malformed-override Expected a colon in line 1
  • E malformed-override Expected a colon in line 2
• ocaml-mingw-w64-i686_4.01.0~20140328-1+b3_amd64.deb (main)
  • E wrong-path-for-interpreter usr/i686-w64-mingw32/lib/ocaml/camlheader (/usr/i686-w64-mingw32/bin/ocamlrun != /usr/bin/ocamlrun)
  • E wrong-path-for-interpreter usr/i686-w64-mingw32/lib/ocaml/extract_crc (/usr/i686-w64-mingw32/bin/ocamlrun != /usr/bin/ocamlrun)
  • W mismatched-override file-in-unusual-dir usr/i686-w64-mingw32/lib/ocaml/dbm/META
  • W mismatched-override file-in-unusual-dir usr/i686-w64-mingw32/lib/ocaml/labltk/META
  • W mismatched-override file-in-unusual-dir usr/i686-w64-mingw32/lib/ocaml/ocamlbuild/META
  • W mismatched-override wrong-path-for-interpreter usr/i686-w64-mingw32/lib/ocaml/camlheader (#!/usr/i686-w64-mingw32/bin/ocamlrun != /usr/bin/ocamlrun)
  • W mismatched-override wrong-path-for-interpreter usr/i686-w64-mingw32/lib/ocaml/extract_crc (#!/usr/i686-w64-mingw32/bin/ocamlrun != /usr/bin/ocamlrun)
• ocaml-mingw-w64-x86-64_4.01.0~20140328-1+b3_amd64.deb (main)
  • E wrong-path-for-interpreter usr/x86_64-w64-mingw32/lib/ocaml/camlheader (/usr/x86_64-w64-mingw32/bin/ocamlrun != /usr/bin/ocamlrun)
  • E wrong-path-for-interpreter usr/x86_64-w64-mingw32/lib/ocaml/extract_crc (/usr/x86_64-w64-mingw32/bin/ocamlrun != /usr/bin/ocamlrun)
  • W mismatched-override file-in-unusual-dir usr/x86_64-w64-mingw32/lib/ocaml/dbm/META
  • W mismatched-override file-in-unusual-dir usr/x86_64-w64-mingw32/lib/ocaml/labltk/META
  • W mismatched-override file-in-unusual-dir usr/x86_64-w64-mingw32/lib/ocaml/ocamlbuild/META
  • W mismatched-override wrong-path-for-interpreter usr/x86_64-w64-mingw32/lib/ocaml/camlheader (#!/usr/x86_64-w64-mingw32/bin/ocamlrun != /usr/bin/ocamlrun)
  • W mismatched-override wrong-path-for-interpreter usr/x86_64-w64-mingw32/lib/ocaml/extract_crc (#!/usr/x86_64-w64-mingw32/bin/ocamlrun != /usr/bin/ocamlrun)
• mldonkey 3.1.7-2
• mldonkey-server_3.1.7-2_amd64.deb (main)
  • W missing-systemd-service-for-init.d-script mldonkey-server
  • W national-encoding usr/share/doc/mldonkey-server/distrib/Authors.txt
  • W recursive-privilege-change postinst:127
• mlgmp 20021123-21
• libgmp-ocaml_20021123-21+b1_amd64.deb (main)
  • W national-encoding usr/share/doc/libgmp-ocaml/README
• mlpcap 0.9-19
• mlpcap_0.9-19.dsc (main)
  • W patch-file-present-but-not-mentioned-in-series 01_debian_configuration.diff
• mlpost 0.8.2-4
• libmlpost-ocaml-dev_0.8.2-4+b2_amd64.deb (main)
  • W shared-library-lacks-prerequisites usr/lib/ocaml/stublibs/dllmlpost_ft.so
• morbig 0.10.4-4
• libmorbig-ocaml-dev_0.10.4-4+b6_amd64.deb (main)
  • W shared-library-lacks-prerequisites usr/lib/ocaml/morbig/morbig.cmxs
• morsmall 0.3.0-3
• libmorsmall-ocaml-dev_0.3.0-3+b6_amd64.deb (main)
  • W shared-library-lacks-prerequisites usr/lib/ocaml/morsmall/morsmall.cmxs
  • W shared-library-lacks-prerequisites usr/lib/ocaml/morsmall/utilities/morsmall_utilities.cmxs
• nurpawiki 1.2.4-1
• nurpawiki_1.2.4-1+b7_amd64.deb (main)
  • W national-encoding usr/share/nurpawiki/jscalendar/lang/calendar-big5.js
  • W national-encoding usr/share/nurpawiki/jscalendar/lang/calendar-ca.js
  • W national-encoding usr/share/nurpawiki/jscalendar/lang/calendar-cs-win.js
  • W national-encoding usr/share/nurpawiki/jscalendar/lang/calendar-es.js
  • W national-encoding usr/share/nurpawiki/jscalendar/lang/calendar-fr.js
  • W national-encoding usr/share/nurpawiki/jscalendar/lang/calendar-hu.js
  • W national-encoding usr/share/nurpawiki/jscalendar/lang/calendar-ko.js
  • W national-encoding usr/share/nurpawiki/jscalendar/lang/calendar-lt.js
  • W national-encoding usr/share/nurpawiki/jscalendar/lang/calendar-lv.js
  • W national-encoding usr/share/nurpawiki/jscalendar/lang/calendar-ru_win_.js
  • W national-encoding usr/share/nurpawiki/jscalendar/lang/calendar-sp.js
  • W national-encoding usr/share/nurpawiki/jscalendar/lang/calendar-sv.js
  • W national-encoding usr/share/nurpawiki/jscalendar/lang/calendar-zh.js
  • W shared-library-lacks-prerequisites usr/lib/ocaml/nurpawiki/nurpawiki.cmxs
• oasis 0.4.11-1
• oasis_0.4.11-1.dsc (main)
  • E no-human-maintainers
  • W no-nmu-in-changelog
  • W source-nmu-has-incorrect-version-number 0.4.11-1
  • W tab-in-license-text debian/copyright (starting at line 8)
• liboasis-ocaml_0.4.11-1+b2_amd64.deb (main)
  • W shared-library-lacks-prerequisites usr/lib/ocaml/oasis/base.cmxs
  • W shared-library-lacks-prerequisites usr/lib/ocaml/oasis/builtin-plugins.cmxs
  • W shared-library-lacks-prerequisites usr/lib/ocaml/oasis/dynrun.cmxs
  • W shared-library-lacks-prerequisites usr/lib/ocaml/oasis/oasis.cmxs
  • W shared-library-lacks-prerequisites usr/lib/ocaml/plugin-loader/plugin-loader.cmxs
• obus 1.2.3-1
• libobus-ocaml_1.2.3-1+b3_amd64.deb (main)
  • W shared-library-lacks-prerequisites usr/lib/ocaml/obus/hal/obus_hal.cmxs
  • W shared-library-lacks-prerequisites usr/lib/ocaml/obus/internals/obus_internals.cmxs
  • W shared-library-lacks-prerequisites usr/lib/ocaml/obus/network_manager/obus_network_manager.cmxs
  • W shared-library-lacks-prerequisites usr/lib/ocaml/obus/notification/obus_notification.cmxs
  • W shared-library-lacks-prerequisites usr/lib/ocaml/obus/obus.cmxs
  • W shared-library-lacks-prerequisites usr/lib/ocaml/obus/policykit/obus_policy_kit.cmxs
  • W shared-library-lacks-prerequisites usr/lib/ocaml/obus/ppx/ppx_obus.cmxs
  • W shared-library-lacks-prerequisites usr/lib/ocaml/obus/udisks/obus_udisks.cmxs
  • W shared-library-lacks-prerequisites usr/lib/ocaml/obus/upower/obus_upower.cmxs
• ocaml 4.11.1-4
• ocaml-base_4.11.1-4_amd64.deb (main)
  • W empty-binary-package
• ocaml-base-nox_4.11.1-4_amd64.deb (main)
  • W shared-library-lacks-prerequisites usr/lib/ocaml/bigarray.cmxs
  • W shared-library-lacks-prerequisites usr/lib/ocaml/raw_spacetime_lib.cmxs
  • W shared-library-lacks-prerequisites usr/lib/ocaml/stublibs/dllraw_spacetime_lib.so
• ocaml-man_4.11.1-4_all.deb (main)
  • W bad-whatis-entry usr/share/man/man3/Compiler_libs.3o.gz
  • W groff-message usr/share/man/man3/Format.3o.gz (line 1) 822: warning: macro 'EE,' not defined (possibly missing space after 'EE')
  • W groff-message usr/share/man/man3/Stdlib.Format.3o.gz (line 1) 731: warning: macro 'EE,' not defined (possibly missing space after 'EE')
• ocaml-nox_4.11.1-4_amd64.deb (main)
  • W mismatched-override script-not-executable usr/lib/ocaml/target_camlheaderd
  • W mismatched-override script-not-executable usr/lib/ocaml/target_camlheaderi
  • W mismatched-override unusual-interpreter usr/lib/ocaml/target_camlheaderd #!/usr/bin/ocamlrund
  • W mismatched-override unusual-interpreter usr/lib/ocaml/target_camlheaderi #!/usr/bin/ocamlruni
  • W no-manual-page usr/bin/ocamlcmt
  • W script-not-executable usr/lib/ocaml/camlheaderd
  • W script-not-executable usr/lib/ocaml/camlheaderi
  • W unusual-interpreter usr/lib/ocaml/camlheaderd /usr/bin/ocamlrund
  • W unusual-interpreter usr/lib/ocaml/camlheaderi /usr/bin/ocamlruni
• ocamlagrep 1.0-13
• ocamlagrep_1.0-13.dsc (main)
  • W override_dh_clean-does-not-call-dh_clean (line 31)
• ocaml-alsa 0.3.0-1
• ocaml-alsa_0.3.0-1.dsc (main)
  • E no-human-maintainers
• ocaml-ao 0.2.1-1
• ocaml-ao_0.2.1-1.dsc (main)
  • E no-human-maintainers
• ocaml-astring 0.8.5-1
• libastring-ocaml_0.8.5-1+b1_amd64.deb (main)
  • W shared-library-lacks-prerequisites usr/lib/ocaml/astring/astring.cmxs
• libastring-ocaml-dev_0.8.5-1+b1_amd64.deb (main)
  • W shared-library-lacks-prerequisites usr/lib/ocaml/astring/astring_top.cmxs
• ocaml-atd 2.2.1-1
• libatd-ocaml_2.2.1-1+b1_amd64.deb (main)
  • W shared-library-lacks-prerequisites usr/lib/ocaml/atd/atd.cmxs
• libatdgen-ocaml_2.2.1-1+b1_amd64.deb (main)
  • W shared-library-lacks-prerequisites usr/lib/ocaml/atdgen/atdgen.cmxs
  • W shared-library-lacks-prerequisites usr/lib/ocaml/atdgen-codec-runtime/atdgen_codec_runtime.cmxs
  • W shared-library-lacks-prerequisites usr/lib/ocaml/atdgen-runtime/atdgen_runtime.cmxs
• libatdgen-ocaml-dev_2.2.1-1+b1_amd64.deb (main)
  • W no-manual-page usr/bin/atdgen-cppo
  • W no-manual-page usr/bin/cppo-json
• ocaml-base64 3.4.0-1
• libbase64-ocaml_3.4.0-1+b1_amd64.deb (main)
  • W shared-library-lacks-prerequisites usr/lib/ocaml/base64/base64.cmxs
  • W shared-library-lacks-prerequisites usr/lib/ocaml/base64/rfc2045/base64_rfc2045.cmxs
• ocaml-batteries 3.1.0-2
• libbatteries-ocaml-dev_3.1.0-2_amd64.deb (main)
  • W executable-not-elf-or-script usr/lib/ocaml/batteries/ocaml
  • W national-encoding usr/lib/ocaml/batteries/batChar.mli
  • W shared-library-lacks-prerequisites usr/lib/ocaml/batteries/batteries.cmxs
  • W shared-library-lacks-prerequisites usr/lib/ocaml/batteries/batteriesThread.cmxs
• ocaml-benchmark 1.6-1
• ocaml-benchmark_1.6-1.dsc (main)
  • E no-human-maintainers
  • W tab-in-license-text debian/copyright (starting at line 8)
• libbenchmark-ocaml-dev_1.6-1+b1_amd64.deb (main)
  • W shared-library-lacks-prerequisites usr/lib/ocaml/benchmark/benchmark.cmxs
• ocaml-bigarray-compat 1.0.0-1
• libbigarray-compat-ocaml_1.0.0-1+b2_amd64.deb (main)
  • W shared-library-lacks-prerequisites usr/lib/ocaml/bigarray-compat/bigarray_compat.cmxs
• ocaml-bitstring 3.1.1-2
• libbitstring-ocaml-dev_3.1.1-2+b2_amd64.deb (main)
  • W shared-library-lacks-prerequisites usr/lib/ocaml/bitstring/ppx/ppx_bitstring.cmxs
• ocaml-charinfo-width 1.1.0-2
• libcharinfo-width-ocaml_1.1.0-2+b1_amd64.deb (main)
  • W shared-library-lacks-prerequisites usr/lib/ocaml/charInfo_width/charInfo_width.cmxs
• ocaml-config-file 1.2-1
• ocaml-config-file_1.2-1.dsc (main)
  • W global-files-wildcard-not-first-paragraph-in-dep5-copyright debian/copyright (line 18)
  • W package-uses-deprecated-debhelper-compat-version 9
  • W vcs-obsolete-in-debian-infrastructure Browser http://anonscm.debian.org/gitweb/?p=pkg-ocaml-maint/packages/ocaml-config-file.git
  • W vcs-obsolete-in-debian-infrastructure Git git://anonscm.debian.org/pkg-ocaml-maint/packages/ocaml-config-file.git
• libconfig-file-ocaml-dev_1.2-1+b4_amd64.deb (main)
  • W shared-library-lacks-prerequisites usr/lib/ocaml/config-file/config_file.cmxs
• ocamlcreal 0.7-6
• ocamlcreal_0.7-6.dsc (main)
  • W missing-debian-source-format
  • W package-uses-deprecated-debhelper-compat-version 7
  • W recommended-field ocamlcreal_0.7-6.dsc Package-List
  • W vcs-obsolete-in-debian-infrastructure Browser http://git.debian.org/?p=pkg-ocaml-maint/packages/ocamlcreal.git
  • W vcs-obsolete-in-debian-infrastructure Git git://git.debian.org/git/pkg-ocaml-maint/packages/ocamlcreal.git
• libcreal-ocaml-dev_0.7-6+b9_amd64.deb (main)
  • W national-encoding usr/share/doc/libcreal-ocaml-dev/README
• ocaml-cry 0.6.5-1
• libcry-ocaml-dev_0.6.5-1+b2_amd64.deb (main)
  • W shared-library-lacks-prerequisites usr/lib/ocaml/cry/cry.cmxs
• ocaml-csexp 1.3.2-1
• libcsexp-ocaml_1.3.2-1_amd64.deb (main)
  • W shared-library-lacks-prerequisites usr/lib/ocaml/csexp/csexp.cmxs
• ocaml-cstruct 6.0.0-1
• libcstruct-ocaml_6.0.0-1+b1_amd64.deb (main)
  • W shared-library-lacks-prerequisites usr/lib/ocaml/cstruct-lwt/cstruct_lwt.cmxs
  • W shared-library-lacks-prerequisites usr/lib/ocaml/cstruct-sexp/cstruct_sexp.cmxs
  • W shared-library-lacks-prerequisites usr/lib/ocaml/cstruct-unix/cstruct_unix.cmxs
  • W shared-library-lacks-prerequisites usr/lib/ocaml/ppx_cstruct/ppx_cstruct.cmxs
• ocaml-csv 2.4-1
• libcsv-ocaml-dev_2.4-1+b1_amd64.deb (main)
  • W shared-library-lacks-prerequisites usr/lib/ocaml/csv/csv.cmxs
• ocaml-ctypes 0.17.1-2
• libctypes-ocaml_0.17.1-2+b1_amd64.deb (main)
  • W shared-library-lacks-prerequisites usr/lib/ocaml/stublibs/dllctypes-foreign-threaded_stubs.so
• ocaml-curses 1.0.6-2
• ocaml-curses_1.0.6-2.dsc (main)
  • E no-human-maintainers
• ocamldap 2.4.2-1
• libldap-ocaml-dev_2.4.2-1_amd64.deb (main)
  • W shared-library-lacks-prerequisites usr/lib/ocaml/ldap/ldap.cmxs
  • W shared-library-lacks-prerequisites usr/lib/ocaml/ldap/ldif/ldif.cmxs
• ocaml-dbus 0.29-6
• ocaml-dbus_0.29-6.dsc (main)
  • E no-human-maintainers
• ocaml-doc 4.11-2
• ocaml-doc_4.11-2_all.deb (non-free)
  • E info-document-missing-dir-entry usr/share/info/ocaml.info.haux.gz
  • E info-document-missing-dir-entry usr/share/info/ocaml.info.hocaml.info.hind.gz
  • E info-document-missing-dir-entry usr/share/info/ocaml.info.hocaml.info.kwd.hind.gz
  • E info-document-missing-dir-section usr/share/info/ocaml.info.haux.gz
  • E info-document-missing-dir-section usr/share/info/ocaml.info.hocaml.info.hind.gz
  • E info-document-missing-dir-section usr/share/info/ocaml.info.hocaml.info.kwd.hind.gz
  • W info-document-has-wrong-extension usr/share/info/ocaml.info.body-10.gz
  • W info-document-has-wrong-extension usr/share/info/ocaml.info.body-11.gz
  • W info-document-has-wrong-extension usr/share/info/ocaml.info.body-12.gz
  • W info-document-has-wrong-extension usr/share/info/ocaml.info.body-13.gz
  • W info-document-has-wrong-extension usr/share/info/ocaml.info.body-14.gz
  • W info-document-has-wrong-extension usr/share/info/ocaml.info.body-15.gz
  • W info-document-has-wrong-extension usr/share/info/ocaml.info.body-16.gz
  • W info-document-has-wrong-extension usr/share/info/ocaml.info.body-17.gz
  • W info-document-has-wrong-extension usr/share/info/ocaml.info.body-18.gz
  • W info-document-has-wrong-extension usr/share/info/ocaml.info.body-19.gz
  • W info-document-has-wrong-extension usr/share/info/ocaml.info.body-1.gz
  • W info-document-has-wrong-extension usr/share/info/ocaml.info.body-20.gz
  • W info-document-has-wrong-extension usr/share/info/ocaml.info.body-21.gz
  • W info-document-has-wrong-extension usr/share/info/ocaml.info.body-22.gz
  • W info-document-has-wrong-extension usr/share/info/ocaml.info.body-23.gz
  • W info-document-has-wrong-extension usr/share/info/ocaml.info.body-24.gz
  • W info-document-has-wrong-extension usr/share/info/ocaml.info.body-25.gz
  • W info-document-has-wrong-extension usr/share/info/ocaml.info.body-26.gz
  • W info-document-has-wrong-extension usr/share/info/ocaml.info.body-27.gz
  • W info-document-has-wrong-extension usr/share/info/ocaml.info.body-28.gz
  • W info-document-has-wrong-extension usr/share/info/ocaml.info.body-29.gz
  • W info-document-has-wrong-extension usr/share/info/ocaml.info.body-2.gz
  • W info-document-has-wrong-extension usr/share/info/ocaml.info.body-30.gz
  • W info-document-has-wrong-extension usr/share/info/ocaml.info.body-31.gz
  • W info-document-has-wrong-extension usr/share/info/ocaml.info.body-3.gz
  • W info-document-has-wrong-extension usr/share/info/ocaml.info.body-4.gz
  • W info-document-has-wrong-extension usr/share/info/ocaml.info.body-5.gz
  • W info-document-has-wrong-extension usr/share/info/ocaml.info.body-6.gz
  • W info-document-has-wrong-extension usr/share/info/ocaml.info.body-7.gz
  • W info-document-has-wrong-extension usr/share/info/ocaml.info.body-8.gz
  • W info-document-has-wrong-extension usr/share/info/ocaml.info.body-9.gz
  • W info-document-has-wrong-extension usr/share/info/ocaml.info.haux.gz
  • W info-document-has-wrong-extension usr/share/info/ocaml.info.hocaml.info.hind.gz
  • W info-document-has-wrong-extension usr/share/info/ocaml.info.hocaml.info.kwd.hind.gz
  • W privacy-breach-generic usr/share/doc/ocaml-doc/ocaml.html/foreword.html [<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)
  • W privacy-breach-generic usr/share/doc/ocaml-doc/ocaml.html/manual.html [<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)
• ocaml-domain-name 0.3.0-2
• libdomain-name-ocaml_0.3.0-2+b3_amd64.deb (main)
  • W shared-library-lacks-prerequisites usr/lib/ocaml/domain-name/domain_name.cmxs
• ocaml-dssi 0.1.2-1
• ocaml-dssi_0.1.2-1.dsc (main)
  • E no-human-maintainers
• ocaml-dtools 0.4.4-1
• libdtools-ocaml-dev_0.4.4-1_amd64.deb (main)
  • W shared-library-lacks-prerequisites usr/lib/ocaml/dtools/dtools.cmxs
• ocaml-dune 2.7.1-2
• libdune-ocaml-dev_2.7.1-2_amd64.deb (main)
  • W shared-library-lacks-prerequisites usr/lib/ocaml/dune-configurator/configurator.cmxs
  • W shared-library-lacks-prerequisites usr/lib/ocaml/dune-private-libs/cache/cache.cmxs
  • W shared-library-lacks-prerequisites usr/lib/ocaml/dune-private-libs/dune_csexp/dune_csexp.cmxs
  • W shared-library-lacks-prerequisites usr/lib/ocaml/dune-private-libs/dune-lang/dune_lang.cmxs
  • W shared-library-lacks-prerequisites usr/lib/ocaml/dune-private-libs/dune_re/dune_re.cmxs
  • W shared-library-lacks-prerequisites usr/lib/ocaml/dune-private-libs/dune_util/dune_util.cmxs
  • W shared-library-lacks-prerequisites usr/lib/ocaml/dune-private-libs/ocaml-config/ocaml_config.cmxs
  • W shared-library-lacks-prerequisites usr/lib/ocaml/dune-private-libs/xdg/xdg.cmxs
• ocaml-dune_2.7.1-2_amd64.deb (main)
  • W bad-whatis-entry usr/share/man/man1/dune.1.gz
  • W bad-whatis-entry usr/share/man/man1/dune-build.1.gz
  • W bad-whatis-entry usr/share/man/man1/dune-cache.1.gz
  • W bad-whatis-entry usr/share/man/man1/dune-clean.1.gz
  • W bad-whatis-entry usr/share/man/man1/dune-compute.1.gz
  • W bad-whatis-entry usr/share/man/man1/dune-describe.1.gz
  • W bad-whatis-entry usr/share/man/man1/dune-exec.1.gz
  • W bad-whatis-entry usr/share/man/man1/dune-external-lib-deps.1.gz
  • W bad-whatis-entry usr/share/man/man1/dune-format-dune-file.1.gz
  • W bad-whatis-entry usr/share/man/man1/dune-help.1.gz
  • W bad-whatis-entry usr/share/man/man1/dune-init.1.gz
  • W bad-whatis-entry usr/share/man/man1/dune-install.1.gz
  • W bad-whatis-entry usr/share/man/man1/dune-installed-libraries.1.gz
  • W bad-whatis-entry usr/share/man/man1/dune-ocaml-merlin.1.gz
  • W bad-whatis-entry usr/share/man/man1/dune-printenv.1.gz
  • W bad-whatis-entry usr/share/man/man1/dune-promote.1.gz
  • W bad-whatis-entry usr/share/man/man1/dune-rules.1.gz
  • W bad-whatis-entry usr/share/man/man1/dune-runtest.1.gz
  • W bad-whatis-entry usr/share/man/man1/dune-subst.1.gz
  • W bad-whatis-entry usr/share/man/man1/dune-test.1.gz
  • W bad-whatis-entry usr/share/man/man1/dune-top.1.gz
  • W bad-whatis-entry usr/share/man/man1/dune-uninstall.1.gz
  • W bad-whatis-entry usr/share/man/man1/dune-upgrade.1.gz
  • W bad-whatis-entry usr/share/man/man1/dune-utop.1.gz
  • W bad-whatis-entry usr/share/man/man5/dune-config.5.gz
• ocaml-expect 0.0.6-1
• ocaml-expect_0.0.6-1.dsc (main)
  • E no-human-maintainers
• libexpect-ocaml_0.0.6-1+b3_amd64.deb (main)
  • W shared-library-lacks-prerequisites usr/lib/ocaml/expect/expect.cmxs
  • W shared-library-lacks-prerequisites usr/lib/ocaml/expect/expect-pcre.cmxs
  • W shared-library-lacks-prerequisites usr/lib/ocaml/expect/expect-str.cmxs
• ocaml-fileutils 0.6.3-1
• ocaml-fileutils_0.6.3-1.dsc (main)
  • E no-human-maintainers
  • W tab-in-license-text debian/copyright (starting at line 8)
• libfileutils-ocaml-dev_0.6.3-1+b1_amd64.deb (main)
  • W shared-library-lacks-prerequisites usr/lib/ocaml/fileutils/fileutils.cmxs
  • W shared-library-lacks-prerequisites usr/lib/ocaml/fileutils/str/fileutils_str.cmxs
• ocaml-fmt 0.8.9-1
• libfmt-ocaml_0.8.9-1_amd64.deb (main)
  • W shared-library-lacks-prerequisites usr/lib/ocaml/fmt/fmt.cmxs
  • W shared-library-lacks-prerequisites usr/lib/ocaml/fmt/fmt_tty.cmxs
• libfmt-ocaml-dev_0.8.9-1_amd64.deb (main)
  • W shared-library-lacks-prerequisites usr/lib/ocaml/fmt/fmt_top.cmxs
• ocaml-fpath 0.7.3-2
• ocaml-fpath_0.7.3-2.dsc (main)
  • W no-nmu-in-changelog
  • W source-nmu-has-incorrect-version-number 0.7.3-2
• libfpath-ocaml_0.7.3-2+b1_amd64.deb (main)
  • W shared-library-lacks-prerequisites usr/lib/ocaml/fpath/fpath.cmxs
• libfpath-ocaml-dev_0.7.3-2+b1_amd64.deb (main)
  • W shared-library-lacks-prerequisites usr/lib/ocaml/fpath/fpath_top.cmxs
• ocaml-frei0r 0.1.1-1
• ocaml-frei0r_0.1.1-1.dsc (main)
  • E no-human-maintainers
• ocaml-gavl 0.1.6-1
• ocaml-gavl_0.1.6-1.dsc (main)
  • E no-human-maintainers
• ocaml-gen 0.5.3-1
• libgen-ocaml_0.5.3-1+b1_amd64.deb (main)
  • W shared-library-lacks-prerequisites usr/lib/ocaml/gen/gen.cmxs
• ocaml-getopt 0.0.20040811-10
• ocaml-getopt_0.0.20040811-10.dsc (main)
  • W missing-debian-source-format
  • W package-uses-deprecated-debhelper-compat-version 7
  • W recommended-field ocaml-getopt_0.0.20040811-10.dsc Package-List
  • W vcs-obsolete-in-debian-infrastructure Browser http://git.debian.org/?p=pkg-ocaml-maint/packages/ocaml-getopt.git
  • W vcs-obsolete-in-debian-infrastructure Git git://git.debian.org/git/pkg-ocaml-maint/packages/ocaml-getopt.git
• libgetopt-ocaml-dev_0.0.20040811-10+b8_amd64.deb (main)
  • W national-encoding usr/share/doc/libgetopt-ocaml-dev/README
• ocaml-gettext 0.4.2-1
• libgettext-ocaml-dev_0.4.2-1+b2_amd64.deb (main)
  • W shared-library-lacks-prerequisites usr/lib/ocaml/gettext/base/gettextBase.cmxs
  • W shared-library-lacks-prerequisites usr/lib/ocaml/gettext-camomile/gettextCamomile.cmxs
  • W shared-library-lacks-prerequisites usr/lib/ocaml/gettext/extension/gettextExtension.cmxs
  • W shared-library-lacks-prerequisites usr/lib/ocaml/gettext/gettext.cmxs
• ocaml-gnuplot 0.8.3-4
• ocaml-gnuplot_0.8.3-4.dsc (main)
  • W package-uses-deprecated-debhelper-compat-version 7
• libgnuplot-ocaml-dev_0.8.3-4+b2_amd64.deb (main)
  • W priority-extra-is-replaced-by-priority-optional
• ocamlgraph 2.0.0-2
• libocamlgraph-ocaml-dev_2.0.0-2_amd64.deb (main)
  • W shared-library-lacks-prerequisites usr/lib/ocaml/ocamlgraph/graph.cmxs
• ocamlgsl 1.24.3-1
• ocamlgsl_1.24.3-1.dsc (main)
  • E no-human-maintainers
  • W obsolete-debian-watch-file-standard 2
• ocaml-hex 1.4.0-1
• libhex-ocaml_1.4.0-1+b4_amd64.deb (main)
  • W shared-library-lacks-prerequisites usr/lib/ocaml/hex/hex.cmxs
• ocaml-http 0.1.6-1
• ocaml-http_0.1.6-1.dsc (main)
  • E no-human-maintainers
• ocaml-inifiles 1.2-4
• ocaml-inifiles_1.2-4.dsc (main)
  • E no-human-maintainers
• ocaml-inotify 2.3-2
• ocaml-inotify_2.3-2.dsc (main)
  • E no-human-maintainers
  • W no-nmu-in-changelog
  • W source-nmu-has-incorrect-version-number 2.3-2
• libinotify-ocaml_2.3-2+b2_amd64.deb (main)
  • W shared-library-lacks-prerequisites usr/lib/ocaml/inotify/inotify-lwt.cmxs
• ocaml-ipaddr 5.0.1-1
• libipaddr-ocaml_5.0.1-1+b1_amd64.deb (main)
  • W shared-library-lacks-prerequisites usr/lib/ocaml/ipaddr/ipaddr.cmxs
  • W shared-library-lacks-prerequisites usr/lib/ocaml/ipaddr/unix/ipaddr_unix.cmxs
  • W shared-library-lacks-prerequisites usr/lib/ocaml/macaddr/macaddr.cmxs
• libipaddr-ocaml-dev_5.0.1-1+b1_amd64.deb (main)
  • W shared-library-lacks-prerequisites usr/lib/ocaml/ipaddr/top/ipaddr_top.cmxs
  • W shared-library-lacks-prerequisites usr/lib/ocaml/macaddr/top/macaddr_top.cmxs
• ocaml-ladspa 0.1.5-1
• ocaml-ladspa_0.1.5-1.dsc (main)
  • E no-human-maintainers
  • W useless-autoreconf-build-depends dh-autoreconf
• ocaml-lame 0.3.4-1
• ocaml-lame_0.3.4-1.dsc (main)
  • E no-human-maintainers
• ocaml-magic 0.7.3-5
• ocaml-magic_0.7.3-5.dsc (main)
  • W missing-debian-source-format
  • W package-uses-deprecated-debhelper-compat-version 7
  • W patch-system-but-no-source-readme
  • W recommended-field ocaml-magic_0.7.3-5.dsc Package-List
  • W vcs-obsolete-in-debian-infrastructure Browser http://git.debian.org/?p=pkg-ocaml-maint/packages/ocaml-magic.git
  • W vcs-obsolete-in-debian-infrastructure Git git://git.debian.org/pkg-ocaml-maint/packages/ocaml-magic.git
• ocaml-mccs 1.1+11-1
• libmccs-ocaml_1.1+11-1+b3_amd64.deb (main)
  • W shared-library-lacks-prerequisites usr/lib/ocaml/mccs/glpk/shared/mccs_hostglpk_shared.cmxs
• ocaml-mew 0.1.0-1
• libmew-ocaml_0.1.0-1+b2_amd64.deb (main)
  • W shared-library-lacks-prerequisites usr/lib/ocaml/mew/mew.cmxs
• ocaml-mew-vi 0.5.0-1
• libmew-vi-ocaml_0.5.0-1+b2_amd64.deb (main)
  • W shared-library-lacks-prerequisites usr/lib/ocaml/mew_vi/mew_vi.cmxs
• ocaml-migrate-parsetree 1.8.0-2
• libmigrate-parsetree-ocaml_1.8.0-2_amd64.deb (main)
  • W duplicate-changelog-files usr/share/doc/libmigrate-parsetree-ocaml/changelog.gz usr/share/doc/ocaml-migrate-parsetree/CHANGES.md.gz
  • W shared-library-lacks-prerequisites usr/lib/ocaml/ocaml-migrate-parsetree/driver-main/migrate_parsetree_driver_main.cmxs
  • W shared-library-lacks-prerequisites usr/lib/ocaml/ocaml-migrate-parsetree/migrate_parsetree.cmxs
• ocaml-mmap 1.1.0-1
• libmmap-ocaml_1.1.0-1+b3_amd64.deb (main)
  • W shared-library-lacks-prerequisites usr/lib/ocaml/mmap/mmap.cmxs
• ocamlmod 0.0.9-2
• ocamlmod_0.0.9-2.dsc (main)
  • E no-human-maintainers
• ocamlnet 4.1.8-2
• libapache2-mod-netcgi-apache_4.1.8-2_amd64.deb (main)
  • W web-application-depends-on-apache2-data-package apache2-bin libapache2-mod-netcgi-apache.conf
• libnethttpd-ocaml-dev_4.1.8-2_amd64.deb (main)
  • W shared-library-lacks-prerequisites usr/lib/ocaml/nethttpd/nethttpd.cmxs
• libocamlnet-gtk2-ocaml-dev_4.1.8-2_amd64.deb (main)
  • W shared-library-lacks-prerequisites usr/lib/ocaml/equeue-gtk2/equeue_gtk2.cmxs
• libocamlnet-ocaml_4.1.8-2_amd64.deb (main)
  • W shared-library-lacks-prerequisites usr/lib/ocaml/stublibs/dllnetaccel_c.so
• libocamlnet-ocaml-bin_4.1.8-2_amd64.deb (main)
  • W no-manual-page usr/bin/netplex-admin
  • W no-manual-page usr/bin/ocamlrpcgen
• libocamlnet-ocaml-dev_4.1.8-2_amd64.deb (main)
  • W shared-library-lacks-prerequisites usr/lib/ocaml/equeue/equeue.cmxs
  • W shared-library-lacks-prerequisites usr/lib/ocaml/netcamlbox/netcamlbox.cmxs
  • W shared-library-lacks-prerequisites usr/lib/ocaml/netcgi2-apache/netcgi2-apache.cmxs
  • W shared-library-lacks-prerequisites usr/lib/ocaml/netcgi2/netcgi.cmxs
  • W shared-library-lacks-prerequisites usr/lib/ocaml/netcgi2-plex/netcgi2-plex.cmxs
  • W shared-library-lacks-prerequisites usr/lib/ocaml/netclient/netclient.cmxs
  • W shared-library-lacks-prerequisites usr/lib/ocaml/netmulticore/netmulticore.cmxs
  • W shared-library-lacks-prerequisites usr/lib/ocaml/netplex/netplex.cmxs
  • W shared-library-lacks-prerequisites usr/lib/ocaml/netshm/netshm.cmxs
  • W shared-library-lacks-prerequisites usr/lib/ocaml/netstring/netstring.cmxs
  • W shared-library-lacks-prerequisites usr/lib/ocaml/netstring-pcre/netstring-pcre.cmxs
  • W shared-library-lacks-prerequisites usr/lib/ocaml/netsys/netsys_oothr.cmxs
  • W shared-library-lacks-prerequisites usr/lib/ocaml/netsys/netsys_oothr_mt.cmxs
  • W shared-library-lacks-prerequisites usr/lib/ocaml/netsys/netsys_oothr_mt_init.cmxs
  • W shared-library-lacks-prerequisites usr/lib/ocaml/netunidata/netmappings_iso.cmxs
  • W shared-library-lacks-prerequisites usr/lib/ocaml/netunidata/netmappings_jp.cmxs
  • W shared-library-lacks-prerequisites usr/lib/ocaml/netunidata/netmappings_kr.cmxs
  • W shared-library-lacks-prerequisites usr/lib/ocaml/netunidata/netmappings_other.cmxs
  • W shared-library-lacks-prerequisites usr/lib/ocaml/netunidata/netunidata.cmxs
  • W shared-library-lacks-prerequisites usr/lib/ocaml/netunidata/netuniinit.cmxs
  • W shared-library-lacks-prerequisites usr/lib/ocaml/netzip/netzip.cmxs
  • W shared-library-lacks-prerequisites usr/lib/ocaml/rpc-generator/rpc_generator.cmxs
  • W shared-library-lacks-prerequisites usr/lib/ocaml/rpc/rpc.cmxs
  • W shared-library-lacks-prerequisites usr/lib/ocaml/shell/shell.cmxs
• libocamlnet-ocaml-doc_4.1.8-2_all.deb (main)
  • W national-encoding usr/share/doc/libocamlnet-ocaml/examples/cgi/netcgi2/add.ml
  • W national-encoding usr/share/doc/libocamlnet-ocaml/examples/cgi/netcgi2/counter.ml
  • W national-encoding usr/share/doc/libocamlnet-ocaml/examples/cgi/netcgi2/filemanager.ml
  • W national-encoding usr/share/doc/libocamlnet-ocaml/examples/cgi/netcgi2-plex/add.ml
  • W national-encoding usr/share/doc/libocamlnet-ocaml/examples/nethttpd/easy_reactor.ml
  • W national-encoding usr/share/doc/libocamlnet-ocaml/examples/nethttpd/netplex.ml
  • W national-encoding usr/share/doc/libocamlnet-ocaml/html-main/Netsendmail_tut.html
• ocaml-obuild 0.1.10-3
• ocaml-obuild_0.1.10-3.dsc (main)
  • W package-uses-deprecated-debhelper-compat-version 9
• ocamlodbc 2.15-7
• ocamlodbc_2.15-7.dsc (main)
  • E no-human-maintainers
  • W debian-rules-should-not-set-CFLAGS-from-noopt
• libocamlodbc-ocaml-dev_2.15-7_amd64.deb (main)
  • W package-contains-vcs-control-file usr/share/doc/libocamlodbc-ocaml-dev/examples/Biniki/.cvsignore
• ocaml-odoc 1.5.2+dfsg2-1
• libodoc-ocaml_1.5.2+dfsg2-1_amd64.deb (main)
  • W ocaml-dangling-cmxs usr/lib/ocaml/dune_odoc_test/dune_odoc_test.cmxs
  • W ocaml-dangling-cmxs usr/lib/ocaml/odoc/compat/odoc_compat.cmxs
  • W ocaml-dangling-cmxs usr/lib/ocaml/odoc/html/odoc_html.cmxs
  • W ocaml-dangling-cmxs usr/lib/ocaml/odoc/loader/odoc_loader.cmxs
  • W ocaml-dangling-cmxs usr/lib/ocaml/odoc/model/odoc_model.cmxs
  • W ocaml-dangling-cmxs usr/lib/ocaml/odoc/odoc/odoc_odoc.cmxs
  • W ocaml-dangling-cmxs usr/lib/ocaml/odoc/parser/odoc_parser.cmxs
  • W ocaml-dangling-cmxs usr/lib/ocaml/odoc/xref/odoc_xref.cmxs
  • W shared-library-lacks-prerequisites usr/lib/ocaml/dune_odoc_test/dune_odoc_test.cmxs
  • W shared-library-lacks-prerequisites usr/lib/ocaml/odoc/compat/odoc_compat.cmxs
  • W shared-library-lacks-prerequisites usr/lib/ocaml/odoc/html/odoc_html.cmxs
  • W shared-library-lacks-prerequisites usr/lib/ocaml/odoc/loader/odoc_loader.cmxs
  • W shared-library-lacks-prerequisites usr/lib/ocaml/odoc/model/odoc_model.cmxs
  • W shared-library-lacks-prerequisites usr/lib/ocaml/odoc/odoc/odoc_odoc.cmxs
  • W shared-library-lacks-prerequisites usr/lib/ocaml/odoc/parser/odoc_parser.cmxs
  • W shared-library-lacks-prerequisites usr/lib/ocaml/odoc/xref/odoc_xref.cmxs
• ocamlpam 1.1-5
• ocamlpam_1.1-5.dsc (main)
  • W vcs-obsolete-in-debian-infrastructure Browser https://anonscm.debian.org/git/pkg-ocaml-maint/packages/ocamlpam.git
  • W vcs-obsolete-in-debian-infrastructure Git https://anonscm.debian.org/git/pkg-ocaml-maint/packages/ocamlpam.git
• ocaml-parany 8.0.0-1
• libparany-ocaml_8.0.0-1+b1_amd64.deb (main)
  • W shared-library-lacks-prerequisites usr/lib/ocaml/parany/parany.cmxs
• ocaml-parsexp 0.14.0-1
• libparsexp-ocaml_0.14.0-1+b1_amd64.deb (main)
  • W shared-library-lacks-prerequisites usr/lib/ocaml/parsexp/parsexp.cmxs
• ocaml-portaudio 0.2.1-1
• ocaml-portaudio_0.2.1-1.dsc (main)
  • W vcs-obsolete-in-debian-infrastructure Browser https://anonscm.debian.org/git/pkg-ocaml-maint/packages/ocaml-portaudio.git
  • W vcs-obsolete-in-debian-infrastructure Git https://anonscm.debian.org/git/pkg-ocaml-maint/packages/ocaml-portaudio.git
• ocaml-ptmap 2.0.5-1
• libptmap-ocaml_2.0.5-1_amd64.deb (main)
  • W shared-library-lacks-prerequisites usr/lib/ocaml/ptmap/ptmap.cmxs
• ocaml-pulseaudio 0.1.3-1
• ocaml-pulseaudio_0.1.3-1.dsc (main)
  • E no-human-maintainers
• ocaml-qcheck 0.15-1
• libqcheck-core-ocaml_0.15-1+b1_amd64.deb (main)
  • W shared-library-lacks-prerequisites usr/lib/ocaml/qcheck-core/qcheck_core.cmxs
  • W shared-library-lacks-prerequisites usr/lib/ocaml/qcheck-core/runner/qcheck_runner.cmxs
• libqcheck-ocaml_0.15-1+b1_amd64.deb (main)
  • W shared-library-lacks-prerequisites usr/lib/ocaml/qcheck/qcheck.cmxs
• libqcheck-ounit-ocaml_0.15-1+b1_amd64.deb (main)
  • W shared-library-lacks-prerequisites usr/lib/ocaml/qcheck-ounit/qcheck_ounit.cmxs
• ocaml-qtest 2.11.1-1
• libqtest-ocaml_2.11.1-1_amd64.deb (main)
  • W shared-library-lacks-prerequisites usr/lib/ocaml/qtest/lib/qtestlib.cmxs
• ocaml-re 1.9.0-1
• libre-ocaml-dev_1.9.0-1+b1_amd64.deb (main)
  • W shared-library-lacks-prerequisites usr/lib/ocaml/re/emacs/re_emacs.cmxs
  • W shared-library-lacks-prerequisites usr/lib/ocaml/re/glob/re_glob.cmxs
  • W shared-library-lacks-prerequisites usr/lib/ocaml/re/pcre/re_pcre.cmxs
  • W shared-library-lacks-prerequisites usr/lib/ocaml/re/perl/re_perl.cmxs
  • W shared-library-lacks-prerequisites usr/lib/ocaml/re/posix/re_posix.cmxs
  • W shared-library-lacks-prerequisites usr/lib/ocaml/re/re.cmxs
  • W shared-library-lacks-prerequisites usr/lib/ocaml/re/str/re_str.cmxs
• ocaml-reins 0.1a-9
• ocaml-reins_0.1a-9.dsc (main)
  • W no-nmu-in-changelog
  • W source-nmu-has-incorrect-version-number 0.1a-9
• ocaml-res 5.0.1-1
• ocaml-res_5.0.1-1.dsc (main)
  • E no-human-maintainers
• libres-ocaml-dev_5.0.1-1+b1_amd64.deb (main)
  • W shared-library-lacks-prerequisites usr/lib/ocaml/res/res.cmxs
• ocaml-result 1.5-1
• libresult-ocaml_1.5-1+b1_amd64.deb (main)
  • W shared-library-lacks-prerequisites usr/lib/ocaml/result/result.cmxs
• ocaml-rope 0.6.2-3
• librope-ocaml_0.6.2-3+b1_amd64.deb (main)
  • W shared-library-lacks-prerequisites usr/lib/ocaml/rope/rope.cmxs
• ocaml-rresult 0.6.0-1
• librresult-ocaml_0.6.0-1+b2_amd64.deb (main)
  • W shared-library-lacks-prerequisites usr/lib/ocaml/rresult/rresult.cmxs
  • W shared-library-lacks-prerequisites usr/lib/ocaml/rresult/rresult_top.cmxs
• ocamlrss 2.2.2-1
• librss-ocaml_2.2.2-1+b1_amd64.deb (main)
  • W shared-library-lacks-prerequisites usr/lib/ocaml/rss/rss.cmxs
• ocaml-samplerate 0.1.4-1
• ocaml-samplerate_0.1.4-1.dsc (main)
  • E no-human-maintainers
• ocamlsdl 0.9.1-3
• ocamlsdl_0.9.1-3.dsc (main)
  • W package-uses-deprecated-debhelper-compat-version 8
• libsdl-ocaml_0.9.1-3+b3_amd64.deb (main)
  • E library-not-linked-against-libc usr/lib/ocaml/stublibs/dllsdlgfxstub.so
  • E library-not-linked-against-libc usr/lib/ocaml/stublibs/dllsdlttfstub.so
• ocaml-sedlex 2.2-1
• libsedlex-ocaml_2.2-1+b3_amd64.deb (main)
  • W shared-library-lacks-prerequisites usr/lib/ocaml/sedlex/ppx/sedlex_ppx.cmxs
  • W shared-library-lacks-prerequisites usr/lib/ocaml/sedlex/sedlex.cmxs
• ocaml-sexplib0 0.14.0-1
• libsexplib0-ocaml_0.14.0-1+b1_amd64.deb (main)
  • W shared-library-lacks-prerequisites usr/lib/ocaml/sexplib0/sexplib0.cmxs
• ocaml-shine 0.2.1-1
• ocaml-shine_0.2.1-1.dsc (main)
  • E no-human-maintainers
• ocaml-shout 0.2.7-1
• ocaml-shout_0.2.7-1.dsc (main)
  • W missing-debian-source-format
  • W package-uses-deprecated-debhelper-compat-version 7
  • W recommended-field ocaml-shout_0.2.7-1.dsc Package-List
  • W vcs-obsolete-in-debian-infrastructure Browser http://git.debian.org/?p=pkg-ocaml-maint/packages/ocaml-shout.git
  • W vcs-obsolete-in-debian-infrastructure Git git://git.debian.org/pkg-ocaml-maint/packages/ocaml-shout.git
• ocaml-soundtouch 0.1.8-1
• ocaml-soundtouch_0.1.8-1.dsc (main)
  • E no-human-maintainers
• ocaml-stdcompat 14-2
• libstdcompat-ocaml_14-2+b1_amd64.deb (main)
  • W shared-library-lacks-prerequisites usr/lib/ocaml/stdcompat/stdcompat.cmxs
  • W shared-library-lacks-prerequisites usr/lib/ocaml/stublibs/dllstdcompat__stubs.so
• ocaml-stdio 0.14.0-1
• libstdio-ocaml_0.14.0-1+b1_amd64.deb (main)
  • W shared-library-lacks-prerequisites usr/lib/ocaml/stdio/stdio.cmxs
• ocaml-taglib 0.3.6-1
• ocaml-taglib_0.3.6-1.dsc (main)
  • E no-human-maintainers
• ocaml-tools 20120103-7
• ocaml-tools_20120103-7.dsc (main)
  • W file-without-copyright-information debian/copyright debian/changelog
  • W file-without-copyright-information debian/copyright debian/control
  • W file-without-copyright-information debian/copyright debian/copyright
  • W file-without-copyright-information debian/copyright debian/dirs
  • W file-without-copyright-information debian/copyright debian/docs
  • W file-without-copyright-information debian/copyright debian/gbp.conf
  • W file-without-copyright-information debian/copyright debian/install
  • W file-without-copyright-information debian/copyright debian/lintian-overrides
  • W file-without-copyright-information debian/copyright debian/manpages
  • W file-without-copyright-information debian/copyright debian/NEWS.Debian
  • W file-without-copyright-information debian/copyright debian/README.Debian
  • W file-without-copyright-information debian/copyright debian/rules
  • W file-without-copyright-information debian/copyright debian/source/format
  • W file-without-copyright-information debian/copyright debian/vim-omlet.yaml
  • W incorrect-packaging-filename debian/NEWS.Debian -> debian/NEWS
• ocaml-tools_20120103-7_all.deb (main)
  • W national-encoding usr/share/ocaml-tools/configure.in
• ocaml-topkg 1.0.3-1
• libtopkg-ocaml-dev_1.0.3-1_amd64.deb (main)
  • W shared-library-lacks-prerequisites usr/lib/ocaml/topkg/topkg.cmxs
• ocaml-trie 1.0.0-1
• libtrie-ocaml_1.0.0-1+b2_amd64.deb (main)
  • W shared-library-lacks-prerequisites usr/lib/ocaml/trie/trie.cmxs
• ocaml-visitors 20200210-3
• libppx-visitors-ocaml-dev_20200210-3+b1_amd64.deb (main)
  • W shared-library-lacks-prerequisites usr/lib/ocaml/visitors/ppx/ppx_deriving_visitors.cmxs
  • W shared-library-lacks-prerequisites usr/lib/ocaml/visitors/runtime/VisitorsRuntime.cmxs
• ocamlviz 1.01-5
• ocamlviz_1.01-5.dsc (main)
  • W configure-generated-file-in-source config.status
• ocaml-voaacenc 0.1.1-1
• ocaml-voaacenc_0.1.1-1.dsc (main)
  • E no-human-maintainers
• ocamlweb 1.41-4
• ocamlweb_1.41-4.dsc (main)
  • W obsolete-debian-watch-file-standard 2
• ocamlweb_1.41-4+b1_amd64.deb (main)
  • W national-encoding usr/share/texmf/tex/latex/misc/ocamlweb.sty
• ocaml-xmlplaylist 0.1.5-1
• ocaml-xmlplaylist_0.1.5-1.dsc (main)
  • E no-human-maintainers
• libxmlplaylist-ocaml-dev_0.1.5-1+b1_amd64.deb (main)
  • W shared-library-lacks-prerequisites usr/lib/ocaml/xmlplaylist/xmlplaylist.cmxs
• ocp-indent 1.8.2-1
• libocp-indent-ocaml_1.8.2-1+b1_amd64.deb (main)
  • W shared-library-lacks-prerequisites usr/lib/ocaml/ocp-indent/dynlink/ocp_indent_dynlink.cmxs
  • W shared-library-lacks-prerequisites usr/lib/ocaml/ocp-indent/lexer/ocp_indent_lexer.cmxs
  • W shared-library-lacks-prerequisites usr/lib/ocaml/ocp-indent/lib/ocp_indent_lib.cmxs
  • W shared-library-lacks-prerequisites usr/lib/ocaml/ocp-indent/utils/ocp_indent_utils.cmxs
• ocp-indent_1.8.2-1+b1_amd64.deb (main)
  • W bad-whatis-entry usr/share/man/man1/ocp-indent.1.gz
• ocplib-endian 1.1-2
• libocplib-endian-ocaml_1.1-2+b1_amd64.deb (main)
  • W shared-library-lacks-prerequisites usr/lib/ocaml/ocplib-endian/bigstring/ocplib_endian_bigstring.cmxs
  • W shared-library-lacks-prerequisites usr/lib/ocaml/ocplib-endian/ocplib_endian.cmxs
• ocplib-simplex 0.4-2
• ocplib-simplex_0.4-2.dsc (main)
  • W no-newline-at-end debian/control
• ocplib-simplex-ocaml-dev_0.4-2+b1_amd64.deb (main)
  • W shared-library-lacks-prerequisites usr/lib/ocaml/ocplib-simplex/ocplibSimplex.cmxs
• ocsigenserver 2.16.1-1
• libocsigenserver-ocaml_2.16.1-1+b4_amd64.deb (main)
  • W shared-library-lacks-prerequisites usr/lib/ocaml/ocsigenserver/donotparsecommandline.cmxs
  • W shared-library-lacks-prerequisites usr/lib/ocaml/ocsigenserver/extensions/accesscontrol.cmxs
  • W shared-library-lacks-prerequisites usr/lib/ocaml/ocsigenserver/extensions/authbasic.cmxs
  • W shared-library-lacks-prerequisites usr/lib/ocaml/ocsigenserver/extensions/cgimod.cmxs
  • W shared-library-lacks-prerequisites usr/lib/ocaml/ocsigenserver/extensions/cors.cmxs
  • W shared-library-lacks-prerequisites usr/lib/ocaml/ocsigenserver/extensions/deflatemod.cmxs
  • W shared-library-lacks-prerequisites usr/lib/ocaml/ocsigenserver/extensions/extendconfiguration.cmxs
  • W shared-library-lacks-prerequisites usr/lib/ocaml/ocsigenserver/extensions/extensiontemplate.cmxs
  • W shared-library-lacks-prerequisites usr/lib/ocaml/ocsigenserver/extensions/ocsigen_comet.cmxs
  • W shared-library-lacks-prerequisites usr/lib/ocaml/ocsigenserver/extensions/ocsipersist-sqlite.cmxs
  • W shared-library-lacks-prerequisites usr/lib/ocaml/ocsigenserver/extensions/outputfilter.cmxs
  • W shared-library-lacks-prerequisites usr/lib/ocaml/ocsigenserver/extensions/redirectmod.cmxs
  • W shared-library-lacks-prerequisites usr/lib/ocaml/ocsigenserver/extensions/revproxy.cmxs
  • W shared-library-lacks-prerequisites usr/lib/ocaml/ocsigenserver/extensions/rewritemod.cmxs
  • W shared-library-lacks-prerequisites usr/lib/ocaml/ocsigenserver/extensions/staticmod.cmxs
  • W shared-library-lacks-prerequisites usr/lib/ocaml/ocsigenserver/extensions/userconf.cmxs
  • W shared-library-lacks-prerequisites usr/lib/ocaml/ocsigenserver/parsecommandline.cmxs
  • W shared-library-lacks-prerequisites usr/lib/ocaml/ocsigenserver/polytables.cmxs
• ocsigenserver_2.16.1-1+b4_amd64.deb (main)
  • W init.d-script-does-not-source-init-functions etc/init.d/ocsigenserver
  • W missing-systemd-service-for-init.d-script ocsigenserver
• ocurl 0.9.1-1
• libcurl-ocaml_0.9.1-1+b4_amd64.deb (main)
  • W shared-library-lacks-prerequisites usr/lib/ocaml/curl/curl_lwt.cmxs
• omake 0.10.3-2
• omake_0.10.3-2_amd64.deb (main)
  • W no-manual-page usr/bin/omake
  • W no-manual-page usr/bin/osh
• opam 2.0.8-1
• opam_2.0.8-1.dsc (main)
  • W unnecessary-testsuite-autopkgtest-field
• opam-doc_2.0.8-1_all.deb (main)
  • W bad-whatis-entry usr/share/man/man1/opam.1.gz
  • W bad-whatis-entry usr/share/man/man1/opam-admin.1.gz
  • W bad-whatis-entry usr/share/man/man1/opam-admin-add-constraint.1.gz
  • W bad-whatis-entry usr/share/man/man1/opam-admin-add-hashes.1.gz
  • W bad-whatis-entry usr/share/man/man1/opam-admin-cache.1.gz
  • W bad-whatis-entry usr/share/man/man1/opam-admin-check.1.gz
  • W bad-whatis-entry usr/share/man/man1/opam-admin-filter.1.gz
  • W bad-whatis-entry usr/share/man/man1/opam-admin-help.1.gz
  • W bad-whatis-entry usr/share/man/man1/opam-admin-index.1.gz
  • W bad-whatis-entry usr/share/man/man1/opam-admin-lint.1.gz
  • W bad-whatis-entry usr/share/man/man1/opam-admin-list.1.gz
  • W bad-whatis-entry usr/share/man/man1/opam-admin-make.1.gz
  • W bad-whatis-entry usr/share/man/man1/opam-admin-upgrade.1.gz
  • W bad-whatis-entry usr/share/man/man1/opam-clean.1.gz
  • W bad-whatis-entry usr/share/man/man1/opam-config.1.gz
  • W bad-whatis-entry usr/share/man/man1/opam-env.1.gz
  • W bad-whatis-entry usr/share/man/man1/opam-exec.1.gz
  • W bad-whatis-entry usr/share/man/man1/opam-help.1.gz
  • W bad-whatis-entry usr/share/man/man1/opam-info.1.gz
  • W bad-whatis-entry usr/share/man/man1/opam-init.1.gz
  • W bad-whatis-entry usr/share/man/man1/opam-install.1.gz
  • W bad-whatis-entry usr/share/man/man1/opam-lint.1.gz
  • W bad-whatis-entry usr/share/man/man1/opam-list.1.gz
  • W bad-whatis-entry usr/share/man/man1/opam-pin.1.gz
  • W bad-whatis-entry usr/share/man/man1/opam-reinstall.1.gz
  • W bad-whatis-entry usr/share/man/man1/opam-remote.1.gz
  • W bad-whatis-entry usr/share/man/man1/opam-remove.1.gz
  • W bad-whatis-entry usr/share/man/man1/opam-repository.1.gz
  • W bad-whatis-entry usr/share/man/man1/opam-search.1.gz
  • W bad-whatis-entry usr/share/man/man1/opam-show.1.gz
  • W bad-whatis-entry usr/share/man/man1/opam-source.1.gz
  • W bad-whatis-entry usr/share/man/man1/opam-switch.1.gz
  • W bad-whatis-entry usr/share/man/man1/opam-uninstall.1.gz
  • W bad-whatis-entry usr/share/man/man1/opam-unpin.1.gz
  • W bad-whatis-entry usr/share/man/man1/opam-update.1.gz
  • W bad-whatis-entry usr/share/man/man1/opam-upgrade.1.gz
  • W bad-whatis-entry usr/share/man/man1/opam-var.1.gz
• opam-installer_2.0.8-1_amd64.deb (main)
  • W bad-whatis-entry usr/share/man/man1/opam-installer.1.gz
• otags 4.05.1-2
• otags_4.05.1-2+b2_amd64.deb (main)
  • W groff-message usr/share/man/man1/otags.1.gz (line 1) 443: warning: macro 'b' not defined
• ounit 2.2.3-2
• ounit_2.2.3-2.dsc (main)
  • E no-human-maintainers
• libounit-ocaml-dev_2.2.3-2+b1_amd64.deb (main)
  • W shared-library-lacks-prerequisites usr/lib/ocaml/ounit2/advanced/oUnitAdvanced.cmxs
  • W shared-library-lacks-prerequisites usr/lib/ocaml/ounit2/oUnit.cmxs
  • W shared-library-lacks-prerequisites usr/lib/ocaml/ounit2/threads/oUnitThreads.cmxs
• pagodacf 0.10-5
• pagodacf_0.10-5.dsc (main)
  • W debhelper-but-no-misc-depends libcf-ocaml
  • W debhelper-but-no-misc-depends libcf-ocaml-dev
  • W debian-rules-missing-recommended-target build-arch
  • W debian-rules-missing-recommended-target build-indep
• pa-ounit 113.00.00-3
• pa-ounit_113.00.00-3.dsc (main)
  • W package-uses-deprecated-debhelper-compat-version 9
• libpa-ounit-camlp4-dev_113.00.00-3+b2_amd64.deb (main)
  • W priority-extra-is-replaced-by-priority-optional
  • W shared-library-lacks-prerequisites usr/lib/ocaml/pa_ounit/pa_ounit_lib.cmxs
  • W shared-library-lacks-prerequisites usr/lib/ocaml/pa_ounit/pa_ounit_syntax.cmxs
• perl4caml 0.9.5-5.1
• perl4caml_0.9.5-5.1.dsc (main)
  • W no-nmu-in-changelog
  • W vcs-obsolete-in-debian-infrastructure Browser https://anonscm.debian.org/git/pkg-ocaml-maint/packages/perl4caml.git
  • W vcs-obsolete-in-debian-infrastructure Git https://anonscm.debian.org/git/pkg-ocaml-maint/packages/perl4caml.git
• libperl4caml-ocaml-doc_0.9.5-5.1_all.deb (main)
  • W privacy-breach-generic usr/share/doc/libperl4caml-ocaml-doc/writing-a-wrapper.html [<link rel="stylesheet" href="http://www.merjis.com/css/default.css"\n type="text/css">] (http://www.merjis.com/css/default.css)
• pgocaml 2.3-1
• pgocaml_2.3-1.dsc (main)
  • W obsolete-url-in-packaging debian/copyright http://developer.berlios.de/projects/pgocaml/
  • W package-uses-deprecated-debhelper-compat-version 9
• libpgocaml-ocaml_2.3-1+b9_amd64.deb (main)
  • W shared-library-lacks-prerequisites usr/lib/ocaml/pgocaml/pgocaml.cmxs
• planets 0.1.13-20
• planets_0.1.13-20+b3_amd64.deb (main)
  • W national-encoding usr/share/doc/planets/TODO
• ppx-bin-prot 0.14.0-1
• libppx-bin-prot-ocaml_0.14.0-1+b3_amd64.deb (main)
  • W shared-library-lacks-prerequisites usr/lib/ocaml/ppx_bin_prot/ppx_bin_prot.cmxs
  • W shared-library-lacks-prerequisites usr/lib/ocaml/ppx_bin_prot/shape-expander/bin_shape_expand.cmxs
• ppx-compare 0.14.0-1
• libppx-compare-ocaml_0.14.0-1+b3_amd64.deb (main)
  • W shared-library-lacks-prerequisites usr/lib/ocaml/ppx_compare/ppx_compare.cmxs
  • W shared-library-lacks-prerequisites usr/lib/ocaml/ppx_compare/runtime-lib/ppx_compare_lib.cmxs
• libppx-compare-ocaml-dev_0.14.0-1+b3_amd64.deb (main)
  • W shared-library-lacks-prerequisites usr/lib/ocaml/ppx_compare/expander/ppx_compare_expander.cmxs
• ppx-custom-printf 0.14.0-1
• libppx-custom-printf-ocaml_0.14.0-1+b3_amd64.deb (main)
  • W shared-library-lacks-prerequisites usr/lib/ocaml/ppx_custom_printf/ppx_custom_printf.cmxs
• ppx-derivers 1.2.1-1
• libppx-derivers-ocaml-dev_1.2.1-1+b2_amd64.deb (main)
  • W shared-library-lacks-prerequisites usr/lib/ocaml/ppx_derivers/ppx_derivers.cmxs
• ppx-deriving 4.5-1
• libppx-deriving-ocaml_4.5-1+b3_amd64.deb (main)
  • W shared-library-lacks-prerequisites usr/lib/ocaml/ppx_deriving/api/ppx_deriving_api.cmxs
  • W shared-library-lacks-prerequisites usr/lib/ocaml/ppx_deriving/create/ppx_deriving_create.cmxs
  • W shared-library-lacks-prerequisites usr/lib/ocaml/ppx_deriving/enum/ppx_deriving_enum.cmxs
  • W shared-library-lacks-prerequisites usr/lib/ocaml/ppx_deriving/eq/ppx_deriving_eq.cmxs
  • W shared-library-lacks-prerequisites usr/lib/ocaml/ppx_deriving/fold/ppx_deriving_fold.cmxs
  • W shared-library-lacks-prerequisites usr/lib/ocaml/ppx_deriving/iter/ppx_deriving_iter.cmxs
  • W shared-library-lacks-prerequisites usr/lib/ocaml/ppx_deriving/make/ppx_deriving_make.cmxs
  • W shared-library-lacks-prerequisites usr/lib/ocaml/ppx_deriving/map/ppx_deriving_map.cmxs
  • W shared-library-lacks-prerequisites usr/lib/ocaml/ppx_deriving/ord/ppx_deriving_ord.cmxs
  • W shared-library-lacks-prerequisites usr/lib/ocaml/ppx_deriving/runtime/ppx_deriving_runtime.cmxs
  • W shared-library-lacks-prerequisites usr/lib/ocaml/ppx_deriving/show/ppx_deriving_show.cmxs
  • W shared-library-lacks-prerequisites usr/lib/ocaml/ppx_deriving/std/ppx_deriving_std.cmxs
• ppx-deriving-yojson 3.5.3-1
• libppx-deriving-yojson-ocaml-dev_3.5.3-1+b3_amd64.deb (main)
  • W shared-library-lacks-prerequisites usr/lib/ocaml/ppx_deriving_yojson/ppx_deriving_yojson.cmxs
  • W shared-library-lacks-prerequisites usr/lib/ocaml/ppx_deriving_yojson/runtime/ppx_deriving_yojson_runtime.cmxs
• ppx-fields-conv 0.14.1-1
• libppx-fields-conv-ocaml_0.14.1-1+b1_amd64.deb (main)
  • W shared-library-lacks-prerequisites usr/lib/ocaml/ppx_fields_conv/ppx_fields_conv.cmxs
• ppxfind 1.4-1
• ppxfind_1.4-1+b2_amd64.deb (main)
  • W no-manual-page usr/bin/ppxfind
• ppx-here 0.14.0-1
• libppx-here-ocaml_0.14.0-1+b3_amd64.deb (main)
  • W shared-library-lacks-prerequisites usr/lib/ocaml/ppx_here/expander/ppx_here_expander.cmxs
  • W shared-library-lacks-prerequisites usr/lib/ocaml/ppx_here/ppx_here.cmxs
  • W shared-library-lacks-prerequisites usr/lib/ocaml/ppx_here/runtime-lib/ppx_here_lib.cmxs
• ppxlib 0.15.0-1
• libppxlib-ocaml-dev_0.15.0-1+b1_amd64.deb (main)
  • W shared-library-lacks-prerequisites usr/lib/ocaml/ppxlib/ast/ppxlib_ast.cmxs
  • W shared-library-lacks-prerequisites usr/lib/ocaml/ppxlib/metaquot_lifters/ppxlib_metaquot_lifters.cmxs
  • W shared-library-lacks-prerequisites usr/lib/ocaml/ppxlib/metaquot/ppxlib_metaquot.cmxs
  • W shared-library-lacks-prerequisites usr/lib/ocaml/ppxlib/ppxlib.cmxs
  • W shared-library-lacks-prerequisites usr/lib/ocaml/ppxlib/print_diff/ppxlib_print_diff.cmxs
  • W shared-library-lacks-prerequisites usr/lib/ocaml/ppxlib/runner_as_ppx/ppxlib_runner_as_ppx.cmxs
  • W shared-library-lacks-prerequisites usr/lib/ocaml/ppxlib/runner/ppxlib_runner.cmxs
  • W shared-library-lacks-prerequisites usr/lib/ocaml/ppxlib/stdppx/stdppx.cmxs
  • W shared-library-lacks-prerequisites usr/lib/ocaml/ppxlib/traverse_builtins/ppxlib_traverse_builtins.cmxs
  • W shared-library-lacks-prerequisites usr/lib/ocaml/ppxlib/traverse/ppxlib_traverse.cmxs
• ppx-optcomp 1:0.14.0-1
• libppx-optcomp-ocaml_0.14.0-1+b3_amd64.deb (main)
  • W shared-library-lacks-prerequisites usr/lib/ocaml/ppx_optcomp/ppx_optcomp.cmxs
• ppx-sexp-conv 1:0.14.1-1
• libppx-sexp-conv-ocaml_0.14.1-1+b1_amd64.deb (main)
  • W shared-library-lacks-prerequisites usr/lib/ocaml/ppx_sexp_conv/expander/ppx_sexp_conv_expander.cmxs
  • W shared-library-lacks-prerequisites usr/lib/ocaml/ppx_sexp_conv/ppx_sexp_conv.cmxs
  • W shared-library-lacks-prerequisites usr/lib/ocaml/ppx_sexp_conv/runtime-lib/ppx_sexp_conv_lib.cmxs
• ppx-tools 6.3-1
• libppx-tools-ocaml-dev_6.3-1_amd64.deb (main)
  • W shared-library-lacks-prerequisites usr/lib/ocaml/ppx_tools/ast_lifter/ast_lifter.cmxs
  • W shared-library-lacks-prerequisites usr/lib/ocaml/ppx_tools/metaquot/ppx_metaquot.cmxs
  • W shared-library-lacks-prerequisites usr/lib/ocaml/ppx_tools/ppx_tools.cmxs
• ppx-tools-versioned 5.4.0-1
• libppx-tools-versioned-ocaml_5.4.0-1+b2_amd64.deb (main)
  • W shared-library-lacks-prerequisites usr/lib/ocaml/ppx_tools_versioned/metaquot_402/ppx_tools_versioned_metaquot_402.cmxs
  • W shared-library-lacks-prerequisites usr/lib/ocaml/ppx_tools_versioned/metaquot_403/ppx_tools_versioned_metaquot_403.cmxs
  • W shared-library-lacks-prerequisites usr/lib/ocaml/ppx_tools_versioned/metaquot_404/ppx_tools_versioned_metaquot_404.cmxs
  • W shared-library-lacks-prerequisites usr/lib/ocaml/ppx_tools_versioned/metaquot_405/ppx_tools_versioned_metaquot_405.cmxs
  • W shared-library-lacks-prerequisites usr/lib/ocaml/ppx_tools_versioned/metaquot_406/ppx_tools_versioned_metaquot_406.cmxs
  • W shared-library-lacks-prerequisites usr/lib/ocaml/ppx_tools_versioned/metaquot_407/ppx_tools_versioned_metaquot_407.cmxs
  • W shared-library-lacks-prerequisites usr/lib/ocaml/ppx_tools_versioned/metaquot_408/ppx_tools_versioned_metaquot_408.cmxs
  • W shared-library-lacks-prerequisites usr/lib/ocaml/ppx_tools_versioned/metaquot_409/ppx_tools_versioned_metaquot_409.cmxs
  • W shared-library-lacks-prerequisites usr/lib/ocaml/ppx_tools_versioned/metaquot_410/ppx_tools_versioned_metaquot_410.cmxs
  • W shared-library-lacks-prerequisites usr/lib/ocaml/ppx_tools_versioned/metaquot_411/ppx_tools_versioned_metaquot_411.cmxs
  • W shared-library-lacks-prerequisites usr/lib/ocaml/ppx_tools_versioned/ppx_tools_versioned.cmxs
• ppx-variants-conv 0.14.1-1
• libppx-variants-conv-ocaml_0.14.1-1+b1_amd64.deb (main)
  • W shared-library-lacks-prerequisites usr/lib/ocaml/ppx_variants_conv/ppx_variants_conv.cmxs
• prooftree 0.13-2
• prooftree_0.13-2.dsc (main)
  • W no-nmu-in-changelog
  • W package-uses-deprecated-debhelper-compat-version 9
  • W source-nmu-has-incorrect-version-number 0.13-2
• pxp 1.2.9-2
• pxp_1.2.9-2.dsc (main)
  • E no-human-maintainers
  • W package-uses-deprecated-debhelper-compat-version 9
• libpxp-ocaml-dev_1.2.9-2+b4_amd64.deb (main)
  • W national-encoding usr/share/doc/libpxp-ocaml-dev/examples/simple_transformation/sample.xml
• react 1.2.1-1
• libreact-ocaml_1.2.1-1+b1_amd64.deb (main)
  • W shared-library-lacks-prerequisites usr/lib/ocaml/react/react.cmxs
• libreact-ocaml-dev_1.2.1-1+b1_amd64.deb (main)
  • W shared-library-lacks-prerequisites usr/lib/ocaml/react/react_top.cmxs
• reactivedata 0.2.2-1
• libreactivedata-ocaml_0.2.2-1+b1_amd64.deb (main)
  • W shared-library-lacks-prerequisites usr/lib/ocaml/reactiveData/reactiveData.cmxs
• sexplib310 1:0.14.0-1
• libsexplib-ocaml_0.14.0-1+b2_amd64.deb (main)
  • W shared-library-lacks-prerequisites usr/lib/ocaml/sexplib/num/sexplib_num.cmxs
  • W shared-library-lacks-prerequisites usr/lib/ocaml/sexplib/sexplib.cmxs
  • W shared-library-lacks-prerequisites usr/lib/ocaml/sexplib/unix/sexplib_unix.cmxs
• ssreflect 1.12.0-1
• libssreflect-coq_1.12.0-1_all.deb (main)
  • W file-name-contains-wildcard-character usr/share/doc/libssreflect-coq/htmldoc/index_binder_*.html
• syslog-ocaml 2.0.1-1
• syslog-ocaml_2.0.1-1.dsc (main)
  • W obsolete-field-in-dep5-copyright debian/copyright Format-Specification Format (line 1)
• libsyslog-ocaml_2.0.1-1+b1_amd64.deb (main)
  • W shared-library-lacks-prerequisites usr/lib/ocaml/syslog/syslog.cmxs
• tophide 1.0.4-3
• tophide_1.0.4-3.dsc (main)
  • E no-human-maintainers
• typerep 1:0.14.0-1
• libtyperep-ocaml_0.14.0-1+b1_amd64.deb (main)
  • W shared-library-lacks-prerequisites usr/lib/ocaml/typerep/typerep_lib.cmxs
• tyxml 4.4.0-1
• libtyxml-ocaml_4.4.0-1+b1_amd64.deb (main)
  • W shared-library-lacks-prerequisites usr/lib/ocaml/tyxml/functor/tyxml_f.cmxs
  • W shared-library-lacks-prerequisites usr/lib/ocaml/tyxml/tyxml.cmxs
• ulex 1.2-1
• ulex_1.2-1.dsc (main)
  • E no-human-maintainers
• uuidm 0.9.7-1
• libuuidm-ocaml-dev_0.9.7-1+b1_amd64.deb (main)
  • W shared-library-lacks-prerequisites usr/lib/ocaml/uuidm/uuidm.cmxs
• uutf 1.0.2-1
• libuutf-ocaml_1.0.2-1+b1_amd64.deb (main)
  • W shared-library-lacks-prerequisites usr/lib/ocaml/uutf/uutf.cmxs
• libuutf-ocaml-dev_1.0.2-1+b1_amd64.deb (main)
  • W no-manual-page usr/bin/utftrip
• variantslib 1:0.14.0-1
• libvariantslib-ocaml_0.14.0-1+b1_amd64.deb (main)
  • W shared-library-lacks-prerequisites usr/lib/ocaml/variantslib/variantslib.cmxs
• why3 1.3.3-1
• libwhy3-ocaml-dev_1.3.3-1+b4_amd64.deb (main)
  • W shared-library-lacks-prerequisites usr/lib/ocaml/why3/why3.cmxs
• why3_1.3.3-1+b4_amd64.deb (main)
  • W emacsen-common-without-dh-elpa
  • W shared-library-lacks-prerequisites usr/lib/ocaml/why3/plugins/dimacs.cmxs
  • W shared-library-lacks-prerequisites usr/lib/ocaml/why3/plugins/genequlin.cmxs
  • W shared-library-lacks-prerequisites usr/lib/ocaml/why3/plugins/microc.cmxs
  • W shared-library-lacks-prerequisites usr/lib/ocaml/why3/plugins/python.cmxs
  • W shared-library-lacks-prerequisites usr/lib/ocaml/why3/plugins/tptp.cmxs
• why3-examples_1.3.3-1_all.deb (main)
  • W national-encoding usr/share/doc/why3-examples/examples/bts/95_char_encoding_latin1.mlw
  • W national-encoding usr/share/doc/why3-examples/examples/doc_examples/digit_sum.tex
• xml-light 2.4-1
• xml-light_2.4-1.dsc (main)
  • W package-uses-deprecated-debhelper-compat-version 9
  • W vcs-obsolete-in-debian-infrastructure Browser https://anonscm.debian.org/cgit/pkg-ocaml-maint/packages/xml-light.git
  • W vcs-obsolete-in-debian-infrastructure Git https://anonscm.debian.org/git/pkg-ocaml-maint/packages/xml-light.git
• libxml-light-ocaml_2.4-1+b3_amd64.deb (main)
  • W shared-library-lacks-prerequisites usr/lib/ocaml/xml-light/xml-light.cmxs
• xmlm 1.3.0-2
• libxmlm-ocaml-dev_1.3.0-2+b3_amd64.deb (main)
  • W shared-library-lacks-prerequisites usr/lib/ocaml/xmlm/xmlm.cmxs
• xmlrpc-light 0.6.1-5
• xmlrpc-light_0.6.1-5.dsc (main)
  • W obsolete-url-in-packaging debian/control http://code.google.com/p/xmlrpc-light/
  • W obsolete-url-in-packaging debian/copyright http://code.google.com/p/xmlrpc-light/
  • W obsolete-url-in-packaging debian/watch http://code.google.com/p/xmlrpc-light/downloads/list
  • W package-uses-deprecated-debhelper-compat-version 7
• xstr 0.2.1-23
• xstr_0.2.1-23.dsc (main)
  • E no-human-maintainers
• xstrp4 1.8.2-3
• xstrp4_1.8.2-3.dsc (main)
  • E no-human-maintainers
• yojson 1.7.0-1
• yojson_1.7.0-1.dsc (main)
  • E no-human-maintainers
  • W no-nmu-in-changelog
  • W source-nmu-has-incorrect-version-number 1.7.0-1
• libyojson-ocaml_1.7.0-1+b4_amd64.deb (main)
  • W shared-library-lacks-prerequisites usr/lib/ocaml/yojson/yojson.cmxs
• zed 3.1.0-1
• libzed-ocaml_3.1.0-1+b1_amd64.deb (main)
  • W shared-library-lacks-prerequisites usr/lib/ocaml/zed/zed.cmxs