Resolving dependencies... Starting OneTuple-0.4.1.1 Starting base-orphans-0.9.0 Starting cereal-0.5.8.3 Starting data-array-byte-0.1.0.1 Starting data-lens-light-0.1.2.4 Starting dlist-1.0 Starting integer-logarithms-1.0.3.1 Starting old-locale-1.0.0.7 Starting spoon-0.3.1 Starting splitmix-0.1.0.4 Starting type-equality-1 Starting uglymemo-0.1.0.1 Starting transformers-compat-0.7.2 Starting vector-stream-0.1.0.0 Starting tagged-0.8.8 Building old-locale-1.0.0.7 Building type-equality-1 Building uglymemo-0.1.0.1 Building cereal-0.5.8.3 Building data-lens-light-0.1.2.4 Building dlist-1.0 Building integer-logarithms-1.0.3.1 Building splitmix-0.1.0.4 Building transformers-compat-0.7.2 Building data-array-byte-0.1.0.1 Building spoon-0.3.1 Building OneTuple-0.4.1.1 Building base-orphans-0.9.0 Building vector-stream-0.1.0.0 Building tagged-0.8.8 Completed old-locale-1.0.0.7 Starting old-time-1.1.0.3 Completed type-equality-1 Completed spoon-0.3.1 Completed uglymemo-0.1.0.1 Completed OneTuple-0.4.1.1 Completed integer-logarithms-1.0.3.1 Completed splitmix-0.1.0.4 Starting random-1.2.1.1 Building old-time-1.1.0.3 Completed base-orphans-0.9.0 Building random-1.2.1.1 Completed data-lens-light-0.1.2.4 Completed data-array-byte-0.1.0.1 Starting primitive-0.8.0.0 Starting hashable-1.4.3.0 Completed tagged-0.8.8 Starting assoc-1.1 Starting foldable1-classes-compat-0.1 Completed dlist-1.0 Building primitive-0.8.0.0 Building hashable-1.4.3.0 Building foldable1-classes-compat-0.1 Building assoc-1.1 Completed transformers-compat-0.7.2 Completed vector-stream-0.1.0.0 Completed old-time-1.1.0.3 Completed cereal-0.5.8.3 Completed assoc-1.1 Completed foldable1-classes-compat-0.1 Completed hashable-1.4.3.0 Starting these-1.2 Starting unordered-containers-0.2.19.1 Starting data-fix-0.3.2 Starting text-short-0.1.5 Starting constraints-0.13.4 Starting case-insensitive-1.2.1.0 Starting time-compat-1.9.6.1 Building data-fix-0.3.2 Building text-short-0.1.5 Building these-1.2 Building constraints-0.13.4 Building unordered-containers-0.2.19.1 Building case-insensitive-1.2.1.0 Building time-compat-1.9.6.1 Completed random-1.2.1.1 Starting uuid-types-1.0.5 Starting QuickCheck-2.14.3 Building uuid-types-1.0.5 Building QuickCheck-2.14.3 Completed case-insensitive-1.2.1.0 Completed data-fix-0.3.2 Completed primitive-0.8.0.0 Downloading twee-lib-2.4.2 Starting scientific-0.3.7.0 Starting vector-0.13.0.0 Downloaded twee-lib-2.4.2 Starting twee-lib-2.4.2 Completed text-short-0.1.5 Building scientific-0.3.7.0 Building vector-0.13.0.0 Completed time-compat-1.9.6.1 Building twee-lib-2.4.2 Completed these-1.2 Starting strict-0.5 Building strict-0.5 Completed constraints-0.13.4 Completed uuid-types-1.0.5 Completed unordered-containers-0.2.19.1 Completed scientific-0.3.7.0 Completed strict-0.5 Completed QuickCheck-2.14.3 Completed twee-lib-2.4.2 Completed vector-0.13.0.0 Starting quickcheck-instances-0.3.29.1 Building quickcheck-instances-0.3.29.1 Completed quickcheck-instances-0.3.29.1 Downloading quickspec-2.2 Downloaded quickspec-2.2 Starting quickspec-2.2 Building quickspec-2.2 Completed quickspec-2.2