Resolving dependencies...
Configuring mtl-2.2.1...
Building mtl-2.2.1...
Installed mtl-2.2.1
Configuring logict-0.6.0.2...
Building logict-0.6.0.2...
Installed logict-0.6.0.2
Downloading logict-state-0.1.0.1...
Configuring logict-state-0.1.0.1...
Building logict-state-0.1.0.1...
Installed logict-state-0.1.0.1