From a519ff79a217bf06f00d2615f6dc09d6df1f0e53 Mon Sep 17 00:00:00 2001 From: Christiaan Baaij Date: Tue, 10 Oct 2023 16:40:14 +0200 Subject: [PATCH] Bump version number --- CHANGELOG.md | 3 +++ ghc-typelits-knownnat.cabal | 2 +- 2 files changed, 4 insertions(+), 1 deletion(-) diff --git a/CHANGELOG.md b/CHANGELOG.md index c33612d..bc7d273 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -1,5 +1,8 @@ # Changelog for the [`ghc-typelits-knownnat`](http://hackage.haskell.org/package/ghc-typelits-knownnat) package +## 0.7.9 *October 10th 2023* +* Support for GHC 9.8.1 + ## 0.7.8 *February 20th 2023* * Support for GHC-9.6.0.20230210 diff --git a/ghc-typelits-knownnat.cabal b/ghc-typelits-knownnat.cabal index ff5c8eb..e801265 100644 --- a/ghc-typelits-knownnat.cabal +++ b/ghc-typelits-knownnat.cabal @@ -1,5 +1,5 @@ name: ghc-typelits-knownnat -version: 0.7.8 +version: 0.7.9 synopsis: Derive KnownNat constraints from other KnownNat constraints description: A type checker plugin for GHC that can derive \"complex\" @KnownNat@