[Git][haskell-team/DHG_packages][master] copilot-theorem: Sourceful upload for GHC 9.10

[Scott Talbert (@swt2c)]

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


Commits:
fee95d50 by Scott Talbert at 2026-02-11T19:02:55-05:00
copilot-theorem: Sourceful upload for GHC 9.10

- - - - -


2 changed files:

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


Changes:

=====================================
p/haskell-copilot-theorem/debian/changelog
=====================================
@@ -1,3 +1,9 @@
+haskell-copilot-theorem (4.6-2) unstable; urgency=medium
+
+  * Sourceful upload for GHC 9.10
+
+ -- Scott Talbert <swt at techie.net>  Wed, 11 Feb 2026 19:02:34 -0500
+
 haskell-copilot-theorem (4.6-1) unstable; urgency=medium
 
   * Build using dh-haskell


=====================================
p/haskell-copilot-theorem/debian/control
=====================================
@@ -6,7 +6,7 @@ Section: haskell
 Build-Depends: debhelper-compat (= 13),
  haskell-devscripts-minimal | haskell-devscripts (>= 0.13),
  dh-sequence-haskell,
- ghc (>= 9.4),
+ ghc (>= 9.10),
  ghc-prof,
  libghc-bimap-dev,
  libghc-bimap-prof,
@@ -62,7 +62,7 @@ Build-Depends-Indep: ghc-doc,
  libghc-random-doc,
  libghc-what4-doc,
  libghc-xml-doc,
-Standards-Version: 4.7.0
+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
 Vcs-Git: https://salsa.debian.org/haskell-team/DHG_packages.git [p/haskell-copilot-theorem]



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

-- 
View it on GitLab: https://salsa.debian.org/haskell-team/DHG_packages/-/commit/fee95d5017980d0cfbaee9a1be370811f4c18a3f
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/20260212/1242609e/attachment-0001.htm>