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 (global constraint requires ==0.5.0.1) trying: synthesizer-core-0.5.0.1 trying: base-4.8.1.0/installed-4f7... (dependency of synthesizer-core-0.5.0.1) trying: QuickCheck-2.8.1 (dependency of synthesizer-core-0.5.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.4) trying: containers-0.5.6.3 trying: array-0.5.1.0/installed-d42... (dependency of containers-0.5.6.3) next goal: deepseq (dependency of synthesizer-core-0.5.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 (conflict: synthesizer-core => deepseq>=1.1 && <1.4) rejecting: deepseq-1.3.0.2 (conflict: base==4.8.1.0/installed-4f7..., deepseq => base>=4.3 && <4.8) rejecting: deepseq-1.3.0.1, 1.3.0.0 (conflict: array==0.5.1.0/installed-d42..., deepseq => array>=0.1 && <0.5) rejecting: deepseq-1.2.0.1 (conflict: array==0.5.1.0/installed-d42..., deepseq => array>=0.1 && <0.4) rejecting: deepseq-1.2.0.0 (conflict: base==4.8.1.0/installed-4f7..., deepseq => base>=3 && <4.4) 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.4) Dependency tree exhaustively searched.