Resolving dependencies...
Starting     splitmix-0.1.0.4
Building     splitmix-0.1.0.4
Completed    splitmix-0.1.0.4
Starting     random-1.2.1.1
Building     random-1.2.1.1
Completed    random-1.2.1.1
Starting     QuickCheck-2.14.2
Building     QuickCheck-2.14.2
Completed    QuickCheck-2.14.2
Downloading  HasCacBDD-0.1.0.4
Downloaded   HasCacBDD-0.1.0.4
Starting     HasCacBDD-0.1.0.4
Building     HasCacBDD-0.1.0.4
Completed    HasCacBDD-0.1.0.4