Resolving dependencies...
cabal: Could not resolve dependencies:
next goal: synthesizer-core (user goal)
rejecting: synthesizer-core-0.7.1, 0.7.0.2, 0.7.0.1, 0.7, 0.6, 0.5.2, 0.5.1,
0.5.0.1, 0.5, 0.4.2, 0.4.1, 0.4.0.4, 0.4.0.3, 0.4.0.2, 0.4.0.1, 0.4 (global
constraint requires ==0.3.1)
trying: synthesizer-core-0.3.1
trying: storablevector-0.2.10 (dependency of synthesizer-core-0.3.1)
next goal: non-negative (dependency of synthesizer-core-0.3.1)
rejecting: non-negative-0.1.1, 0.1 (conflict: synthesizer-core =>
non-negative>=0.0.5 && <0.1)
rejecting: non-negative-0.0.6, 0.0.5.1, 0.0.5 (conflict: storablevector =>
non-negative>=0.1 && <0.2)
rejecting: non-negative-0.0.4, 0.0.3, 0.0.2, 0.0.1 (conflict: synthesizer-core
=> non-negative>=0.0.5 && <0.1)
Backjump limit reached (change with --max-backjumps).