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