[Git][haskell-team/DHG_packages][master] 8 commits: copilot: Upgrading from 3.12 to 3.13
Scott Talbert (@swt2c)
gitlab at salsa.debian.org
Tue Jan 10 01:14:55 GMT 2023
Scott Talbert pushed to branch master at Debian Haskell Group / DHG_packages
Commits:
5d46b317 by Scott Talbert at 2023-01-09T19:26:15-05:00
copilot: Upgrading from 3.12 to 3.13
- - - - -
b2fc702e by Scott Talbert at 2023-01-09T19:27:40-05:00
copilot-c99: Upgrading from 3.12 to 3.13
- - - - -
4ea599bc by Scott Talbert at 2023-01-09T19:29:15-05:00
copilot-core: Upgrading from 3.12 to 3.13
- - - - -
bf55ffba by Scott Talbert at 2023-01-09T19:33:44-05:00
copilot-interpreter: Upgrading from 3.12 to 3.13
- - - - -
d32f9eb3 by Scott Talbert at 2023-01-09T19:36:10-05:00
copilot-language: Upgrading from 3.12 to 3.13
- - - - -
6887c4b9 by Scott Talbert at 2023-01-09T19:37:09-05:00
copilot-libraries: Upgrading from 3.12 to 3.13
- - - - -
b8734d8d by Scott Talbert at 2023-01-09T19:38:13-05:00
copilot-prettyprinter: Upgrading from 3.12 to 3.13
- - - - -
f9ef415b by Scott Talbert at 2023-01-09T19:39:57-05:00
copilot-theorem: Upgrading from 3.12 to 3.13
- - - - -
16 changed files:
- p/haskell-copilot-c99/debian/changelog
- p/haskell-copilot-c99/debian/control
- p/haskell-copilot-core/debian/changelog
- p/haskell-copilot-core/debian/control
- 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.13-1) unstable; urgency=medium
+
+ * New upstream release
+
+ -- Scott Talbert <swt at techie.net> Mon, 09 Jan 2023 19:27:40 -0500
+
haskell-copilot-c99 (3.12-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.12),
- libghc-copilot-core-dev (<< 3.13),
+ libghc-copilot-core-dev (>= 3.13),
+ libghc-copilot-core-dev (<< 3.14),
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.13-1) unstable; urgency=medium
+
+ * New upstream release
+
+ -- Scott Talbert <swt at techie.net> Mon, 09 Jan 2023 19:29:15 -0500
+
haskell-copilot-core (3.12-1) unstable; urgency=medium
* New upstream release
=====================================
p/haskell-copilot-core/debian/control
=====================================
@@ -8,8 +8,6 @@ Build-Depends: debhelper (>= 10),
cdbs,
ghc,
ghc-prof,
- libghc-dlist-dev,
- libghc-dlist-prof,
libghc-hunit-dev,
libghc-hunit-prof,
libghc-quickcheck2-dev,
@@ -21,7 +19,6 @@ Build-Depends: debhelper (>= 10),
libghc-test-framework-quickcheck2-dev,
libghc-test-framework-quickcheck2-prof,
Build-Depends-Indep: ghc-doc,
- libghc-dlist-doc,
Standards-Version: 4.6.1
Homepage: https://copilot-language.github.io
Vcs-Browser: https://salsa.debian.org/haskell-team/DHG_packages/tree/master/p/haskell-copilot-core
=====================================
p/haskell-copilot-interpreter/debian/changelog
=====================================
@@ -1,3 +1,9 @@
+haskell-copilot-interpreter (3.13-1) unstable; urgency=medium
+
+ * New upstream release
+
+ -- Scott Talbert <swt at techie.net> Mon, 09 Jan 2023 19:31:29 -0500
+
haskell-copilot-interpreter (3.12-1) unstable; urgency=medium
* New upstream release
=====================================
p/haskell-copilot-interpreter/debian/control
=====================================
@@ -8,7 +8,8 @@ Build-Depends: debhelper (>= 10),
cdbs,
ghc,
ghc-prof,
- libghc-copilot-core-dev,
+ libghc-copilot-core-dev (>= 3.13),
+ libghc-copilot-core-dev (<< 3.14),
libghc-copilot-core-prof,
libghc-quickcheck2-dev,
libghc-quickcheck2-prof,
=====================================
p/haskell-copilot-language/debian/changelog
=====================================
@@ -1,3 +1,9 @@
+haskell-copilot-language (3.13-1) unstable; urgency=medium
+
+ * New upstream release
+
+ -- Scott Talbert <swt at techie.net> Mon, 09 Jan 2023 19:36:09 -0500
+
haskell-copilot-language (3.12-1) unstable; urgency=medium
* New upstream release
=====================================
p/haskell-copilot-language/debian/control
=====================================
@@ -8,17 +8,17 @@ Build-Depends: debhelper (>= 10),
cdbs,
ghc,
ghc-prof,
- libghc-copilot-core-dev (>= 3.12),
- libghc-copilot-core-dev (<< 3.13),
+ libghc-copilot-core-dev (>= 3.13),
+ libghc-copilot-core-dev (<< 3.14),
libghc-copilot-core-prof,
- libghc-copilot-interpreter-dev (>= 3.12),
- libghc-copilot-interpreter-dev (<< 3.13),
+ libghc-copilot-interpreter-dev (>= 3.13),
+ libghc-copilot-interpreter-dev (<< 3.14),
libghc-copilot-interpreter-prof,
- libghc-copilot-prettyprinter-dev (>= 3.12),
- libghc-copilot-prettyprinter-dev (<< 3.13),
+ libghc-copilot-prettyprinter-dev (>= 3.13),
+ libghc-copilot-prettyprinter-dev (<< 3.14),
libghc-copilot-prettyprinter-prof,
- libghc-copilot-theorem-dev (>= 3.12),
- libghc-copilot-theorem-dev (<< 3.13),
+ libghc-copilot-theorem-dev (>= 3.13),
+ libghc-copilot-theorem-dev (<< 3.14),
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.13-1) unstable; urgency=medium
+
+ * New upstream release
+
+ -- Scott Talbert <swt at techie.net> Mon, 09 Jan 2023 19:37:09 -0500
+
haskell-copilot-libraries (3.12-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.12),
- libghc-copilot-language-dev (<< 3.13),
+ libghc-copilot-language-dev (>= 3.13),
+ libghc-copilot-language-dev (<< 3.14),
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.13-1) unstable; urgency=medium
+
+ * New upstream release
+
+ -- Scott Talbert <swt at techie.net> Mon, 09 Jan 2023 19:38:13 -0500
+
haskell-copilot-prettyprinter (3.12-2) unstable; urgency=medium
* Post-NEW source-only upload
=====================================
p/haskell-copilot-prettyprinter/debian/control
=====================================
@@ -8,7 +8,8 @@ Build-Depends: debhelper (>= 10),
cdbs,
ghc,
ghc-prof,
- libghc-copilot-core-dev,
+ libghc-copilot-core-dev (>= 3.13),
+ libghc-copilot-core-dev (<< 3.14),
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.13-1) unstable; urgency=medium
+
+ * New upstream release
+
+ -- Scott Talbert <swt at techie.net> Mon, 09 Jan 2023 19:39:57 -0500
+
haskell-copilot-theorem (3.12-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.12),
- libghc-copilot-core-dev (<< 3.13),
+ libghc-copilot-core-dev (>= 3.13),
+ libghc-copilot-core-dev (<< 3.14),
libghc-copilot-core-prof,
- libghc-copilot-prettyprinter-dev (>= 3.12),
- libghc-copilot-prettyprinter-dev (<< 3.13),
+ libghc-copilot-prettyprinter-dev (>= 3.13),
+ libghc-copilot-prettyprinter-dev (<< 3.14),
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.13-1) unstable; urgency=medium
+
+ * New upstream release
+
+ -- Scott Talbert <swt at techie.net> Mon, 09 Jan 2023 19:26:15 -0500
+
haskell-copilot (3.12-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.12),
- libghc-copilot-c99-dev (<< 3.13),
+ libghc-copilot-c99-dev (>= 3.13),
+ libghc-copilot-c99-dev (<< 3.14),
libghc-copilot-c99-prof,
- libghc-copilot-core-dev (>= 3.12),
- libghc-copilot-core-dev (<< 3.13),
+ libghc-copilot-core-dev (>= 3.13),
+ libghc-copilot-core-dev (<< 3.14),
libghc-copilot-core-prof,
- libghc-copilot-language-dev (>= 3.12),
- libghc-copilot-language-dev (<< 3.13),
+ libghc-copilot-language-dev (>= 3.13),
+ libghc-copilot-language-dev (<< 3.14),
libghc-copilot-language-prof,
- libghc-copilot-libraries-dev (>= 3.12),
- libghc-copilot-libraries-dev (<< 3.13),
+ libghc-copilot-libraries-dev (>= 3.13),
+ libghc-copilot-libraries-dev (<< 3.14),
libghc-copilot-libraries-prof,
- libghc-copilot-theorem-dev (>= 3.12),
- libghc-copilot-theorem-dev (<< 3.13),
+ libghc-copilot-theorem-dev (>= 3.13),
+ libghc-copilot-theorem-dev (<< 3.14),
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/92b5602671f79c3afe11cb7a2c20cb2a088034e2...f9ef415bbedcb18396c0d8e677ffc4e25b0aeea4
--
View it on GitLab: https://salsa.debian.org/haskell-team/DHG_packages/-/compare/92b5602671f79c3afe11cb7a2c20cb2a088034e2...f9ef415bbedcb18396c0d8e677ffc4e25b0aeea4
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/20230110/caf3b920/attachment-0001.htm>
More information about the Pkg-haskell-commits
mailing list