Package: coq-iris

Scenario: src_unstable_main
Date: 2025-12-22 05:00:01

Architectures: armhf, i386

Summary: unsatisfied dependency on coq (>= 8.18)

src:coq-iris (4.3.0-1) [PTS] [ctrl]
   ↓ coq (>= 8.18)
MISSING

Architectures: loong64

Summary: unsatisfied dependency on libunicode-linebreak-perl

src:coq-iris (4.3.0-1) [PTS] [ctrl]
   ↓ biber
biber (2.21-2) [PTS] [ctrl]
   ↓ libunicode-linebreak-perl
MISSING