Package: frama-c

Scenario: cross_unstable_main_amd64
Date: 2025-10-19 05:00:01

Architectures: arm64, armhf, mips64el, ppc64el, 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-4) [PTS] [ctrl]
gcc:$build (4:15.2.0-4) [PTS] [ctrl]
CONFLICT

Architectures: armel

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

src:frama-c (20220511-manganese-5) [PTS] [ctrl]
   ↓ liblablgtksourceview3-ocaml-dev
liblablgtksourceview3-ocaml-dev (3.1.5-1+b3) [PTS] [ctrl]
   ↓ liblablgtksourceview3-ocaml-5g7c1 | liblablgtksourceview3-ocaml-5g7c1
liblablgtksourceview3-ocaml (3.1.5-1+b3) [PTS] [ctrl]
   ↓ libglib2.0-0t64 (>= 2.16.0)
libglib2.0-0t64 (2.86.0-5) [PTS] [ctrl]
   ↓ libselinux1 (>= 3.1~)
libselinux1:$build (3.9-1) [PTS] [ctrl]
libselinux1:$host (3.8.1-1) [PTS] [ctrl]
CONFLICT