Resolving dependencies... cabal: Could not resolve dependencies: next goal: synthesizer-llvm (user goal) rejecting: synthesizer-llvm-0.7.0.1, 0.7, 0.6, 0.5.0.2 (global constraint requires ==0.5.0.1) trying: synthesizer-llvm-0.5.0.1 trying: containers-0.5.5.1/installed-23e... (dependency of synthesizer-llvm-0.5.0.1) next goal: synthesizer-core (dependency of synthesizer-llvm-0.5.0.1) rejecting: synthesizer-core-0.7.1, 0.7.0.2, 0.7.0.1, 0.7 (conflict: synthesizer-llvm => synthesizer-core>=0.6 && <0.7) rejecting: synthesizer-core-0.6 (conflict: containers => array==0.5.0.0/installed-98a..., synthesizer-core => array>=0.1 && <0.5) rejecting: synthesizer-core-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, 0.3.1, 0.3.0.1, 0.3, 0.2.1, 0.2 (conflict: synthesizer-llvm => synthesizer-core>=0.6 && <0.7) Dependency tree exhaustively searched.