From 410422f57b673c1d11ae408cc249038f87ec60c3 Mon Sep 17 00:00:00 2001
From: jkachmar <git@jkachmar.com>
Date: Fri, 21 Mar 2025 22:52:51 -0400
Subject: [PATCH] restrict what4 < 1.7 (#7725)

---
 build-constraints.yaml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/build-constraints.yaml b/build-constraints.yaml
index f25eb969..828cd687 100644
--- a/build-constraints.yaml
+++ b/build-constraints.yaml
@@ -1855,7 +1855,7 @@ packages:
         - panic
         - parameterized-utils
         - s-cargot
-        - what4
+        - what4 < 1.7 # https://github.com/commercialhaskell/stackage/issues/7725
         - zenc
         # copilot tests:
         - hedgehog-classes