Lintian tag: ocaml-dangling-cmxs

Type: warning

Description (from lintian-explain-tags)

This OCaml package provides a native plugin with a name like *.cmxs but
does not ship the associated byte code.

If the plugin is meant to be used inside other plugins, the package should
also ship the byte code in a similarly-named file, such as *cma or *.cmo.

Visibility: warning
Show-Always: no
Check: languages/ocaml/byte-code/plugin

Affected packages

source version binary level tag count information
coq-bignums 9.0.0+rocq9.2-3 libcoq-bignums/9.0.0+rocq9.2-3+b1 overridden ocaml-dangling-cmxs 1 [usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq-bignums/bignums_syntax_plugin.cmxs]
coq-bignums 9.0.0+rocq9.2-3 libcoq-bignums/9.0.0+rocq9.2-3+b1 overridden ocaml-dangling-cmxs 1 [usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq-bignums/bignums_syntax_plugin.cmxs]
coq-bignums 9.0.0+rocq9.2-3 libcoq-bignums/9.0.0+rocq9.2-3+b1 overridden ocaml-dangling-cmxs 1 [usr/lib/s390x-linux-gnu/ocaml/5.4.1/coq-bignums/bignums_syntax_plugin.cmxs]
coq-bignums 9.0.0+rocq9.2-3 libcoq-bignums/9.0.0+rocq9.2-3+b1 overridden ocaml-dangling-cmxs 1 [usr/lib/powerpc64le-linux-gnu/ocaml/5.4.1/coq-bignums/bignums_syntax_plugin.cmxs]
coq-bignums 9.0.0+rocq9.2-3 libcoq-bignums/9.0.0+rocq9.2-3+b2 overridden ocaml-dangling-cmxs 1 [usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq-bignums/bignums_syntax_plugin.cmxs]
coq-dpdgraph 1.0+9.1-2 libcoq-dpdgraph/1.0+9.1-2+b1 overridden ocaml-dangling-cmxs 1 [usr/lib/s390x-linux-gnu/ocaml/5.4.1/coq-dpdgraph/dpdgraph.cmxs]
coq-dpdgraph 1.0+9.1-2 libcoq-dpdgraph/1.0+9.1-2+b1 overridden ocaml-dangling-cmxs 1 [usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq-dpdgraph/dpdgraph.cmxs]
coq-dpdgraph 1.0+9.1-2 libcoq-dpdgraph/1.0+9.1-2+b1 overridden ocaml-dangling-cmxs 1 [usr/lib/powerpc64le-linux-gnu/ocaml/5.4.1/coq-dpdgraph/dpdgraph.cmxs]
coq-dpdgraph 1.0+9.1-2 libcoq-dpdgraph/1.0+9.1-2+b1 overridden ocaml-dangling-cmxs 1 [usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq-dpdgraph/dpdgraph.cmxs]
coq-dpdgraph 1.0+9.1-2 libcoq-dpdgraph/1.0+9.1-2+b2 overridden ocaml-dangling-cmxs 1 [usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq-dpdgraph/dpdgraph.cmxs]
coq-hammer 1.3.3+9.2-2 libcoq-hammer/1.3.3+9.2-2+b1 overridden ocaml-dangling-cmxs 1 [usr/lib/powerpc64le-linux-gnu/ocaml/5.4.1/coq-hammer/hammer_plugin.cmxs]
coq-hammer 1.3.3+9.2-2 libcoq-hammer/1.3.3+9.2-2+b1 overridden ocaml-dangling-cmxs 1 [usr/lib/powerpc64le-linux-gnu/ocaml/5.4.1/coq-hammer-tactics/hammer_tactics.cmxs]
coq-hammer 1.3.3+9.2-2 libcoq-hammer/1.3.3+9.2-2+b1 overridden ocaml-dangling-cmxs 1 [usr/lib/s390x-linux-gnu/ocaml/5.4.1/coq-hammer-tactics/hammer_tactics.cmxs]
coq-hammer 1.3.3+9.2-2 libcoq-hammer/1.3.3+9.2-2+b1 overridden ocaml-dangling-cmxs 1 [usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq-hammer-tactics/hammer_lib.cmxs]
coq-hammer 1.3.3+9.2-2 libcoq-hammer/1.3.3+9.2-2+b1 overridden ocaml-dangling-cmxs 1 [usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq-hammer/hammer_plugin.cmxs]
coq-hammer 1.3.3+9.2-2 libcoq-hammer/1.3.3+9.2-2+b1 overridden ocaml-dangling-cmxs 1 [usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq-hammer-tactics/hammer_tactics.cmxs]
coq-hammer 1.3.3+9.2-2 libcoq-hammer/1.3.3+9.2-2+b1 overridden ocaml-dangling-cmxs 1 [usr/lib/s390x-linux-gnu/ocaml/5.4.1/coq-hammer-tactics/hammer_lib.cmxs]
coq-hammer 1.3.3+9.2-2 libcoq-hammer/1.3.3+9.2-2+b1 overridden ocaml-dangling-cmxs 1 [usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq-hammer/hammer_plugin.cmxs]
coq-hammer 1.3.3+9.2-2 libcoq-hammer/1.3.3+9.2-2+b1 overridden ocaml-dangling-cmxs 1 [usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq-hammer-tactics/hammer_lib.cmxs]
coq-hammer 1.3.3+9.2-2 libcoq-hammer/1.3.3+9.2-2+b1 overridden ocaml-dangling-cmxs 1 [usr/lib/s390x-linux-gnu/ocaml/5.4.1/coq-hammer/hammer_plugin.cmxs]
coq-hammer 1.3.3+9.2-2 libcoq-hammer/1.3.3+9.2-2+b1 overridden ocaml-dangling-cmxs 1 [usr/lib/powerpc64le-linux-gnu/ocaml/5.4.1/coq-hammer-tactics/hammer_lib.cmxs]
coq-hammer 1.3.3+9.2-2 libcoq-hammer/1.3.3+9.2-2+b1 overridden ocaml-dangling-cmxs 1 [usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq-hammer-tactics/hammer_tactics.cmxs]
coq-hammer 1.3.3+9.2-2 libcoq-hammer/1.3.3+9.2-2+b2 overridden ocaml-dangling-cmxs 1 [usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq-hammer-tactics/hammer_tactics.cmxs]
coq-hammer 1.3.3+9.2-2 libcoq-hammer/1.3.3+9.2-2+b2 overridden ocaml-dangling-cmxs 1 [usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq-hammer-tactics/hammer_lib.cmxs]
coq-hammer 1.3.3+9.2-2 libcoq-hammer/1.3.3+9.2-2+b2 overridden ocaml-dangling-cmxs 1 [usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq-hammer/hammer_plugin.cmxs]
coq-mtac2 1.4-rocq9.1-2 libcoq-mtac2/1.4-rocq9.1-2+b1 overridden ocaml-dangling-cmxs 1 [usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq-mtac2/MetaCoqPlugin.cmxs]
coq-mtac2 1.4-rocq9.1-2 libcoq-mtac2/1.4-rocq9.1-2+b2 overridden ocaml-dangling-cmxs 1 [usr/lib/s390x-linux-gnu/ocaml/5.4.1/coq-mtac2/MetaCoqPlugin.cmxs]
coq-mtac2 1.4-rocq9.1-2 libcoq-mtac2/1.4-rocq9.1-2+b2 overridden ocaml-dangling-cmxs 1 [usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq-mtac2/MetaCoqPlugin.cmxs]
coq-mtac2 1.4-rocq9.1-2 libcoq-mtac2/1.4-rocq9.1-2+b2 overridden ocaml-dangling-cmxs 1 [usr/lib/powerpc64le-linux-gnu/ocaml/5.4.1/coq-mtac2/MetaCoqPlugin.cmxs]
coq-mtac2 1.4-rocq9.1-2 libcoq-mtac2/1.4-rocq9.1-2+b3 overridden ocaml-dangling-cmxs 1 [usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq-mtac2/MetaCoqPlugin.cmxs]
coq-reduction-effects 0.1.6-4 libcoq-reduction-effects/0.1.6-4+b1 overridden ocaml-dangling-cmxs 1 [usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq-reduction-effects/redeffect_plugin.cmxs]
coq-reduction-effects 0.1.6-4 libcoq-reduction-effects/0.1.6-4+b1 overridden ocaml-dangling-cmxs 1 [usr/lib/s390x-linux-gnu/ocaml/5.4.1/coq-reduction-effects/redeffect_plugin.cmxs]
coq-reduction-effects 0.1.6-4 libcoq-reduction-effects/0.1.6-4+b1 overridden ocaml-dangling-cmxs 1 [usr/lib/powerpc64le-linux-gnu/ocaml/5.4.1/coq-reduction-effects/redeffect_plugin.cmxs]
coq-reduction-effects 0.1.6-4 libcoq-reduction-effects/0.1.6-4+b1 overridden ocaml-dangling-cmxs 1 [usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq-reduction-effects/redeffect_plugin.cmxs]
coq-reduction-effects 0.1.6-4 libcoq-reduction-effects/0.1.6-4+b2 overridden ocaml-dangling-cmxs 1 [usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq-reduction-effects/redeffect_plugin.cmxs]
coq-relation-algebra 1.7.11-1 libcoq-relation-algebra/1.7.11-1+b15 warning ocaml-dangling-cmxs 1 [usr/lib/riscv64-linux-gnu/ocaml/5.4.0/coq-relation-algebra/packed_kat.cmxs]
coq-relation-algebra 1.7.11-1 libcoq-relation-algebra/1.7.11-1+b15 warning ocaml-dangling-cmxs 1 [usr/lib/riscv64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/packed_mrewrite.cmxs]
coq-relation-algebra 1.7.11-1 libcoq-relation-algebra/1.7.11-1+b15 warning ocaml-dangling-cmxs 1 [usr/lib/powerpc64le-linux-gnu/ocaml/5.4.0/coq-relation-algebra/plugins.cmxs]
coq-relation-algebra 1.7.11-1 libcoq-relation-algebra/1.7.11-1+b15 warning ocaml-dangling-cmxs 1 [usr/lib/powerpc64le-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/packed_kat.cmxs]
coq-relation-algebra 1.7.11-1 libcoq-relation-algebra/1.7.11-1+b15 warning ocaml-dangling-cmxs 1 [usr/lib/powerpc64le-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/packed_fold.cmxs]
coq-relation-algebra 1.7.11-1 libcoq-relation-algebra/1.7.11-1+b15 warning ocaml-dangling-cmxs 1 [usr/lib/powerpc64le-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/plugins.cmxs]
coq-relation-algebra 1.7.11-1 libcoq-relation-algebra/1.7.11-1+b15 warning ocaml-dangling-cmxs 1 [usr/lib/riscv64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/packed_fold.cmxs]
coq-relation-algebra 1.7.11-1 libcoq-relation-algebra/1.7.11-1+b15 warning ocaml-dangling-cmxs 1 [usr/lib/riscv64-linux-gnu/ocaml/5.4.0/coq-relation-algebra/packed_mrewrite.cmxs]
coq-relation-algebra 1.7.11-1 libcoq-relation-algebra/1.7.11-1+b15 warning ocaml-dangling-cmxs 1 [usr/lib/powerpc64le-linux-gnu/ocaml/5.4.0/coq-relation-algebra/packed_fold.cmxs]
coq-relation-algebra 1.7.11-1 libcoq-relation-algebra/1.7.11-1+b15 warning ocaml-dangling-cmxs 1 [usr/lib/powerpc64le-linux-gnu/ocaml/5.4.0/coq-relation-algebra/packed_mrewrite.cmxs]
coq-relation-algebra 1.7.11-1 libcoq-relation-algebra/1.7.11-1+b15 warning ocaml-dangling-cmxs 1 [usr/lib/riscv64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/packed_reification.cmxs]
coq-relation-algebra 1.7.11-1 libcoq-relation-algebra/1.7.11-1+b15 warning ocaml-dangling-cmxs 1 [usr/lib/riscv64-linux-gnu/ocaml/5.4.0/coq-relation-algebra/plugins.cmxs]
coq-relation-algebra 1.7.11-1 libcoq-relation-algebra/1.7.11-1+b15 warning ocaml-dangling-cmxs 1 [usr/lib/riscv64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/packed_kat.cmxs]
coq-relation-algebra 1.7.11-1 libcoq-relation-algebra/1.7.11-1+b15 warning ocaml-dangling-cmxs 1 [usr/lib/riscv64-linux-gnu/ocaml/5.4.0/coq-relation-algebra/packed_reification.cmxs]
coq-relation-algebra 1.7.11-1 libcoq-relation-algebra/1.7.11-1+b15 warning ocaml-dangling-cmxs 1 [usr/lib/powerpc64le-linux-gnu/ocaml/5.4.0/coq-relation-algebra/packed_kat.cmxs]
coq-relation-algebra 1.7.11-1 libcoq-relation-algebra/1.7.11-1+b15 warning ocaml-dangling-cmxs 1 [usr/lib/powerpc64le-linux-gnu/ocaml/5.4.0/coq-relation-algebra/packed_reification.cmxs]
coq-relation-algebra 1.7.11-1 libcoq-relation-algebra/1.7.11-1+b15 warning ocaml-dangling-cmxs 1 [usr/lib/powerpc64le-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/packed_reification.cmxs]
coq-relation-algebra 1.7.11-1 libcoq-relation-algebra/1.7.11-1+b15 warning ocaml-dangling-cmxs 1 [usr/lib/riscv64-linux-gnu/ocaml/5.4.0/coq-relation-algebra/packed_fold.cmxs]
coq-relation-algebra 1.7.11-1 libcoq-relation-algebra/1.7.11-1+b15 warning ocaml-dangling-cmxs 1 [usr/lib/powerpc64le-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/packed_mrewrite.cmxs]
coq-relation-algebra 1.7.11-1 libcoq-relation-algebra/1.7.11-1+b15 warning ocaml-dangling-cmxs 1 [usr/lib/riscv64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/plugins.cmxs]
coq-relation-algebra 1.7.11-1 libcoq-relation-algebra/1.7.11-1+b16 warning ocaml-dangling-cmxs 1 [usr/lib/s390x-linux-gnu/ocaml/5.4.0/coq-relation-algebra/packed_reification.cmxs]
coq-relation-algebra 1.7.11-1 libcoq-relation-algebra/1.7.11-1+b16 warning ocaml-dangling-cmxs 1 [usr/lib/s390x-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/plugins.cmxs]
coq-relation-algebra 1.7.11-1 libcoq-relation-algebra/1.7.11-1+b16 warning ocaml-dangling-cmxs 1 [usr/lib/s390x-linux-gnu/ocaml/5.4.0/coq-relation-algebra/plugins.cmxs]
coq-relation-algebra 1.7.11-1 libcoq-relation-algebra/1.7.11-1+b16 warning ocaml-dangling-cmxs 1 [usr/lib/s390x-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/packed_fold.cmxs]
coq-relation-algebra 1.7.11-1 libcoq-relation-algebra/1.7.11-1+b16 warning ocaml-dangling-cmxs 1 [usr/lib/s390x-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/packed_kat.cmxs]
coq-relation-algebra 1.7.11-1 libcoq-relation-algebra/1.7.11-1+b16 warning ocaml-dangling-cmxs 1 [usr/lib/s390x-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/packed_mrewrite.cmxs]
coq-relation-algebra 1.7.11-1 libcoq-relation-algebra/1.7.11-1+b16 warning ocaml-dangling-cmxs 1 [usr/lib/s390x-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/packed_reification.cmxs]
coq-relation-algebra 1.7.11-1 libcoq-relation-algebra/1.7.11-1+b16 warning ocaml-dangling-cmxs 1 [usr/lib/s390x-linux-gnu/ocaml/5.4.0/coq-relation-algebra/packed_mrewrite.cmxs]
coq-relation-algebra 1.7.11-1 libcoq-relation-algebra/1.7.11-1+b16 warning ocaml-dangling-cmxs 1 [usr/lib/s390x-linux-gnu/ocaml/5.4.0/coq-relation-algebra/packed_kat.cmxs]
coq-relation-algebra 1.7.11-1 libcoq-relation-algebra/1.7.11-1+b16 warning ocaml-dangling-cmxs 1 [usr/lib/s390x-linux-gnu/ocaml/5.4.0/coq-relation-algebra/packed_fold.cmxs]
coq-relation-algebra 1.7.11-1 libcoq-relation-algebra/1.7.11-1+b17 warning ocaml-dangling-cmxs 1 [usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/packed_reification.cmxs]
coq-relation-algebra 1.7.11-1 libcoq-relation-algebra/1.7.11-1+b17 warning ocaml-dangling-cmxs 1 [usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq-relation-algebra/packed_mrewrite.cmxs]
coq-relation-algebra 1.7.11-1 libcoq-relation-algebra/1.7.11-1+b17 warning ocaml-dangling-cmxs 1 [usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-relation-algebra/plugins.cmxs]
coq-relation-algebra 1.7.11-1 libcoq-relation-algebra/1.7.11-1+b17 warning ocaml-dangling-cmxs 1 [usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/packed_kat.cmxs]
coq-relation-algebra 1.7.11-1 libcoq-relation-algebra/1.7.11-1+b17 warning ocaml-dangling-cmxs 1 [usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-relation-algebra/packed_mrewrite.cmxs]
coq-relation-algebra 1.7.11-1 libcoq-relation-algebra/1.7.11-1+b17 warning ocaml-dangling-cmxs 1 [usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/plugins.cmxs]
coq-relation-algebra 1.7.11-1 libcoq-relation-algebra/1.7.11-1+b17 warning ocaml-dangling-cmxs 1 [usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/packed_fold.cmxs]
coq-relation-algebra 1.7.11-1 libcoq-relation-algebra/1.7.11-1+b17 warning ocaml-dangling-cmxs 1 [usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq-relation-algebra/packed_fold.cmxs]
coq-relation-algebra 1.7.11-1 libcoq-relation-algebra/1.7.11-1+b17 warning ocaml-dangling-cmxs 1 [usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/packed_fold.cmxs]
coq-relation-algebra 1.7.11-1 libcoq-relation-algebra/1.7.11-1+b17 warning ocaml-dangling-cmxs 1 [usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq-relation-algebra/packed_kat.cmxs]
coq-relation-algebra 1.7.11-1 libcoq-relation-algebra/1.7.11-1+b17 warning ocaml-dangling-cmxs 1 [usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/packed_mrewrite.cmxs]
coq-relation-algebra 1.7.11-1 libcoq-relation-algebra/1.7.11-1+b17 warning ocaml-dangling-cmxs 1 [usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-relation-algebra/packed_reification.cmxs]
coq-relation-algebra 1.7.11-1 libcoq-relation-algebra/1.7.11-1+b17 warning ocaml-dangling-cmxs 1 [usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq-relation-algebra/packed_reification.cmxs]
coq-relation-algebra 1.7.11-1 libcoq-relation-algebra/1.7.11-1+b17 warning ocaml-dangling-cmxs 1 [usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/packed_mrewrite.cmxs]
coq-relation-algebra 1.7.11-1 libcoq-relation-algebra/1.7.11-1+b17 warning ocaml-dangling-cmxs 1 [usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/plugins.cmxs]
coq-relation-algebra 1.7.11-1 libcoq-relation-algebra/1.7.11-1+b17 warning ocaml-dangling-cmxs 1 [usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-relation-algebra/packed_fold.cmxs]
coq-relation-algebra 1.7.11-1 libcoq-relation-algebra/1.7.11-1+b17 warning ocaml-dangling-cmxs 1 [usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/packed_reification.cmxs]
coq-relation-algebra 1.7.11-1 libcoq-relation-algebra/1.7.11-1+b17 warning ocaml-dangling-cmxs 1 [usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq-relation-algebra/packed_kat.cmxs]
coq-relation-algebra 1.7.11-1 libcoq-relation-algebra/1.7.11-1+b17 warning ocaml-dangling-cmxs 1 [usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq-relation-algebra/plugins.cmxs]
coq-relation-algebra 1.7.11-1 libcoq-relation-algebra/1.7.11-1+b17 warning ocaml-dangling-cmxs 1 [usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/RelationAlgebra/packed_kat.cmxs]
coq-relation-algebra 1.8.0-2 libcoq-relation-algebra/1.8.0-2 warning ocaml-dangling-cmxs 1 [usr/lib/s390x-linux-gnu/ocaml/5.4.0/rocq-relation-algebra/packed_fold.cmxs]
coq-relation-algebra 1.8.0-2 libcoq-relation-algebra/1.8.0-2 warning ocaml-dangling-cmxs 1 [usr/lib/s390x-linux-gnu/ocaml/5.4.0/rocq-relation-algebra/packed_kat.cmxs]
coq-relation-algebra 1.8.0-2 libcoq-relation-algebra/1.8.0-2 warning ocaml-dangling-cmxs 1 [usr/lib/powerpc64le-linux-gnu/ocaml/5.4.0/rocq-relation-algebra/packed_reification.cmxs]
coq-relation-algebra 1.8.0-2 libcoq-relation-algebra/1.8.0-2 warning ocaml-dangling-cmxs 1 [usr/lib/s390x-linux-gnu/ocaml/5.4.0/rocq-relation-algebra/packed_reification.cmxs]
coq-relation-algebra 1.8.0-2 libcoq-relation-algebra/1.8.0-2 warning ocaml-dangling-cmxs 1 [usr/lib/aarch64-linux-gnu/ocaml/5.4.0/rocq-relation-algebra/packed_mrewrite.cmxs]
coq-relation-algebra 1.8.0-2 libcoq-relation-algebra/1.8.0-2 warning ocaml-dangling-cmxs 1 [usr/lib/powerpc64le-linux-gnu/ocaml/5.4.0/rocq-relation-algebra/packed_mrewrite.cmxs]
coq-relation-algebra 1.8.0-2 libcoq-relation-algebra/1.8.0-2 warning ocaml-dangling-cmxs 1 [usr/lib/s390x-linux-gnu/ocaml/5.4.0/rocq-relation-algebra/plugins.cmxs]
coq-relation-algebra 1.8.0-2 libcoq-relation-algebra/1.8.0-2 warning ocaml-dangling-cmxs 1 [usr/lib/s390x-linux-gnu/ocaml/5.4.0/rocq-relation-algebra/packed_mrewrite.cmxs]
coq-relation-algebra 1.8.0-2 libcoq-relation-algebra/1.8.0-2 warning ocaml-dangling-cmxs 1 [usr/lib/aarch64-linux-gnu/ocaml/5.4.0/rocq-relation-algebra/packed_reification.cmxs]
coq-relation-algebra 1.8.0-2 libcoq-relation-algebra/1.8.0-2 warning ocaml-dangling-cmxs 1 [usr/lib/powerpc64le-linux-gnu/ocaml/5.4.0/rocq-relation-algebra/plugins.cmxs]
coq-relation-algebra 1.8.0-2 libcoq-relation-algebra/1.8.0-2 warning ocaml-dangling-cmxs 1 [usr/lib/aarch64-linux-gnu/ocaml/5.4.0/rocq-relation-algebra/packed_kat.cmxs]
coq-relation-algebra 1.8.0-2 libcoq-relation-algebra/1.8.0-2 warning ocaml-dangling-cmxs 1 [usr/lib/aarch64-linux-gnu/ocaml/5.4.0/rocq-relation-algebra/plugins.cmxs]
coq-relation-algebra 1.8.0-2 libcoq-relation-algebra/1.8.0-2 warning ocaml-dangling-cmxs 1 [usr/lib/powerpc64le-linux-gnu/ocaml/5.4.0/rocq-relation-algebra/packed_kat.cmxs]
coq-relation-algebra 1.8.0-2 libcoq-relation-algebra/1.8.0-2 warning ocaml-dangling-cmxs 1 [usr/lib/powerpc64le-linux-gnu/ocaml/5.4.0/rocq-relation-algebra/packed_fold.cmxs]
coq-relation-algebra 1.8.0-2 libcoq-relation-algebra/1.8.0-2 warning ocaml-dangling-cmxs 1 [usr/lib/aarch64-linux-gnu/ocaml/5.4.0/rocq-relation-algebra/packed_fold.cmxs]
coq-relation-algebra 1.8.0-2 libcoq-relation-algebra/1.8.0-2+b1 warning ocaml-dangling-cmxs 1 [usr/lib/x86_64-linux-gnu/ocaml/5.4.0/rocq-relation-algebra/packed_fold.cmxs]
coq-relation-algebra 1.8.0-2 libcoq-relation-algebra/1.8.0-2+b1 warning ocaml-dangling-cmxs 1 [usr/lib/x86_64-linux-gnu/ocaml/5.4.0/rocq-relation-algebra/packed_reification.cmxs]
coq-relation-algebra 1.8.0-2 libcoq-relation-algebra/1.8.0-2+b1 warning ocaml-dangling-cmxs 1 [usr/lib/x86_64-linux-gnu/ocaml/5.4.0/rocq-relation-algebra/packed_kat.cmxs]
coq-relation-algebra 1.8.0-2 libcoq-relation-algebra/1.8.0-2+b1 warning ocaml-dangling-cmxs 1 [usr/lib/x86_64-linux-gnu/ocaml/5.4.0/rocq-relation-algebra/packed_mrewrite.cmxs]
coq-relation-algebra 1.8.0-2 libcoq-relation-algebra/1.8.0-2+b1 warning ocaml-dangling-cmxs 1 [usr/lib/x86_64-linux-gnu/ocaml/5.4.0/rocq-relation-algebra/plugins.cmxs]
coq-unicoq 1.6-9.1-4 libcoq-unicoq/1.6-9.1-4 overridden ocaml-dangling-cmxs 1 [usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq-unicoq/unicoq.cmxs]
coq-unicoq 1.6-9.1-4 libcoq-unicoq/1.6-9.1-4 overridden ocaml-dangling-cmxs 1 [usr/lib/s390x-linux-gnu/ocaml/5.4.1/coq-unicoq/unicoq.cmxs]
coq-unicoq 1.6-9.1-4 libcoq-unicoq/1.6-9.1-4 overridden ocaml-dangling-cmxs 1 [usr/lib/x86_64-linux-gnu/ocaml/5.4.1/coq-unicoq/unicoq.cmxs]
coq-unicoq 1.6-9.1-4 libcoq-unicoq/1.6-9.1-4 overridden ocaml-dangling-cmxs 1 [usr/lib/powerpc64le-linux-gnu/ocaml/5.4.1/coq-unicoq/unicoq.cmxs]
coq-unicoq 1.6-9.1-4 libcoq-unicoq/1.6-9.1-4 overridden ocaml-dangling-cmxs 1 [usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq-unicoq/unicoq.cmxs]
ocaml-fdkaac 0.3.3-1 libfdkaac-ocaml-dynlink/0.3.3-1+b2 warning ocaml-dangling-cmxs 1 [usr/lib/x86_64-linux-gnu/ocaml/5.4.1/fdkaac/fdkaac_loader.cmxs]
ocaml-fdkaac 0.3.3-1 libfdkaac-ocaml-dynlink/0.3.3-1+b2 warning ocaml-dangling-cmxs 1 [usr/lib/powerpc64le-linux-gnu/ocaml/5.4.1/fdkaac/fdkaac_loader.cmxs]
ocaml-fdkaac 0.3.3-1 libfdkaac-ocaml-dynlink/0.3.3-1+b2 warning ocaml-dangling-cmxs 1 [usr/lib/s390x-linux-gnu/ocaml/5.4.1/fdkaac/fdkaac_loader.cmxs]
ocaml-fdkaac 0.3.3-1 libfdkaac-ocaml-dynlink/0.3.3-1+b2 warning ocaml-dangling-cmxs 1 [usr/lib/riscv64-linux-gnu/ocaml/5.4.1/fdkaac/fdkaac_loader.cmxs]
ocaml-fdkaac 0.3.3-1 libfdkaac-ocaml-dynlink/0.3.3-1+b2 warning ocaml-dangling-cmxs 1 [usr/lib/aarch64-linux-gnu/ocaml/5.4.1/fdkaac/fdkaac_loader.cmxs]