Resolving dependencies... Configuring Safe-0.1... Configuring mtl-2.2.1... Building mtl-2.2.1... Building Safe-0.1... Installed mtl-2.2.1 Configuring primitive-0.6.1.0... Configuring random-1.1... Installed Safe-0.1 Building primitive-0.6.1.0... Building random-1.1... Configuring stm-2.4.4.1... Installed random-1.1 Building stm-2.4.4.1... Configuring transformers-compat-0.5.1.4... Installed primitive-0.6.1.0 Building transformers-compat-0.5.1.4... Installed transformers-compat-0.5.1.4 Configuring MonadRandom-0.4.2.3... Configuring vector-0.11.0.0... Installed stm-2.4.4.1 Building MonadRandom-0.4.2.3... Building vector-0.11.0.0... Configuring async-2.1.1... Installed MonadRandom-0.4.2.3 Building async-2.1.1... Installed async-2.1.1 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 Configuring abc-puzzle-0.2... Building abc-puzzle-0.2... Installed abc-puzzle-0.2