[Git][haskell-team/DHG_packages][master] copilot-theorem: Upgrading from 4.5 to 4.6

[Scott Talbert (@swt2c)]

Scott Talbert pushed to branch master at Debian Haskell Group / DHG_packages


Commits:
95e2dbb3 by Scott Talbert at 2025-11-10T20:17:10-05:00
copilot-theorem: Upgrading from 4.5 to 4.6

- - - - -


2 changed files:

- p/haskell-copilot-theorem/debian/changelog
- p/haskell-copilot-theorem/debian/control


Changes:

=====================================
p/haskell-copilot-theorem/debian/changelog
=====================================
@@ -1,8 +1,9 @@
-haskell-copilot-theorem (4.5-2) UNRELEASED; urgency=medium
+haskell-copilot-theorem (4.6-1) unstable; urgency=medium
 
   * Build using dh-haskell
+  * New upstream release
 
- -- Scott Talbert <swt at techie.net>  Sun, 09 Nov 2025 21:11:38 -0500
+ -- Scott Talbert <swt at techie.net>  Mon, 10 Nov 2025 20:17:09 -0500
 
 haskell-copilot-theorem (4.5-1) unstable; urgency=medium
 


=====================================
p/haskell-copilot-theorem/debian/control
=====================================
@@ -13,11 +13,11 @@ Build-Depends: debhelper-compat (= 13),
  libghc-bv-sized-dev (>= 1.0.2),
  libghc-bv-sized-dev (<< 1.1),
  libghc-bv-sized-prof,
- libghc-copilot-core-dev (>= 4.5),
- libghc-copilot-core-dev (<< 4.6),
+ libghc-copilot-core-dev (>= 4.6),
+ libghc-copilot-core-dev (<< 4.7),
  libghc-copilot-core-prof,
- libghc-copilot-prettyprinter-dev (>= 4.5),
- libghc-copilot-prettyprinter-dev (<< 4.6),
+ libghc-copilot-prettyprinter-dev (>= 4.6),
+ libghc-copilot-prettyprinter-dev (<< 4.7),
  libghc-copilot-prettyprinter-prof,
  libghc-data-default-dev (>= 0.7),
  libghc-data-default-dev (<< 0.9),



View it on GitLab: https://salsa.debian.org/haskell-team/DHG_packages/-/commit/95e2dbb32a07c47986257c489842c74bb2cd974d

-- 
View it on GitLab: https://salsa.debian.org/haskell-team/DHG_packages/-/commit/95e2dbb32a07c47986257c489842c74bb2cd974d
You're receiving this email because of your account on salsa.debian.org.


-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://alioth-lists.debian.net/pipermail/pkg-haskell-commits/attachments/20251111/03f043e0/attachment-0001.htm>