Resolving dependencies...
Configuring logict-0.6.0.2...
Building logict-0.6.0.2...
Installed logict-0.6.0.2
Downloading smallcheck-1.1.4...
Configuring smallcheck-1.1.4...
Building smallcheck-1.1.4...
Installed smallcheck-1.1.4