Resolving dependencies...
Configuring dlist-0.8.0.2...
Configuring heaps-0.3.3...
Building dlist-0.8.0.2...
Building heaps-0.3.3...
Installed dlist-0.8.0.2
Configuring primitive-0.6.2.0...
Building primitive-0.6.2.0...
Configuring split-0.2.3.1...
Installed heaps-0.3.3
Building split-0.2.3.1...
Configuring reflection-2.1.2...
Installed split-0.2.3.1
Building reflection-2.1.2...
Configuring symbol-0.2.4...
Installed primitive-0.6.2.0
Building symbol-0.2.4...
Configuring stm-2.4.4.1...
Installed reflection-2.1.2
Building stm-2.4.4.1...
Configuring uglymemo-0.1.0.1...
Installed symbol-0.2.4
Building uglymemo-0.1.0.1...
Installed uglymemo-0.1.0.1
Installed stm-2.4.4.1
Configuring async-2.1.1...
Building async-2.1.1...
Installed async-2.1.1
Configuring minisat-0.1.2...
Building minisat-0.1.2...
Installed minisat-0.1.2
Downloading jukebox-0.2.9...
Configuring jukebox-0.2.9...
Building jukebox-0.2.9...
Installed jukebox-0.2.9
Downloading twee-0.1...
Configuring twee-0.1...
Building twee-0.1...
Installed twee-0.1