[Git][haskell-team/DHG_packages][master] 8 commits: copilot-core: Upgrading from 3.18.1 to 3.19.1

Scott Talbert (@swt2c) gitlab at salsa.debian.org
Tue Jul 9 04:32:26 BST 2024



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


Commits:
3e519531 by Scott Talbert at 2024-07-08T22:30:19-04:00
copilot-core: Upgrading from 3.18.1 to 3.19.1

- - - - -
5879a124 by Scott Talbert at 2024-07-08T22:32:33-04:00
copilot-c99: Upgrading from 3.18.1 to 3.19.1

- - - - -
14e3a0f1 by Scott Talbert at 2024-07-08T22:33:17-04:00
copilot-prettyprinter: Upgrading from 3.18.1 to 3.19.1

- - - - -
20c7e563 by Scott Talbert at 2024-07-08T22:34:34-04:00
copilot-interpreter: Upgrading from 3.18.1 to 3.19.1

- - - - -
9d825c14 by Scott Talbert at 2024-07-08T22:36:31-04:00
copilot-theorem: Upgrading from 3.18.1 to 3.19.1

- - - - -
9fdd55ae by Scott Talbert at 2024-07-08T22:37:45-04:00
copilot-language: Upgrading from 3.18.1 to 3.19.1

- - - - -
b539faad by Scott Talbert at 2024-07-08T22:40:05-04:00
copilot-libraries: Upgrading from 3.18.1 to 3.19.1

- - - - -
55971d37 by Scott Talbert at 2024-07-08T22:41:32-04:00
copilot: Upgrading from 3.18.1 to 3.19.1

- - - - -


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 (3.19.1-1) unstable; urgency=medium
+
+  * New upstream release
+
+ -- Scott Talbert <swt at techie.net>  Mon, 08 Jul 2024 22:32:33 -0400
+
 haskell-copilot-c99 (3.18.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.18.1),
- libghc-copilot-core-dev (<< 3.19),
+ libghc-copilot-core-dev (>= 3.19.1),
+ libghc-copilot-core-dev (<< 3.20),
  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.19.1-1) unstable; urgency=medium
+
+  * New upstream release
+
+ -- Scott Talbert <swt at techie.net>  Mon, 08 Jul 2024 22:30:19 -0400
+
 haskell-copilot-core (3.18.1-1) unstable; urgency=medium
 
   * New upstream release


=====================================
p/haskell-copilot-interpreter/debian/changelog
=====================================
@@ -1,3 +1,9 @@
+haskell-copilot-interpreter (3.19.1-1) unstable; urgency=medium
+
+  * New upstream release
+
+ -- Scott Talbert <swt at techie.net>  Mon, 08 Jul 2024 22:34:34 -0400
+
 haskell-copilot-interpreter (3.18.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.18.1),
- libghc-copilot-core-dev (<< 3.19),
+ libghc-copilot-core-dev (>= 3.19.1),
+ libghc-copilot-core-dev (<< 3.20),
  libghc-copilot-core-prof,
  libghc-quickcheck2-dev,
  libghc-quickcheck2-prof,


=====================================
p/haskell-copilot-language/debian/changelog
=====================================
@@ -1,3 +1,9 @@
+haskell-copilot-language (3.19.1-1) unstable; urgency=medium
+
+  * New upstream release
+
+ -- Scott Talbert <swt at techie.net>  Mon, 08 Jul 2024 22:37:45 -0400
+
 haskell-copilot-language (3.18.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.18.1),
- libghc-copilot-core-dev (<< 3.19),
+ libghc-copilot-core-dev (>= 3.19.1),
+ libghc-copilot-core-dev (<< 3.20),
  libghc-copilot-core-prof,
- libghc-copilot-interpreter-dev (>= 3.18.1),
- libghc-copilot-interpreter-dev (<< 3.19),
+ libghc-copilot-interpreter-dev (>= 3.19.1),
+ libghc-copilot-interpreter-dev (<< 3.20),
  libghc-copilot-interpreter-prof,
- libghc-copilot-theorem-dev (>= 3.18.1),
- libghc-copilot-theorem-dev (<< 3.19),
+ libghc-copilot-theorem-dev (>= 3.19.1),
+ libghc-copilot-theorem-dev (<< 3.20),
  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 (3.19.1-1) unstable; urgency=medium
+
+  * New upstream release
+
+ -- Scott Talbert <swt at techie.net>  Mon, 08 Jul 2024 22:40:05 -0400
+
 haskell-copilot-libraries (3.18.1-2) unstable; urgency=medium
 
   * Add z3 as BD to fix tests


=====================================
p/haskell-copilot-libraries/debian/control
=====================================
@@ -8,8 +8,8 @@ Build-Depends: debhelper (>= 10),
  cdbs,
  ghc,
  ghc-prof,
- libghc-copilot-language-dev (>= 3.18.1),
- libghc-copilot-language-dev (<< 3.19),
+ libghc-copilot-language-dev (>= 3.19.1),
+ libghc-copilot-language-dev (<< 3.20),
  libghc-copilot-language-prof,
  libghc-quickcheck2-dev,
  libghc-quickcheck2-prof,


=====================================
p/haskell-copilot-prettyprinter/debian/changelog
=====================================
@@ -1,3 +1,9 @@
+haskell-copilot-prettyprinter (3.19.1-1) unstable; urgency=medium
+
+  * New upstream release
+
+ -- Scott Talbert <swt at techie.net>  Mon, 08 Jul 2024 22:33:17 -0400
+
 haskell-copilot-prettyprinter (3.18.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.18.1),
- libghc-copilot-core-dev (<< 3.19),
+ libghc-copilot-core-dev (>= 3.19.1),
+ libghc-copilot-core-dev (<< 3.20),
  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.19.1-1) unstable; urgency=medium
+
+  * New upstream release
+
+ -- Scott Talbert <swt at techie.net>  Mon, 08 Jul 2024 22:36:31 -0400
+
 haskell-copilot-theorem (3.18.1-2) unstable; urgency=medium
 
   * Add z3 as BD to fix tests


=====================================
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.18.1),
- libghc-copilot-core-dev (<< 3.19),
+ libghc-copilot-core-dev (>= 3.19.1),
+ libghc-copilot-core-dev (<< 3.20),
  libghc-copilot-core-prof,
- libghc-copilot-prettyprinter-dev (>= 3.18.1),
- libghc-copilot-prettyprinter-dev (<< 3.19),
+ libghc-copilot-prettyprinter-dev (>= 3.19.1),
+ libghc-copilot-prettyprinter-dev (<< 3.20),
  libghc-copilot-prettyprinter-prof,
  libghc-data-default-dev (>= 0.7),
  libghc-data-default-dev (<< 0.8),


=====================================
p/haskell-copilot/debian/changelog
=====================================
@@ -1,3 +1,9 @@
+haskell-copilot (3.19.1-1) unstable; urgency=medium
+
+  * New upstream release
+
+ -- Scott Talbert <swt at techie.net>  Mon, 08 Jul 2024 22:41:32 -0400
+
 haskell-copilot (3.18.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.18.1),
- libghc-copilot-c99-dev (<< 3.19),
+ libghc-copilot-c99-dev (>= 3.19.1),
+ libghc-copilot-c99-dev (<< 3.20),
  libghc-copilot-c99-prof,
- libghc-copilot-core-dev (>= 3.18.1),
- libghc-copilot-core-dev (<< 3.19),
+ libghc-copilot-core-dev (>= 3.19.1),
+ libghc-copilot-core-dev (<< 3.20),
  libghc-copilot-core-prof,
- libghc-copilot-language-dev (>= 3.18.1),
- libghc-copilot-language-dev (<< 3.19),
+ libghc-copilot-language-dev (>= 3.19.1),
+ libghc-copilot-language-dev (<< 3.20),
  libghc-copilot-language-prof,
- libghc-copilot-libraries-dev (>= 3.18.1),
- libghc-copilot-libraries-dev (<< 3.19),
+ libghc-copilot-libraries-dev (>= 3.19.1),
+ libghc-copilot-libraries-dev (<< 3.20),
  libghc-copilot-libraries-prof,
- libghc-copilot-prettyprinter-dev (>= 3.18.1),
- libghc-copilot-prettyprinter-dev (<< 3.19),
+ libghc-copilot-prettyprinter-dev (>= 3.19.1),
+ libghc-copilot-prettyprinter-dev (<< 3.20),
  libghc-copilot-prettyprinter-prof,
- libghc-copilot-theorem-dev (>= 3.18.1),
- libghc-copilot-theorem-dev (<< 3.19),
+ libghc-copilot-theorem-dev (>= 3.19.1),
+ libghc-copilot-theorem-dev (<< 3.20),
  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/cb459d688bd0579c54ae19b43da8de730781f9e8...55971d37ff9eb5b6d4ff4b21a2221bba6904012d

-- 
This project does not include diff previews in email notifications.
View it on GitLab: https://salsa.debian.org/haskell-team/DHG_packages/-/compare/cb459d688bd0579c54ae19b43da8de730781f9e8...55971d37ff9eb5b6d4ff4b21a2221bba6904012d
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/20240709/796e2b7c/attachment-0001.htm>


More information about the Pkg-haskell-commits mailing list