[Git][haskell-team/DHG_packages][master] copilot-theorem: Upgrading from 3.10 to 3.11

[Scott Talbert (@swt2c)]

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


Commits:
74c6f55a by Scott Talbert at 2022-10-06T19:30:07-04:00
copilot-theorem: Upgrading from 3.10 to 3.11

- - - - -


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 (3.11-1) unstable; urgency=medium
+
+  * New upstream release
+
+ -- Scott Talbert <swt at techie.net>  Thu, 06 Oct 2022 19:30:07 -0400
+
 haskell-copilot-theorem (3.10-2) unstable; urgency=medium
 
   * Post-NEW source-only upload


=====================================
p/haskell-copilot-theorem/debian/control
=====================================
@@ -13,8 +13,8 @@ Build-Depends: debhelper (>= 10),
  libghc-bv-sized-dev (>= 1.0.2),
  libghc-bv-sized-dev (<< 1.1),
  libghc-bv-sized-prof,
- libghc-copilot-core-dev (>= 3.10),
- libghc-copilot-core-dev (<< 3.11),
+ libghc-copilot-core-dev (>= 3.11),
+ libghc-copilot-core-dev (<< 3.12),
  libghc-copilot-core-prof,
  libghc-data-default-dev (>= 0.7),
  libghc-data-default-dev (<< 0.8),



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

-- 
View it on GitLab: https://salsa.debian.org/haskell-team/DHG_packages/-/commit/74c6f55a92985a323c8a8e3396e41cd8460eaa82
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/20221006/c49fa9ac/attachment-0001.htm>