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