From 9324120977ac9b415a164247535a83c7591292eb Mon Sep 17 00:00:00 2001 From: Ryan Scott Date: Wed, 15 May 2024 10:10:18 -0400 Subject: [PATCH] Bump what4 release version to 1.6 --- what4-transition-system/what4-transition-system.cabal | 2 +- what4/CHANGES.md | 2 +- what4/what4.cabal | 2 +- 3 files changed, 3 insertions(+), 3 deletions(-) diff --git a/what4-transition-system/what4-transition-system.cabal b/what4-transition-system/what4-transition-system.cabal index 265b061c..952f5e56 100644 --- a/what4-transition-system/what4-transition-system.cabal +++ b/what4-transition-system/what4-transition-system.cabal @@ -20,7 +20,7 @@ common dependencies , lens , parameterized-utils >=2.0 && <2.2 , text - , what4 ^>=1.5 + , what4 ^>=1.6 library import: dependencies diff --git a/what4/CHANGES.md b/what4/CHANGES.md index 2df6bf71..14bb5742 100644 --- a/what4/CHANGES.md +++ b/what4/CHANGES.md @@ -1,4 +1,4 @@ -# next (TBA) +# 1.6 (May 2024) * Allow building with GHC 9.8. diff --git a/what4/what4.cabal b/what4/what4.cabal index 4ea6f51e..f8be582b 100644 --- a/what4/what4.cabal +++ b/what4/what4.cabal @@ -1,6 +1,6 @@ Cabal-version: 2.4 Name: what4 -Version: 1.5.1.0.99 +Version: 1.6 Author: Galois Inc. Maintainer: rscott@galois.com, kquick@galois.com Copyright: (c) Galois, Inc 2014-2023