[Git][haskell-team/package-plan][master] Update copilot to 3.17

[Scott Talbert (@swt2c)]

Scott Talbert pushed to branch master at Debian Haskell Group / package-plan


Commits:
283700b0 by Scott Talbert at 2023-11-13T19:50:14-05:00
Update copilot to 3.17

- - - - -


3 changed files:

- packages.txt
- − patches/copilot-theorem/3.16.1/newer-what4
- − patches/copilot-theorem/3.16.1/series


Changes:

=====================================
packages.txt
=====================================
@@ -161,14 +161,14 @@ control-monad-free 0.6.2
 control-monad-loop 0.1
 convertible 1.1.1.1
 cookie 0.4.6
-copilot 3.16.1
-copilot-c99 3.16.1
-copilot-core 3.16.1
-copilot-interpreter 3.16.1
-copilot-language 3.16.1
-copilot-libraries 3.16.1
-copilot-prettyprinter 3.16.1
-copilot-theorem 3.16.1
+copilot 3.17
+copilot-c99 3.17
+copilot-core 3.17
+copilot-interpreter 3.17
+copilot-language 3.17
+copilot-libraries 3.17
+copilot-prettyprinter 3.17
+copilot-theorem 3.17
 cpphs 1.20.9.1
 cprng-aes 0.6.1 ignore # https://bugs.debian.org/1018197
 cpu 0.1.2


=====================================
patches/copilot-theorem/3.16.1/newer-what4 deleted
=====================================
@@ -1,13 +0,0 @@
-Index: b/copilot-theorem.cabal
-===================================================================
---- a/copilot-theorem.cabal
-+++ b/copilot-theorem.cabal
-@@ -61,7 +61,7 @@ library
-                           , random                >= 1.1 && < 1.3
-                           , transformers          >= 0.5 && < 0.7
-                           , xml                   >= 1.3 && < 1.4
--                          , what4                 >= 1.3 && < 1.5
-+                          , what4                 >= 1.3 && < 1.6
- 
-                           , copilot-core          >= 3.16.1 && < 3.17
-                           , copilot-prettyprinter >= 3.16.1 && < 3.17


=====================================
patches/copilot-theorem/3.16.1/series deleted
=====================================
@@ -1 +0,0 @@
-newer-what4



View it on GitLab: https://salsa.debian.org/haskell-team/package-plan/-/commit/283700b0c95ac270b8c5632ed04f451d2fcd198a

-- 
View it on GitLab: https://salsa.debian.org/haskell-team/package-plan/-/commit/283700b0c95ac270b8c5632ed04f451d2fcd198a
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/20231114/4384e79d/attachment-0001.htm>