src:coq-corn
Date: 2026-10-08 05:00:01
Debian unstable (main only)
| package | summary |
|---|---|
| libcoq-corn (= 8.20.0-1+b14) | unsatisfied dependency on libcoq-bignums-93v34 |
| libcoq-corn (= 8.20.0-1+b12) | unsatisfied dependency on libcoq-bignums-e87f9 |
| libcoq-corn (= 8.20.0-1+b10) | unsatisfied dependency on libcoq-bignums-gozd9 |
| libcoq-corn (= 8.20.0-1+b14) | unsatisfied dependency on libcoq-bignums-iri34 |
| libcoq-corn (= 8.20.0-1+b13) | unsatisfied dependency on libcoq-bignums-2inf9 |
Build-dependencies unstable (main only)
| package | summary |
|---|---|
| coq-corn (= 8.20.0-1) | unsatisfied dependency on libcoq-bignums |
Crossbuild-dependencies unstable on amd64 (main only)
| package | summary |
|---|---|
| coq-corn (= 8.20.0-1) | conflict between gcc:$host and gcc:$build |
| coq-corn (= 8.20.0-1) | unsatisfied dependency on libcoq-bignums |