Resolving dependencies...
cabal: Could not resolve dependencies:
next goal: yices-painless (user goal)
rejecting: yices-painless-0.1.2, 0.1.1 (global constraint requires ==0.1)
trying: yices-painless-0.1
trying: base-4.8.1.0/installed-4f7... (dependency of yices-painless-0.1)
next goal: strict-concurrency (dependency of yices-painless-0.1)
rejecting: strict-concurrency-0.2.4.1, 0.2.4 (conflict:
base==4.8.1.0/installed-4f7..., strict-concurrency => base>=4 && <4.6)
rejecting: strict-concurrency-0.2.3 (conflict: base==4.8.1.0/installed-4f7...,
strict-concurrency => base>=3 && <4.3)
rejecting: strict-concurrency-0.2.2, 0.2.1 (conflict:
base==4.8.1.0/installed-4f7..., strict-concurrency => base>=3 && <4)
rejecting: strict-concurrency-0.2, 0.1 (conflict:
base==4.8.1.0/installed-4f7..., strict-concurrency => base<4.3)
Dependency tree exhaustively searched.