Resolving dependencies... cabal: Could not resolve dependencies: next goal: synthesizer-core (user goal) rejecting: synthesizer-core-0.8.0.2, synthesizer-core-0.8.0.1, synthesizer-core-0.8, synthesizer-core-0.7.1, synthesizer-core-0.7.0.2, synthesizer-core-0.7.0.1, synthesizer-core-0.7, synthesizer-core-0.6, synthesizer-core-0.5.2, synthesizer-core-0.5.1 (constraint from user target requires ==0.5.0.1) trying: synthesizer-core-0.5.0.1 trying: base-4.9.0.0/installed-4.9... (dependency of synthesizer-core-0.5.0.1) next goal: containers (dependency of QuickCheck-2.9.2) rejecting: containers-0.5.7.1/installed-0.5... (conflict: containers => deepseq==1.4.2.0/installed-1.4..., synthesizer-core => deepseq>=1.1 && <1.4) trying: containers-0.5.9.1 trying: array-0.5.1.1/installed-0.5... (dependency of containers-0.5.9.1) trying: storablevector-0.2.11 (dependency of synthesizer-core-0.5.0.1) next goal: deepseq (dependency of synthesizer-core-0.5.0.1) rejecting: deepseq-1.4.2.0/installed-1.4..., deepseq-1.4.2.0, deepseq-1.4.1.2, deepseq-1.4.1.1, deepseq-1.4.1.0, deepseq-1.4.0.0 (conflict: synthesizer-core => deepseq>=1.1 && <1.4) rejecting: deepseq-1.3.0.2 (conflict: base==4.9.0.0/installed-4.9..., deepseq => base>=4.3 && <4.8) rejecting: deepseq-1.3.0.1, deepseq-1.3.0.0 (conflict: array==0.5.1.1/installed-0.5..., deepseq => array>=0.1 && <0.5) rejecting: deepseq-1.2.0.1, deepseq-1.2.0.0 (conflict: storablevector => deepseq>=1.3 && <1.5) rejecting: deepseq-1.1.0.2, deepseq-1.1.0.1, deepseq-1.1.0.0 (conflict: containers => deepseq>=1.2 && <1.5) rejecting: deepseq-1.0.0.0 (conflict: synthesizer-core => deepseq>=1.1 && <1.4) Dependency tree exhaustively searched.