Resolving dependencies...
Starting     random-1.1
Building     random-1.1
Completed    random-1.1
Starting     splitmix-0.0.5
Building     splitmix-0.0.5
Completed    splitmix-0.0.5
Starting     QuickCheck-2.14
Building     QuickCheck-2.14
Completed    QuickCheck-2.14
Downloading  HasCacBDD-0.1.0.3
Downloaded   HasCacBDD-0.1.0.3
Starting     HasCacBDD-0.1.0.3
Building     HasCacBDD-0.1.0.3
Completed    HasCacBDD-0.1.0.3