Version bumped

konn · Dec 26, 2023 · 413f6cd · 413f6cd
1 parent c9a1893
commit 413f6cd
Show file tree

Hide file tree

Showing 6 changed files with 16 additions and 6 deletions.
diff --git a/ghc-typelits-presburger/Changelog.md b/ghc-typelits-presburger/Changelog.md
@@ -1,5 +1,10 @@
 # Changelog
 
+## 0.7.3.0
+
+* Supports GHC 9.8
+* Drops support for GHC <9
+
 ## 0.7.2.0
 
 * Supports GHC 9.6

diff --git a/ghc-typelits-presburger/ghc-typelits-presburger.cabal b/ghc-typelits-presburger/ghc-typelits-presburger.cabal
@@ -4,10 +4,10 @@ cabal-version: 1.12
 --
 -- see: https://github.com/sol/hpack
 --
--- hash: 5524aed4fd2ab4d787dcad633c14b7ede9eeddc9fbce4db1ef0d1fdb74986499
+-- hash: 979226dcc13643574c669d5607b3d16d2cb873154282a49ef47bfd9c8b52c073
 
 name:          ghc-typelits-presburger
-version:       0.7.2.0
+version:       0.7.3.0
 synopsis:      Presburger Arithmetic Solver for GHC Type-level natural numbers.
 description:   @ghc-typelits-presburger@ augments GHC type-system with Presburger
                Arithmetic Solver for Type-level natural numbers.

diff --git a/ghc-typelits-presburger/package.yaml b/ghc-typelits-presburger/package.yaml
@@ -1,5 +1,5 @@
 name: ghc-typelits-presburger
-version: "0.7.2.0"
+version: "0.7.3.0"
 synopsis: Presburger Arithmetic Solver for GHC Type-level natural numbers.
 description: |
   @ghc-typelits-presburger@ augments GHC type-system with Presburger

diff --git a/singletons-presburger/Changelog.md b/singletons-presburger/Changelog.md
@@ -1,5 +1,10 @@
 # Changelog
 
+## 0.7.3.0
+
+* Supports GHC 9.8
+* Drops support for GHC <9
+
 ## 0.7.2.0
 
 * Supports GHC 9.6

diff --git a/singletons-presburger/package.yaml b/singletons-presburger/package.yaml
@@ -1,5 +1,5 @@
 name: singletons-presburger
-version: "0.7.2.0"
+version: "0.7.3.0"
 synopsis: Presburger Arithmetic Solver for GHC Type-level natural numbers with Singletons package.
 description: |
   The @singletons-presburger@ plugin augments GHC type-system with Presburger

diff --git a/singletons-presburger/singletons-presburger.cabal b/singletons-presburger/singletons-presburger.cabal
@@ -4,10 +4,10 @@ cabal-version: 1.12
 --
 -- see: https://github.com/sol/hpack
 --
--- hash: 006457febbf643168a4942cd9c7ac7170a436a67000d6858814a3dc70a4b7633
+-- hash: 01c951fe1f6f3e8e9be648f36b92368502b685056280abef68bae093cfe61a89
 
 name:           singletons-presburger
-version:        0.7.2.0
+version:        0.7.3.0
 synopsis:       Presburger Arithmetic Solver for GHC Type-level natural numbers with Singletons package.
 description:    The @singletons-presburger@ plugin augments GHC type-system with Presburger
                 Arithmetic Solver for Type-level natural numbers, with integration with <https://hackage.haskell.org/package/singletons singletons> package.