Package: libghc-copilot-language-prof
Scenario: unstable_mainDate: 2025-09-12 05:00:01
Summary: unsatisfied dependency on libghc-copilot-theorem-dev-4.5-b9bde
libghc-copilot-language-prof (4.5-1)
[PTS]
[ctrl]
↓ libghc-copilot-language-dev (= 4.5-1) libghc-copilot-language-dev (4.5-1) [PTS] [ctrl] ↓ libghc-copilot-theorem-dev-4.5-b9bde MISSING |
Summary: unsatisfied dependency on libghc-copilot-theorem-dev-4.5-3f79f
libghc-copilot-language-prof (4.5-1)
[PTS]
[ctrl]
↓ libghc-copilot-language-dev (= 4.5-1) libghc-copilot-language-dev (4.5-1) [PTS] [ctrl] ↓ libghc-copilot-theorem-dev-4.5-3f79f MISSING |
Summary: unsatisfied dependency on libghc-copilot-theorem-dev-4.5-c409e
libghc-copilot-language-prof (4.5-1)
[PTS]
[ctrl]
↓ libghc-copilot-language-dev (= 4.5-1) libghc-copilot-language-dev (4.5-1) [PTS] [ctrl] ↓ libghc-copilot-theorem-dev-4.5-c409e MISSING |
Summary: unsatisfied dependency on libghc-copilot-theorem-dev-4.5-0bf91
libghc-copilot-language-prof (4.5-1)
[PTS]
[ctrl]
↓ libghc-copilot-language-dev (= 4.5-1) libghc-copilot-language-dev (4.5-1) [PTS] [ctrl] ↓ libghc-copilot-theorem-dev-4.5-0bf91 MISSING |
Summary: unsatisfied dependency on libghc-copilot-theorem-dev-4.5-fac1d
libghc-copilot-language-prof (4.5-1)
[PTS]
[ctrl]
↓ libghc-copilot-language-dev (= 4.5-1) libghc-copilot-language-dev (4.5-1) [PTS] [ctrl] ↓ libghc-copilot-theorem-dev-4.5-fac1d MISSING |
Summary: unsatisfied dependency on libghc-copilot-theorem-dev-4.5-9bb25
libghc-copilot-language-prof (4.5-1)
[PTS]
[ctrl]
↓ libghc-copilot-language-dev (= 4.5-1) libghc-copilot-language-dev (4.5-1) [PTS] [ctrl] ↓ libghc-copilot-theorem-dev-4.5-9bb25 MISSING |
Summary: unsatisfied dependency on libghc-copilot-theorem-dev-4.5-b6803
libghc-copilot-language-prof (4.5-1)
[PTS]
[ctrl]
↓ libghc-copilot-language-dev (= 4.5-1) libghc-copilot-language-dev (4.5-1) [PTS] [ctrl] ↓ libghc-copilot-theorem-dev-4.5-b6803 MISSING |
Summary: unsatisfied dependency on libghc-copilot-theorem-dev-4.5-7d2ae
libghc-copilot-language-prof (4.5-1)
[PTS]
[ctrl]
↓ libghc-copilot-language-dev (= 4.5-1) libghc-copilot-language-dev (4.5-1) [PTS] [ctrl] ↓ libghc-copilot-theorem-dev-4.5-7d2ae MISSING |
Summary: unsatisfied dependency on libghc-copilot-theorem-dev-4.5-82277
libghc-copilot-language-prof (4.5-1)
[PTS]
[ctrl]
↓ libghc-copilot-language-dev (= 4.5-1) libghc-copilot-language-dev (4.5-1) [PTS] [ctrl] ↓ libghc-copilot-theorem-dev-4.5-82277 MISSING |