Resolving dependencies...
Starting     logict-0.8.0.0
Building     logict-0.8.0.0
Completed    logict-0.8.0.0
Downloading  unification-fd-0.11.2
Downloaded   unification-fd-0.11.2
Starting     unification-fd-0.11.2
Building     unification-fd-0.11.2
Completed    unification-fd-0.11.2