Resolving dependencies...
Configuring proof-combinators-0.1.0.0...
Building proof-combinators-0.1.0.0...
Installed proof-combinators-0.1.0.0