@@ -4170,6 +4170,7 @@ skipped-benchmarks:
4170 # These packages
4170 # These packages
4171 # These can also be checked for updates periodically.
4171 # These can also be checked for updates periodically.
4172 - o-clock # base-4.10 and time-1.8 via tiempo
4172 - o-clock # base-4.10 and time-1.8 via tiempo
4173+ - minisat-solver # Cabal-2.2.0.1 via easyrender
4175 # Compilation failures
4176 # Compilation failures