Resolving dependencies...
cabal: Could not resolve dependencies:
next goal: ideas-math (user goal)
rejecting: ideas-math-1.2 (global constraint requires ==1.1)
trying: ideas-math-1.1
trying: base-4.8.1.0/installed-4f7... (dependency of ideas-math-1.1)
next goal: QuickCheck (dependency of ideas-math-1.1)
rejecting: QuickCheck-2.8.1, 2.8, 2.7.6, 2.7.5, 2.7.4, 2.7.3, 2.7.2, 2.7.1,
2.7 (conflict: ideas-math => QuickCheck>=2.4.1 && <2.7)
trying: QuickCheck-2.6
trying: QuickCheck-2.6:+base3
rejecting: QuickCheck-2.6:+base4 (conflict: base==4.8.1.0/installed-4f7...,
QuickCheck-2.6:base4 => base>=4 && <4.8)
rejecting: QuickCheck-2.6:-base4 (conflict: base==4.8.1.0/installed-4f7...,
QuickCheck-2.6:base4 => base>=3 && <4)
Dependency tree exhaustively searched.