[Git][haskell-team/DHG_packages][master] 7 commits: copilot: Upgrading from 3.11 to 3.12

[Scott Talbert (@swt2c)]

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


Commits:
f395a419 by Scott Talbert at 2022-11-08T19:09:28-05:00
copilot: Upgrading from 3.11 to 3.12

- - - - -
018e7104 by Scott Talbert at 2022-11-08T19:11:20-05:00
copilot-c99: Upgrading from 3.11 to 3.12

- - - - -
414096cf by Scott Talbert at 2022-11-08T19:12:46-05:00
copilot-core: Upgrading from 3.11 to 3.12

- - - - -
99a8d19d by Scott Talbert at 2022-11-08T19:14:12-05:00
copilot-interpreter: Upgrading from 3.11 to 3.12

- - - - -
d01429d1 by Scott Talbert at 2022-11-08T19:15:55-05:00
copilot-language: Upgrading from 3.11 to 3.12

- - - - -
f50f6f09 by Scott Talbert at 2022-11-08T19:17:25-05:00
copilot-libraries: Upgrading from 3.11 to 3.12

- - - - -
9ddb0fb2 by Scott Talbert at 2022-11-08T19:19:44-05:00
copilot-theorem: Upgrading from 3.11 to 3.12

- - - - -


13 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-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.12-1) unstable; urgency=medium
+
+  * New upstream release
+
+ -- Scott Talbert <swt at techie.net>  Tue, 08 Nov 2022 19:11:20 -0500
+
 haskell-copilot-c99 (3.11-1) unstable; urgency=medium
 
   * New upstream release


=====================================
p/haskell-copilot-c99/debian/control
=====================================
@@ -8,8 +8,8 @@ Build-Depends: debhelper (>= 10),
  cdbs,
  ghc,
  ghc-prof,
- libghc-copilot-core-dev (>= 3.11),
- libghc-copilot-core-dev (<< 3.12),
+ libghc-copilot-core-dev (>= 3.12),
+ libghc-copilot-core-dev (<< 3.13),
  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.12-1) unstable; urgency=medium
+
+  * New upstream release
+
+ -- Scott Talbert <swt at techie.net>  Tue, 08 Nov 2022 19:12:46 -0500
+
 haskell-copilot-core (3.11-1) unstable; urgency=medium
 
   * New upstream release


=====================================
p/haskell-copilot-interpreter/debian/changelog
=====================================
@@ -1,3 +1,9 @@
+haskell-copilot-interpreter (3.12-1) unstable; urgency=medium
+
+  * New upstream release
+
+ -- Scott Talbert <swt at techie.net>  Tue, 08 Nov 2022 19:14:12 -0500
+
 haskell-copilot-interpreter (3.11-2) unstable; urgency=medium
 
   * Post-NEW source-only upload


=====================================
p/haskell-copilot-interpreter/debian/control
=====================================
@@ -12,6 +12,8 @@ Build-Depends: debhelper (>= 10),
  libghc-copilot-core-prof,
  libghc-quickcheck2-dev,
  libghc-quickcheck2-prof,
+ libghc-copilot-prettyprinter-dev,
+ libghc-copilot-prettyprinter-prof,
  libghc-test-framework-dev,
  libghc-test-framework-prof,
  libghc-test-framework-quickcheck2-dev,


=====================================
p/haskell-copilot-language/debian/changelog
=====================================
@@ -1,3 +1,9 @@
+haskell-copilot-language (3.12-1) unstable; urgency=medium
+
+  * New upstream release
+
+ -- Scott Talbert <swt at techie.net>  Tue, 08 Nov 2022 19:15:55 -0500
+
 haskell-copilot-language (3.11-1) unstable; urgency=medium
 
   * New upstream release


=====================================
p/haskell-copilot-language/debian/control
=====================================
@@ -8,14 +8,17 @@ Build-Depends: debhelper (>= 10),
  cdbs,
  ghc,
  ghc-prof,
- libghc-copilot-core-dev (>= 3.11),
- libghc-copilot-core-dev (<< 3.12),
+ libghc-copilot-core-dev (>= 3.12),
+ libghc-copilot-core-dev (<< 3.13),
  libghc-copilot-core-prof,
- libghc-copilot-interpreter-dev (>= 3.11),
- libghc-copilot-interpreter-dev (<< 3.12),
+ libghc-copilot-interpreter-dev (>= 3.12),
+ libghc-copilot-interpreter-dev (<< 3.13),
  libghc-copilot-interpreter-prof,
- libghc-copilot-theorem-dev (>= 3.11),
- libghc-copilot-theorem-dev (<< 3.12),
+ libghc-copilot-prettyprinter-dev (>= 3.12),
+ libghc-copilot-prettyprinter-dev (<< 3.13),
+ libghc-copilot-prettyprinter-prof,
+ libghc-copilot-theorem-dev (>= 3.12),
+ libghc-copilot-theorem-dev (<< 3.13),
  libghc-copilot-theorem-prof,
  libghc-data-reify-dev (>= 0.6),
  libghc-data-reify-dev (<< 0.7),
@@ -33,6 +36,7 @@ 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,3 +1,9 @@
+haskell-copilot-libraries (3.12-1) unstable; urgency=medium
+
+  * New upstream release
+
+ -- Scott Talbert <swt at techie.net>  Tue, 08 Nov 2022 19:17:25 -0500
+
 haskell-copilot-libraries (3.11-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.11),
- libghc-copilot-language-dev (<< 3.12),
+ libghc-copilot-language-dev (>= 3.12),
+ libghc-copilot-language-dev (<< 3.13),
  libghc-copilot-language-prof,
 Build-Depends-Indep: ghc-doc,
  libghc-copilot-language-doc,


=====================================
p/haskell-copilot-theorem/debian/changelog
=====================================
@@ -1,3 +1,9 @@
+haskell-copilot-theorem (3.12-1) unstable; urgency=medium
+
+  * New upstream release
+
+ -- Scott Talbert <swt at techie.net>  Tue, 08 Nov 2022 19:19:44 -0500
+
 haskell-copilot-theorem (3.11-1) unstable; urgency=medium
 
   * New upstream release


=====================================
p/haskell-copilot-theorem/debian/control
=====================================
@@ -13,9 +13,12 @@ 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.11),
- libghc-copilot-core-dev (<< 3.12),
+ libghc-copilot-core-dev (>= 3.12),
+ libghc-copilot-core-dev (<< 3.13),
  libghc-copilot-core-prof,
+ libghc-copilot-prettyprinter-dev (>= 3.12),
+ libghc-copilot-prettyprinter-dev (<< 3.13),
+ libghc-copilot-prettyprinter-prof,
  libghc-data-default-dev (>= 0.7),
  libghc-data-default-dev (<< 0.8),
  libghc-data-default-prof,
@@ -31,7 +34,7 @@ Build-Depends: debhelper (>= 10),
  libghc-random-dev (>= 1.1),
  libghc-random-dev (<< 1.3),
  libghc-random-prof,
- libghc-what4-dev (>= 1.1),
+ libghc-what4-dev (>= 1.3),
  libghc-what4-dev (<< 1.4),
  libghc-what4-prof,
  libghc-xml-dev (>= 1.3),
@@ -41,6 +44,7 @@ Build-Depends-Indep: ghc-doc,
  libghc-bimap-doc,
  libghc-bv-sized-doc,
  libghc-copilot-core-doc,
+ libghc-copilot-prettyprinter-doc,
  libghc-data-default-doc,
  libghc-libbf-doc,
  libghc-panic-doc,


=====================================
p/haskell-copilot/debian/changelog
=====================================
@@ -1,3 +1,9 @@
+haskell-copilot (3.12-1) unstable; urgency=medium
+
+  * New upstream release
+
+ -- Scott Talbert <swt at techie.net>  Tue, 08 Nov 2022 19:09:28 -0500
+
 haskell-copilot (3.11-1) unstable; urgency=medium
 
   * New upstream release


=====================================
p/haskell-copilot/debian/control
=====================================
@@ -8,20 +8,20 @@ Build-Depends: debhelper (>= 10),
  cdbs,
  ghc,
  ghc-prof,
- libghc-copilot-c99-dev (>= 3.11),
- libghc-copilot-c99-dev (<< 3.12),
+ libghc-copilot-c99-dev (>= 3.12),
+ libghc-copilot-c99-dev (<< 3.13),
  libghc-copilot-c99-prof,
- libghc-copilot-core-dev (>= 3.11),
- libghc-copilot-core-dev (<< 3.12),
+ libghc-copilot-core-dev (>= 3.12),
+ libghc-copilot-core-dev (<< 3.13),
  libghc-copilot-core-prof,
- libghc-copilot-language-dev (>= 3.11),
- libghc-copilot-language-dev (<< 3.12),
+ libghc-copilot-language-dev (>= 3.12),
+ libghc-copilot-language-dev (<< 3.13),
  libghc-copilot-language-prof,
- libghc-copilot-libraries-dev (>= 3.11),
- libghc-copilot-libraries-dev (<< 3.12),
+ libghc-copilot-libraries-dev (>= 3.12),
+ libghc-copilot-libraries-dev (<< 3.13),
  libghc-copilot-libraries-prof,
- libghc-copilot-theorem-dev (>= 3.11),
- libghc-copilot-theorem-dev (<< 3.12),
+ libghc-copilot-theorem-dev (>= 3.12),
+ libghc-copilot-theorem-dev (<< 3.13),
  libghc-copilot-theorem-prof,
  libghc-optparse-applicative-dev (>= 0.14),
  libghc-optparse-applicative-dev (<< 0.18),



View it on GitLab: https://salsa.debian.org/haskell-team/DHG_packages/-/compare/efc68c49306a188a7b237dfbadfef06db4415772...9ddb0fb23899e2ec5206a42452d244614d0a7613

-- 
View it on GitLab: https://salsa.debian.org/haskell-team/DHG_packages/-/compare/efc68c49306a188a7b237dfbadfef06db4415772...9ddb0fb23899e2ec5206a42452d244614d0a7613
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/20221109/be002266/attachment-0001.htm>