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 smallcheck-1.1.3...
Configuring smallcheck-1.1.3...
Building smallcheck-1.1.3...
Installed smallcheck-1.1.3