Package: haskell-what4

Scenario: src_unstable_main
Date: 2025-09-09 05:00:02

Summary: unsatisfied dependency on libghc-hashtables-dev-1.3.1-c6196

src:haskell-what4 (1.5.1-4) [PTS] [ctrl]
   ↓ libghc-bv-sized-dev (>= 1.0.0)
libghc-bv-sized-dev (1.0.5-2+b2) [PTS] [ctrl]
   ↓ libghc-parameterized-utils-dev-2.1.9.0-f38a3 | libghc-parameterized-utils-dev-2.1.9.0-f38a3
libghc-parameterized-utils-dev (2.1.9.0-1) [PTS] [ctrl]
   ↓ libghc-hashtables-dev-1.3.1-c6196
MISSING

Architectures: arm64

Summary: unsatisfied dependency on libghc-hashtables-dev-1.3.1-433b3

src:haskell-what4 (1.5.1-4) [PTS] [ctrl]
   ↓ libghc-bv-sized-dev (>= 1.0.0)
libghc-bv-sized-dev (1.0.5-2+b2) [PTS] [ctrl]
   ↓ libghc-parameterized-utils-dev-2.1.9.0-49aa6 | libghc-parameterized-utils-dev-2.1.9.0-49aa6
libghc-parameterized-utils-dev (2.1.9.0-1) [PTS] [ctrl]
   ↓ libghc-hashtables-dev-1.3.1-433b3
MISSING

Architectures: armel

Summary: unsatisfied dependency on libghc-hashtables-dev-1.3.1-fa97c

src:haskell-what4 (1.5.1-4) [PTS] [ctrl]
   ↓ libghc-bv-sized-dev (>= 1.0.0)
libghc-bv-sized-dev (1.0.5-2+b3) [PTS] [ctrl]
   ↓ libghc-parameterized-utils-dev-2.1.9.0-9f81c | libghc-parameterized-utils-dev-2.1.9.0-9f81c
libghc-parameterized-utils-dev (2.1.9.0-1) [PTS] [ctrl]
   ↓ libghc-hashtables-dev-1.3.1-fa97c
MISSING

Architectures: armhf

Summary: unsatisfied dependency on libghc-hashtables-dev-1.3.1-fa97c

src:haskell-what4 (1.5.1-4) [PTS] [ctrl]
   ↓ libghc-bv-sized-dev (>= 1.0.0)
libghc-bv-sized-dev (1.0.5-2+b3) [PTS] [ctrl]
   ↓ libghc-parameterized-utils-dev-2.1.9.0-76826 | libghc-parameterized-utils-dev-2.1.9.0-76826
libghc-parameterized-utils-dev (2.1.9.0-1) [PTS] [ctrl]
   ↓ libghc-hashtables-dev-1.3.1-fa97c
MISSING

Architectures: i386

Summary: unsatisfied dependency on libghc-hashtables-dev-1.3.1-a12ad

src:haskell-what4 (1.5.1-4) [PTS] [ctrl]
   ↓ libghc-bv-sized-dev (>= 1.0.0)
libghc-bv-sized-dev (1.0.5-2+b3) [PTS] [ctrl]
   ↓ libghc-parameterized-utils-dev-2.1.9.0-94cd8 | libghc-parameterized-utils-dev-2.1.9.0-94cd8
libghc-parameterized-utils-dev (2.1.9.0-1) [PTS] [ctrl]
   ↓ libghc-hashtables-dev-1.3.1-a12ad
MISSING

Architectures: mips64el

Summary: unsatisfied dependency on libghc-hashtables-dev-1.3.1-e27e6

src:haskell-what4 (1.5.1-4) [PTS] [ctrl]
   ↓ libghc-bv-sized-dev (>= 1.0.0)
libghc-bv-sized-dev (1.0.5-2+b3) [PTS] [ctrl]
   ↓ libghc-parameterized-utils-dev-2.1.9.0-df767 | libghc-parameterized-utils-dev-2.1.9.0-df767
libghc-parameterized-utils-dev (2.1.9.0-1) [PTS] [ctrl]
   ↓ libghc-hashtables-dev-1.3.1-e27e6
MISSING

Architectures: ppc64el

Summary: unsatisfied dependency on libghc-hashtables-dev-1.3.1-b3672

src:haskell-what4 (1.5.1-4) [PTS] [ctrl]
   ↓ libghc-bv-sized-dev (>= 1.0.0)
libghc-bv-sized-dev (1.0.5-2+b2) [PTS] [ctrl]
   ↓ libghc-parameterized-utils-dev-2.1.9.0-6cc19 | libghc-parameterized-utils-dev-2.1.9.0-6cc19
libghc-parameterized-utils-dev (2.1.9.0-1) [PTS] [ctrl]
   ↓ libghc-hashtables-dev-1.3.1-b3672
MISSING

Architectures: riscv64

Summary: unsatisfied dependency on libghc-hashtables-dev-1.3.1-c627d

src:haskell-what4 (1.5.1-4) [PTS] [ctrl]
   ↓ libghc-bv-sized-dev (>= 1.0.0)
libghc-bv-sized-dev (1.0.5-2+b2) [PTS] [ctrl]
   ↓ libghc-parameterized-utils-dev-2.1.9.0-5e5c9 | libghc-parameterized-utils-dev-2.1.9.0-5e5c9
libghc-parameterized-utils-dev (2.1.9.0-1) [PTS] [ctrl]
   ↓ libghc-hashtables-dev-1.3.1-c627d
MISSING

Architectures: s390x

Summary: unsatisfied dependency on libghc-hashtables-dev-1.3.1-4344e

src:haskell-what4 (1.5.1-4) [PTS] [ctrl]
   ↓ libghc-bv-sized-dev (>= 1.0.0)
libghc-bv-sized-dev (1.0.5-2+b2) [PTS] [ctrl]
   ↓ libghc-parameterized-utils-dev-2.1.9.0-875c2 | libghc-parameterized-utils-dev-2.1.9.0-875c2
libghc-parameterized-utils-dev (2.1.9.0-1) [PTS] [ctrl]
   ↓ libghc-hashtables-dev-1.3.1-4344e
MISSING