From 0de9569be39364164e155fabb9a5ece636ab63c1 Mon Sep 17 00:00:00 2001
From: Ryan Scott <rscott@galois.com>
Date: Thu, 19 Sep 2024 10:33:12 -0400
Subject: [PATCH] TEMPORARY HACK: Use allow-newer in cabal.project

This is needed until the following version bumps make it to Hackage:

* https://github.com/kquick/named-text/pull/1
* https://github.com/kquick/kvitable/pull/6
---
 cabal.project | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/cabal.project b/cabal.project
index 0b18eea7..64d37dca 100644
--- a/cabal.project
+++ b/cabal.project
@@ -14,3 +14,9 @@ optional-packages:
   dependencies/abcBridge/
   dependencies/aig/
   dependencies/blt/
+
+allow-newer:
+  named-text:base,
+  named-text:aeson,
+  named-text:tasty,
+  kvitable:base