Resolving dependencies...
Starting     cabal-doctest-1.0.9
Starting     base-orphans-0.8.7
Starting     data-array-byte-0.1.0.1
Starting     colour-2.3.6
Starting     splitmix-0.1.0.4
Starting     prettyprinter-1.7.1
Starting     tagged-0.8.6.1
Starting     th-abstraction-0.4.5.0
Starting     indexed-traversable-0.1.2
Starting     transformers-compat-0.7.2
Starting     syb-0.7.2.2
Building     prettyprinter-1.7.1
Building     syb-0.7.2.2
Building     indexed-traversable-0.1.2
Building     cabal-doctest-1.0.9
Building     base-orphans-0.8.7
Building     data-array-byte-0.1.0.1
Building     colour-2.3.6
Building     th-abstraction-0.4.5.0
Building     transformers-compat-0.7.2
Building     splitmix-0.1.0.4
Building     tagged-0.8.6.1
Completed    base-orphans-0.8.7
Completed    splitmix-0.1.0.4
Starting     random-1.2.1.1
Building     random-1.2.1.1
Completed    data-array-byte-0.1.0.1
Starting     hashable-1.4.2.0
Completed    syb-0.7.2.2
Building     hashable-1.4.2.0
Completed    tagged-0.8.6.1
Starting     distributive-0.6.2.1
Building     distributive-0.6.2.1
Completed    transformers-compat-0.7.2
Completed    indexed-traversable-0.1.2
Completed    colour-2.3.6
Starting     ansi-terminal-0.11.4
Completed    cabal-doctest-1.0.9
Building     ansi-terminal-0.11.4
Completed    th-abstraction-0.4.5.0
Completed    prettyprinter-1.7.1
Completed    distributive-0.6.2.1
Starting     comonad-5.0.8
Building     comonad-5.0.8
Completed    hashable-1.4.2.0
Starting     libBF-0.6.5.1
Starting     unordered-containers-0.2.19.1
Starting     async-2.2.4
Completed    ansi-terminal-0.11.4
Starting     ansi-wl-pprint-0.6.9
Starting     prettyprinter-ansi-terminal-1.1.3
Building     async-2.2.4
Building     unordered-containers-0.2.19.1
Building     libBF-0.6.5.1
Building     ansi-wl-pprint-0.6.9
Building     prettyprinter-ansi-terminal-1.1.3
Completed    random-1.2.1.1
Starting     QuickCheck-2.14.2
Building     QuickCheck-2.14.2
Completed    ansi-wl-pprint-0.6.9
Starting     optparse-applicative-0.17.0.0
Completed    comonad-5.0.8
Starting     bifunctors-5.5.14
Building     optparse-applicative-0.17.0.0
Building     bifunctors-5.5.14
Completed    async-2.2.4
Completed    prettyprinter-ansi-terminal-1.1.3
Completed    libBF-0.6.5.1
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     pretty-simple-4.1.2.0
Building     pretty-simple-4.1.2.0
Completed    bifunctors-5.5.14
Completed    QuickCheck-2.14.2
Completed    uniplate-1.6.13
Starting     sbv-9.0
Building     sbv-9.0
Completed    pretty-simple-4.1.2.0
Completed    sbv-9.0
Downloading  sbv-program-1.1.0.0
Downloaded   sbv-program-1.1.0.0
Starting     sbv-program-1.1.0.0
Building     sbv-program-1.1.0.0
Completed    sbv-program-1.1.0.0