haskell-copilot-theorem - Debian Package Tracker

general

source: haskell-copilot-theorem (main)
version: 4.6.1-1
maintainer: Debian Haskell Group (archive) (DMD)
uploaders: Scott Talbert [DMD]
arch: all any
std-ver: 4.7.3
VCS: Git (Browse, QA)

versions [more versions can be listed by madison] [old versions available from snapshot.debian.org]

[pool directory]

oldstable: 3.13-1
stable: 4.3-1
testing: 4.6-2
unstable: 4.6.1-1

versioned links

3.13-1: [.dsc, use dget on this link to retrieve source package] [changelog] [copyright] [rules] [control]
4.3-1: [.dsc, use dget on this link to retrieve source package] [changelog] [copyright] [rules] [control]
4.6-2: [.dsc, use dget on this link to retrieve source package] [changelog] [copyright] [rules] [control]
4.6.1-1: [.dsc, use dget on this link to retrieve source package] [changelog] [copyright] [rules] [control]

binaries

libghc-copilot-theorem-dev
libghc-copilot-theorem-doc
libghc-copilot-theorem-prof

action needed

lintian reports 14 errors and 1 warning high

Lintian reports 14 errors and 1 warning about this package. You should make the package lintian clean getting rid of them.

Created: 2026-03-01 Last update: 2026-03-01 00:00

Failed to analyze the VCS repository. Please troubleshoot and fix the issue. high

vcswatch reports that there is an error with this package's VCS, or the debian/changelog file inside it. Please check the error shown below and try to fix it. You might have to update the VCS URL in the debian/control file to point to the correct repository.

Error running git -c gc.auto=200 -c gc.autoPackLimit=4 fetch --depth 50 --prune --force origin *:*

Created: 2026-01-12 Last update: 2026-02-27 11:00

1 open merge request in Salsa normal

There is 1 open merge request for this package on Salsa. You should consider reviewing and/or merging these merge requests.

Created: 2025-08-19 Last update: 2025-09-11 19:33

testing migrations

excuses:
- Migrates after: haskell-copilot, haskell-copilot-core, haskell-copilot-language, haskell-copilot-prettyprinter
- Migration status for haskell-copilot-theorem (4.6-2 to 4.6.1-1): Waiting for test results or another package, or too young (no action required now - check later)
- Issues preventing migration:
- ∙ ∙ Too young, only 2 of 5 days old
- ∙ ∙ Build-Depends(-Arch): haskell-copilot-theorem haskell-copilot-core
- ∙ ∙ Build-Depends(-Arch): haskell-copilot-theorem haskell-copilot-prettyprinter
- ∙ ∙ Depends: haskell-copilot-theorem haskell-copilot-core
- ∙ ∙ Depends: haskell-copilot-theorem haskell-copilot-prettyprinter
- ∙ ∙ Implicit dependency: haskell-copilot-theorem haskell-copilot
- ∙ ∙ Implicit dependency: haskell-copilot-theorem haskell-copilot-language
- Additional info (not blocking):
- ∙ ∙ Piuparts tested OK - https://piuparts.debian.org/sid/source/h/haskell-copilot-theorem.html
- ∙ ∙ Not reproducible on amd64 (not a regression): libghc-copilot-theorem-dev, libghc-copilot-theorem-prof
- ∙ ∙ Not reproducible on arm64 (not a regression): libghc-copilot-theorem-dev
- ∙ ∙ Not reproducible on armhf (not a regression): libghc-copilot-theorem-dev
- ∙ ∙ Not reproducible on i386 (not a regression): libghc-copilot-theorem-dev, libghc-copilot-theorem-prof
- ∙ ∙ Not reproducible on ppc64el (not a regression): libghc-copilot-theorem-dev, libghc-copilot-theorem-prof
- Not considered

news

[rss feed]

[2026-02-27] haskell-copilot-theorem 4.6-2 MIGRATED to testing (Debian testing watch)
[2026-02-27] Accepted haskell-copilot-theorem 4.6.1-1 (source) into unstable (Scott Talbert)
[2026-02-12] Accepted haskell-copilot-theorem 4.6-2 (source) into unstable (Scott Talbert)
[2025-11-16] haskell-copilot-theorem 4.6-1 MIGRATED to testing (Debian testing watch)
[2025-11-11] Accepted haskell-copilot-theorem 4.6-1 (source) into unstable (Scott Talbert)
[2025-08-17] haskell-copilot-theorem 4.5-1 MIGRATED to testing (Debian testing watch)
[2025-08-12] Accepted haskell-copilot-theorem 4.5-1 (source) into unstable (Scott Talbert)
[2025-04-04] haskell-copilot-theorem 4.3-1 MIGRATED to testing (Debian testing watch)
[2025-03-29] Accepted haskell-copilot-theorem 4.3-1 (source) into unstable (Scott Talbert)
[2025-01-28] haskell-copilot-theorem 4.2-1 MIGRATED to testing (Debian testing watch)
[2025-01-23] Accepted haskell-copilot-theorem 4.2-1 (source) into unstable (Scott Talbert)
[2024-10-19] haskell-copilot-theorem 4.0-2 MIGRATED to testing (Debian testing watch)
[2024-09-22] Accepted haskell-copilot-theorem 4.0-2 (source) into unstable (Scott Talbert)
[2024-09-16] haskell-copilot-theorem 4.0-1 MIGRATED to testing (Debian testing watch)
[2024-09-11] Accepted haskell-copilot-theorem 4.0-1 (source) into unstable (Scott Talbert)
[2024-07-14] haskell-copilot-theorem 3.19.1-1 MIGRATED to testing (Debian testing watch)
[2024-07-09] Accepted haskell-copilot-theorem 3.19.1-1 (source) into unstable (Scott Talbert)
[2024-01-15] haskell-copilot-theorem 3.18.1-2 MIGRATED to testing (Debian testing watch)
[2024-01-09] Accepted haskell-copilot-theorem 3.18.1-2 (source) into unstable (Scott Talbert)
[2024-01-09] Accepted haskell-copilot-theorem 3.18.1-1 (source) into unstable (Scott Talbert)
[2023-12-16] haskell-copilot-theorem 3.17-1 MIGRATED to testing (Debian testing watch)
[2023-12-13] haskell-copilot-theorem REMOVED from testing (Debian testing watch)
[2023-11-14] Accepted haskell-copilot-theorem 3.17-1 (source) into unstable (Scott Talbert)
[2023-11-05] Accepted haskell-copilot-theorem 3.16.1-1 (source) into unstable (Ilias Tsitsimpis)
[2023-01-15] haskell-copilot-theorem 3.13-1 MIGRATED to testing (Debian testing watch)
[2023-01-10] Accepted haskell-copilot-theorem 3.13-1 (source) into unstable (Scott Talbert)
[2022-12-04] haskell-copilot-theorem 3.12-1 MIGRATED to testing (Debian testing watch)
[2022-11-09] Accepted haskell-copilot-theorem 3.12-1 (source) into unstable (Scott Talbert)
[2022-10-17] haskell-copilot-theorem 3.11-1 MIGRATED to testing (Debian testing watch)
[2022-10-07] Accepted haskell-copilot-theorem 3.11-1 (source) into unstable (Scott Talbert)

bugs [bug history graph]

all: 0

links

homepage
lintian (14, 1)
buildd: logs, cross
popcon
browse source code
edit tags
other distros

ubuntu

[Information about Ubuntu for Debian Developers]

version: 4.5-1build1