Resolving dependencies...
Starting     symbol-0.2.4
Starting     dlist-1.0
Starting     uglymemo-0.1.0.1
Starting     hashable-1.3.0.0
Building     symbol-0.2.4
Building     dlist-1.0
Building     hashable-1.3.0.0
Building     uglymemo-0.1.0.1
Completed    uglymemo-0.1.0.1
Starting     utf8-string-1.0.1.1
Completed    symbol-0.2.4
Building     utf8-string-1.0.1.1
Completed    hashable-1.3.0.0
Starting     async-2.2.2
Completed    dlist-1.0
Building     async-2.2.2
Completed    utf8-string-1.0.1.1
Completed    async-2.2.2
Starting     minisat-0.1.2
Building     minisat-0.1.2
Completed    minisat-0.1.2
Downloading  jukebox-0.5.2
Downloaded   jukebox-0.5.2
Starting     jukebox-0.5.2
Building     jukebox-0.5.2
Completed    jukebox-0.5.2