Resolving dependencies...
Starting     logict-0.7.0.2
Building     logict-0.7.0.2
Completed    logict-0.7.0.2
Downloading  smallcheck-1.1.7
Downloaded   smallcheck-1.1.7
Starting     smallcheck-1.1.7
Building     smallcheck-1.1.7
Completed    smallcheck-1.1.7