Resolving dependencies...
Configuring mtl-2.2.1...
Configuring picosat-0.1.4...
Building picosat-0.1.4...
Building mtl-2.2.1...
Installed picosat-0.1.4
Configuring text-1.2.2.1...
Building text-1.2.2.1...
Installed mtl-2.2.1
Installed text-1.2.2.1
Configuring parsec-3.1.11...
Building parsec-3.1.11...
Installed parsec-3.1.11
Downloading picologic-0.3.0...
Configuring picologic-0.3.0...
Building picologic-0.3.0...
Installed picologic-0.3.0