Resolving dependencies...
Configuring dlist-0.8.0.4...
Configuring minisat-0.1.2...
Building dlist-0.8.0.4...
Building minisat-0.1.2...
Installed dlist-0.8.0.4
Configuring symbol-0.2.4...
Building symbol-0.2.4...
Installed symbol-0.2.4
Configuring uglymemo-0.1.0.1...
Installed minisat-0.1.2
Building uglymemo-0.1.0.1...
Installed uglymemo-0.1.0.1
Downloading jukebox-0.3.7...
Configuring jukebox-0.3.7...
Building jukebox-0.3.7...
Installed jukebox-0.3.7