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