[Git][haskell-team/DHG_packages][master] copilot-theorem: Add z3 as BD to fix tests

[Scott Talbert (@swt2c)]

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


Commits:
6834c334 by Scott Talbert at 2024-01-08T22:35:58-05:00
copilot-theorem: Add z3 as BD to fix tests

- - - - -


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.18.1-2) unstable; urgency=medium
+
+  * Add z3 as BD to fix tests
+
+ -- Scott Talbert <swt at techie.net>  Mon, 08 Jan 2024 22:35:41 -0500
+
 haskell-copilot-theorem (3.18.1-1) unstable; urgency=medium
 
   * New upstream release


=====================================
p/haskell-copilot-theorem/debian/control
=====================================
@@ -47,6 +47,7 @@ Build-Depends: debhelper (>= 10),
  libghc-test-framework-prof,
  libghc-test-framework-quickcheck2-dev,
  libghc-test-framework-quickcheck2-prof,
+ z3,
 Build-Depends-Indep: ghc-doc,
  libghc-bimap-doc,
  libghc-bv-sized-doc,



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

-- 
View it on GitLab: https://salsa.debian.org/haskell-team/DHG_packages/-/commit/6834c334406d95314ac7815d6d8fcd38dcb32a61
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/20240109/42d442ff/attachment.htm>