Package: coq

Scenario: cross_unstable_main_amd64
Date: 2025-12-11 05:00:02

Architectures: arm64, ppc64el

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

src:coq (8.20.1+dfsg-1) [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: armhf

Summary: unsatisfied dependency on ocaml-native-compilers | ocaml-native-compilers

src:coq (8.20.1+dfsg-1) [PTS] [ctrl]
   ↓ ocaml-native-compilers | ocaml-native-compilers
MISSING

Architectures: s390x

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

Conjunction of multiple reasons:

  1. src:coq (8.20.1+dfsg-1) [PTS] [ctrl]
       ↓ liblablgtksourceview3-ocaml-dev (>= 3.0~beta8)
    liblablgtksourceview3-ocaml-dev (3.1.5-1+b3) [PTS] [ctrl]
       ↓ liblablgtksourceview3-ocaml-wwfo9 | liblablgtksourceview3-ocaml-wwfo9
    liblablgtksourceview3-ocaml (3.1.5-1+b3) [PTS] [ctrl]
       ↓ libgtk-3-0t64 (>= 3.0.0)
    libgtk-3-0t64 (3.24.51-2) [PTS] [ctrl]
       ↓ libatk-bridge2.0-0t64 (>= 2.15.1)
    libatk-bridge2.0-0t64 (2.58.2-1) [PTS] [ctrl]
       ↓ libdbus-1-3 (>= 1.10)
    libdbus-1-3 (1.16.2-2) [PTS] [ctrl]
       ↓ libsystemd0
    libsystemd0:$build (259~rc3-1) [PTS] [ctrl]
    		libsystemd0:$host (259~rc2-1) [PTS] [ctrl]
    CONFLICT
  2. src:coq (8.20.1+dfsg-1) [PTS] [ctrl]
       ↓ liblablgtksourceview3-ocaml-dev (>= 3.0~beta8)
    liblablgtksourceview3-ocaml-dev (3.1.5-1+b3) [PTS] [ctrl]
       ↓ liblablgtksourceview3-ocaml-wwfo9 | liblablgtksourceview3-ocaml-wwfo9
    liblablgtksourceview3-ocaml (3.1.5-1+b3) [PTS] [ctrl]
       ↓ libgtk-3-0t64 (>= 3.0.0)
    libgtk-3-0t64 (3.24.51-2) [PTS] [ctrl]
       ↓ libcolord2 (>= 0.1.10)
    libcolord2 (1.4.8-2) [PTS] [ctrl]
       ↓ libudev1 (>= 196)
    libudev1:$build (259~rc3-1) [PTS] [ctrl]
    		libudev1:$host (259~rc2-1) [PTS] [ctrl]
    CONFLICT