From d5c815d0521e006d3833bd8139daedbc22dcf784 Mon Sep 17 00:00:00 2001
From: Jens Petersen <juhpetersen@gmail.com>
Date: Fri, 18 Jul 2025 17:13:35 +0800
Subject: [PATCH] drop 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 9dde1a97..8efefed9 100644
--- a/build-constraints.yaml
+++ b/build-constraints.yaml
@@ -1877,7 +1877,7 @@ packages:
         - panic
         - parameterized-utils
         - s-cargot
-        - what4 < 1.7 # https://github.com/commercialhaskell/stackage/issues/7725
+        - what4
         - zenc
         # copilot tests:
         - hedgehog-classes