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

libcoq-elpi 2.5.0-1.1 

arm64

libcoq-stdlib-1ns11:arm64
libcoq-extructures 0.5.0-1+b7 

arm64

libcoq-stdlib-1ns11:arm64
libcoq-hierarchy-builder 1.8.1-1+b3 

arm64

libcoq-stdlib-1ns11:arm64
libcoq-interval 4.11.1-1+b7 

arm64

libcoq-stdlib-1ns11:arm64
libcoq-math-classes 8.19.0-1+b10 

arm64

libcoq-stdlib-1ns11:arm64
libcoq-mathcomp 2.3.0-1+b7 

arm64

libcoq-stdlib-1ns11:arm64
libcoq-mathcomp-algebra 2.3.0-1+b7 

arm64

libcoq-stdlib-1ns11:arm64
libcoq-mathcomp-algebra-tactics 1.2.4-1+b5 

arm64

libcoq-stdlib-1ns11:arm64
libcoq-mathcomp-analysis 1.9.0-1+b3 

arm64

libcoq-stdlib-1ns11:arm64
libcoq-mathcomp-bigenough 1.0.2-1+b3 

arm64

libcoq-stdlib-1ns11:arm64
libcoq-mathcomp-character 2.3.0-1+b7 

arm64

libcoq-stdlib-1ns11:arm64
libcoq-mathcomp-classical 1.9.0-1+b3 

arm64

libcoq-stdlib-1ns11:arm64
libcoq-mathcomp-field 2.3.0-1+b7 

arm64

libcoq-stdlib-1ns11:arm64
libcoq-mathcomp-fingroup 2.3.0-1+b7 

arm64

libcoq-stdlib-1ns11:arm64
libcoq-mathcomp-finmap 2.1.0-3+b7 

arm64

libcoq-stdlib-1ns11:arm64
libcoq-mathcomp-multinomials 2.3.0-1+b7 

arm64

libcoq-stdlib-1ns11:arm64
libcoq-mathcomp-real-closed 2.0.2-1+b7 

arm64

libcoq-stdlib-1ns11:arm64
libcoq-mathcomp-solvable 2.3.0-1+b7 

arm64

libcoq-stdlib-1ns11:arm64
libcoq-mathcomp-ssreflect 2.3.0-1+b7 

arm64

libcoq-stdlib-1ns11:arm64
libcoq-mathcomp-zify 1.5.0+2.0+8.16-4+b7 

arm64

libcoq-stdlib-1ns11:arm64
libcoq-quickchick 2.1.0-1+b2 

arm64

libcoq-ext-lib-vkwj8:arm64
libcoq-reglang 1.2.1-4+b13 

arm64

libcoq-stdlib-1ns11:arm64
libcoq-relation-algebra 1.7.11-1+b7 

arm64

libcoq-aac-tactics-bd7p7:arm64
libcpp-hocon0.3.0t64 0.3.0-1.1+b2 

arm64

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

arm64

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

arm64

libstdlib-ocaml-m4xw9:arm64
libcpu-ocaml-dev 2.0.0-5+b4 

arm64

libstdlib-ocaml-m4xw9:arm64
libcreal-ocaml-dev 0.7-8+b2 

arm64

libstdlib-ocaml-dev-m4xw9:arm64
libcrunch-ocaml 3.3.1-1+b2 

arm64

libptime-ocaml-mmog9:arm64
libcrunch-ocaml-dev 3.3.1-1+b2 

arm64

libptime-ocaml-mmog9:arm64
libcrypt-argon2-perl 0.030-1 

arm64

perl:arm64 (>= 5.40.1-3)
libcryptokit-ocaml 1.20.1-1+b4 

arm64

libstdlib-ocaml-m4xw9:arm64
libcryptokit-ocaml-dev 1.20.1-1+b4 

arm64

libstdlib-ocaml-m4xw9: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.35-1 

arm64

perl:arm64 (>= 5.40.1-3)
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

libgpgme11t64:arm64 (>= 1.23.2)
libcryptui-dev 3.12.2-8+b2 

arm64

libgpgme11t64:arm64 (>= 1.23.2)
libcsexp-ocaml 1.5.2-4+b4 

arm64

libstdlib-ocaml-m4xw9:arm64
libcsexp-ocaml-dev 1.5.2-4+b4 

arm64

libstdlib-ocaml-m4xw9:arm64
libcstruct-ocaml 6.2.0-3+b9 

arm64

liblwt-ocaml-lknv3:arm64
libcstruct-ocaml-dev 6.2.0-3+b9 

arm64

libcompiler-libs-ocaml-dev-gxzm3:arm64
libcsv-ocaml-dev 2.4-3+b4 

arm64

libstdlib-ocaml-dev-m4xw9:arm64
libctypes-ocaml 0.23.0-1+b2 

arm64

libstdlib-ocaml-m4xw9:arm64
libctypes-ocaml-dev 0.23.0-1+b2 

arm64

libstdlib-ocaml-m4xw9:arm64
libcudf-ocaml-dev 0.10-6+b1 

arm64

libstdlib-ocaml-dev-m4xw9:arm64
libcurl-ocaml 0.9.2-3+b18 

arm64

liblwt-ocaml-lknv3:arm64
libcurl-ocaml-dev 0.9.2-3+b18 

arm64

liblwt-ocaml-lknv3:arm64