Resolving dependencies...
cabal: Could not resolve dependencies:
next goal: sbv (user goal)
rejecting: sbv-5.13, sbv-5.12, sbv-5.11, sbv-5.10, sbv-5.9, sbv-5.8, sbv-5.7,
sbv-5.6, sbv-5.5, sbv-5.4, sbv-5.3, sbv-5.2, sbv-5.1, sbv-5.0, sbv-4.4,
sbv-4.3, sbv-4.2, sbv-4.1, sbv-4.0, sbv-3.5, sbv-3.4, sbv-3.3, sbv-3.2,
sbv-3.1, sbv-3.0, sbv-2.10, sbv-2.9, sbv-2.8, sbv-2.7, sbv-2.6, sbv-2.5,
sbv-2.4, sbv-2.3, sbv-2.2, sbv-2.1, sbv-2.0 (constraint from user target
requires ==1.4)
trying: sbv-1.4
trying: base-4.9.0.0/installed-4.9... (dependency of sbv-1.4)
next goal: strict-concurrency (dependency of sbv-1.4)
rejecting: strict-concurrency-0.2.4.1 (conflict:
base==4.9.0.0/installed-4.9..., strict-concurrency => base>=4 && <4.6)
rejecting: strict-concurrency-0.2.4, strict-concurrency-0.2.3,
strict-concurrency-0.2.2, strict-concurrency-0.2.1, strict-concurrency-0.2,
strict-concurrency-0.1 (conflict: sbv => strict-concurrency>=0.2.4.1)
Dependency tree exhaustively searched.