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

[Scott Talbert (@swt2c)]

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


Commits:
7bb60327 by Scott Talbert at 2024-01-09T10:12:11-05:00
copilot-libraries: Add z3 as BD to fix tests

- - - - -


2 changed files:

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


Changes:

=====================================
p/haskell-copilot-libraries/debian/changelog
=====================================
@@ -1,3 +1,9 @@
+haskell-copilot-libraries (3.18.1-2) unstable; urgency=medium
+
+  * Add z3 as BD to fix tests
+
+ -- Scott Talbert <swt at techie.net>  Tue, 09 Jan 2024 10:11:53 -0500
+
 haskell-copilot-libraries (3.18.1-1) unstable; urgency=medium
 
   * New upstream release


=====================================
p/haskell-copilot-libraries/debian/control
=====================================
@@ -22,6 +22,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-copilot-language-doc,
 Standards-Version: 4.6.2



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

-- 
View it on GitLab: https://salsa.debian.org/haskell-team/DHG_packages/-/commit/7bb6032713f204c777b184c954240307cfdb079a
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/a949c589/attachment.htm>