Resolving dependencies...
cabal: Could not resolve dependencies:
trying: prove-everywhere-server-0.1.1 (user goal)
trying: base-4.9.0.0/installed-4.9... (dependency of
prove-everywhere-server-0.1.1)
next goal: time (dependency of prove-everywhere-server-0.1.1)
rejecting: time-1.6.0.1/installed-1.6..., time-1.7, time-1.6.0.1, time-1.6
(conflict: prove-everywhere-server => time>=1.4 && <1.6)
trying: time-1.5.0.1
trying: scientific-0.3.4.9 (dependency of parsers-0.12.4)
next goal: aeson (dependency of prove-everywhere-server-0.1.1)
rejecting: aeson-1.0.2.1, aeson-1.0.2.0, aeson-1.0.1.0, aeson-1.0.0.0,
aeson-0.11.2.1, aeson-0.11.2.0, aeson-0.11.1.4, aeson-0.11.1.3,
aeson-0.11.1.2, aeson-0.11.1.1, aeson-0.11.1.0, aeson-0.11.0.0, aeson-0.9.0.1,
aeson-0.9.0.0 (conflict: prove-everywhere-server => aeson>=0.7 && <0.9)
rejecting: aeson-0.8.1.1, aeson-0.8.1.0, aeson-0.8.0.2 (conflict:
base==4.9.0.0/installed-4.9..., aeson => base>=4.5 && <4.9)
rejecting: aeson-0.7.0.6 (conflict: time==1.5.0.1, aeson => time<1.5)
rejecting: aeson-0.7.0.4 (conflict: scientific==0.3.4.9, aeson =>
scientific>=0.2 && <0.3)
rejecting: aeson-0.6.2.1, aeson-0.6.2.0, aeson-0.6.1.0, aeson-0.6.0.2,
aeson-0.6.0.1, aeson-0.6.0.0, aeson-0.5.0.0, aeson-0.4.0.1, aeson-0.4.0.0,
aeson-0.3.2.14, aeson-0.3.2.13, aeson-0.3.2.12, aeson-0.3.2.11,
aeson-0.3.2.10, aeson-0.3.2.9, aeson-0.3.2.8, aeson-0.3.2.7, aeson-0.3.2.6,
aeson-0.3.2.5, aeson-0.3.2.4, aeson-0.3.2.3, aeson-0.3.2.2, aeson-0.3.2.1,
aeson-0.3.2.0, aeson-0.3.1.1, aeson-0.3.1.0, aeson-0.3.0.0, aeson-0.2.0.0,
aeson-0.1.0.0, aeson-0.10.0.0 (conflict: prove-everywhere-server => aeson>=0.7
&& <0.9)
rejecting: aeson-0.8.0.1 (conflict: base==4.9.0.0/installed-4.9..., aeson =>
base>=4.5 && <4.9)
rejecting: aeson-0.8.0.0, aeson-0.7.0.5, aeson-0.7.0.3, aeson-0.7.0.2,
aeson-0.7.0.1, aeson-0.7.0.0 (conflict: time==1.5.0.1, aeson => time<1.5)
Backjump limit reached (currently 2000, change with --max-backjumps or try to
run with --reorder-goals).