[Git][haskell-team/DHG_packages][master] 8 commits: copilot-core: Upgrading from 3.19.1 to 4.0
Scott Talbert (@swt2c)
gitlab at salsa.debian.org
Wed Sep 11 04:17:47 BST 2024
Scott Talbert pushed to branch master at Debian Haskell Group / DHG_packages
Commits:
8ad3f64b by Scott Talbert at 2024-09-10T22:39:45-04:00
copilot-core: Upgrading from 3.19.1 to 4.0
- - - - -
a40e0252 by Scott Talbert at 2024-09-10T22:41:48-04:00
copilot-c99: Upgrading from 3.19.1 to 4.0
- - - - -
c54a9739 by Scott Talbert at 2024-09-10T22:43:06-04:00
copilot-prettyprinter: Upgrading from 3.19.1 to 4.0
- - - - -
48bf7e23 by Scott Talbert at 2024-09-10T22:48:30-04:00
copilot-interpreter: Upgrading from 3.19.1 to 4.0
- - - - -
eb9e025a by Scott Talbert at 2024-09-10T22:51:18-04:00
copilot-theorem: Upgrading from 3.19.1 to 4.0
- - - - -
20a16172 by Scott Talbert at 2024-09-10T22:53:16-04:00
copilot-language: Upgrading from 3.19.1 to 4.0
- - - - -
5a9ac96d by Scott Talbert at 2024-09-10T22:54:51-04:00
copilot-libraries: Upgrading from 3.19.1 to 4.0
- - - - -
6edce361 by Scott Talbert at 2024-09-10T23:15:37-04:00
copilot: Upgrading from 3.19.1 to 4.0
- - - - -
15 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/debian/changelog
- p/haskell-copilot/debian/control
Changes:
=====================================
p/haskell-copilot-c99/debian/changelog
=====================================
@@ -1,3 +1,9 @@
+haskell-copilot-c99 (4.0-1) unstable; urgency=medium
+
+ * New upstream release
+
+ -- Scott Talbert <swt at techie.net> Tue, 10 Sep 2024 22:41:47 -0400
+
haskell-copilot-c99 (3.19.1-1) unstable; urgency=medium
* New upstream release
=====================================
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.19.1),
- libghc-copilot-core-dev (<< 3.20),
+ libghc-copilot-core-dev (>= 4.0),
+ libghc-copilot-core-dev (<< 4.1),
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 (4.0-1) unstable; urgency=medium
+
+ * New upstream release
+
+ -- Scott Talbert <swt at techie.net> Tue, 10 Sep 2024 22:39:45 -0400
+
haskell-copilot-core (3.19.1-1) unstable; urgency=medium
* New upstream release
=====================================
p/haskell-copilot-interpreter/debian/changelog
=====================================
@@ -1,3 +1,9 @@
+haskell-copilot-interpreter (4.0-1) unstable; urgency=medium
+
+ * New upstream release
+
+ -- Scott Talbert <swt at techie.net> Tue, 10 Sep 2024 22:48:30 -0400
+
haskell-copilot-interpreter (3.19.1-1) unstable; urgency=medium
* New upstream release
=====================================
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.19.1),
- libghc-copilot-core-dev (<< 3.20),
+ libghc-copilot-core-dev (>= 4.0),
+ libghc-copilot-core-dev (<< 4.1),
libghc-copilot-core-prof,
libghc-quickcheck2-dev,
libghc-quickcheck2-prof,
=====================================
p/haskell-copilot-language/debian/changelog
=====================================
@@ -1,3 +1,9 @@
+haskell-copilot-language (4.0-1) unstable; urgency=medium
+
+ * New upstream release
+
+ -- Scott Talbert <swt at techie.net> Tue, 10 Sep 2024 22:53:16 -0400
+
haskell-copilot-language (3.19.1-1) unstable; urgency=medium
* New upstream release
=====================================
p/haskell-copilot-language/debian/control
=====================================
@@ -8,14 +8,14 @@ Build-Depends: debhelper (>= 10),
cdbs,
ghc,
ghc-prof,
- libghc-copilot-core-dev (>= 3.19.1),
- libghc-copilot-core-dev (<< 3.20),
+ libghc-copilot-core-dev (>= 4.0),
+ libghc-copilot-core-dev (<< 4.1),
libghc-copilot-core-prof,
- libghc-copilot-interpreter-dev (>= 3.19.1),
- libghc-copilot-interpreter-dev (<< 3.20),
+ libghc-copilot-interpreter-dev (>= 4.0),
+ libghc-copilot-interpreter-dev (<< 4.1),
libghc-copilot-interpreter-prof,
- libghc-copilot-theorem-dev (>= 3.19.1),
- libghc-copilot-theorem-dev (<< 3.20),
+ libghc-copilot-theorem-dev (>= 4.0),
+ libghc-copilot-theorem-dev (<< 4.1),
libghc-copilot-theorem-prof,
libghc-data-reify-dev (>= 0.6),
libghc-data-reify-dev (<< 0.7),
=====================================
p/haskell-copilot-libraries/debian/changelog
=====================================
@@ -1,3 +1,9 @@
+haskell-copilot-libraries (4.0-1) unstable; urgency=medium
+
+ * New upstream release
+
+ -- Scott Talbert <swt at techie.net> Tue, 10 Sep 2024 22:54:51 -0400
+
haskell-copilot-libraries (3.19.1-1) unstable; urgency=medium
* New upstream release
=====================================
p/haskell-copilot-libraries/debian/control
=====================================
@@ -8,8 +8,8 @@ Build-Depends: debhelper (>= 10),
cdbs,
ghc,
ghc-prof,
- libghc-copilot-language-dev (>= 3.19.1),
- libghc-copilot-language-dev (<< 3.20),
+ libghc-copilot-language-dev (>= 4.0),
+ libghc-copilot-language-dev (<< 4.1),
libghc-copilot-language-prof,
libghc-quickcheck2-dev,
libghc-quickcheck2-prof,
=====================================
p/haskell-copilot-prettyprinter/debian/changelog
=====================================
@@ -1,3 +1,9 @@
+haskell-copilot-prettyprinter (4.0-1) unstable; urgency=medium
+
+ * New upstream release
+
+ -- Scott Talbert <swt at techie.net> Tue, 10 Sep 2024 22:43:06 -0400
+
haskell-copilot-prettyprinter (3.19.1-1) unstable; urgency=medium
* New upstream release
=====================================
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.19.1),
- libghc-copilot-core-dev (<< 3.20),
+ libghc-copilot-core-dev (>= 4.0),
+ libghc-copilot-core-dev (<< 4.1),
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 (4.0-1) unstable; urgency=medium
+
+ * New upstream release
+
+ -- Scott Talbert <swt at techie.net> Tue, 10 Sep 2024 22:51:18 -0400
+
haskell-copilot-theorem (3.19.1-1) unstable; urgency=medium
* New upstream release
=====================================
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.19.1),
- libghc-copilot-core-dev (<< 3.20),
+ libghc-copilot-core-dev (>= 4.0),
+ libghc-copilot-core-dev (<< 4.1),
libghc-copilot-core-prof,
- libghc-copilot-prettyprinter-dev (>= 3.19.1),
- libghc-copilot-prettyprinter-dev (<< 3.20),
+ libghc-copilot-prettyprinter-dev (>= 4.0),
+ libghc-copilot-prettyprinter-dev (<< 4.1),
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.6),
+ libghc-what4-dev (<< 1.7),
libghc-what4-prof,
libghc-xml-dev (>= 1.3),
libghc-xml-dev (<< 1.4),
=====================================
p/haskell-copilot/debian/changelog
=====================================
@@ -1,3 +1,9 @@
+haskell-copilot (4.0-1) unstable; urgency=medium
+
+ * New upstream release
+
+ -- Scott Talbert <swt at techie.net> Tue, 10 Sep 2024 23:15:37 -0400
+
haskell-copilot (3.19.1-1) unstable; urgency=medium
* New upstream release
=====================================
p/haskell-copilot/debian/control
=====================================
@@ -8,23 +8,23 @@ Build-Depends: debhelper (>= 10),
cdbs,
ghc,
ghc-prof,
- libghc-copilot-c99-dev (>= 3.19.1),
- libghc-copilot-c99-dev (<< 3.20),
+ libghc-copilot-c99-dev (>= 4.0),
+ libghc-copilot-c99-dev (<< 4.1),
libghc-copilot-c99-prof,
- libghc-copilot-core-dev (>= 3.19.1),
- libghc-copilot-core-dev (<< 3.20),
+ libghc-copilot-core-dev (>= 4.0),
+ libghc-copilot-core-dev (<< 4.1),
libghc-copilot-core-prof,
- libghc-copilot-language-dev (>= 3.19.1),
- libghc-copilot-language-dev (<< 3.20),
+ libghc-copilot-language-dev (>= 4.0),
+ libghc-copilot-language-dev (<< 4.1),
libghc-copilot-language-prof,
- libghc-copilot-libraries-dev (>= 3.19.1),
- libghc-copilot-libraries-dev (<< 3.20),
+ libghc-copilot-libraries-dev (>= 4.0),
+ libghc-copilot-libraries-dev (<< 4.1),
libghc-copilot-libraries-prof,
- libghc-copilot-prettyprinter-dev (>= 3.19.1),
- libghc-copilot-prettyprinter-dev (<< 3.20),
+ libghc-copilot-prettyprinter-dev (>= 4.0),
+ libghc-copilot-prettyprinter-dev (<< 4.1),
libghc-copilot-prettyprinter-prof,
- libghc-copilot-theorem-dev (>= 3.19.1),
- libghc-copilot-theorem-dev (<< 3.20),
+ libghc-copilot-theorem-dev (>= 4.0),
+ libghc-copilot-theorem-dev (<< 4.1),
libghc-copilot-theorem-prof,
libghc-optparse-applicative-dev (>= 0.14),
libghc-optparse-applicative-dev (<< 0.19),
View it on GitLab: https://salsa.debian.org/haskell-team/DHG_packages/-/compare/e6c751c90aecadfcd59d92a82e6460cdb464ccdc...6edce361e32092e290daf24eb9bf984531a60763
--
View it on GitLab: https://salsa.debian.org/haskell-team/DHG_packages/-/compare/e6c751c90aecadfcd59d92a82e6460cdb464ccdc...6edce361e32092e290daf24eb9bf984531a60763
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/20240911/73ca9e01/attachment-0001.htm>
More information about the Pkg-haskell-commits
mailing list