haskell-copilot-theorem (4.5-1)
[PTS] [DDPO]
OK: VCS matches the version in the archive
- Git: https://salsa.debian.org/haskell-team/DHG_packages.git [p/haskell-copilot-theorem]
-
- Branch: master
- Path: debian/changelog
- Repo size: 474910720
- Browser: https://salsa.debian.org/haskell-team/DHG_packages/tree/master/p/haskell-copilot-theorem
- Last scan: 2025-11-08 06:38:12+00
- Next scan: 2025-11-14 23:48:00+00
- Merge requests: 1
- Debian changelog in Git:
haskell-copilot-theorem (4.5-1) unstable; urgency=medium
* New upstream release
-- Scott Talbert <swt@techie.net> Mon, 11 Aug 2025 19:38:07 -0400
- This branch is 9 commits ahead of tag cabal-debian_v5.3.0-1
- Git log:
commit f583b26b375df6c4cd32eab7e5ef244975210d11
Author: Nicholas D Steeves <sten@debian.org>
Date: Thu Nov 6 20:08:12 2025 -0500
refinalise and release haskell-encoding 0.10.2-1 to unstable
commit cbaa81b8bda32cc849ab8397c4c73bea43c70273
Author: Nicholas D Steeves <sten@debian.org>
Date: Wed Nov 5 18:18:09 2025 -0500
haskell-encoding: override custom-library-search-path, not binary-or-shlib-defines-rpath
commit 794808f9018fa32cfbb9d8b490d47911d2d76653
Author: Nicholas D Steeves <sten@debian.org>
Date: Wed Nov 5 17:32:47 2025 -0500
README.md: document tagging policy for NEW packages
commit 62948033bb99d6902526015a9e1e9f4c8bb4ca68
Author: Nicholas D Steeves <sten@debian.org>
Date: Wed Nov 5 17:05:41 2025 -0500
release haskell-encoding 0.10.2-1 to unstable
commit 0e758765381b4cd5fc969571a1ff0769bc7761ea
Author: Nicholas D Steeves <sten@debian.org>
Date: Wed Nov 5 17:05:18 2025 -0500
haskell-encoding-dev.lintian-overrides
commit 88bd77309089f3c1a122c4cc304ba29ffc59b6ef
Author: Nicholas D Steeves <sten@debian.org>
Date: Wed Nov 5 17:00:37 2025 -0500
encoding: shorten short description because substvars make it too long
commit bc839099eaa9b039ae38233d25ad4f921a7f165b
Author: Nicholas D Steeves <sten@debian.org>
Date: Wed Nov 5 15:20:18 2025 -0500
Update haskell-encoding to 0.10.2 and close ITP bug
commit a786c0e04eacca77753e6d5543fce2652cb88f69
Author: Nicholas D Steeves <sten@debian.org>
Date: Wed Nov 5 13:55:28 2025 -0500
Disable d/rules:DEB_SETUP_BIN_NAME (See Bug #1120130)
commit 8732e838d9dd75dcff23bf5a628e55bb4da39811
Author: Nicholas D Steeves <sten@debian.org>
Date: Thu Oct 30 18:49:51 2025 -0400
Initial packaging of encoding-0.10.1