Resolving dependencies...
Starting     random-1.1
Starting     FloatingHex-0.4
Starting     hashable-1.3.0.0
Starting     syb-0.7.1
Building     random-1.1
Building     FloatingHex-0.4
Building     hashable-1.3.0.0
Building     syb-0.7.1
Completed    FloatingHex-0.4
Starting     th-abstraction-0.3.2.0
Building     th-abstraction-0.3.2.0
Completed    random-1.1
Starting     crackNum-2.3
Completed    hashable-1.3.0.0
Starting     splitmix-0.0.4
Completed    syb-0.7.1
Starting     async-2.2.2
Building     crackNum-2.3
Building     splitmix-0.0.4
Building     async-2.2.2
Completed    splitmix-0.0.4
Starting     QuickCheck-2.14
Building     QuickCheck-2.14
Completed    th-abstraction-0.3.2.0
Starting     generic-deriving-1.13.1
Completed    async-2.2.2
Building     generic-deriving-1.13.1
Completed    crackNum-2.3
Completed    QuickCheck-2.14
Completed    generic-deriving-1.13.1
Starting     sbv-8.6
Building     sbv-8.6
Completed    sbv-8.6
Downloading  linearEqSolver-2.3
Downloaded   linearEqSolver-2.3
Starting     linearEqSolver-2.3
Building     linearEqSolver-2.3
Completed    linearEqSolver-2.3