Resolving dependencies...
Starting     data-default-class-0.1.2.0
Starting     splitmix-0.1.0.3
Building     data-default-class-0.1.2.0
Building     splitmix-0.1.0.3
Completed    data-default-class-0.1.2.0
Starting     sdp-0.2
Building     sdp-0.2
Completed    splitmix-0.1.0.3
Starting     random-1.2.0
Building     random-1.2.0
Completed    random-1.2.0
Starting     QuickCheck-2.14.2
Building     QuickCheck-2.14.2
Completed    QuickCheck-2.14.2
Completed    sdp-0.2
Downloading  sdp-quickcheck-0.2
Downloaded   sdp-quickcheck-0.2
Starting     sdp-quickcheck-0.2
Building     sdp-quickcheck-0.2
Completed    sdp-quickcheck-0.2