Package: frama-c

Scenario: cross_unstable_main_amd64
Date: 2025-09-06 05:00:01

Architectures: arm64, armel, armhf, mips64el, s390x

Summary: conflict between gcc:$host and gcc:$build

src:frama-c (20220511-manganese-5) [PTS] [ctrl]

   ↓ ocaml
ocaml (5.3.0-3) [PTS] [ctrl]
   ↓ gcc
   ↓ build-essential:amd64
build-essential (12.12) [PTS] [ctrl]
   ↓ gcc:amd64 (>= 4:14.2)

gcc:$host (4:15.2.0-1) [PTS] [ctrl]
gcc:$build (4:15.2.0-1) [PTS] [ctrl]

CONFLICT

Architectures: ppc64el

Summary: conflict between libsystemd0:$build and libsystemd0:$host; conflict between libudev1:$build and libudev1:$host

Conjunction of multiple reasons:

src:frama-c (20220511-manganese-5) [PTS] [ctrl]
	↓ liblablgtksourceview3-ocaml-dev liblablgtksourceview3-ocaml-dev (3.1.5-1+b3) [PTS] [ctrl] ↓ liblablgtksourceview3-ocaml-uj7m5 \| liblablgtksourceview3-ocaml-uj7m5 liblablgtksourceview3-ocaml (3.1.5-1+b3) [PTS] [ctrl] ↓ libgtk-3-0t64 (>= 3.0.0) libgtk-3-0t64 (3.24.50-2) [PTS] [ctrl] ↓ libcolord2 (>= 0.1.10) libcolord2 (1.4.7-3) [PTS] [ctrl] ↓ libudev1 (>= 196)
libudev1:$build (258~rc4-1) [PTS] [ctrl]	libudev1:$host (258~rc3-1) [PTS] [ctrl]
CONFLICT

src:frama-c (20220511-manganese-5) [PTS] [ctrl]
	↓ liblablgtksourceview3-ocaml-dev liblablgtksourceview3-ocaml-dev (3.1.5-1+b3) [PTS] [ctrl] ↓ liblablgtksourceview3-ocaml-uj7m5 \| liblablgtksourceview3-ocaml-uj7m5 liblablgtksourceview3-ocaml (3.1.5-1+b3) [PTS] [ctrl] ↓ libgtk-3-0t64 (>= 3.0.0) libgtk-3-0t64 (3.24.50-2) [PTS] [ctrl] ↓ libatk-bridge2.0-0t64 (>= 2.15.1) libatk-bridge2.0-0t64 (2.57.2-1) [PTS] [ctrl] ↓ libdbus-1-3 (>= 1.10) libdbus-1-3 (1.16.2-2) [PTS] [ctrl] ↓ libsystemd0
libsystemd0:$build (258~rc4-1) [PTS] [ctrl]	libsystemd0:$host (258~rc3-1) [PTS] [ctrl]
CONFLICT

src:frama-c (20220511-manganese-5) [PTS] [ctrl]
↓ ocaml ocaml (5.3.0-3) [PTS] [ctrl] ↓ gcc	↓ build-essential:amd64 build-essential (12.12) [PTS] [ctrl] ↓ gcc:amd64 (>= 4:14.2)
gcc:$host (4:15.2.0-1) [PTS] [ctrl]	gcc:$build (4:15.2.0-1) [PTS] [ctrl]
CONFLICT