Resolving dependencies...
Starting     logict-0.7.0.3
Building     logict-0.7.0.3
Completed    logict-0.7.0.3
Downloading  unification-fd-0.11.1
Downloaded   unification-fd-0.11.1
Starting     unification-fd-0.11.1
Building     unification-fd-0.11.1
Completed    unification-fd-0.11.1