Dependency issues for binary packages in pureos/dawn [amd64]

libcohttp-ocaml 5.3.0-1+b22 

amd64

libbigstringaf-ocaml-yvfg1:amd64
libcohttp-ocaml-dev 5.3.0-1+b22 

amd64

libbigstringaf-ocaml-yvfg1:amd64
libcollada-parser-dev 1.12.13-11+b2 

amd64

libroscpp4t64:amd64 (>= 1.17.0+ds)
libcollada-urdf-dev 1.12.13-11+b2 

amd64

libroscpp4t64:amd64 (>= 1.17.0+ds)
libcolorcorrect5 4:5.27.10-3+b1 

amd64

kglobalacceld:amd64
libcomps-dev 0.1.21-1+b3 

amd64

libassuan0:amd64 (>= 2.4.2)
libconduit-lwt-ocaml 7.1.0-1+b8 

amd64

libbigstringaf-ocaml-yvfg1:amd64
libconduit-lwt-ocaml-dev 7.1.0-1+b8 

amd64

libbigstringaf-ocaml-yvfg1:amd64
libconduit-ocaml 7.1.0-1+b8 

amd64

libbigstringaf-ocaml-yvfg1:amd64
libconduit-ocaml-dev 7.1.0-1+b8 

amd64

libbigstringaf-ocaml-yvfg1:amd64
libconfig-augeas-perl 1.000-3+b4 

amd64

perl:amd64 (>= 5.40.0-6)
libconfig-file-ocaml-dev 1.2.1-4+b2 

amd64

libstdlib-ocaml-fxjy5:amd64
libcoq-bignums 9.0.0+coq8.20-1+b8 

amd64

libcoq-stdlib-tgae0:amd64
libcoq-coqeal 2.1.0-1 

amd64

libcoq-stdlib-tgae0:amd64
libcoq-coqprime 8.20.1-1+b3 

amd64

libcoq-stdlib-tgae0:amd64
libcoq-coquelicot 3.4.3-1+b2 

amd64

libcoq-stdlib-tgae0:amd64
libcoq-corn 8.20.0-1+b2 

amd64

libcoq-stdlib-tgae0:amd64
libcoq-deriving 0.2.1-1+b6 

amd64

libcoq-stdlib-tgae0:amd64
libcoq-elpi 2.5.0-1 

amd64

libcoq-stdlib-tgae0:amd64
libcoq-extructures 0.5.0-1+b6 

amd64

libcoq-stdlib-tgae0:amd64
libcoq-hierarchy-builder 1.8.1-1+b1 

amd64

libcoq-stdlib-tgae0:amd64
libcoq-interval 4.11.1-1+b8 

amd64

libcoq-stdlib-tgae0:amd64
libcoq-math-classes 8.19.0-1+b10 

amd64

libcoq-stdlib-tgae0:amd64
libcoq-mathcomp 2.3.0-1+b6 

amd64

libcoq-stdlib-tgae0:amd64
libcoq-mathcomp-algebra 2.3.0-1+b6 

amd64

libcoq-stdlib-tgae0:amd64
libcoq-mathcomp-algebra-tactics 1.2.4-1+b3 

amd64

libcoq-stdlib-tgae0:amd64
libcoq-mathcomp-analysis 1.9.0-1+b1 

amd64

libcoq-stdlib-tgae0:amd64
libcoq-mathcomp-bigenough 1.0.2-1+b2 

amd64

libcoq-stdlib-tgae0:amd64
libcoq-mathcomp-character 2.3.0-1+b6 

amd64

libcoq-stdlib-tgae0:amd64
libcoq-mathcomp-classical 1.9.0-1+b1 

amd64

libcoq-stdlib-tgae0:amd64
libcoq-mathcomp-field 2.3.0-1+b6 

amd64

libcoq-stdlib-tgae0:amd64
libcoq-mathcomp-fingroup 2.3.0-1+b6 

amd64

libcoq-stdlib-tgae0:amd64
libcoq-mathcomp-finmap 2.1.0-3+b6 

amd64

libcoq-stdlib-tgae0:amd64
libcoq-mathcomp-multinomials 2.3.0-1+b6 

amd64

libcoq-stdlib-tgae0:amd64
libcoq-mathcomp-real-closed 2.0.2-1+b6 

amd64

libcoq-stdlib-tgae0:amd64
libcoq-mathcomp-solvable 2.3.0-1+b6 

amd64

libcoq-stdlib-tgae0:amd64
libcoq-mathcomp-ssreflect 2.3.0-1+b6 

amd64

libcoq-stdlib-tgae0:amd64
libcoq-mathcomp-zify 1.5.0+2.0+8.16-4+b6 

amd64

libcoq-stdlib-tgae0:amd64
libcoq-quickchick 2.1.0-1+b1 

amd64

libcoq-ext-lib-k3072:amd64
libcoq-reglang 1.2.1-4+b13 

amd64

libcoq-stdlib-tgae0:amd64
libcoq-relation-algebra 1.7.11-1+b6 

amd64

libcoq-aac-tactics-94by0:amd64
libcpp-hocon0.3.0t64 0.3.0-1.1+b2 

amd64

libicu72:amd64 (>= 72.1~rc-1~)
libcpp-hocon-dev 0.3.0-1.1+b2 

amd64

libicu72:amd64 (>= 72.1~rc-1~)
libcpu-ocaml 2.0.0-5+b3 

amd64

libstdlib-ocaml-fxjy5:amd64
libcpu-ocaml-dev 2.0.0-5+b3 

amd64

libstdlib-ocaml-fxjy5:amd64
libcreal-ocaml-dev 0.7-8+b1 

amd64

libstdlib-ocaml-dev-fxjy5:amd64
libcrunch-ocaml 3.3.1-1+b3 

amd64

libptime-ocaml-hu770:amd64
libcrunch-ocaml-dev 3.3.1-1+b3 

amd64

libptime-ocaml-hu770:amd64
libcrypt-argon2-perl 0.029-1+b1 

amd64

perl:amd64 (>= 5.40.0-6)
libcryptokit-ocaml 1.20.1-1+b3 

amd64

libstdlib-ocaml-fxjy5:amd64