diff --git a/build-constraints.yaml b/build-constraints.yaml
index 175ef61d..326adabb 100644
--- a/build-constraints.yaml
+++ b/build-constraints.yaml
@@ -4170,6 +4170,7 @@ skipped-benchmarks:
     # These packages
     # These can also be checked for updates periodically.
     - o-clock # base-4.10 and time-1.8 via tiempo
+    - minisat-solver # Cabal-2.2.0.1 via easyrender
 
 
     # Compilation failures