Resolving dependencies...
Starting     logict-0.7.0.3
Building     logict-0.7.0.3
Completed    logict-0.7.0.3
Downloading  smallcheck-1.2.1
Downloaded   smallcheck-1.2.1
Starting     smallcheck-1.2.1
Building     smallcheck-1.2.1
Completed    smallcheck-1.2.1