src:coq

Date: 2022-09-28 05:00:04

Debian unstable (main only)

packagesummary
coq-theories (= 8.15.0+dfsg-1+b1)unsatisfied dependency on coq-8.15.0+4.13.1
libcoq-ocaml-dev (= 8.15.0+dfsg-1+b1)unsatisfied dependency on coq (= 8.15.0+dfsg-1+b1)

Build-dependencies unstable (main only)

packagesummary
coq (= 8.16.0+dfsg-1)unsatisfied dependency on ocaml-native-compilers

Build-dependencies testing (main only)

packagesummary
coq (= 8.16.0+dfsg-1)unsatisfied dependency on ocaml-native-compilers

Crossbuild-dependencies unstable on amd64 (main only)

packagesummary
coq (= 8.16.0+dfsg-1)unsatisfied dependency on dh-ocaml (>= 0.9.5~)