Resolving dependencies... Starting integer-logarithms-1.0.3.1 Starting primitive-0.9.0.0 Starting splitmix-0.1.0.5 Starting tagged-0.8.8 Starting os-string-2.0.2.2 Building integer-logarithms-1.0.3.1 Building primitive-0.9.0.0 Building os-string-2.0.2.2 Building tagged-0.8.8 Building splitmix-0.1.0.5 Completed integer-logarithms-1.0.3.1 Completed splitmix-0.1.0.5 Starting random-1.2.1.2 Building random-1.2.1.2 Completed tagged-0.8.8 Starting universe-base-1.1.4 Building universe-base-1.1.4 Completed os-string-2.0.2.2 Starting filepath-1.5.2.0 Building filepath-1.5.2.0 Completed universe-base-1.1.4 Starting universe-reverse-instances-1.1.2 Building universe-reverse-instances-1.1.2 Completed primitive-0.9.0.0 Completed universe-reverse-instances-1.1.2 Completed random-1.2.1.2 Starting QuickCheck-2.15 Building QuickCheck-2.15 Completed filepath-1.5.2.0 Starting hashable-1.4.4.0 Building hashable-1.4.4.0 Completed hashable-1.4.4.0 Starting wide-word-0.1.6.0 Starting unordered-containers-0.2.20 Building wide-word-0.1.6.0 Building unordered-containers-0.2.20 Completed QuickCheck-2.15 Completed wide-word-0.1.6.0 Completed unordered-containers-0.2.20 Starting lattices-2.2.1 Building lattices-2.2.1 Completed lattices-2.2.1 Downloading word8set-0.1.2 Downloaded word8set-0.1.2 Starting word8set-0.1.2 Building word8set-0.1.2 Completed word8set-0.1.2