Resolving dependencies...
Configuring cond-0.4.1.1...
Building cond-0.4.1.1...
Installed cond-0.4.1.1
Downloading boolean-normal-forms-0.0.1...
Configuring boolean-normal-forms-0.0.1...
Building boolean-normal-forms-0.0.1...
Installed boolean-normal-forms-0.0.1