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