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

libconduit-lwt-ocaml-dev 7.1.0-1 

arm64

libbigstringaf-ocaml-zf782:arm64
libconduit-ocaml 7.1.0-1 

arm64

libbigstringaf-ocaml-zf782:arm64
libconduit-ocaml-dev 7.1.0-1 

arm64

libbigstringaf-ocaml-zf782:arm64
libconfig-file-ocaml-dev 1.2.1-4+b1 

arm64

libstdlib-ocaml-0d647:arm64
libcoq-bignums 9.0.0+coq8.20-1+b3 

arm64

libcoq-stdlib-cw0z4:arm64
libcoq-coqeal 2.0.2-2+b5 

arm64

libcoq-stdlib-cw0z4:arm64
libcoq-coqprime 8.19-2+b2 

arm64

libcoq-stdlib-cw0z4:arm64
libcoq-coquelicot 3.4.1-3+b5 

arm64

libcoq-stdlib-cw0z4:arm64
libcoq-corn 8.19.0+ds1-1+b5 

arm64

libcoq-stdlib-cw0z4:arm64
libcoq-deriving 0.2.0-3+b5 

arm64

libcoq-stdlib-cw0z4:arm64
libcoq-elpi 2.1.0-1+b9 

arm64

libcoq-stdlib-cw0z4:arm64
libcoq-extructures 0.4.0-4+b5 

arm64

libcoq-stdlib-cw0z4:arm64
libcoq-hierarchy-builder 1.7.0-2+b8 

arm64

libcoq-stdlib-cw0z4:arm64
libcoq-interval 4.11.0-2+b5 

arm64

libcoq-stdlib-cw0z4:arm64
libcoq-math-classes 8.19.0-1+b5 

arm64

libcoq-stdlib-cw0z4:arm64
libcoq-mathcomp 2.2.0-2+b7 

arm64

libcoq-stdlib-cw0z4:arm64
libcoq-mathcomp-algebra 2.2.0-2+b7 

arm64

libcoq-stdlib-cw0z4:arm64
libcoq-mathcomp-algebra-tactics 1.2.3-4+b5 

arm64

libcoq-stdlib-cw0z4:arm64
libcoq-mathcomp-analysis 1.2.0-2+b5 

arm64

libcoq-stdlib-cw0z4:arm64
libcoq-mathcomp-bigenough 1.0.1-14+b5 

arm64

libcoq-stdlib-cw0z4:arm64
libcoq-mathcomp-character 2.2.0-2+b7 

arm64

libcoq-stdlib-cw0z4:arm64
libcoq-mathcomp-classical 1.2.0-2+b5 

arm64

libcoq-stdlib-cw0z4:arm64
libcoq-mathcomp-field 2.2.0-2+b7 

arm64

libcoq-stdlib-cw0z4:arm64
libcoq-mathcomp-fingroup 2.2.0-2+b7 

arm64

libcoq-stdlib-cw0z4:arm64
libcoq-mathcomp-finmap 2.1.0-2+b5 

arm64

libcoq-stdlib-cw0z4:arm64
libcoq-mathcomp-multinomials 2.2.0-3+b5 

arm64

libcoq-stdlib-cw0z4:arm64
libcoq-mathcomp-real-closed 2.0.0-3+b5 

arm64

libcoq-stdlib-cw0z4:arm64
libcoq-mathcomp-solvable 2.2.0-2+b7 

arm64

libcoq-stdlib-cw0z4:arm64
libcoq-mathcomp-ssreflect 2.2.0-2+b7 

arm64

libcoq-stdlib-cw0z4:arm64
libcoq-mathcomp-zify 1.5.0+2.0+8.16-3+b5 

arm64

libcoq-stdlib-cw0z4:arm64
libcoq-quickchick 2.0.3-3+b6 

arm64

libcoq-ext-lib-7qof3:arm64
libcoq-reglang 1.2.1-4+b5 

arm64

libcoq-stdlib-cw0z4:arm64
libcoq-relation-algebra 1.7.10-4+b5 

arm64

libcoq-aac-tactics-ungd0:arm64
libcpu-ocaml 2.0.0-5+b2 

arm64

libstdlib-ocaml-0d647:arm64
libcpu-ocaml-dev 2.0.0-5+b2 

arm64

libstdlib-ocaml-0d647:arm64
libcreal-ocaml-dev 0.7-8 

arm64

libstdlib-ocaml-dev-0d647:arm64
libcrowbar-ocaml 0.2.1-6+b1 

arm64

libstdlib-ocaml-0d647:arm64
libcrowbar-ocaml-dev 0.2.1-6+b1 

arm64

libstdlib-ocaml-0d647:arm64
libcrunch-ocaml 3.3.1-1+b2 

arm64

libstdlib-ocaml-0d647:arm64
libcrunch-ocaml-dev 3.3.1-1+b2 

arm64

libstdlib-ocaml-0d647:arm64
libcrypt-argon2-perl 0.029-1+b1 

arm64

perl:arm64 (>= 5.40.0-6)
libcryptokit-ocaml 1.20.1-1+b2 

arm64

libstdlib-ocaml-0d647:arm64
libcryptokit-ocaml-dev 1.20.1-1+b2 

arm64

libstdlib-ocaml-0d647:arm64
libcrypt-openssl-pkcs10-perl 0.26-1+b1 

arm64

perl:arm64 (>= 5.40.0-6)
libcrypt-openssl-random-perl 0.17-1+b1 

arm64

perl:arm64 (>= 5.40.0-6)
libcrypt-openssl-rsa-perl 0.33-3+b4 

arm64

perl:arm64 (>= 5.40.0-6)
libcrypt-smime-perl 0.30-1+b1 

arm64

perl:arm64 (>= 5.40.0-6)
libcrypt-u2f-server-perl 0.47-1+b1 

arm64

perl:arm64 (>= 5.40.0-6)
libcryptui0a 3.12.2-8+b2 

arm64

libgtk-3-0t64:arm64 (>= 3.0.0)
libcryptui-dev 3.12.2-8+b2 

arm64

libgtk-3-0t64:arm64 (>= 3.0.0)