Resolving dependencies...
Starting     colour-2.3.6
Starting     splitmix-0.1.0.5
Starting     prettyprinter-1.7.1
Starting     transformers-compat-0.7.2
Starting     unliftio-core-0.2.1.0
Starting     syb-0.7.2.4
Starting     tagged-0.8.8
Starting     hashable-1.4.3.0
Building     prettyprinter-1.7.1
Building     colour-2.3.6
Building     hashable-1.4.3.0
Building     unliftio-core-0.2.1.0
Building     splitmix-0.1.0.5
Building     transformers-compat-0.7.2
Building     syb-0.7.2.4
Building     tagged-0.8.8
Completed    unliftio-core-0.2.1.0
Completed    splitmix-0.1.0.5
Starting     random-1.2.1.2
Building     random-1.2.1.2
Completed    syb-0.7.2.4
Completed    tagged-0.8.8
Completed    transformers-compat-0.7.2
Completed    colour-2.3.6
Starting     ansi-terminal-types-1.1
Building     ansi-terminal-types-1.1
Completed    hashable-1.4.3.0
Starting     libBF-0.6.7
Starting     async-2.2.5
Starting     unordered-containers-0.2.20
Building     unordered-containers-0.2.20
Building     libBF-0.6.7
Building     async-2.2.5
Completed    prettyprinter-1.7.1
Completed    ansi-terminal-types-1.1
Starting     ansi-terminal-1.1
Building     ansi-terminal-1.1
Completed    async-2.2.5
Starting     typed-process-0.2.11.1
Building     typed-process-0.2.11.1
Completed    ansi-terminal-1.1
Starting     prettyprinter-ansi-terminal-1.1.3
Building     prettyprinter-ansi-terminal-1.1.3
Completed    random-1.2.1.2
Starting     temporary-1.3
Starting     QuickCheck-2.14.3
Completed    libBF-0.6.7
Building     temporary-1.3
Building     QuickCheck-2.14.3
Completed    typed-process-0.2.11.1
Completed    unordered-containers-0.2.20
Starting     uniplate-1.6.13
Completed    prettyprinter-ansi-terminal-1.1.3
Starting     optparse-applicative-0.18.1.0
Completed    temporary-1.3
Building     uniplate-1.6.13
Building     optparse-applicative-0.18.1.0
Completed    uniplate-1.6.13
Completed    QuickCheck-2.14.3
Starting     sbv-10.5
Building     sbv-10.5
Completed    optparse-applicative-0.18.1.0
Starting     tasty-1.5
Building     tasty-1.5
Completed    tasty-1.5
Starting     tasty-golden-2.3.5
Building     tasty-golden-2.3.5
Completed    tasty-golden-2.3.5
Completed    sbv-10.5
Downloading  crackNum-3.10
Downloaded   crackNum-3.10
Starting     crackNum-3.10
Building     crackNum-3.10
Completed    crackNum-3.10