Package: coq

Scenario: cross_unstable_main_amd64
Date: 2026-01-18 05:00:01

Architectures: arm64, ppc64el

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

src:coq (8.20.1+dfsg-1) [PTS] [ctrl]
   ↓ ocaml
ocaml (5.4.0-2) [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 libpcre2-8-0:$build and libpcre2-8-0:$host

src:coq (8.20.1+dfsg-1) [PTS] [ctrl]
   ↓ liblablgtksourceview3-ocaml-dev (>= 3.0~beta8)
liblablgtksourceview3-ocaml-dev (3.1.5-1+b4) [PTS] [ctrl]
   ↓ liblablgtksourceview3-ocaml-qpkq9 | liblablgtksourceview3-ocaml-qpkq9
liblablgtksourceview3-ocaml (3.1.5-1+b4) [PTS] [ctrl]
   ↓ libglib2.0-0t64 (>= 2.16.0)
libglib2.0-0t64 (2.86.3-4) [PTS] [ctrl]
   ↓ libpcre2-8-0 (>= 10.22)
libpcre2-8-0:$build (10.46-1+b1) [PTS] [ctrl]
libpcre2-8-0:$host (10.46-1) [PTS] [ctrl]
CONFLICT