Resolving dependencies...
Starting     splitmix-0.1.0.4
Starting     data-array-byte-0.1.0.1
Starting     syb-0.7.2.2
Building     syb-0.7.2.2
Building     splitmix-0.1.0.4
Building     data-array-byte-0.1.0.1
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    syb-0.7.2.2
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     unordered-containers-0.2.19.1
Building     libBF-0.6.5.1
Building     async-2.2.4
Completed    random-1.2.1.1
Starting     QuickCheck-2.14.2
Building     QuickCheck-2.14.2
Completed    async-2.2.4
Completed    libBF-0.6.5.1
Completed    unordered-containers-0.2.19.1
Starting     uniplate-1.6.13
Building     uniplate-1.6.13
Completed    QuickCheck-2.14.2
Completed    uniplate-1.6.13
Downloading  sbv-9.1
Downloaded   sbv-9.1
Starting     sbv-9.1
Building     sbv-9.1
Completed    sbv-9.1