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