Resolving dependencies...
cabal: Could not resolve dependencies:
next goal: funsat (user goal)
rejecting: funsat-0.6.2 (global constraint requires ==0.6.1)
trying: funsat-0.6.1
trying: base-4.8.1.0/installed-4f7... (dependency of funsat-0.6.1)
next goal: fgl (dependency of funsat-0.6.1)
rejecting: fgl-5.5.2.3, 5.5.2.2, 5.5.2.1, 5.5.2.0, 5.5.1.0, 5.5.0.1, 5.5.0.0,
5.4.2.4, 5.4.2.3 (conflict: funsat => fgl>=5 && <=5.4.2.2)
rejecting: fgl-5.4.2.2 (conflict: base==4.8.1.0/installed-4f7..., fgl =>
base<4.4)
rejecting: fgl-5.4.2.0, 5.4.1.1 (conflict: base==4.8.1.0/installed-4f7..., fgl
=> base<4.8)
rejecting: fgl-5.3 (conflict: base==4.8.1.0/installed-4f7..., fgl => base<3)
Dependency tree exhaustively searched.