Resolving dependencies... cabal: Could not resolve dependencies: next goal: NanoProlog (user goal) rejecting: NanoProlog-0.3, 0.2.3.3, 0.2.3.2, 0.2.3.1 (global constraint requires ==0.2.3) trying: NanoProlog-0.2.3 trying: base-4.7.0.1/installed-e4b... (dependency of NanoProlog-0.2.3) next goal: containers (dependency of NanoProlog-0.2.3) rejecting: containers-0.5.5.1/installed-23e..., 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 (conflict: NanoProlog => containers==0.4.*) trying: containers-0.4.2.1 trying: deepseq-1.3.0.2/installed-733... (dependency of containers-0.4.2.1) next goal: ListLike (dependency of NanoProlog-0.2.3) rejecting: ListLike-4.2.0, 4.1.1, 4.1.0, 4.0.2, 4.0.1, 4.0.0 (conflict: NanoProlog => ListLike==3.1.*) rejecting: ListLike-3.1.7.1 (conflict: deepseq => array==0.5.0.0/installed-98a..., ListLike => array>=0.3 && <0.5) rejecting: ListLike-3.1.7 (conflict: base==4.7.0.1/installed-e4b..., ListLike => base<0) rejecting: ListLike-3.1.6, 3.1.5, 3.1.4 (conflict: deepseq => array==0.5.0.0/installed-98a..., ListLike => array>=0.3 && <0.5) rejecting: ListLike-3.1.2, 3.1.1, 3.1.0 (conflict: deepseq => array==0.5.0.0/installed-98a..., ListLike => array>=0.3 && <0.4) rejecting: ListLike-3.0.1, 2.0.1, 2.0.0, 1.1.0, 1.0.2, 1.0.1, 1.0.0 (conflict: NanoProlog => ListLike==3.1.*) Dependency tree exhaustively searched.