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, 0.5.0.1, 0.5, 0.3, 0.2.0.1 (global constraint requires ==0.2) trying: synthesizer-llvm-0.2 trying: base-4.8.1.0/installed-4f7... (dependency of synthesizer-llvm-0.2) next goal: containers (dependency of synthesizer-llvm-0.2) rejecting: containers-0.5.6.2/installed-2de..., 0.5.6.3, 0.5.6.2, 0.5.6.1, 0.5.6.0, 0.5.5.1, 0.5.5.0, 0.5.4.0, 0.5.3.1, 0.5.3.0, 0.5.2.1, 0.5.2.0, 0.5.1.0, 0.5.0.0, 0.4.2.1, 0.4.2.0, 0.4.1.0, 0.4.0.0 (conflict: synthesizer-llvm => containers>=0.1 && <0.4) rejecting: containers-0.3.0.0 (conflict: base==4.8.1.0/installed-4f7..., containers => base>=4.2 && <4.7) rejecting: containers-0.2.0.1, 0.2.0.0 (conflict: base==4.8.1.0/installed-4f7..., containers => base<4.7) rejecting: containers-0.1.0.1, 0.1.0.0 (conflict: base==4.8.1.0/installed-4f7..., containers => base<4.3) Dependency tree exhaustively searched.