Resolving dependencies...
Starting     splitmix-0.1.1
Starting     lazysmallcheck-0.6
Building     splitmix-0.1.1
Building     lazysmallcheck-0.6
Completed    lazysmallcheck-0.6
Completed    splitmix-0.1.1
Starting     random-1.3.0
Building     random-1.3.0
Completed    random-1.3.0
Starting     QuickCheck-2.15.0.1
Building     QuickCheck-2.15.0.1
Completed    QuickCheck-2.15.0.1
Starting     Stream-0.4.7.2
Building     Stream-0.4.7.2
Completed    Stream-0.4.7.2
Downloading  geodetics-1.1.0
Downloaded   geodetics-1.1.0
Starting     geodetics-1.1.0
Building     geodetics-1.1.0
Completed    geodetics-1.1.0