Package: coq

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

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: unsatisfied dependency on python3-packaging

src:coq (8.20.1+dfsg-1) [PTS] [ctrl]
   ↓ liblablgtk3-ocaml-dev
liblablgtk3-ocaml-dev (3.1.5-1+b3) [PTS] [ctrl]
   ↓ libgtk-3-dev
libgtk-3-dev (3.24.51-2) [PTS] [ctrl]
   ↓ libglib2.0-dev (>= 2.57.2)
libglib2.0-dev (2.86.2-1) [PTS] [ctrl]
   ↓ libglib2.0-dev-bin (= 2.86.2-1)
libglib2.0-dev-bin (2.86.2-1) [PTS] [ctrl]
   ↓ libgio-2.0-dev-bin (= 2.86.2-1)
libgio-2.0-dev-bin (2.86.2-1) [PTS] [ctrl]
   ↓ python3-packaging
MISSING

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