Resolving dependencies...
Starting     logict-0.8.1.0
Building     logict-0.8.1.0
Completed    logict-0.8.1.0
Downloading  smallcheck-1.2.1.1
Downloaded   smallcheck-1.2.1.1
Starting     smallcheck-1.2.1.1
Building     smallcheck-1.2.1.1
Completed    smallcheck-1.2.1.1