Resolving dependencies... Starting data-array-byte-0.1.0.1 Starting integer-logarithms-1.0.3.1 Starting tagged-0.8.7 Starting splitmix-0.1.0.4 Starting base-compat-0.13.0 Building integer-logarithms-1.0.3.1 Building data-array-byte-0.1.0.1 Building splitmix-0.1.0.4 Building tagged-0.8.7 Building base-compat-0.13.0 Completed integer-logarithms-1.0.3.1 Completed splitmix-0.1.0.4 Starting random-1.2.1.1 Completed data-array-byte-0.1.0.1 Starting hashable-1.4.2.0 Building random-1.2.1.1 Building hashable-1.4.2.0 Completed tagged-0.8.7 Starting universe-base-1.1.3.1 Starting foldable1-classes-compat-0.1 Building foldable1-classes-compat-0.1 Building universe-base-1.1.3.1 Completed base-compat-0.13.0 Completed universe-base-1.1.3.1 Starting universe-reverse-instances-1.1.1 Completed foldable1-classes-compat-0.1 Building universe-reverse-instances-1.1.1 Completed hashable-1.4.2.0 Starting unordered-containers-0.2.19.1 Building unordered-containers-0.2.19.1 Completed universe-reverse-instances-1.1.1 Completed random-1.2.1.1 Starting QuickCheck-2.14.2 Building QuickCheck-2.14.2 Completed unordered-containers-0.2.19.1 Completed QuickCheck-2.14.2 Downloading lattices-2.2 Downloaded lattices-2.2 Starting lattices-2.2 Building lattices-2.2 Completed lattices-2.2