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 (global constraint requires ==0.4.0.1) trying: synthesizer-core-0.4.0.1 trying: QuickCheck-2.8.1 (dependency of synthesizer-core-0.4.0.1) next goal: containers (dependency of QuickCheck-2.8.1) rejecting: containers-0.5.6.2/installed-2de... (conflict: containers => deepseq==1.4.1.1/installed-8fb..., synthesizer-core => deepseq>=1.1 && <1.2) trying: containers-0.5.6.3 next goal: deepseq (dependency of synthesizer-core-0.4.0.1) rejecting: deepseq-1.4.1.1/installed-8fb..., 1.4.1.2, 1.4.1.1, 1.4.1.0, 1.4.0.0, 1.3.0.2, 1.3.0.1, 1.3.0.0, 1.2.0.1, 1.2.0.0 (conflict: synthesizer-core => deepseq>=1.1 && <1.2) rejecting: deepseq-1.1.0.2, 1.1.0.1, 1.1.0.0 (conflict: containers => deepseq>=1.2 && <1.5) rejecting: deepseq-1.0.0.0 (conflict: synthesizer-core => deepseq>=1.1 && <1.2) Dependency tree exhaustively searched.