src:coq

Date: 2024-07-21 05:00:04

Debian testing (main only)

packagesummary
libcoq-core-ocaml-dev (= 8.19.1+dfsg-2)unsatisfied dependency on libgcc-s1
coq (= 8.19.1+dfsg-2)unsatisfied dependency on libgcc-s1
coqide (= 8.19.1+dfsg-2)unsatisfied dependency on libgcc-s1
libcoq-stdlib (= 8.19.1+dfsg-2)unsatisfied dependency on libgcc-s1
libcoq-core-ocaml (= 8.19.1+dfsg-2)unsatisfied dependency on libgcc-s1

Build-dependencies unstable (main only)

packagesummary
coq (= 8.19.1+dfsg-2)unsatisfied dependency on ocaml-native-compilers

Build-dependencies testing (main only)

packagesummary
coq (= 8.19.1+dfsg-2)unsatisfied dependency on libgcc-s1
coq (= 8.19.1+dfsg-2)unsatisfied dependency on ocaml-native-compilers

Crossbuild-dependencies unstable on amd64 (main only)

packagesummary
coq (= 8.19.1+dfsg-2)unsatisfied dependency on ocaml-native-compilers | ocaml-native-compilers
coq (= 8.19.1+dfsg-2)conflict between gcc:$host and gcc:$build