Resolving dependencies...
Starting     symbol-0.2.4
Starting     dlist-1.0
Starting     uglymemo-0.1.0.1
Starting     hashable-1.3.2.0
Building     symbol-0.2.4
Building     uglymemo-0.1.0.1
Building     dlist-1.0
Building     hashable-1.3.2.0
Completed    uglymemo-0.1.0.1
Starting     utf8-string-1.0.2
Completed    symbol-0.2.4
Building     utf8-string-1.0.2
Completed    dlist-1.0
Completed    hashable-1.3.2.0
Starting     async-2.2.3
Building     async-2.2.3
Completed    utf8-string-1.0.2
Completed    async-2.2.3
Starting     minisat-0.1.3
Building     minisat-0.1.3
Completed    minisat-0.1.3
Downloading  jukebox-0.5.4
Downloaded   jukebox-0.5.4
Starting     jukebox-0.5.4
Building     jukebox-0.5.4
Completed    jukebox-0.5.4