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 tag type tag information count
aac-tactics 8.19.1-2 libcoq-aac-tactics/8.19.1-2+b2 error ocaml-dangling-cmxa [usr/lib/riscv64-linux-gnu/ocaml/5.2.0/coq-aac-tactics/aac_plugin.cmxa] 1
aac-tactics 8.19.1-2 libcoq-aac-tactics/8.19.1-2+b2 error ocaml-dangling-cmxa [usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq-aac-tactics/aac_plugin.cmxa] 1
aac-tactics 8.19.1-2 libcoq-aac-tactics/8.19.1-2+b2 error ocaml-dangling-cmxa [usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq-aac-tactics/aac_plugin.cmxa] 1
aac-tactics 8.19.1-2 libcoq-aac-tactics/8.19.1-2+b3 error ocaml-dangling-cmxa [usr/lib/s390x-linux-gnu/ocaml/5.2.0/coq-aac-tactics/aac_plugin.cmxa] 1
aac-tactics 8.19.1-2 libcoq-aac-tactics/8.19.1-2+b3 error ocaml-dangling-cmxa [usr/lib/powerpc64le-linux-gnu/ocaml/5.2.0/coq-aac-tactics/aac_plugin.cmxa] 1
coq-bignums 9.0.0+coq8.20-1 libcoq-bignums/9.0.0+coq8.20-1+b3 error ocaml-dangling-cmxa [usr/lib/s390x-linux-gnu/ocaml/5.2.0/coq-bignums/bignums_syntax_plugin.cmxa] 1
coq-bignums 9.0.0+coq8.20-1 libcoq-bignums/9.0.0+coq8.20-1+b3 error ocaml-dangling-cmxa [usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq-bignums/bignums_syntax_plugin.cmxa] 1
coq-bignums 9.0.0+coq8.20-1 libcoq-bignums/9.0.0+coq8.20-1+b3 error ocaml-dangling-cmxa [usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq-bignums/bignums_syntax_plugin.cmxa] 1
coq-bignums 9.0.0+coq8.20-1 libcoq-bignums/9.0.0+coq8.20-1+b3 error ocaml-dangling-cmxa [usr/lib/riscv64-linux-gnu/ocaml/5.2.0/coq-bignums/bignums_syntax_plugin.cmxa] 1
coq-bignums 9.0.0+coq8.20-1 libcoq-bignums/9.0.0+coq8.20-1+b4 error ocaml-dangling-cmxa [usr/lib/powerpc64le-linux-gnu/ocaml/5.2.0/coq-bignums/bignums_syntax_plugin.cmxa] 1
coq-dpdgraph 1.0+8.19-2 libcoq-dpdgraph/1.0+8.19-2+b2 error ocaml-dangling-cmxa [usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq-dpdgraph/dpdgraph.cmxa] 1
coq-dpdgraph 1.0+8.19-2 libcoq-dpdgraph/1.0+8.19-2+b2 error ocaml-dangling-cmxa [usr/lib/riscv64-linux-gnu/ocaml/5.2.0/coq-dpdgraph/dpdgraph.cmxa] 1
coq-dpdgraph 1.0+8.19-2 libcoq-dpdgraph/1.0+8.19-2+b2 error ocaml-dangling-cmxa [usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq-dpdgraph/dpdgraph.cmxa] 1
coq-dpdgraph 1.0+8.19-2 libcoq-dpdgraph/1.0+8.19-2+b3 error ocaml-dangling-cmxa [usr/lib/s390x-linux-gnu/ocaml/5.2.0/coq-dpdgraph/dpdgraph.cmxa] 1
coq-dpdgraph 1.0+8.19-2 libcoq-dpdgraph/1.0+8.19-2+b3 error ocaml-dangling-cmxa [usr/lib/powerpc64le-linux-gnu/ocaml/5.2.0/coq-dpdgraph/dpdgraph.cmxa] 1
coq-elpi 2.1.0-1 libcoq-elpi/2.1.0-1+b8 error ocaml-dangling-cmxa [usr/lib/s390x-linux-gnu/ocaml/5.2.0/coq-elpi/elpi_plugin.cmxa] 1
coq-elpi 2.1.0-1 libcoq-elpi/2.1.0-1+b8 error ocaml-dangling-cmxa [usr/lib/s390x-linux-gnu/ocaml/5.2.0/coq-elpi-cs/elpi_cs_plugin.cmxa] 1
coq-elpi 2.1.0-1 libcoq-elpi/2.1.0-1+b8 error ocaml-dangling-cmxa [usr/lib/s390x-linux-gnu/ocaml/5.2.0/coq-elpi-tc/elpi_tc_plugin.cmxa] 1
coq-elpi 2.1.0-1 libcoq-elpi/2.1.0-1+b8 error ocaml-dangling-cmxa [usr/lib/s390x-linux-gnu/ocaml/5.2.0/coq-elpi-coercion/elpi_coercion_plugin.cmxa] 1
coq-elpi 2.1.0-1 libcoq-elpi/2.1.0-1+b9 error ocaml-dangling-cmxa [usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq-elpi/elpi_plugin.cmxa] 1
coq-elpi 2.1.0-1 libcoq-elpi/2.1.0-1+b9 error ocaml-dangling-cmxa [usr/lib/riscv64-linux-gnu/ocaml/5.2.0/coq-elpi-coercion/elpi_coercion_plugin.cmxa] 1
coq-elpi 2.1.0-1 libcoq-elpi/2.1.0-1+b9 error ocaml-dangling-cmxa [usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq-elpi-cs/elpi_cs_plugin.cmxa] 1
coq-elpi 2.1.0-1 libcoq-elpi/2.1.0-1+b9 error ocaml-dangling-cmxa [usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq-elpi-tc/elpi_tc_plugin.cmxa] 1
coq-elpi 2.1.0-1 libcoq-elpi/2.1.0-1+b9 error ocaml-dangling-cmxa [usr/lib/riscv64-linux-gnu/ocaml/5.2.0/coq-elpi/elpi_plugin.cmxa] 1
coq-elpi 2.1.0-1 libcoq-elpi/2.1.0-1+b9 error ocaml-dangling-cmxa [usr/lib/powerpc64le-linux-gnu/ocaml/5.2.0/coq-elpi-cs/elpi_cs_plugin.cmxa] 1
coq-elpi 2.1.0-1 libcoq-elpi/2.1.0-1+b9 error ocaml-dangling-cmxa [usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq-elpi-coercion/elpi_coercion_plugin.cmxa] 1
coq-elpi 2.1.0-1 libcoq-elpi/2.1.0-1+b9 error ocaml-dangling-cmxa [usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq-elpi/elpi_plugin.cmxa] 1
coq-elpi 2.1.0-1 libcoq-elpi/2.1.0-1+b9 error ocaml-dangling-cmxa [usr/lib/powerpc64le-linux-gnu/ocaml/5.2.0/coq-elpi-coercion/elpi_coercion_plugin.cmxa] 1
coq-elpi 2.1.0-1 libcoq-elpi/2.1.0-1+b9 error ocaml-dangling-cmxa [usr/lib/powerpc64le-linux-gnu/ocaml/5.2.0/coq-elpi-tc/elpi_tc_plugin.cmxa] 1
coq-elpi 2.1.0-1 libcoq-elpi/2.1.0-1+b9 error ocaml-dangling-cmxa [usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq-elpi-tc/elpi_tc_plugin.cmxa] 1
coq-elpi 2.1.0-1 libcoq-elpi/2.1.0-1+b9 error ocaml-dangling-cmxa [usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq-elpi-cs/elpi_cs_plugin.cmxa] 1
coq-elpi 2.1.0-1 libcoq-elpi/2.1.0-1+b9 error ocaml-dangling-cmxa [usr/lib/powerpc64le-linux-gnu/ocaml/5.2.0/coq-elpi/elpi_plugin.cmxa] 1
coq-elpi 2.1.0-1 libcoq-elpi/2.1.0-1+b9 error ocaml-dangling-cmxa [usr/lib/riscv64-linux-gnu/ocaml/5.2.0/coq-elpi-tc/elpi_tc_plugin.cmxa] 1
coq-elpi 2.1.0-1 libcoq-elpi/2.1.0-1+b9 error ocaml-dangling-cmxa [usr/lib/riscv64-linux-gnu/ocaml/5.2.0/coq-elpi-cs/elpi_cs_plugin.cmxa] 1
coq-elpi 2.1.0-1 libcoq-elpi/2.1.0-1+b9 error ocaml-dangling-cmxa [usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq-elpi-coercion/elpi_coercion_plugin.cmxa] 1
coq-equations 1.3-8.19-2 libcoq-equations/1.3-8.19-2+b2 error ocaml-dangling-cmxa [usr/lib/s390x-linux-gnu/ocaml/5.2.0/coq-equations/equations_plugin.cmxa] 1
coq-equations 1.3-8.19-2 libcoq-equations/1.3-8.19-2+b2 error ocaml-dangling-cmxa [usr/lib/riscv64-linux-gnu/ocaml/5.2.0/coq-equations/equations_plugin.cmxa] 1
coq-equations 1.3-8.19-2 libcoq-equations/1.3-8.19-2+b2 error ocaml-dangling-cmxa [usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq-equations/equations_plugin.cmxa] 1
coq-equations 1.3-8.19-2 libcoq-equations/1.3-8.19-2+b2 error ocaml-dangling-cmxa [usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq-equations/equations_plugin.cmxa] 1
coq-equations 1.3-8.19-2 libcoq-equations/1.3-8.19-2+b3 error ocaml-dangling-cmxa [usr/lib/powerpc64le-linux-gnu/ocaml/5.2.0/coq-equations/equations_plugin.cmxa] 1
coq-hammer 1.3.2+8.19-2 libcoq-hammer/1.3.2+8.19-2+b2 error ocaml-dangling-cmxa [usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq-hammer-tactics/hammer_lib.cmxa] 1
coq-hammer 1.3.2+8.19-2 libcoq-hammer/1.3.2+8.19-2+b2 error ocaml-dangling-cmxa [usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq-hammer-tactics/hammer_tactics.cmxa] 1
coq-hammer 1.3.2+8.19-2 libcoq-hammer/1.3.2+8.19-2+b2 error ocaml-dangling-cmxa [usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq-hammer/hammer_plugin.cmxa] 1
coq-hammer 1.3.2+8.19-2 libcoq-hammer/1.3.2+8.19-2+b2 error ocaml-dangling-cmxa [usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq-hammer-tactics/hammer_tactics.cmxa] 1
coq-hammer 1.3.2+8.19-2 libcoq-hammer/1.3.2+8.19-2+b2 error ocaml-dangling-cmxa [usr/lib/riscv64-linux-gnu/ocaml/5.2.0/coq-hammer-tactics/hammer_tactics.cmxa] 1
coq-hammer 1.3.2+8.19-2 libcoq-hammer/1.3.2+8.19-2+b2 error ocaml-dangling-cmxa [usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq-hammer/hammer_plugin.cmxa] 1
coq-hammer 1.3.2+8.19-2 libcoq-hammer/1.3.2+8.19-2+b2 error ocaml-dangling-cmxa [usr/lib/riscv64-linux-gnu/ocaml/5.2.0/coq-hammer/hammer_plugin.cmxa] 1
coq-hammer 1.3.2+8.19-2 libcoq-hammer/1.3.2+8.19-2+b2 error ocaml-dangling-cmxa [usr/lib/riscv64-linux-gnu/ocaml/5.2.0/coq-hammer-tactics/hammer_lib.cmxa] 1
coq-hammer 1.3.2+8.19-2 libcoq-hammer/1.3.2+8.19-2+b2 error ocaml-dangling-cmxa [usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq-hammer-tactics/hammer_lib.cmxa] 1
coq-hammer 1.3.2+8.19-2 libcoq-hammer/1.3.2+8.19-2+b3 error ocaml-dangling-cmxa [usr/lib/powerpc64le-linux-gnu/ocaml/5.2.0/coq-hammer/hammer_plugin.cmxa] 1
coq-hammer 1.3.2+8.19-2 libcoq-hammer/1.3.2+8.19-2+b3 error ocaml-dangling-cmxa [usr/lib/s390x-linux-gnu/ocaml/5.2.0/coq-hammer-tactics/hammer_tactics.cmxa] 1
coq-hammer 1.3.2+8.19-2 libcoq-hammer/1.3.2+8.19-2+b3 error ocaml-dangling-cmxa [usr/lib/s390x-linux-gnu/ocaml/5.2.0/coq-hammer/hammer_plugin.cmxa] 1
coq-hammer 1.3.2+8.19-2 libcoq-hammer/1.3.2+8.19-2+b3 error ocaml-dangling-cmxa [usr/lib/s390x-linux-gnu/ocaml/5.2.0/coq-hammer-tactics/hammer_lib.cmxa] 1
coq-hammer 1.3.2+8.19-2 libcoq-hammer/1.3.2+8.19-2+b3 error ocaml-dangling-cmxa [usr/lib/powerpc64le-linux-gnu/ocaml/5.2.0/coq-hammer-tactics/hammer_tactics.cmxa] 1
coq-hammer 1.3.2+8.19-2 libcoq-hammer/1.3.2+8.19-2+b3 error ocaml-dangling-cmxa [usr/lib/powerpc64le-linux-gnu/ocaml/5.2.0/coq-hammer-tactics/hammer_lib.cmxa] 1
coq-mtac2 1.4+8.19-2 libcoq-mtac2/1.4+8.19-2+b2 error ocaml-dangling-cmxa [usr/lib/riscv64-linux-gnu/ocaml/5.2.0/coq-mtac2/MetaCoqPlugin.cmxa] 1
coq-mtac2 1.4+8.19-2 libcoq-mtac2/1.4+8.19-2+b2 error ocaml-dangling-cmxa [usr/lib/s390x-linux-gnu/ocaml/5.2.0/coq-mtac2/MetaCoqPlugin.cmxa] 1
coq-mtac2 1.4+8.19-2 libcoq-mtac2/1.4+8.19-2+b2 error ocaml-dangling-cmxa [usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq-mtac2/MetaCoqPlugin.cmxa] 1
coq-mtac2 1.4+8.19-2 libcoq-mtac2/1.4+8.19-2+b2 error ocaml-dangling-cmxa [usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq-mtac2/MetaCoqPlugin.cmxa] 1
coq-mtac2 1.4+8.19-2 libcoq-mtac2/1.4+8.19-2+b3 error ocaml-dangling-cmxa [usr/lib/powerpc64le-linux-gnu/ocaml/5.2.0/coq-mtac2/MetaCoqPlugin.cmxa] 1
coq-reduction-effects 0.1.5-5 libcoq-reduction-effects/0.1.5-5+b2 error ocaml-dangling-cmxa [usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq-reduction-effects/redeffect_plugin.cmxa] 1
coq-reduction-effects 0.1.5-5 libcoq-reduction-effects/0.1.5-5+b2 error ocaml-dangling-cmxa [usr/lib/riscv64-linux-gnu/ocaml/5.2.0/coq-reduction-effects/redeffect_plugin.cmxa] 1
coq-reduction-effects 0.1.5-5 libcoq-reduction-effects/0.1.5-5+b2 error ocaml-dangling-cmxa [usr/lib/s390x-linux-gnu/ocaml/5.2.0/coq-reduction-effects/redeffect_plugin.cmxa] 1
coq-reduction-effects 0.1.5-5 libcoq-reduction-effects/0.1.5-5+b2 error ocaml-dangling-cmxa [usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq-reduction-effects/redeffect_plugin.cmxa] 1
coq-reduction-effects 0.1.5-5 libcoq-reduction-effects/0.1.5-5+b3 error ocaml-dangling-cmxa [usr/lib/powerpc64le-linux-gnu/ocaml/5.2.0/coq-reduction-effects/redeffect_plugin.cmxa] 1
coq-relation-algebra 1.7.10-4 libcoq-relation-algebra/1.7.10-4+b5 error ocaml-dangling-cmxa [usr/lib/s390x-linux-gnu/ocaml/5.2.0/coq-relation-algebra/plugins.cmxa] 1
coq-relation-algebra 1.7.10-4 libcoq-relation-algebra/1.7.10-4+b5 error ocaml-dangling-cmxa [usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq-relation-algebra/packed_mrewrite.cmxa] 1
coq-relation-algebra 1.7.10-4 libcoq-relation-algebra/1.7.10-4+b5 error ocaml-dangling-cmxa [usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq-relation-algebra/packed_reification.cmxa] 1
coq-relation-algebra 1.7.10-4 libcoq-relation-algebra/1.7.10-4+b5 error ocaml-dangling-cmxa [usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq-relation-algebra/packed_mrewrite.cmxa] 1
coq-relation-algebra 1.7.10-4 libcoq-relation-algebra/1.7.10-4+b5 error ocaml-dangling-cmxa [usr/lib/s390x-linux-gnu/ocaml/5.2.0/coq-relation-algebra/packed_kat.cmxa] 1
coq-relation-algebra 1.7.10-4 libcoq-relation-algebra/1.7.10-4+b5 error ocaml-dangling-cmxa [usr/lib/powerpc64le-linux-gnu/ocaml/5.2.0/coq-relation-algebra/packed_kat.cmxa] 1
coq-relation-algebra 1.7.10-4 libcoq-relation-algebra/1.7.10-4+b5 error ocaml-dangling-cmxa [usr/lib/s390x-linux-gnu/ocaml/5.2.0/coq-relation-algebra/packed_reification.cmxa] 1
coq-relation-algebra 1.7.10-4 libcoq-relation-algebra/1.7.10-4+b5 error ocaml-dangling-cmxa [usr/lib/powerpc64le-linux-gnu/ocaml/5.2.0/coq-relation-algebra/packed_fold.cmxa] 1
coq-relation-algebra 1.7.10-4 libcoq-relation-algebra/1.7.10-4+b5 error ocaml-dangling-cmxa [usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq-relation-algebra/packed_reification.cmxa] 1
coq-relation-algebra 1.7.10-4 libcoq-relation-algebra/1.7.10-4+b5 error ocaml-dangling-cmxa [usr/lib/riscv64-linux-gnu/ocaml/5.2.0/coq-relation-algebra/plugins.cmxa] 1
coq-relation-algebra 1.7.10-4 libcoq-relation-algebra/1.7.10-4+b5 error ocaml-dangling-cmxa [usr/lib/riscv64-linux-gnu/ocaml/5.2.0/coq-relation-algebra/packed_kat.cmxa] 1
coq-relation-algebra 1.7.10-4 libcoq-relation-algebra/1.7.10-4+b5 error ocaml-dangling-cmxa [usr/lib/riscv64-linux-gnu/ocaml/5.2.0/coq-relation-algebra/packed_reification.cmxa] 1
coq-relation-algebra 1.7.10-4 libcoq-relation-algebra/1.7.10-4+b5 error ocaml-dangling-cmxa [usr/lib/riscv64-linux-gnu/ocaml/5.2.0/coq-relation-algebra/packed_fold.cmxa] 1
coq-relation-algebra 1.7.10-4 libcoq-relation-algebra/1.7.10-4+b5 error ocaml-dangling-cmxa [usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq-relation-algebra/plugins.cmxa] 1
coq-relation-algebra 1.7.10-4 libcoq-relation-algebra/1.7.10-4+b5 error ocaml-dangling-cmxa [usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq-relation-algebra/packed_fold.cmxa] 1
coq-relation-algebra 1.7.10-4 libcoq-relation-algebra/1.7.10-4+b5 error ocaml-dangling-cmxa [usr/lib/riscv64-linux-gnu/ocaml/5.2.0/coq-relation-algebra/packed_mrewrite.cmxa] 1
coq-relation-algebra 1.7.10-4 libcoq-relation-algebra/1.7.10-4+b5 error ocaml-dangling-cmxa [usr/lib/powerpc64le-linux-gnu/ocaml/5.2.0/coq-relation-algebra/packed_mrewrite.cmxa] 1
coq-relation-algebra 1.7.10-4 libcoq-relation-algebra/1.7.10-4+b5 error ocaml-dangling-cmxa [usr/lib/s390x-linux-gnu/ocaml/5.2.0/coq-relation-algebra/packed_mrewrite.cmxa] 1
coq-relation-algebra 1.7.10-4 libcoq-relation-algebra/1.7.10-4+b5 error ocaml-dangling-cmxa [usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq-relation-algebra/packed_kat.cmxa] 1
coq-relation-algebra 1.7.10-4 libcoq-relation-algebra/1.7.10-4+b5 error ocaml-dangling-cmxa [usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq-relation-algebra/plugins.cmxa] 1
coq-relation-algebra 1.7.10-4 libcoq-relation-algebra/1.7.10-4+b5 error ocaml-dangling-cmxa [usr/lib/powerpc64le-linux-gnu/ocaml/5.2.0/coq-relation-algebra/packed_reification.cmxa] 1
coq-relation-algebra 1.7.10-4 libcoq-relation-algebra/1.7.10-4+b5 error ocaml-dangling-cmxa [usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq-relation-algebra/packed_fold.cmxa] 1
coq-relation-algebra 1.7.10-4 libcoq-relation-algebra/1.7.10-4+b5 error ocaml-dangling-cmxa [usr/lib/powerpc64le-linux-gnu/ocaml/5.2.0/coq-relation-algebra/plugins.cmxa] 1
coq-relation-algebra 1.7.10-4 libcoq-relation-algebra/1.7.10-4+b5 error ocaml-dangling-cmxa [usr/lib/s390x-linux-gnu/ocaml/5.2.0/coq-relation-algebra/packed_fold.cmxa] 1
coq-relation-algebra 1.7.10-4 libcoq-relation-algebra/1.7.10-4+b5 error ocaml-dangling-cmxa [usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq-relation-algebra/packed_kat.cmxa] 1
coq-unicoq 1.6-8.19-2 libcoq-unicoq/1.6-8.19-2+b2 error ocaml-dangling-cmxa [usr/lib/s390x-linux-gnu/ocaml/5.2.0/coq-unicoq/unicoq.cmxa] 1
coq-unicoq 1.6-8.19-2 libcoq-unicoq/1.6-8.19-2+b2 error ocaml-dangling-cmxa [usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq-unicoq/unicoq.cmxa] 1
coq-unicoq 1.6-8.19-2 libcoq-unicoq/1.6-8.19-2+b2 error ocaml-dangling-cmxa [usr/lib/riscv64-linux-gnu/ocaml/5.2.0/coq-unicoq/unicoq.cmxa] 1
coq-unicoq 1.6-8.19-2 libcoq-unicoq/1.6-8.19-2+b2 error ocaml-dangling-cmxa [usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq-unicoq/unicoq.cmxa] 1
coq-unicoq 1.6-8.19-2 libcoq-unicoq/1.6-8.19-2+b3 error ocaml-dangling-cmxa [usr/lib/powerpc64le-linux-gnu/ocaml/5.2.0/coq-unicoq/unicoq.cmxa] 1
ocaml-gettext 0.4.2-4 libgettext-ocaml-dev/0.4.2-4+b1 error ocaml-dangling-cmxa [usr/lib/s390x-linux-gnu/ocaml/5.2.0/gettext/gettext.cmxa] 1
ocaml-gettext 0.4.2-4 libgettext-ocaml-dev/0.4.2-4+b1 error ocaml-dangling-cmxa [usr/lib/x86_64-linux-gnu/ocaml/5.2.0/gettext/gettext.cmxa] 1
ocaml-gettext 0.4.2-4 libgettext-ocaml-dev/0.4.2-4+b1 error ocaml-dangling-cmxa [usr/lib/aarch64-linux-gnu/ocaml/5.2.0/gettext/gettext.cmxa] 1
ocaml-gettext 0.4.2-4 libgettext-ocaml-dev/0.4.2-4+b1 error ocaml-dangling-cmxa [usr/lib/powerpc64le-linux-gnu/ocaml/5.2.0/gettext/gettext.cmxa] 1
ocaml-gettext 0.4.2-4 libgettext-ocaml-dev/0.4.2-4+b1 error ocaml-dangling-cmxa [usr/lib/riscv64-linux-gnu/ocaml/5.2.0/gettext/gettext.cmxa] 1
paramcoq 1.1.3+coq8.19-2 libcoq-paramcoq/1.1.3+coq8.19-2+b2 error ocaml-dangling-cmxa [usr/lib/riscv64-linux-gnu/ocaml/5.2.0/coq-paramcoq/paramcoq.cmxa] 1
paramcoq 1.1.3+coq8.19-2 libcoq-paramcoq/1.1.3+coq8.19-2+b2 error ocaml-dangling-cmxa [usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq-paramcoq/paramcoq.cmxa] 1
paramcoq 1.1.3+coq8.19-2 libcoq-paramcoq/1.1.3+coq8.19-2+b2 error ocaml-dangling-cmxa [usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq-paramcoq/paramcoq.cmxa] 1
paramcoq 1.1.3+coq8.19-2 libcoq-paramcoq/1.1.3+coq8.19-2+b2 error ocaml-dangling-cmxa [usr/lib/s390x-linux-gnu/ocaml/5.2.0/coq-paramcoq/paramcoq.cmxa] 1
paramcoq 1.1.3+coq8.19-2 libcoq-paramcoq/1.1.3+coq8.19-2+b3 error ocaml-dangling-cmxa [usr/lib/powerpc64le-linux-gnu/ocaml/5.2.0/coq-paramcoq/paramcoq.cmxa] 1