Resolving dependencies... Starting data-array-byte-0.1.0.1 Starting splitmix-0.1.0.4 Starting tagged-0.8.7 Starting syb-0.7.2.3 Starting unliftio-core-0.2.1.0 Starting transformers-compat-0.7.2 Starting colour-2.3.6 Building data-array-byte-0.1.0.1 Building tagged-0.8.7 Building syb-0.7.2.3 Building splitmix-0.1.0.4 Building transformers-compat-0.7.2 Building colour-2.3.6 Building unliftio-core-0.2.1.0 Completed unliftio-core-0.2.1.0 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 Completed syb-0.7.2.3 Completed transformers-compat-0.7.2 Completed colour-2.3.6 Starting ansi-terminal-types-0.11.5 Building ansi-terminal-types-0.11.5 Completed ansi-terminal-types-0.11.5 Starting ansi-terminal-0.11.5 Building ansi-terminal-0.11.5 Completed hashable-1.4.2.0 Starting libBF-0.6.5.1 Starting unordered-containers-0.2.19.1 Starting async-2.2.4 Building libBF-0.6.5.1 Building unordered-containers-0.2.19.1 Building async-2.2.4 Completed ansi-terminal-0.11.5 Starting ansi-wl-pprint-0.6.9 Building ansi-wl-pprint-0.6.9 Completed random-1.2.1.1 Starting temporary-1.3 Starting QuickCheck-2.14.2 Building temporary-1.3 Building QuickCheck-2.14.2 Completed async-2.2.4 Starting typed-process-0.2.11.0 Building typed-process-0.2.11.0 Completed ansi-wl-pprint-0.6.9 Starting optparse-applicative-0.17.0.0 Building optparse-applicative-0.17.0.0 Completed temporary-1.3 Completed libBF-0.6.5.1 Completed typed-process-0.2.11.0 Completed unordered-containers-0.2.19.1 Starting uniplate-1.6.13 Building uniplate-1.6.13 Completed optparse-applicative-0.17.0.0 Starting tasty-1.4.3 Building tasty-1.4.3 Completed QuickCheck-2.14.2 Completed uniplate-1.6.13 Downloading sbv-10.1 Downloaded sbv-10.1 Starting sbv-10.1 Building sbv-10.1 Completed tasty-1.4.3 Starting tasty-golden-2.3.5 Building tasty-golden-2.3.5 Completed tasty-golden-2.3.5 Completed sbv-10.1 Downloading crackNum-3.4 Downloaded crackNum-3.4 Starting crackNum-3.4 Building crackNum-3.4 Completed crackNum-3.4