Resolving dependencies...
cabal: Could not resolve dependencies:
next goal: prove-everywhere-server (user goal)
rejecting: prove-everywhere-server-0.1.1 (global constraint requires ==0.1)
trying: prove-everywhere-server-0.1
trying: case-insensitive-1.2.0.5 (dependency of prove-everywhere-server-0.1)
trying: deepseq-1.4.1.1/installed-8fb... (dependency of
case-insensitive-1.2.0.5)
next goal: time (dependency of prove-everywhere-server-0.1)
rejecting: time-1.5.0.1/installed-c20..., 1.5.0.1, 1.5 (conflict:
prove-everywhere-server => time==1.4.*)
rejecting: time-1.4.2, 1.4.1, 1.4.0.2, 1.4.0.1, 1.4 (conflict:
deepseq==1.4.1.1/installed-8fb..., time => deepseq>=1.1 && <1.4)
rejecting: time-1.3, 1.2.0.5, 1.2.0.4, 1.2.0.3, 1.2.0.2, 1.2.0.1, 1.2, 1.1.4,
1.1.3, 1.1.2.4, 1.1.2.3, 1.1.2.2, 1.1.2.1, 1.1.2.0, 1.0 (conflict:
prove-everywhere-server => time==1.4.*)
Dependency tree exhaustively searched.