Resolving dependencies...
cabal: Could not resolve dependencies:
next goal: CarneadesDSL (user goal)
rejecting: CarneadesDSL-1.3, CarneadesDSL-1.2, CarneadesDSL-1.1.0.1
(constraint from user target requires ==1.1)
trying: CarneadesDSL-1.1
trying: base-4.9.0.0/installed-4.9... (dependency of CarneadesDSL-1.1)
next goal: fgl (dependency of CarneadesDSL-1.1)
rejecting: fgl-5.5.3.0, fgl-5.5.2.3, fgl-5.5.2.2, fgl-5.5.2.1, fgl-5.5.2.0,
fgl-5.5.1.0, fgl-5.5.0.1, fgl-5.5.0.0 (conflict: CarneadesDSL => fgl>=5.4.2.4
&& <5.5)
rejecting: fgl-5.4.2.4 (conflict: base==4.9.0.0/installed-4.9..., fgl =>
base<4.8)
rejecting: fgl-5.4.2.3, fgl-5.4.2.2, fgl-5.4.2.0, fgl-5.4.1.1, fgl-5.3
(conflict: CarneadesDSL => fgl>=5.4.2.4 && <5.5)
Dependency tree exhaustively searched.