Resolving dependencies...
cabal: Could not resolve dependencies:
next goal: LambdaCalculator (user goal)
rejecting: LambdaCalculator-0.1, 0.0.2 (global constraint requires ==0.0.1)
trying: LambdaCalculator-0.0.1
trying: binary-0.7.1.0/installed-0f4... (dependency of LambdaCalculator-0.0.1)
rejecting: LambdaCalculator-0.0.1:+small_base (conflict:
binary==0.7.1.0/installed-0f4..., LambdaCalculator-0.0.1:small_base =>
binary>=0.4.0 && <0.6.0)
rejecting: LambdaCalculator-0.0.1:-small_base (conflict:
binary==0.7.1.0/installed-0f4..., LambdaCalculator-0.0.1:small_base =>
binary>=0.4.0 && <0.6.0)
Backjump limit reached (change with --max-backjumps).