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

libcoq-interval 4.11.1-1+b2 

amd64

libcoq-stdlib-p29e7:amd64
libcoq-math-classes 8.19.0-1+b7 

amd64

libcoq-stdlib-p29e7:amd64
libcoq-mathcomp 2.2.0-2+b9 

amd64

libcoq-stdlib-p29e7:amd64
libcoq-mathcomp-algebra 2.2.0-2+b9 

amd64

libcoq-stdlib-p29e7:amd64
libcoq-mathcomp-algebra-tactics 1.2.3-4+b7 

amd64

libcoq-stdlib-p29e7:amd64
libcoq-mathcomp-analysis 1.7.0-1 

amd64

libcoq-stdlib-p29e7:amd64
libcoq-mathcomp-bigenough 1.0.1-14+b6 

amd64

libcoq-stdlib-p29e7:amd64
libcoq-mathcomp-character 2.2.0-2+b9 

amd64

libcoq-stdlib-p29e7:amd64
libcoq-mathcomp-classical 1.7.0-1 

amd64

libcoq-stdlib-p29e7:amd64
libcoq-mathcomp-field 2.2.0-2+b9 

amd64

libcoq-stdlib-p29e7:amd64
libcoq-mathcomp-fingroup 2.2.0-2+b9 

amd64

libcoq-stdlib-p29e7:amd64
libcoq-mathcomp-finmap 2.1.0-3 

amd64

libcoq-stdlib-p29e7:amd64
libcoq-mathcomp-multinomials 2.2.0-4 

amd64

libcoq-stdlib-p29e7:amd64
libcoq-mathcomp-real-closed 2.0.1-1 

amd64

libcoq-stdlib-p29e7:amd64
libcoq-mathcomp-solvable 2.2.0-2+b9 

amd64

libcoq-stdlib-p29e7:amd64
libcoq-mathcomp-ssreflect 2.2.0-2+b9 

amd64

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

amd64

libcoq-stdlib-p29e7:amd64
libcoq-quickchick 2.0.4-1 

amd64

libcoq-ext-lib-zbk64:amd64
libcoq-reglang 1.2.1-4+b7 

amd64

libcoq-stdlib-p29e7:amd64
libcoq-relation-algebra 1.7.11-1 

amd64

libcoq-aac-tactics-dy4q4:amd64
libcpu-ocaml 2.0.0-5+b2 

amd64

libstdlib-ocaml-7l663:amd64
libcpu-ocaml-dev 2.0.0-5+b2 

amd64

libstdlib-ocaml-7l663:amd64
libcreal-ocaml-dev 0.7-8 

amd64

libstdlib-ocaml-dev-7l663:amd64
libcrowbar-ocaml 0.2.1-6+b1 

amd64

libstdlib-ocaml-7l663:amd64
libcrowbar-ocaml-dev 0.2.1-6+b1 

amd64

libstdlib-ocaml-7l663:amd64
libcrunch-ocaml 3.3.1-1+b3 

amd64

libstdlib-ocaml-7l663:amd64
libcrunch-ocaml-dev 3.3.1-1+b3 

amd64

libstdlib-ocaml-7l663:amd64
libcrypt-argon2-perl 0.029-1+b1 

amd64

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

amd64

libstdlib-ocaml-7l663:amd64
libcryptokit-ocaml-dev 1.20.1-1+b2 

amd64

libstdlib-ocaml-7l663:amd64
libcrypt-openssl-pkcs10-perl 0.26-1+b1 

amd64

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

amd64

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

amd64

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

amd64

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

amd64

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

amd64

libgtk-3-0t64:amd64 (>= 3.0.0)
libcsexp-ocaml 1.5.2-4+b2 

amd64

libstdlib-ocaml-7l663:amd64
libcsexp-ocaml-dev 1.5.2-4+b2 

amd64

libstdlib-ocaml-7l663:amd64
libcstruct-ocaml 6.2.0-3+b3 

amd64

libparsexp-ocaml-j1i50:amd64
libcstruct-ocaml-dev 6.2.0-3+b3 

amd64

libcompiler-libs-ocaml-dev-y3249:amd64
libcsv-ocaml-dev 2.4-3+b2 

amd64

libstdlib-ocaml-dev-7l663:amd64
libctypes-ocaml 0.23.0-1 

amd64

libstdlib-ocaml-7l663:amd64
libctypes-ocaml-dev 0.23.0-1 

amd64

libstdlib-ocaml-7l663:amd64
libcudf-ocaml-dev 0.10-5+b1 

amd64

libstdlib-ocaml-dev-7l663:amd64
libcurl-ocaml 0.9.2-3+b12 

amd64

libstdlib-ocaml-7l663:amd64
libcurl-ocaml-dev 0.9.2-3+b12 

amd64

libstdlib-ocaml-7l663:amd64
libcurses-ocaml 1.0.11-4+b2 

amd64

libstdlib-ocaml-7l663:amd64
libcurses-ocaml-dev 1.0.11-4+b2 

amd64

libstdlib-ocaml-7l663:amd64
libcv-bridge2d 1.16.2+ds-3+b3 

amd64

libgdal35:amd64 (>= 3.9.0)
libcv-bridge-dev 1.16.2+ds-3+b3 

amd64

libgdal35:amd64 (>= 3.9.0)