Package: why3
Scenario: cross_unstable_main_amd64Date: 2024-11-23 05:00:02
Architectures: arm64, armel, armhf, ppc64el, s390x
Summary: conflict between gcc:$host and gcc:$build
|
src:why3 (1.7.2-2)
[PTS]
[ctrl]
| |
|
↓ ocaml 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 | |
Summary: conflict between libcap2:$build and libcap2:$host
|
src:why3 (1.7.2-2)
[PTS]
[ctrl]
| |
|
↓ liblablgtksourceview3-ocaml-dev liblablgtksourceview3-ocaml-dev (3.1.5-1+b1) [PTS] [ctrl] ↓ liblablgtksourceview3-ocaml-mr7b3 | liblablgtksourceview3-ocaml-mr7b3 liblablgtksourceview3-ocaml (3.1.5-1+b1) [PTS] [ctrl] ↓ libgtk-3-0t64 (>= 3.0.0) libgtk-3-0t64 (3.24.43-4) [PTS] [ctrl] ↓ libcolord2 (>= 0.1.10) libcolord2 (1.4.7-1+b2) [PTS] [ctrl] ↓ libudev1 (>= 196) libudev1 (257~rc2-3) [PTS] [ctrl] ↓ libcap2 (>= 1:2.10) | |
|
libcap2:$build (1:2.66-5+b1)
[PTS]
[ctrl]
|
libcap2:$host (1:2.66-5)
[PTS]
[ctrl]
|
| CONFLICT | |