Resolving dependencies...
cabal: Could not resolve dependencies:
next goal: tableaux (user goal)
rejecting: tableaux-0.2 (global constraint requires ==0.1)
trying: tableaux-0.1
trying: base-4.8.1.0/installed-4f7... (dependency of tableaux-0.1)
next goal: parsec (dependency of tableaux-0.1)
rejecting: parsec-3.1.9, 3.1.8, 3.1.7, 3.1.6, 3.1.5, 3.1.4, 3.1.3, 3.1.2,
3.1.1, 3.1.0, 3.0.1, 3.0.0 (conflict: tableaux => parsec>=2.1 && <3)
rejecting: parsec-2.1.0.1, 2.1.0.0 (conflict: base==4.8.1.0/installed-4f7...,
parsec => base<4.8)
rejecting: parsec-2.0 (conflict: tableaux => parsec>=2.1 && <3)
Dependency tree exhaustively searched.