Resolving dependencies...
Configuring Safe-0.1...
Configuring primitive-0.6.1.0...
Building primitive-0.6.1.0...
Building Safe-0.1...
Installed primitive-0.6.1.0
Configuring random-1.1...
Installed Safe-0.1
Configuring stm-2.4.4.1...
Building random-1.1...
Building stm-2.4.4.1...
Configuring vector-0.11.0.0...
Installed stm-2.4.4.1
Configuring async-2.1.1...
Installed random-1.1
Building vector-0.11.0.0...
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
Installed vector-0.11.0.0
Configuring abc-puzzle-0.1...
Building abc-puzzle-0.1...
Installed abc-puzzle-0.1