Resolving dependencies... Starting StateVar-1.2.2 Starting indexed-traversable-0.1.4 Starting base-orphans-0.9.3 Starting splitmix-0.1.0.5 Starting tagged-0.8.9 Starting transformers-compat-0.7.2 Starting assoc-1.1.1 Starting th-abstraction-0.7.1.0 Starting primitive-0.9.0.0 Starting leancheck-1.0.2 Building StateVar-1.2.2 Building base-orphans-0.9.3 Building indexed-traversable-0.1.4 Building assoc-1.1.1 Building tagged-0.8.9 Building splitmix-0.1.0.5 Building transformers-compat-0.7.2 Building th-abstraction-0.7.1.0 Building primitive-0.9.0.0 Building leancheck-1.0.2 Completed StateVar-1.2.2 Starting contravariant-1.5.5 Completed assoc-1.1.1 Building contravariant-1.5.5 Completed splitmix-0.1.0.5 Starting random-1.2.1.2 Building random-1.2.1.2 Completed base-orphans-0.9.3 Completed tagged-0.8.9 Starting distributive-0.6.2.1 Completed transformers-compat-0.7.2 Starting transformers-base-0.4.6 Building distributive-0.6.2.1 Building transformers-base-0.4.6 Completed indexed-traversable-0.1.4 Completed th-abstraction-0.7.1.0 Completed contravariant-1.5.5 Completed transformers-base-0.4.6 Starting monad-control-1.0.3.1 Building monad-control-1.0.3.1 Completed distributive-0.6.2.1 Starting comonad-5.0.9 Building comonad-5.0.9 Completed leancheck-1.0.2 Completed primitive-0.9.0.0 Starting atomic-primops-0.8.8 Building atomic-primops-0.8.8 Completed monad-control-1.0.3.1 Completed random-1.2.1.2 Completed comonad-5.0.9 Starting bifunctors-5.6.2 Completed atomic-primops-0.8.8 Starting concurrency-1.11.0.3 Building bifunctors-5.6.2 Building concurrency-1.11.0.3 Completed concurrency-1.11.0.3 Completed bifunctors-5.6.2 Starting profunctors-5.6.2 Building profunctors-5.6.2 Completed profunctors-5.6.2 Downloading dejafu-2.4.0.6 Downloaded dejafu-2.4.0.6 Starting dejafu-2.4.0.6 Building dejafu-2.4.0.6 Completed dejafu-2.4.0.6