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