From 460c12622b843360520fb1f932dcb83171a6753b Mon Sep 17 00:00:00 2001
From: Alexey Zabelin <hello@alexeyzabelin.com>
Date: Sat, 16 Jun 2018 21:15:59 -0400
Subject: [PATCH] Skip benchmarks for minisat-solver

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

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