Resolving dependencies...
Starting     splitmix-0.1.1
Building     splitmix-0.1.1
Completed    splitmix-0.1.1
Starting     random-1.2.1.3
Building     random-1.2.1.3
Completed    random-1.2.1.3
Starting     QuickCheck-2.14.3
Building     QuickCheck-2.14.3
Completed    QuickCheck-2.14.3
Downloading  HasCacBDD-0.3.0.0
Downloaded   HasCacBDD-0.3.0.0
Starting     HasCacBDD-0.3.0.0
Building     HasCacBDD-0.3.0.0
Completed    HasCacBDD-0.3.0.0