Resolving dependencies... Starting base-orphans-0.9.1 Starting groups-0.5.3 Starting heaps-0.4 Starting os-string-2.0.2 Starting tagged-0.8.8 Starting splitmix-0.1.0.5 Starting integer-logarithms-1.0.3.1 Starting base-compat-0.13.1 Building groups-0.5.3 Building base-orphans-0.9.1 Building os-string-2.0.2 Building heaps-0.4 Building base-compat-0.13.1 Building splitmix-0.1.0.5 Building tagged-0.8.8 Building integer-logarithms-1.0.3.1 Completed integer-logarithms-1.0.3.1 Completed groups-0.5.3 Completed splitmix-0.1.0.5 Starting random-1.2.1.2 Building random-1.2.1.2 Completed heaps-0.4 Completed tagged-0.8.8 Starting universe-base-1.1.3.1 Completed base-orphans-0.9.1 Building universe-base-1.1.3.1 Completed os-string-2.0.2 Starting hashable-1.4.4.0 Building hashable-1.4.4.0 Completed base-compat-0.13.1 Starting base-compat-batteries-0.13.1 Completed universe-base-1.1.3.1 Starting universe-reverse-instances-1.1.1 Building base-compat-batteries-0.13.1 Building universe-reverse-instances-1.1.1 Completed random-1.2.1.2 Starting QuickCheck-2.14.3 Completed universe-reverse-instances-1.1.1 Building QuickCheck-2.14.3 Completed hashable-1.4.4.0 Starting unordered-containers-0.2.20 Starting time-compat-1.9.6.1 Building unordered-containers-0.2.20 Building time-compat-1.9.6.1 Completed base-compat-batteries-0.13.1 Completed time-compat-1.9.6.1 Completed unordered-containers-0.2.20 Starting semirings-0.6 Completed QuickCheck-2.14.3 Starting lattices-2.2 Building semirings-0.6 Building lattices-2.2 Completed semirings-0.6 Completed lattices-2.2 Downloading interval-patterns-0.8.0 Downloaded interval-patterns-0.8.0 Starting interval-patterns-0.8.0 Building interval-patterns-0.8.0 Completed interval-patterns-0.8.0