[Git][haskell-team/DHG_packages][master] what4: Upgrading from 1.3 to 1.5.1

Clint Adams (@clint) gitlab at salsa.debian.org
Tue Oct 24 19:38:07 BST 2023 


Clint Adams pushed to branch master at Debian Haskell Group / DHG_packages


Commits:
bc81462b by Clint Adams at 2023-10-24T14:36:06-04:00
what4: Upgrading from 1.3 to 1.5.1

- - - - -


4 changed files:

- p/haskell-what4/debian/changelog
- p/haskell-what4/debian/control
- p/haskell-what4/debian/patches/disable-tests-non-x86_64
- p/haskell-what4/debian/patches/no-tasty-sugar


Changes:

=====================================
p/haskell-what4/debian/changelog
=====================================
@@ -1,8 +1,12 @@
-haskell-what4 (1.3-5) UNRELEASED; urgency=medium
+haskell-what4 (1.5.1-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:34:57 +0300
+  [ Clint Adams ]
+  * New upstream version.
+
+ -- Clint Adams <clint at debian.org>  Tue, 24 Oct 2023 14:27:12 -0400
 
 haskell-what4 (1.3-4) unstable; urgency=medium
 


=====================================
p/haskell-what4/debian/control
=====================================
@@ -8,6 +8,9 @@ Build-Depends: debhelper (>= 10),
  cdbs,
  ghc,
  ghc-prof,
+ libghc-boundedchan-dev (>= 1),
+ libghc-boundedchan-dev (<< 2),
+ libghc-boundedchan-prof,
  libghc-async-dev,
  libghc-async-prof,
  libghc-attoparsec-dev (>= 0.13),
@@ -24,8 +27,6 @@ Build-Depends: debhelper (>= 10),
  libghc-config-value-dev (>= 0.8),
  libghc-config-value-dev (<< 0.9),
  libghc-config-value-prof,
- libghc-data-binary-ieee754-dev,
- libghc-data-binary-ieee754-prof,
  libghc-deriving-compat-dev (>= 0.5),
  libghc-deriving-compat-prof,
  libghc-fingertree-dev (>= 0.1.4),
@@ -45,6 +46,12 @@ Build-Depends: debhelper (>= 10),
  libghc-libbf-dev (>= 0.6),
  libghc-libbf-dev (<< 0.7),
  libghc-libbf-prof,
+ libghc-megaparsec-dev (>= 8),
+ libghc-megaparsec-dev (<< 10),
+ libghc-megaparsec-prof,
+ libghc-ordered-containers-dev (>= 0.2),
+ libghc-ordered-containers-dev (<< 0.3),
+ libghc-ordered-containers-prof,
  libghc-panic-dev (>= 0.3),
  libghc-panic-prof,
  libghc-parameterized-utils-dev (>= 2.1),
@@ -52,8 +59,9 @@ Build-Depends: debhelper (>= 10),
  libghc-parameterized-utils-prof,
  libghc-prettyprinter-dev (>= 1.7.0),
  libghc-prettyprinter-prof,
- libghc-quickcheck2-dev (>= 2.12),
- libghc-quickcheck2-prof,
+ libghc-s-cargot-dev (>= 0.1),
+ libghc-s-cargot-dev (<< 0.2),
+ libghc-s-cargot-prof,
  libghc-scientific-dev (>= 0.3.6),
  libghc-scientific-prof,
  libghc-tasty-dev (>= 0.10),
@@ -72,23 +80,23 @@ Build-Depends: debhelper (>= 10),
  libghc-tasty-quickcheck-prof,
  libghc-temporary-dev (>= 1.2),
  libghc-temporary-prof,
- libghc-th-abstraction-dev (>= 0.1),
- libghc-th-abstraction-dev (<< 0.5),
- libghc-th-abstraction-prof,
  libghc-th-lift-dev (>= 0.8.2),
  libghc-th-lift-dev (<< 0.9),
  libghc-th-lift-prof,
  libghc-th-lift-instances-dev (>= 0.1),
  libghc-th-lift-instances-dev (<< 0.2),
  libghc-th-lift-instances-prof,
+ libghc-unliftio-dev (>= 0.2),
+ libghc-unliftio-dev (<< 0.3),
+ libghc-unliftio-prof,
  libghc-unordered-containers-dev (>= 0.2.10),
  libghc-unordered-containers-prof,
  libghc-utf8-string-dev (>= 1.0.1),
  libghc-utf8-string-prof,
  libghc-vector-dev (>= 0.12.1),
  libghc-vector-prof,
- libghc-versions-dev (>= 4.0),
- libghc-versions-dev (<< 6.0),
+ libghc-versions-dev (>= 6.0.2),
+ libghc-versions-dev (<< 6.1),
  libghc-versions-prof,
  libghc-zenc-dev (>= 0.1.0),
  libghc-zenc-dev (<< 0.2.0),
@@ -96,7 +104,37 @@ Build-Depends: debhelper (>= 10),
  libghc-parameterized-utils-dev,
  cvc4,
  z3,
+ libghc-quickcheck2-dev (>= 2.12),
+ libghc-quickcheck2-prof,
+ libghc-bv-sized-dev,
+ libghc-contravariant-dev,
+ libghc-contravariant-prof,
+ libghc-hedgehog-dev (>= 1.0.2),
+ libghc-hedgehog-prof,
+ libghc-io-streams-dev,
+ libghc-libbf-dev,
+ libghc-lumberjack-dev,
+ libghc-lumberjack-prof,
+ libghc-ordered-containers-dev,
+ libghc-prettyprinter-dev,
+ libghc-tasty-dev (>= 0.10),
+ libghc-tasty-prof,
+ libghc-tasty-checklist-dev (>= 1.0.3),
+ libghc-tasty-checklist-dev (<< 1.1),
+ libghc-tasty-checklist-prof,
+ libghc-tasty-expected-failure-dev (>= 0.12),
+ libghc-tasty-expected-failure-dev (<< 0.13),
+ libghc-tasty-expected-failure-prof,
+ libghc-tasty-hedgehog-dev (>= 1.2),
+ libghc-tasty-hedgehog-prof,
+ libghc-tasty-hunit-dev (>= 0.9),
+ libghc-tasty-hunit-prof,
+ libghc-tasty-quickcheck-dev (>= 0.10),
+ libghc-tasty-quickcheck-prof,
+ libghc-temporary-dev,
+ libghc-versions-dev,
 Build-Depends-Indep: ghc-doc,
+ libghc-boundedchan-doc,
  libghc-async-doc,
  libghc-attoparsec-doc,
  libghc-bifunctors-doc,
@@ -104,7 +142,6 @@ Build-Depends-Indep: ghc-doc,
  libghc-bv-sized-doc,
  libghc-concurrent-extra-doc,
  libghc-config-value-doc,
- libghc-data-binary-ieee754-doc,
  libghc-deriving-compat-doc,
  libghc-fingertree-doc,
  libghc-hashable-doc,
@@ -113,11 +150,12 @@ Build-Depends-Indep: ghc-doc,
  libghc-io-streams-doc,
  libghc-lens-doc,
  libghc-libbf-doc,
- libghc-lumberjack-doc,
+ libghc-megaparsec-doc,
+ libghc-ordered-containers-doc,
  libghc-panic-doc,
  libghc-parameterized-utils-doc,
  libghc-prettyprinter-doc,
- libghc-quickcheck2-doc,
+ libghc-s-cargot-doc,
  libghc-scientific-doc,
  libghc-tasty-doc,
  libghc-tasty-checklist-doc,
@@ -126,9 +164,9 @@ Build-Depends-Indep: ghc-doc,
  libghc-tasty-hunit-doc,
  libghc-tasty-quickcheck-doc,
  libghc-temporary-doc,
- libghc-th-abstraction-doc,
  libghc-th-lift-doc,
  libghc-th-lift-instances-doc,
+ libghc-unliftio-doc,
  libghc-unordered-containers-doc,
  libghc-utf8-string-doc,
  libghc-vector-doc,


=====================================
p/haskell-what4/debian/patches/disable-tests-non-x86_64
=====================================
@@ -1,6 +1,6 @@
 --- a/what4.cabal
 +++ b/what4.cabal
-@@ -328,6 +328,10 @@ test-suite expr-builder-smtlib2
+@@ -353,6 +353,10 @@ test-suite expr-builder-smtlib2
      tasty-checklist >= 1.0.3 && < 1.1,
      text,
      versions
@@ -11,7 +11,7 @@
  
  
  test-suite exprs_tests
-@@ -386,4 +390,8 @@ test-suite template_tests
+@@ -411,6 +415,10 @@ test-suite template_tests
    build-depends: bv-sized
                 , libBF
                 , transformers
@@ -20,3 +20,5 @@
 +  else
 +    buildable: False
  
+ test-suite what4-serialize-tests
+   default-language: Haskell2010


=====================================
p/haskell-what4/debian/patches/no-tasty-sugar
=====================================
@@ -1,6 +1,6 @@
 --- a/what4.cabal
 +++ b/what4.cabal
-@@ -387,14 +387,3 @@ test-suite template_tests
+@@ -412,18 +412,6 @@ test-suite template_tests
                 , libBF
                 , transformers
  
@@ -13,5 +13,9 @@
 -               , exceptions
 -               , io-streams
 -               , lumberjack
--               , tasty-sugar >= 1.1 && < 1.2
+-               , tasty-sugar >= 2.0 && < 2.3
 -               , text
+-
+ test-suite what4-serialize-tests
+   default-language: Haskell2010
+   type: exitcode-stdio-1.0



View it on GitLab: https://salsa.debian.org/haskell-team/DHG_packages/-/commit/bc81462b8ca16b1ba3b65a815da2a7c566a2e3cf

-- 
View it on GitLab: https://salsa.debian.org/haskell-team/DHG_packages/-/commit/bc81462b8ca16b1ba3b65a815da2a7c566a2e3cf
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/20231024/d6c7007a/attachment-0001.htm>

More information about the Pkg-haskell-commits mailing list