From 2c24b06b916e42e287286fe1e94a8440cc40a244 Mon Sep 17 00:00:00 2001 From: Hiromi ISHII Date: Wed, 27 Dec 2023 00:09:20 +0900 Subject: [PATCH] Version bumped --- ghc-typelits-presburger/Changelog.md | 5 +++++ ghc-typelits-presburger/ghc-typelits-presburger.cabal | 4 ++-- ghc-typelits-presburger/package.yaml | 2 +- singletons-presburger/Changelog.md | 5 +++++ singletons-presburger/package.yaml | 2 +- singletons-presburger/singletons-presburger.cabal | 4 ++-- 6 files changed, 16 insertions(+), 6 deletions(-) diff --git a/ghc-typelits-presburger/Changelog.md b/ghc-typelits-presburger/Changelog.md index 7dd802c..a3d8105 100644 --- 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 index f6b517c..a42d7c3 100644 --- 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 index 22bcce3..757cfb7 100644 --- 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 index 0568580..649a612 100644 --- 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 index 9c2bc8d..998f4d9 100644 --- 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 index 1866007..701764f 100644 --- 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 package.