Resolving dependencies...
Downloading  symbol-0.2.4
Starting     uglymemo-0.1.0.1
Starting     hashable-1.4.3.0
Starting     dlist-1.0
Starting     utf8-string-1.0.2
Downloaded   symbol-0.2.4
Starting     symbol-0.2.4
Building     dlist-1.0
Building     utf8-string-1.0.2
Building     uglymemo-0.1.0.1
Building     hashable-1.4.3.0
Building     symbol-0.2.4
Completed    uglymemo-0.1.0.1
Completed    symbol-0.2.4
Completed    dlist-1.0
Completed    utf8-string-1.0.2
Completed    hashable-1.4.3.0
Starting     async-2.2.5
Building     async-2.2.5
Completed    async-2.2.5
Starting     minisat-0.1.3
Building     minisat-0.1.3
Completed    minisat-0.1.3
Downloading  jukebox-0.5.5
Downloaded   jukebox-0.5.5
Starting     jukebox-0.5.5
Building     jukebox-0.5.5
Completed    jukebox-0.5.5