diff --git a/build-constraints.yaml b/build-constraints.yaml
index 6538f0c1..c661a22a 100644
--- a/build-constraints.yaml
+++ b/build-constraints.yaml
@@ -5195,6 +5195,7 @@ packages:
         - pinecone
         - probability-polynomial
         - pseudo-boolean
+        - quickcheck-dynamic
         - refined-containers
         - smith
         - streaming-binary