Resolving dependencies... Starting hashable-1.3.0.0 Starting FloatingHex-0.4 Starting splitmix-0.1.0.1 Starting syb-0.7.1 Building FloatingHex-0.4 Building splitmix-0.1.0.1 Building hashable-1.3.0.0 Building syb-0.7.1 Completed FloatingHex-0.4 Starting crackNum-2.3 Building crackNum-2.3 Completed splitmix-0.1.0.1 Starting random-1.2.0 Building random-1.2.0 Completed hashable-1.3.0.0 Starting async-2.2.2 Completed syb-0.7.1 Building async-2.2.2 Completed async-2.2.2 Completed crackNum-2.3 Completed random-1.2.0 Starting QuickCheck-2.14.1 Building QuickCheck-2.14.1 Completed QuickCheck-2.14.1 Downloading sbv-8.8 Downloaded sbv-8.8 Starting sbv-8.8 Building sbv-8.8 Completed sbv-8.8