Resolving dependencies...
Starting     logict-0.7.0.3
Building     logict-0.7.0.3
Completed    logict-0.7.0.3
Starting     smallcheck-1.2.0
Building     smallcheck-1.2.0
Completed    smallcheck-1.2.0
Downloading  smallcheck-series-0.7.0.0
Downloaded   smallcheck-series-0.7.0.0
Starting     smallcheck-series-0.7.0.0
Building     smallcheck-series-0.7.0.0
Completed    smallcheck-series-0.7.0.0