[Git][haskell-team/DHG_packages][master] 2 commits: copilot-prettyprinter: Upgrading from 4.7.1 to 4.8

[Scott Talbert (@swt2c)]

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


Commits:
fcc8b55b by Scott Talbert at 2026-07-24T11:02:59-04:00
copilot-prettyprinter: Upgrading from 4.7.1 to 4.8

- - - - -
b9b82645 by Scott Talbert at 2026-07-24T11:10:03-04:00
copilot-theorem: Upgrading from 4.7.1 to 4.8

- - - - -


4 changed files:

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


Changes:

=====================================
p/haskell-copilot-prettyprinter/debian/changelog
=====================================
@@ -1,3 +1,9 @@
+haskell-copilot-prettyprinter (4.8-1) unstable; urgency=medium
+
+  * New upstream release
+
+ -- Scott Talbert <swt at techie.net>  Fri, 24 Jul 2026 11:02:59 -0400
+
 haskell-copilot-prettyprinter (4.7.1-1) unstable; urgency=medium
 
   * New upstream release


=====================================
p/haskell-copilot-prettyprinter/debian/control
=====================================
@@ -8,8 +8,8 @@ Build-Depends: debhelper-compat (= 13),
  dh-sequence-haskell,
  ghc (>= 9.4),
  ghc-prof,
- libghc-copilot-core-dev (>= 4.7.1),
- libghc-copilot-core-dev (<< 4.8),
+ libghc-copilot-core-dev (>= 4.8),
+ libghc-copilot-core-dev (<< 4.9),
  libghc-copilot-core-prof,
 Build-Depends-Indep: ghc-doc,
  libghc-copilot-core-doc,


=====================================
p/haskell-copilot-theorem/debian/changelog
=====================================
@@ -1,3 +1,9 @@
+haskell-copilot-theorem (4.8-1) unstable; urgency=medium
+
+  * New upstream release
+
+ -- Scott Talbert <swt at techie.net>  Fri, 24 Jul 2026 11:04:16 -0400
+
 haskell-copilot-theorem (4.7.1-1) unstable; urgency=medium
 
   * New upstream release


=====================================
p/haskell-copilot-theorem/debian/control
=====================================
@@ -13,15 +13,18 @@ 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.7.1),
- libghc-copilot-core-dev (<< 4.8),
+ libghc-copilot-core-dev (>= 4.8),
+ libghc-copilot-core-dev (<< 4.9),
  libghc-copilot-core-prof,
- libghc-copilot-prettyprinter-dev (>= 4.7.1),
- libghc-copilot-prettyprinter-dev (<< 4.8),
+ libghc-copilot-prettyprinter-dev (>= 4.8),
+ libghc-copilot-prettyprinter-dev (<< 4.9),
  libghc-copilot-prettyprinter-prof,
  libghc-data-default-dev (>= 0.7),
  libghc-data-default-dev (<< 0.9),
  libghc-data-default-prof,
+ libghc-extra-dev (>= 1.7),
+ libghc-extra-dev (<< 1.9),
+ libghc-extra-prof,
  libghc-fp-ieee-dev (>= 0.1),
  libghc-fp-ieee-dev (<< 0.2),
  libghc-fp-ieee-prof,
@@ -40,18 +43,14 @@ Build-Depends: debhelper-compat (= 13),
  libghc-what4-dev (>= 1.3),
  libghc-what4-dev (<< 1.8),
  libghc-what4-prof,
- libghc-xml-dev (>= 1.3),
- libghc-xml-dev (<< 1.4),
- libghc-xml-prof,
- libghc-hunit-dev,
- libghc-hunit-prof,
- libghc-quickcheck2-dev,
- libghc-quickcheck2-prof,
- libghc-copilot-core-dev,
- libghc-test-framework-dev,
- libghc-test-framework-prof,
- libghc-test-framework-quickcheck2-dev,
- libghc-test-framework-quickcheck2-prof,
+ libghc-hunit-dev <!nocheck>,
+ libghc-hunit-prof <!nocheck>,
+ libghc-quickcheck2-dev <!nocheck>,
+ libghc-quickcheck2-prof <!nocheck>,
+ libghc-test-framework-dev <!nocheck>,
+ libghc-test-framework-prof <!nocheck>,
+ libghc-test-framework-quickcheck2-dev <!nocheck>,
+ libghc-test-framework-quickcheck2-prof <!nocheck>,
  z3,
 Build-Depends-Indep: ghc-doc,
  libghc-bimap-doc,
@@ -59,13 +58,13 @@ Build-Depends-Indep: ghc-doc,
  libghc-copilot-core-doc,
  libghc-copilot-prettyprinter-doc,
  libghc-data-default-doc,
+ libghc-extra-doc,
  libghc-fp-ieee-doc,
  libghc-libbf-doc,
  libghc-panic-doc,
  libghc-parameterized-utils-doc,
  libghc-random-doc,
  libghc-what4-doc,
- libghc-xml-doc,
 Standards-Version: 4.7.3
 Homepage: https://copilot-language.github.io
 Vcs-Browser: https://salsa.debian.org/haskell-team/DHG_packages/tree/master/p/haskell-copilot-theorem



View it on GitLab: https://salsa.debian.org/haskell-team/DHG_packages/-/compare/8ade033334c6ebe7d5ac767c7bcf1d401a29359b...b9b82645f3323c3994a0f1245074a4673d82bab8

-- 
View it on GitLab: https://salsa.debian.org/haskell-team/DHG_packages/-/compare/8ade033334c6ebe7d5ac767c7bcf1d401a29359b...b9b82645f3323c3994a0f1245074a4673d82bab8
You're receiving this email because of your account on salsa.debian.org. Manage all notifications: https://salsa.debian.org/-/profile/notifications | Help: https://salsa.debian.org/help


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