Lintian tag: ocaml-dangling-cmxa

Type: error

Description (from lintian-explain-tags)

This OCaml package ships a compiled *.cmxa byte code library without the
associated implementation in a *.a static library.

Visibility: error
Show-Always: no
Check: languages/ocaml/byte-code/library

Affected packages

source version binary level tag count information
aac-tactics 8.20.0-1 libcoq-aac-tactics/8.20.0-1+b3 error ocaml-dangling-cmxa 1 [usr/lib/s390x-linux-gnu/ocaml/5.3.0/coq-aac-tactics/aac_plugin.cmxa]
aac-tactics 8.20.0-1 libcoq-aac-tactics/8.20.0-1+b3 error ocaml-dangling-cmxa 1 [usr/lib/riscv64-linux-gnu/ocaml/5.3.0/coq-aac-tactics/aac_plugin.cmxa]
aac-tactics 8.20.0-1 libcoq-aac-tactics/8.20.0-1+b3 error ocaml-dangling-cmxa 1 [usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-aac-tactics/aac_plugin.cmxa]
aac-tactics 8.20.0-1 libcoq-aac-tactics/8.20.0-1+b3 error ocaml-dangling-cmxa 1 [usr/lib/powerpc64le-linux-gnu/ocaml/5.3.0/coq-aac-tactics/aac_plugin.cmxa]
aac-tactics 8.20.0-1 libcoq-aac-tactics/8.20.0-1+b3 error ocaml-dangling-cmxa 1 [usr/lib/aarch64-linux-gnu/ocaml/5.3.0/coq-aac-tactics/aac_plugin.cmxa]
coq-bignums 9.0.0+coq8.20-1 libcoq-bignums/9.0.0+coq8.20-1+b7 error ocaml-dangling-cmxa 1 [usr/lib/s390x-linux-gnu/ocaml/5.3.0/coq-bignums/bignums_syntax_plugin.cmxa]
coq-bignums 9.0.0+coq8.20-1 libcoq-bignums/9.0.0+coq8.20-1+b7 error ocaml-dangling-cmxa 1 [usr/lib/riscv64-linux-gnu/ocaml/5.3.0/coq-bignums/bignums_syntax_plugin.cmxa]
coq-bignums 9.0.0+coq8.20-1 libcoq-bignums/9.0.0+coq8.20-1+b7 error ocaml-dangling-cmxa 1 [usr/lib/aarch64-linux-gnu/ocaml/5.3.0/coq-bignums/bignums_syntax_plugin.cmxa]
coq-bignums 9.0.0+coq8.20-1 libcoq-bignums/9.0.0+coq8.20-1+b8 error ocaml-dangling-cmxa 1 [usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-bignums/bignums_syntax_plugin.cmxa]
coq-bignums 9.0.0+coq8.20-1 libcoq-bignums/9.0.0+coq8.20-1+b8 error ocaml-dangling-cmxa 1 [usr/lib/powerpc64le-linux-gnu/ocaml/5.3.0/coq-bignums/bignums_syntax_plugin.cmxa]
coq-dpdgraph 1.0+8.20-1 libcoq-dpdgraph/1.0+8.20-1+b3 error ocaml-dangling-cmxa 1 [usr/lib/powerpc64le-linux-gnu/ocaml/5.3.0/coq-dpdgraph/dpdgraph.cmxa]
coq-dpdgraph 1.0+8.20-1 libcoq-dpdgraph/1.0+8.20-1+b3 error ocaml-dangling-cmxa 1 [usr/lib/riscv64-linux-gnu/ocaml/5.3.0/coq-dpdgraph/dpdgraph.cmxa]
coq-dpdgraph 1.0+8.20-1 libcoq-dpdgraph/1.0+8.20-1+b3 error ocaml-dangling-cmxa 1 [usr/lib/aarch64-linux-gnu/ocaml/5.3.0/coq-dpdgraph/dpdgraph.cmxa]
coq-dpdgraph 1.0+8.20-1 libcoq-dpdgraph/1.0+8.20-1+b3 error ocaml-dangling-cmxa 1 [usr/lib/s390x-linux-gnu/ocaml/5.3.0/coq-dpdgraph/dpdgraph.cmxa]
coq-dpdgraph 1.0+8.20-1 libcoq-dpdgraph/1.0+8.20-1+b3 error ocaml-dangling-cmxa 1 [usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-dpdgraph/dpdgraph.cmxa]
coq-equations 1.3.1-8.20-1 libcoq-equations/1.3.1-8.20-1+b3 error ocaml-dangling-cmxa 1 [usr/lib/aarch64-linux-gnu/ocaml/5.3.0/coq-equations/equations_plugin.cmxa]
coq-equations 1.3.1-8.20-1 libcoq-equations/1.3.1-8.20-1+b3 error ocaml-dangling-cmxa 1 [usr/lib/powerpc64le-linux-gnu/ocaml/5.3.0/coq-equations/equations_plugin.cmxa]
coq-equations 1.3.1-8.20-1 libcoq-equations/1.3.1-8.20-1+b3 error ocaml-dangling-cmxa 1 [usr/lib/riscv64-linux-gnu/ocaml/5.3.0/coq-equations/equations_plugin.cmxa]
coq-equations 1.3.1-8.20-1 libcoq-equations/1.3.1-8.20-1+b3 error ocaml-dangling-cmxa 1 [usr/lib/s390x-linux-gnu/ocaml/5.3.0/coq-equations/equations_plugin.cmxa]
coq-equations 1.3.1-8.20-1 libcoq-equations/1.3.1-8.20-1+b3 error ocaml-dangling-cmxa 1 [usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-equations/equations_plugin.cmxa]
coq-hammer 1.3.2+8.20-1 libcoq-hammer/1.3.2+8.20-1+b3 error ocaml-dangling-cmxa 1 [usr/lib/s390x-linux-gnu/ocaml/5.3.0/coq-hammer/hammer_plugin.cmxa]
coq-hammer 1.3.2+8.20-1 libcoq-hammer/1.3.2+8.20-1+b3 error ocaml-dangling-cmxa 1 [usr/lib/powerpc64le-linux-gnu/ocaml/5.3.0/coq-hammer/hammer_plugin.cmxa]
coq-hammer 1.3.2+8.20-1 libcoq-hammer/1.3.2+8.20-1+b3 error ocaml-dangling-cmxa 1 [usr/lib/powerpc64le-linux-gnu/ocaml/5.3.0/coq-hammer-tactics/hammer_lib.cmxa]
coq-hammer 1.3.2+8.20-1 libcoq-hammer/1.3.2+8.20-1+b3 error ocaml-dangling-cmxa 1 [usr/lib/riscv64-linux-gnu/ocaml/5.3.0/coq-hammer-tactics/hammer_tactics.cmxa]
coq-hammer 1.3.2+8.20-1 libcoq-hammer/1.3.2+8.20-1+b3 error ocaml-dangling-cmxa 1 [usr/lib/riscv64-linux-gnu/ocaml/5.3.0/coq-hammer-tactics/hammer_lib.cmxa]
coq-hammer 1.3.2+8.20-1 libcoq-hammer/1.3.2+8.20-1+b3 error ocaml-dangling-cmxa 1 [usr/lib/aarch64-linux-gnu/ocaml/5.3.0/coq-hammer/hammer_plugin.cmxa]
coq-hammer 1.3.2+8.20-1 libcoq-hammer/1.3.2+8.20-1+b3 error ocaml-dangling-cmxa 1 [usr/lib/riscv64-linux-gnu/ocaml/5.3.0/coq-hammer/hammer_plugin.cmxa]
coq-hammer 1.3.2+8.20-1 libcoq-hammer/1.3.2+8.20-1+b3 error ocaml-dangling-cmxa 1 [usr/lib/aarch64-linux-gnu/ocaml/5.3.0/coq-hammer-tactics/hammer_lib.cmxa]
coq-hammer 1.3.2+8.20-1 libcoq-hammer/1.3.2+8.20-1+b3 error ocaml-dangling-cmxa 1 [usr/lib/aarch64-linux-gnu/ocaml/5.3.0/coq-hammer-tactics/hammer_tactics.cmxa]
coq-hammer 1.3.2+8.20-1 libcoq-hammer/1.3.2+8.20-1+b3 error ocaml-dangling-cmxa 1 [usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-hammer/hammer_plugin.cmxa]
coq-hammer 1.3.2+8.20-1 libcoq-hammer/1.3.2+8.20-1+b3 error ocaml-dangling-cmxa 1 [usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-hammer-tactics/hammer_tactics.cmxa]
coq-hammer 1.3.2+8.20-1 libcoq-hammer/1.3.2+8.20-1+b3 error ocaml-dangling-cmxa 1 [usr/lib/s390x-linux-gnu/ocaml/5.3.0/coq-hammer-tactics/hammer_lib.cmxa]
coq-hammer 1.3.2+8.20-1 libcoq-hammer/1.3.2+8.20-1+b3 error ocaml-dangling-cmxa 1 [usr/lib/s390x-linux-gnu/ocaml/5.3.0/coq-hammer-tactics/hammer_tactics.cmxa]
coq-hammer 1.3.2+8.20-1 libcoq-hammer/1.3.2+8.20-1+b3 error ocaml-dangling-cmxa 1 [usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-hammer-tactics/hammer_lib.cmxa]
coq-hammer 1.3.2+8.20-1 libcoq-hammer/1.3.2+8.20-1+b3 error ocaml-dangling-cmxa 1 [usr/lib/powerpc64le-linux-gnu/ocaml/5.3.0/coq-hammer-tactics/hammer_tactics.cmxa]
coq-mtac2 1.4+8.20-1 libcoq-mtac2/1.4+8.20-1+b3 error ocaml-dangling-cmxa 1 [usr/lib/aarch64-linux-gnu/ocaml/5.3.0/coq-mtac2/MetaCoqPlugin.cmxa]
coq-mtac2 1.4+8.20-1 libcoq-mtac2/1.4+8.20-1+b3 error ocaml-dangling-cmxa 1 [usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-mtac2/MetaCoqPlugin.cmxa]
coq-mtac2 1.4+8.20-1 libcoq-mtac2/1.4+8.20-1+b3 error ocaml-dangling-cmxa 1 [usr/lib/riscv64-linux-gnu/ocaml/5.3.0/coq-mtac2/MetaCoqPlugin.cmxa]
coq-mtac2 1.4+8.20-1 libcoq-mtac2/1.4+8.20-1+b4 error ocaml-dangling-cmxa 1 [usr/lib/powerpc64le-linux-gnu/ocaml/5.3.0/coq-mtac2/MetaCoqPlugin.cmxa]
coq-mtac2 1.4+8.20-1 libcoq-mtac2/1.4+8.20-1+b4 error ocaml-dangling-cmxa 1 [usr/lib/s390x-linux-gnu/ocaml/5.3.0/coq-mtac2/MetaCoqPlugin.cmxa]
coq-reduction-effects 0.1.5-5 libcoq-reduction-effects/0.1.5-5+b6 error ocaml-dangling-cmxa 1 [usr/lib/s390x-linux-gnu/ocaml/5.3.0/coq-reduction-effects/redeffect_plugin.cmxa]
coq-reduction-effects 0.1.5-5 libcoq-reduction-effects/0.1.5-5+b6 error ocaml-dangling-cmxa 1 [usr/lib/aarch64-linux-gnu/ocaml/5.3.0/coq-reduction-effects/redeffect_plugin.cmxa]
coq-reduction-effects 0.1.5-5 libcoq-reduction-effects/0.1.5-5+b6 error ocaml-dangling-cmxa 1 [usr/lib/riscv64-linux-gnu/ocaml/5.3.0/coq-reduction-effects/redeffect_plugin.cmxa]
coq-reduction-effects 0.1.5-5 libcoq-reduction-effects/0.1.5-5+b7 error ocaml-dangling-cmxa 1 [usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-reduction-effects/redeffect_plugin.cmxa]
coq-reduction-effects 0.1.5-5 libcoq-reduction-effects/0.1.5-5+b7 error ocaml-dangling-cmxa 1 [usr/lib/powerpc64le-linux-gnu/ocaml/5.3.0/coq-reduction-effects/redeffect_plugin.cmxa]
coq-relation-algebra 1.7.11-1 libcoq-relation-algebra/1.7.11-1+b6 error ocaml-dangling-cmxa 1 [usr/lib/riscv64-linux-gnu/ocaml/5.3.0/coq-relation-algebra/packed_mrewrite.cmxa]
coq-relation-algebra 1.7.11-1 libcoq-relation-algebra/1.7.11-1+b6 error ocaml-dangling-cmxa 1 [usr/lib/riscv64-linux-gnu/ocaml/5.3.0/coq-relation-algebra/packed_reification.cmxa]
coq-relation-algebra 1.7.11-1 libcoq-relation-algebra/1.7.11-1+b6 error ocaml-dangling-cmxa 1 [usr/lib/aarch64-linux-gnu/ocaml/5.3.0/coq-relation-algebra/packed_reification.cmxa]
coq-relation-algebra 1.7.11-1 libcoq-relation-algebra/1.7.11-1+b6 error ocaml-dangling-cmxa 1 [usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-relation-algebra/packed_kat.cmxa]
coq-relation-algebra 1.7.11-1 libcoq-relation-algebra/1.7.11-1+b6 error ocaml-dangling-cmxa 1 [usr/lib/powerpc64le-linux-gnu/ocaml/5.3.0/coq-relation-algebra/packed_mrewrite.cmxa]
coq-relation-algebra 1.7.11-1 libcoq-relation-algebra/1.7.11-1+b6 error ocaml-dangling-cmxa 1 [usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-relation-algebra/packed_mrewrite.cmxa]
coq-relation-algebra 1.7.11-1 libcoq-relation-algebra/1.7.11-1+b6 error ocaml-dangling-cmxa 1 [usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-relation-algebra/packed_fold.cmxa]
coq-relation-algebra 1.7.11-1 libcoq-relation-algebra/1.7.11-1+b6 error ocaml-dangling-cmxa 1 [usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-relation-algebra/plugins.cmxa]
coq-relation-algebra 1.7.11-1 libcoq-relation-algebra/1.7.11-1+b6 error ocaml-dangling-cmxa 1 [usr/lib/aarch64-linux-gnu/ocaml/5.3.0/coq-relation-algebra/packed_kat.cmxa]
coq-relation-algebra 1.7.11-1 libcoq-relation-algebra/1.7.11-1+b6 error ocaml-dangling-cmxa 1 [usr/lib/aarch64-linux-gnu/ocaml/5.3.0/coq-relation-algebra/packed_mrewrite.cmxa]
coq-relation-algebra 1.7.11-1 libcoq-relation-algebra/1.7.11-1+b6 error ocaml-dangling-cmxa 1 [usr/lib/aarch64-linux-gnu/ocaml/5.3.0/coq-relation-algebra/packed_fold.cmxa]
coq-relation-algebra 1.7.11-1 libcoq-relation-algebra/1.7.11-1+b6 error ocaml-dangling-cmxa 1 [usr/lib/powerpc64le-linux-gnu/ocaml/5.3.0/coq-relation-algebra/packed_reification.cmxa]
coq-relation-algebra 1.7.11-1 libcoq-relation-algebra/1.7.11-1+b6 error ocaml-dangling-cmxa 1 [usr/lib/riscv64-linux-gnu/ocaml/5.3.0/coq-relation-algebra/plugins.cmxa]
coq-relation-algebra 1.7.11-1 libcoq-relation-algebra/1.7.11-1+b6 error ocaml-dangling-cmxa 1 [usr/lib/powerpc64le-linux-gnu/ocaml/5.3.0/coq-relation-algebra/packed_kat.cmxa]
coq-relation-algebra 1.7.11-1 libcoq-relation-algebra/1.7.11-1+b6 error ocaml-dangling-cmxa 1 [usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-relation-algebra/packed_reification.cmxa]
coq-relation-algebra 1.7.11-1 libcoq-relation-algebra/1.7.11-1+b6 error ocaml-dangling-cmxa 1 [usr/lib/aarch64-linux-gnu/ocaml/5.3.0/coq-relation-algebra/plugins.cmxa]
coq-relation-algebra 1.7.11-1 libcoq-relation-algebra/1.7.11-1+b6 error ocaml-dangling-cmxa 1 [usr/lib/riscv64-linux-gnu/ocaml/5.3.0/coq-relation-algebra/packed_fold.cmxa]
coq-relation-algebra 1.7.11-1 libcoq-relation-algebra/1.7.11-1+b6 error ocaml-dangling-cmxa 1 [usr/lib/riscv64-linux-gnu/ocaml/5.3.0/coq-relation-algebra/packed_kat.cmxa]
coq-relation-algebra 1.7.11-1 libcoq-relation-algebra/1.7.11-1+b6 error ocaml-dangling-cmxa 1 [usr/lib/powerpc64le-linux-gnu/ocaml/5.3.0/coq-relation-algebra/plugins.cmxa]
coq-relation-algebra 1.7.11-1 libcoq-relation-algebra/1.7.11-1+b6 error ocaml-dangling-cmxa 1 [usr/lib/powerpc64le-linux-gnu/ocaml/5.3.0/coq-relation-algebra/packed_fold.cmxa]
coq-relation-algebra 1.7.11-1 libcoq-relation-algebra/1.7.11-1+b7 error ocaml-dangling-cmxa 1 [usr/lib/s390x-linux-gnu/ocaml/5.3.0/coq-relation-algebra/plugins.cmxa]
coq-relation-algebra 1.7.11-1 libcoq-relation-algebra/1.7.11-1+b7 error ocaml-dangling-cmxa 1 [usr/lib/s390x-linux-gnu/ocaml/5.3.0/coq-relation-algebra/packed_kat.cmxa]
coq-relation-algebra 1.7.11-1 libcoq-relation-algebra/1.7.11-1+b7 error ocaml-dangling-cmxa 1 [usr/lib/s390x-linux-gnu/ocaml/5.3.0/coq-relation-algebra/packed_reification.cmxa]
coq-relation-algebra 1.7.11-1 libcoq-relation-algebra/1.7.11-1+b7 error ocaml-dangling-cmxa 1 [usr/lib/s390x-linux-gnu/ocaml/5.3.0/coq-relation-algebra/packed_mrewrite.cmxa]
coq-relation-algebra 1.7.11-1 libcoq-relation-algebra/1.7.11-1+b7 error ocaml-dangling-cmxa 1 [usr/lib/s390x-linux-gnu/ocaml/5.3.0/coq-relation-algebra/packed_fold.cmxa]
coq-unicoq 1.6-8.20-1 libcoq-unicoq/1.6-8.20-1+b3 error ocaml-dangling-cmxa 1 [usr/lib/powerpc64le-linux-gnu/ocaml/5.3.0/coq-unicoq/unicoq.cmxa]
coq-unicoq 1.6-8.20-1 libcoq-unicoq/1.6-8.20-1+b3 error ocaml-dangling-cmxa 1 [usr/lib/aarch64-linux-gnu/ocaml/5.3.0/coq-unicoq/unicoq.cmxa]
coq-unicoq 1.6-8.20-1 libcoq-unicoq/1.6-8.20-1+b3 error ocaml-dangling-cmxa 1 [usr/lib/s390x-linux-gnu/ocaml/5.3.0/coq-unicoq/unicoq.cmxa]
coq-unicoq 1.6-8.20-1 libcoq-unicoq/1.6-8.20-1+b3 error ocaml-dangling-cmxa 1 [usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-unicoq/unicoq.cmxa]
coq-unicoq 1.6-8.20-1 libcoq-unicoq/1.6-8.20-1+b3 error ocaml-dangling-cmxa 1 [usr/lib/riscv64-linux-gnu/ocaml/5.3.0/coq-unicoq/unicoq.cmxa]
ocaml-gettext 0.5.0+really0.4.2-1 libgettext-ocaml-dev/0.5.0+really0.4.2-1 error ocaml-dangling-cmxa 1 [usr/lib/s390x-linux-gnu/ocaml/5.3.0/gettext/gettext.cmxa]
ocaml-gettext 0.5.0+really0.4.2-1 libgettext-ocaml-dev/0.5.0+really0.4.2-1 error ocaml-dangling-cmxa 1 [usr/lib/riscv64-linux-gnu/ocaml/5.3.0/gettext/gettext.cmxa]
ocaml-gettext 0.5.0+really0.4.2-1 libgettext-ocaml-dev/0.5.0+really0.4.2-1 error ocaml-dangling-cmxa 1 [usr/lib/aarch64-linux-gnu/ocaml/5.3.0/gettext/gettext.cmxa]
ocaml-gettext 0.5.0+really0.4.2-1 libgettext-ocaml-dev/0.5.0+really0.4.2-1 error ocaml-dangling-cmxa 1 [usr/lib/x86_64-linux-gnu/ocaml/5.3.0/gettext/gettext.cmxa]
ocaml-gettext 0.5.0+really0.4.2-1 libgettext-ocaml-dev/0.5.0+really0.4.2-1 error ocaml-dangling-cmxa 1 [usr/lib/powerpc64le-linux-gnu/ocaml/5.3.0/gettext/gettext.cmxa]
paramcoq 1.1.3+coq8.20-1 libcoq-paramcoq/1.1.3+coq8.20-1+b3 error ocaml-dangling-cmxa 1 [usr/lib/powerpc64le-linux-gnu/ocaml/5.3.0/coq-paramcoq/paramcoq.cmxa]
paramcoq 1.1.3+coq8.20-1 libcoq-paramcoq/1.1.3+coq8.20-1+b3 error ocaml-dangling-cmxa 1 [usr/lib/aarch64-linux-gnu/ocaml/5.3.0/coq-paramcoq/paramcoq.cmxa]
paramcoq 1.1.3+coq8.20-1 libcoq-paramcoq/1.1.3+coq8.20-1+b3 error ocaml-dangling-cmxa 1 [usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-paramcoq/paramcoq.cmxa]
paramcoq 1.1.3+coq8.20-1 libcoq-paramcoq/1.1.3+coq8.20-1+b3 error ocaml-dangling-cmxa 1 [usr/lib/riscv64-linux-gnu/ocaml/5.3.0/coq-paramcoq/paramcoq.cmxa]
paramcoq 1.1.3+coq8.20-1 libcoq-paramcoq/1.1.3+coq8.20-1+b3 error ocaml-dangling-cmxa 1 [usr/lib/s390x-linux-gnu/ocaml/5.3.0/coq-paramcoq/paramcoq.cmxa]