[Git][haskell-team/DHG_packages][master] 8 commits: copilot: Upgrading from 3.13 to 3.17
Scott Talbert (@swt2c)
gitlab at salsa.debian.org
Tue Nov 14 01:23:59 GMT 2023
Scott Talbert pushed to branch master at Debian Haskell Group / DHG_packages
Commits:
75171163 by Scott Talbert at 2023-11-13T19:59:38-05:00
copilot: Upgrading from 3.13 to 3.17
- - - - -
b181ae4d by Scott Talbert at 2023-11-13T20:02:37-05:00
copilot-c99: Upgrading from 3.16.1 to 3.17
- - - - -
d1a54f49 by Scott Talbert at 2023-11-13T20:03:53-05:00
copilot-core: Upgrading from 3.16.1 to 3.17
- - - - -
e3091e80 by Scott Talbert at 2023-11-13T20:05:28-05:00
copilot-interpreter: Upgrading from 3.16.1 to 3.17
- - - - -
4011bf04 by Scott Talbert at 2023-11-13T20:07:19-05:00
copilot-language: Upgrading from 3.13 to 3.17
- - - - -
380df01f by Scott Talbert at 2023-11-13T20:08:48-05:00
copilot-libraries: Upgrading from 3.13 to 3.17
- - - - -
fc45848d by Scott Talbert at 2023-11-13T20:14:43-05:00
copilot-prettyprinter: Upgrading from 3.16.1 to 3.17
- - - - -
d560ca1b by Scott Talbert at 2023-11-13T20:22:22-05:00
copilot-theorem: Upgrading from 3.16.1 to 3.17
- - - - -
17 changed files:
- p/haskell-copilot-c99/debian/changelog
- p/haskell-copilot-c99/debian/control
- p/haskell-copilot-core/debian/changelog
- p/haskell-copilot-interpreter/debian/changelog
- p/haskell-copilot-interpreter/debian/control
- p/haskell-copilot-language/debian/changelog
- p/haskell-copilot-language/debian/control
- p/haskell-copilot-libraries/debian/changelog
- p/haskell-copilot-libraries/debian/control
- p/haskell-copilot-prettyprinter/debian/changelog
- p/haskell-copilot-prettyprinter/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-copilot/debian/changelog
- p/haskell-copilot/debian/control
Changes:
=====================================
p/haskell-copilot-c99/debian/changelog
=====================================
@@ -1,3 +1,9 @@
+haskell-copilot-c99 (3.17-1) unstable; urgency=medium
+
+ * New upstream release
+
+ -- Scott Talbert <swt at techie.net> Mon, 13 Nov 2023 20:02:36 -0500
+
haskell-copilot-c99 (3.16.1-1) unstable; urgency=medium
* Declare compliance with Debian policy 4.6.2
=====================================
p/haskell-copilot-c99/debian/control
=====================================
@@ -8,8 +8,8 @@ Build-Depends: debhelper (>= 10),
cdbs,
ghc (>= 9.4),
ghc-prof,
- libghc-copilot-core-dev (>= 3.16.1),
- libghc-copilot-core-dev (<< 3.17),
+ libghc-copilot-core-dev (>= 3.17),
+ libghc-copilot-core-dev (<< 3.18),
libghc-copilot-core-prof,
libghc-language-c99-dev (>= 0.2.0),
libghc-language-c99-dev (<< 0.3),
=====================================
p/haskell-copilot-core/debian/changelog
=====================================
@@ -1,3 +1,9 @@
+haskell-copilot-core (3.17-1) unstable; urgency=medium
+
+ * New upstream release
+
+ -- Scott Talbert <swt at techie.net> Mon, 13 Nov 2023 20:03:53 -0500
+
haskell-copilot-core (3.16.1-1) unstable; urgency=medium
* Declare compliance with Debian policy 4.6.2
=====================================
p/haskell-copilot-interpreter/debian/changelog
=====================================
@@ -1,3 +1,9 @@
+haskell-copilot-interpreter (3.17-1) unstable; urgency=medium
+
+ * New upstream release
+
+ -- Scott Talbert <swt at techie.net> Mon, 13 Nov 2023 20:05:28 -0500
+
haskell-copilot-interpreter (3.16.1-1) unstable; urgency=medium
* Declare compliance with Debian policy 4.6.2
=====================================
p/haskell-copilot-interpreter/debian/control
=====================================
@@ -8,8 +8,8 @@ Build-Depends: debhelper (>= 10),
cdbs,
ghc (>= 9.4),
ghc-prof,
- libghc-copilot-core-dev (>= 3.16.1),
- libghc-copilot-core-dev (<< 3.17),
+ libghc-copilot-core-dev (>= 3.17),
+ libghc-copilot-core-dev (<< 3.18),
libghc-copilot-core-prof,
libghc-quickcheck2-dev,
libghc-quickcheck2-prof,
=====================================
p/haskell-copilot-language/debian/changelog
=====================================
@@ -1,8 +1,12 @@
-haskell-copilot-language (3.13-2) UNRELEASED; urgency=medium
+haskell-copilot-language (3.17-1) unstable; urgency=medium
+ [ Ilias Tsitsimpis ]
* Declare compliance with Debian policy 4.6.2
- -- Ilias Tsitsimpis <iliastsi at debian.org> Sun, 27 Aug 2023 12:33:37 +0300
+ [ Scott Talbert ]
+ * New upstream release
+
+ -- Scott Talbert <swt at techie.net> Mon, 13 Nov 2023 20:07:19 -0500
haskell-copilot-language (3.13-1) unstable; urgency=medium
=====================================
p/haskell-copilot-language/debian/control
=====================================
@@ -8,17 +8,14 @@ Build-Depends: debhelper (>= 10),
cdbs,
ghc,
ghc-prof,
- libghc-copilot-core-dev (>= 3.13),
- libghc-copilot-core-dev (<< 3.14),
+ libghc-copilot-core-dev (>= 3.17),
+ libghc-copilot-core-dev (<< 3.18),
libghc-copilot-core-prof,
- libghc-copilot-interpreter-dev (>= 3.13),
- libghc-copilot-interpreter-dev (<< 3.14),
+ libghc-copilot-interpreter-dev (>= 3.17),
+ libghc-copilot-interpreter-dev (<< 3.18),
libghc-copilot-interpreter-prof,
- libghc-copilot-prettyprinter-dev (>= 3.13),
- libghc-copilot-prettyprinter-dev (<< 3.14),
- libghc-copilot-prettyprinter-prof,
- libghc-copilot-theorem-dev (>= 3.13),
- libghc-copilot-theorem-dev (<< 3.14),
+ libghc-copilot-theorem-dev (>= 3.17),
+ libghc-copilot-theorem-dev (<< 3.18),
libghc-copilot-theorem-prof,
libghc-data-reify-dev (>= 0.6),
libghc-data-reify-dev (<< 0.7),
@@ -36,7 +33,6 @@ Build-Depends: debhelper (>= 10),
Build-Depends-Indep: ghc-doc,
libghc-copilot-core-doc,
libghc-copilot-interpreter-doc,
- libghc-copilot-prettyprinter-doc,
libghc-copilot-theorem-doc,
libghc-data-reify-doc,
libghc-hunit-doc,
=====================================
p/haskell-copilot-libraries/debian/changelog
=====================================
@@ -1,8 +1,12 @@
-haskell-copilot-libraries (3.13-2) UNRELEASED; urgency=medium
+haskell-copilot-libraries (3.17-1) unstable; urgency=medium
+ [ Ilias Tsitsimpis ]
* Declare compliance with Debian policy 4.6.2
- -- Ilias Tsitsimpis <iliastsi at debian.org> Sun, 27 Aug 2023 12:33:37 +0300
+ [ Scott Talbert ]
+ * New upstream release
+
+ -- Scott Talbert <swt at techie.net> Mon, 13 Nov 2023 20:08:48 -0500
haskell-copilot-libraries (3.13-1) unstable; urgency=medium
=====================================
p/haskell-copilot-libraries/debian/control
=====================================
@@ -8,8 +8,8 @@ Build-Depends: debhelper (>= 10),
cdbs,
ghc,
ghc-prof,
- libghc-copilot-language-dev (>= 3.13),
- libghc-copilot-language-dev (<< 3.14),
+ libghc-copilot-language-dev (>= 3.17),
+ libghc-copilot-language-dev (<< 3.18),
libghc-copilot-language-prof,
Build-Depends-Indep: ghc-doc,
libghc-copilot-language-doc,
=====================================
p/haskell-copilot-prettyprinter/debian/changelog
=====================================
@@ -1,3 +1,9 @@
+haskell-copilot-prettyprinter (3.17-1) unstable; urgency=medium
+
+ * New upstream release
+
+ -- Scott Talbert <swt at techie.net> Mon, 13 Nov 2023 20:14:43 -0500
+
haskell-copilot-prettyprinter (3.16.1-1) unstable; urgency=medium
* Declare compliance with Debian policy 4.6.2
=====================================
p/haskell-copilot-prettyprinter/debian/control
=====================================
@@ -8,8 +8,8 @@ Build-Depends: debhelper (>= 10),
cdbs,
ghc (>= 9.4),
ghc-prof,
- libghc-copilot-core-dev (>= 3.16.1),
- libghc-copilot-core-dev (<< 3.17),
+ libghc-copilot-core-dev (>= 3.17),
+ libghc-copilot-core-dev (<< 3.18),
libghc-copilot-core-prof,
Build-Depends-Indep: ghc-doc,
libghc-copilot-core-doc,
=====================================
p/haskell-copilot-theorem/debian/changelog
=====================================
@@ -1,3 +1,9 @@
+haskell-copilot-theorem (3.17-1) unstable; urgency=medium
+
+ * New upstream release
+
+ -- Scott Talbert <swt at techie.net> Mon, 13 Nov 2023 20:17:23 -0500
+
haskell-copilot-theorem (3.16.1-1) unstable; urgency=medium
* Declare compliance with Debian policy 4.6.2
=====================================
p/haskell-copilot-theorem/debian/control
=====================================
@@ -13,11 +13,11 @@ 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.16.1),
- libghc-copilot-core-dev (<< 3.17),
+ libghc-copilot-core-dev (>= 3.17),
+ libghc-copilot-core-dev (<< 3.18),
libghc-copilot-core-prof,
- libghc-copilot-prettyprinter-dev (>= 3.16.1),
- libghc-copilot-prettyprinter-dev (<< 3.17),
+ libghc-copilot-prettyprinter-dev (>= 3.17),
+ libghc-copilot-prettyprinter-dev (<< 3.18),
libghc-copilot-prettyprinter-prof,
libghc-data-default-dev (>= 0.7),
libghc-data-default-dev (<< 0.8),
=====================================
p/haskell-copilot-theorem/debian/patches/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
=====================================
p/haskell-copilot-theorem/debian/patches/series deleted
=====================================
@@ -1 +0,0 @@
-newer-what4
=====================================
p/haskell-copilot/debian/changelog
=====================================
@@ -1,8 +1,12 @@
-haskell-copilot (3.13-2) UNRELEASED; urgency=medium
+haskell-copilot (3.17-1) unstable; urgency=medium
+ [ Ilias Tsitsimpis ]
* Declare compliance with Debian policy 4.6.2
- -- Ilias Tsitsimpis <iliastsi at debian.org> Sun, 27 Aug 2023 12:33:36 +0300
+ [ Scott Talbert ]
+ * New upstream release
+
+ -- Scott Talbert <swt at techie.net> Mon, 13 Nov 2023 19:59:38 -0500
haskell-copilot (3.13-1) unstable; urgency=medium
=====================================
p/haskell-copilot/debian/control
=====================================
@@ -8,20 +8,23 @@ Build-Depends: debhelper (>= 10),
cdbs,
ghc,
ghc-prof,
- libghc-copilot-c99-dev (>= 3.13),
- libghc-copilot-c99-dev (<< 3.14),
+ libghc-copilot-c99-dev (>= 3.17),
+ libghc-copilot-c99-dev (<< 3.18),
libghc-copilot-c99-prof,
- libghc-copilot-core-dev (>= 3.13),
- libghc-copilot-core-dev (<< 3.14),
+ libghc-copilot-core-dev (>= 3.17),
+ libghc-copilot-core-dev (<< 3.18),
libghc-copilot-core-prof,
- libghc-copilot-language-dev (>= 3.13),
- libghc-copilot-language-dev (<< 3.14),
+ libghc-copilot-language-dev (>= 3.17),
+ libghc-copilot-language-dev (<< 3.18),
libghc-copilot-language-prof,
- libghc-copilot-libraries-dev (>= 3.13),
- libghc-copilot-libraries-dev (<< 3.14),
+ libghc-copilot-libraries-dev (>= 3.17),
+ libghc-copilot-libraries-dev (<< 3.18),
libghc-copilot-libraries-prof,
- libghc-copilot-theorem-dev (>= 3.13),
- libghc-copilot-theorem-dev (<< 3.14),
+ libghc-copilot-prettyprinter-dev (>= 3.17),
+ libghc-copilot-prettyprinter-dev (<< 3.18),
+ libghc-copilot-prettyprinter-prof,
+ libghc-copilot-theorem-dev (>= 3.17),
+ libghc-copilot-theorem-dev (<< 3.18),
libghc-copilot-theorem-prof,
libghc-optparse-applicative-dev (>= 0.14),
libghc-optparse-applicative-dev (<< 0.18),
@@ -31,6 +34,7 @@ Build-Depends-Indep: ghc-doc,
libghc-copilot-core-doc,
libghc-copilot-language-doc,
libghc-copilot-libraries-doc,
+ libghc-copilot-prettyprinter-doc,
libghc-copilot-theorem-doc,
libghc-optparse-applicative-doc,
Standards-Version: 4.6.2
View it on GitLab: https://salsa.debian.org/haskell-team/DHG_packages/-/compare/c6659e679bb16ba059957cc43bdeae4e768e192b...d560ca1b4ec5302808296815b1c0162c6ae7745f
--
View it on GitLab: https://salsa.debian.org/haskell-team/DHG_packages/-/compare/c6659e679bb16ba059957cc43bdeae4e768e192b...d560ca1b4ec5302808296815b1c0162c6ae7745f
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/7ec19cb5/attachment-0001.htm>
More information about the Pkg-haskell-commits
mailing list