Resolving dependencies...
cabal: Could not resolve dependencies:
next goal: sbv (user goal)
rejecting: sbv-5.2, 5.1, 5.0, 4.4, 4.3, 4.2, 4.1, 4.0, 3.5, 3.4, 3.3, 3.2,
3.1, 3.0, 2.10, 2.9, 2.8, 2.7, 2.6, 2.5 (global constraint requires ==2.4)
trying: sbv-2.4
trying: base-4.8.1.0/installed-4f7... (dependency of sbv-2.4)
next goal: strict-concurrency (dependency of sbv-2.4)
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.