Package: paramcoq
Scenario: cross_unstable_main_amd64Date: 2025-01-23 05:00:01
Summary: conflict between gcc:$host and gcc:$build
src:paramcoq (1.1.3+coq8.20-1)
[PTS]
[ctrl]
| |
↓ libcoq-core-ocaml-dev libcoq-core-ocaml-dev (8.20.0+dfsg-1) [PTS] [ctrl] ↓ ocaml-5.2.0 | ocaml-5.2.0 ocaml (5.2.0-3) [PTS] [ctrl] ↓ gcc |
↓ build-essential:amd64 build-essential (12.12) [PTS] [ctrl] ↓ gcc:amd64 (>= 4:14.2) |
gcc:$host (4:14.2.0-1)
[PTS]
[ctrl]
|
gcc:$build (4:14.2.0-1)
[PTS]
[ctrl]
|
CONFLICT |
Architectures: armel, armhf, mips64el
Summary: unsatisfied dependency on coq
src:paramcoq (1.1.3+coq8.20-1)
[PTS]
[ctrl]
↓ coq MISSING |
Summary: conflict between libc6:$build and libc6:$host
src:paramcoq (1.1.3+coq8.20-1)
[PTS]
[ctrl]
| |
↓ build-essential:amd64 build-essential (12.12) [PTS] [ctrl] ↓ libc6-dev:amd64 | libc-dev:amd64 | libc-dev:amd64 libc6-dev (2.40-6) [PTS] [ctrl] ↓ libc6:amd64 (= 2.40-6) |
↓ coq coq (8.20.0+dfsg-1) [PTS] [ctrl] ↓ libc6 (>= 2.38) |
libc6:$build (2.40-6)
[PTS]
[ctrl]
|
libc6:$host (2.40-5)
[PTS]
[ctrl]
|
CONFLICT |