[Git][haskell-team/DHG_packages][master] 3 commits: copilot-interpreter: Upgrading from 3.13 to 3.16.1
Ilias Tsitsimpis (@iliastsi)
gitlab at salsa.debian.org
Sun Nov 5 11:18:37 GMT 2023
Ilias Tsitsimpis pushed to branch master at Debian Haskell Group / DHG_packages
Commits:
bc27e743 by Ilias Tsitsimpis at 2023-11-05T13:11:42+02:00
copilot-interpreter: Upgrading from 3.13 to 3.16.1
- - - - -
096d0a64 by Ilias Tsitsimpis at 2023-11-05T13:13:58+02:00
copilot-theorem: Upgrading from 3.13 to 3.16.1
- - - - -
962a7be2 by Ilias Tsitsimpis at 2023-11-05T13:15:33+02:00
lambdabot-haskell-plugins: Upgrading from 5.3.1 to 5.3.1.1
- - - - -
8 changed files:
- p/haskell-copilot-interpreter/debian/changelog
- p/haskell-copilot-interpreter/debian/control
- p/haskell-copilot-theorem/debian/changelog
- p/haskell-copilot-theorem/debian/control
- + p/haskell-copilot-theorem/debian/patches/newer-what4
- + p/haskell-copilot-theorem/debian/patches/series
- p/haskell-lambdabot-haskell-plugins/debian/changelog
- p/haskell-lambdabot-haskell-plugins/debian/control
Changes:
=====================================
p/haskell-copilot-interpreter/debian/changelog
=====================================
@@ -1,8 +1,9 @@
-haskell-copilot-interpreter (3.13-2) UNRELEASED; urgency=medium
+haskell-copilot-interpreter (3.16.1-1) unstable; urgency=medium
* Declare compliance with Debian policy 4.6.2
+ * New upstream release (Closes: #1054745)
- -- Ilias Tsitsimpis <iliastsi at debian.org> Sun, 27 Aug 2023 12:33:37 +0300
+ -- Ilias Tsitsimpis <iliastsi at debian.org> Sun, 05 Nov 2023 13:11:10 +0200
haskell-copilot-interpreter (3.13-1) unstable; urgency=medium
=====================================
p/haskell-copilot-interpreter/debian/control
=====================================
@@ -6,10 +6,10 @@ Section: haskell
Build-Depends: debhelper (>= 10),
haskell-devscripts-minimal | haskell-devscripts (>= 0.13),
cdbs,
- ghc,
+ ghc (>= 9.4),
ghc-prof,
- libghc-copilot-core-dev (>= 3.13),
- libghc-copilot-core-dev (<< 3.14),
+ libghc-copilot-core-dev (>= 3.16.1),
+ libghc-copilot-core-dev (<< 3.17),
libghc-copilot-core-prof,
libghc-quickcheck2-dev,
libghc-quickcheck2-prof,
=====================================
p/haskell-copilot-theorem/debian/changelog
=====================================
@@ -1,8 +1,9 @@
-haskell-copilot-theorem (3.13-2) UNRELEASED; urgency=medium
+haskell-copilot-theorem (3.16.1-1) unstable; urgency=medium
* Declare compliance with Debian policy 4.6.2
+ * New upstream release (Closes: #1054954)
- -- Ilias Tsitsimpis <iliastsi at debian.org> Sun, 27 Aug 2023 12:33:37 +0300
+ -- Ilias Tsitsimpis <iliastsi at debian.org> Sun, 05 Nov 2023 13:12:31 +0200
haskell-copilot-theorem (3.13-1) unstable; urgency=medium
=====================================
p/haskell-copilot-theorem/debian/control
=====================================
@@ -6,18 +6,18 @@ Section: haskell
Build-Depends: debhelper (>= 10),
haskell-devscripts-minimal | haskell-devscripts (>= 0.13),
cdbs,
- ghc,
+ ghc (>= 9.4),
ghc-prof,
libghc-bimap-dev,
libghc-bimap-prof,
libghc-bv-sized-dev (>= 1.0.2),
libghc-bv-sized-dev (<< 1.1),
libghc-bv-sized-prof,
- libghc-copilot-core-dev (>= 3.13),
- libghc-copilot-core-dev (<< 3.14),
+ libghc-copilot-core-dev (>= 3.16.1),
+ libghc-copilot-core-dev (<< 3.17),
libghc-copilot-core-prof,
- libghc-copilot-prettyprinter-dev (>= 3.13),
- libghc-copilot-prettyprinter-dev (<< 3.14),
+ libghc-copilot-prettyprinter-dev (>= 3.16.1),
+ libghc-copilot-prettyprinter-dev (<< 3.17),
libghc-copilot-prettyprinter-prof,
libghc-data-default-dev (>= 0.7),
libghc-data-default-dev (<< 0.8),
@@ -35,7 +35,7 @@ Build-Depends: debhelper (>= 10),
libghc-random-dev (<< 1.3),
libghc-random-prof,
libghc-what4-dev (>= 1.3),
- libghc-what4-dev (<< 1.4),
+ libghc-what4-dev (<< 1.6),
libghc-what4-prof,
libghc-xml-dev (>= 1.3),
libghc-xml-dev (<< 1.4),
=====================================
p/haskell-copilot-theorem/debian/patches/newer-what4
=====================================
@@ -0,0 +1,13 @@
+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
=====================================
p/haskell-copilot-theorem/debian/patches/series
=====================================
@@ -0,0 +1 @@
+newer-what4
=====================================
p/haskell-lambdabot-haskell-plugins/debian/changelog
=====================================
@@ -1,8 +1,9 @@
-haskell-lambdabot-haskell-plugins (5.3.1-2) UNRELEASED; urgency=medium
+haskell-lambdabot-haskell-plugins (5.3.1.1-1) unstable; urgency=medium
* Declare compliance with Debian policy 4.6.2
+ * New upstream release (Closes: #1054958)
- -- Ilias Tsitsimpis <iliastsi at debian.org> Sun, 27 Aug 2023 12:34:09 +0300
+ -- Ilias Tsitsimpis <iliastsi at debian.org> Sun, 05 Nov 2023 13:14:59 +0200
haskell-lambdabot-haskell-plugins (5.3.1-1) unstable; urgency=medium
=====================================
p/haskell-lambdabot-haskell-plugins/debian/control
=====================================
@@ -8,7 +8,7 @@ Rules-Requires-Root: no
Build-Depends:
cdbs,
debhelper (>= 10),
- ghc (>= 8.4.3),
+ ghc (>= 9.4),
ghc-prof,
haskell-devscripts (>= 0.13),
libghc-arrows-dev (>= 0.4),
View it on GitLab: https://salsa.debian.org/haskell-team/DHG_packages/-/compare/27d8e800cf1e70d49f3f7382ff07cfdc46b41886...962a7be2945fb44329d7531b38e746d4c564d74f
--
View it on GitLab: https://salsa.debian.org/haskell-team/DHG_packages/-/compare/27d8e800cf1e70d49f3f7382ff07cfdc46b41886...962a7be2945fb44329d7531b38e746d4c564d74f
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/20231105/3ddd0d21/attachment-0001.htm>
More information about the Pkg-haskell-commits
mailing list