src:coqprime
Date: 2025-01-29 05:00:02
Debian unstable (main only)
| package | summary |
|---|---|
| coqprime-tools (= 8.20.1-1) | unsatisfied dependency on libcoq-stdlib-pmt02 |
| libcoq-coqprime (= 8.20.1-1) | unsatisfied dependency on libcoq-stdlib-pmt02 |
| libcoq-coqprime (= 8.20.1-1) | unsatisfied dependency on libcoq-stdlib-q99p3 |
| libcoq-coqprime (= 8.20.1-1) | unsatisfied dependency on libcoq-stdlib-z3q11 |
| libcoq-coqprime (= 8.20.1-1) | unsatisfied dependency on libcoq-stdlib-p29e7 |
| coqprime-tools (= 8.20.1-1) | unsatisfied dependency on libcoq-stdlib-p29e7 |
| coqprime-tools (= 8.20.1-1) | unsatisfied dependency on libcoq-stdlib-z3q11 |
| coqprime-tools (= 8.20.1-1) | unsatisfied dependency on libcoq-stdlib-q99p3 |
Build-dependencies unstable (main only)
| package | summary |
|---|---|
| coqprime (= 8.20.1-1) | unsatisfied dependency on libcoq-stdlib-p29e7 |
| coqprime (= 8.20.1-1) | unsatisfied dependency on libcoq-stdlib-z3q11 |
| coqprime (= 8.20.1-1) | unsatisfied dependency on libcoq-stdlib-pmt02 |
| coqprime (= 8.20.1-1) | unsatisfied dependency on coq |
| coqprime (= 8.20.1-1) | unsatisfied dependency on libfindlib-ocaml-7zo87 |
| coqprime (= 8.20.1-1) | unsatisfied dependency on libcoq-stdlib-q99p3 |
Build-dependencies testing (main only)
| package | summary |
|---|---|
| coqprime (= 8.20.1-1) | unsatisfied dependency on coq |
Crossbuild-dependencies unstable on amd64 (main only)
| package | summary |
|---|---|
| coqprime (= 8.20.1-1) | unsatisfied dependency on libcoq-stdlib-z3q11 |
| coqprime (= 8.20.1-1) | unsatisfied dependency on libcoq-stdlib-pmt02 |
| coqprime (= 8.20.1-1) | unsatisfied dependency on libfindlib-ocaml-7zo87 |
| coqprime (= 8.20.1-1) | unsatisfied dependency on coq |