Resolving dependencies...
Downloading Safe-0.1...
Configuring mtl-2.2.1...
Configuring primitive-0.6.1.0...
Building mtl-2.2.1...
Building primitive-0.6.1.0...
Installed mtl-2.2.1
Configuring random-1.1...
Configuring stm-2.4.4.1...
Installed primitive-0.6.1.0
Building random-1.1...
Building stm-2.4.4.1...
Configuring Safe-0.1...
Installed stm-2.4.4.1
Configuring transformers-compat-0.5.1.4...
Installed random-1.1
Building transformers-compat-0.5.1.4...
Installed transformers-compat-0.5.1.4
Configuring async-2.1.1...
Building async-2.1.1...
Building Safe-0.1...
Configuring vector-0.11.0.0...
Installed Safe-0.1
Configuring MonadRandom-0.4.2.3...
Installed async-2.1.1
Building vector-0.11.0.0...
Building MonadRandom-0.4.2.3...
Installed MonadRandom-0.4.2.3
Configuring random-shuffle-0.0.4...
Building random-shuffle-0.0.4...
Configuring minisat-0.1.2...
Installed random-shuffle-0.0.4
Building minisat-0.1.2...
Installed minisat-0.1.2
Installed vector-0.11.0.0
Downloading abc-puzzle-0.2...
Configuring abc-puzzle-0.2...
Building abc-puzzle-0.2...
Installed abc-puzzle-0.2