Resolving dependencies... Starting data-default-class-0.1.2.0 Starting base-orphans-0.8.6 Starting reflection-2.1.6 Starting primitive-0.7.3.0 Building data-default-class-0.1.2.0 Building reflection-2.1.6 Building base-orphans-0.8.6 Building primitive-0.7.3.0 Completed data-default-class-0.1.2.0 Starting splitmix-0.1.0.4 Building splitmix-0.1.0.4 Completed splitmix-0.1.0.4 Starting random-1.2.1 Building random-1.2.1 Completed reflection-2.1.6 Completed base-orphans-0.8.6 Starting hashable-1.4.0.1 Building hashable-1.4.0.1 Completed hashable-1.4.0.1 Starting unordered-containers-0.2.15.0 Building unordered-containers-0.2.15.0 Completed primitive-0.7.3.0 Starting vector-0.12.3.1 Building vector-0.12.3.1 Completed random-1.2.1 Completed unordered-containers-0.2.15.0 Starting intern-0.9.4 Building intern-0.9.4 Completed intern-0.9.4 Completed vector-0.12.3.1 Starting hashtables-1.3 Starting math-functions-0.3.4.2 Building hashtables-1.3 Building math-functions-0.3.4.2 Completed math-functions-0.3.4.2 Starting mwc-random-0.15.0.2 Building mwc-random-0.15.0.2 Completed hashtables-1.3 Completed mwc-random-0.15.0.2 Downloading decision-diagrams-0.2.0.0 Downloaded decision-diagrams-0.2.0.0 Starting decision-diagrams-0.2.0.0 Building decision-diagrams-0.2.0.0 Completed decision-diagrams-0.2.0.0