From 3be7ed56518f3b14712847f69296d6706cdbba39 Mon Sep 17 00:00:00 2001 From: Ryan Scott Date: Mon, 23 Sep 2024 08:25:54 -0400 Subject: [PATCH 1/3] CHANGES.md: Mention #273 --- what4/CHANGES.md | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/what4/CHANGES.md b/what4/CHANGES.md index ee4cd912..d5e71bec 100644 --- a/what4/CHANGES.md +++ b/what4/CHANGES.md @@ -1,3 +1,7 @@ +# next (TBA) + +* Allow building with GHC 9.10. + # 1.6.1 (Sep 2024) * Fix a bug in which `what4`'s CVC5 adapter would fail to parse models From 5a0932abed4247d3da7cd0ef5469b2ddc4ba9826 Mon Sep 17 00:00:00 2001 From: Ryan Scott Date: Mon, 23 Sep 2024 08:26:35 -0400 Subject: [PATCH 2/3] Bump what4 release version to 1.6.2 --- what4/CHANGES.md | 2 +- what4/what4.cabal | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/what4/CHANGES.md b/what4/CHANGES.md index d5e71bec..938335de 100644 --- a/what4/CHANGES.md +++ b/what4/CHANGES.md @@ -1,4 +1,4 @@ -# next (TBA) +# 1.6.2 (Sep 2024) * Allow building with GHC 9.10. diff --git a/what4/what4.cabal b/what4/what4.cabal index bfad9bf6..f6607b00 100644 --- a/what4/what4.cabal +++ b/what4/what4.cabal @@ -1,6 +1,6 @@ Cabal-version: 2.4 Name: what4 -Version: 1.6.1.0.99 +Version: 1.6.2 Author: Galois Inc. Maintainer: rscott@galois.com, kquick@galois.com Copyright: (c) Galois, Inc 2014-2023 From eebba792e6061c3e306b3eacedc9952000ddec1e Mon Sep 17 00:00:00 2001 From: Ryan Scott Date: Mon, 23 Sep 2024 08:27:28 -0400 Subject: [PATCH 3/3] Bump what4 development version to 1.6.2.0.99 --- what4/what4.cabal | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/what4/what4.cabal b/what4/what4.cabal index f6607b00..84a62292 100644 --- a/what4/what4.cabal +++ b/what4/what4.cabal @@ -1,6 +1,6 @@ Cabal-version: 2.4 Name: what4 -Version: 1.6.2 +Version: 1.6.2.0.99 Author: Galois Inc. Maintainer: rscott@galois.com, kquick@galois.com Copyright: (c) Galois, Inc 2014-2023