Resolving dependencies...
Configuring ieee754-0.8.0...
Configuring numtype-dk-0.5.0.1...
Building ieee754-0.8.0...
Building numtype-dk-0.5.0.1...
Installed numtype-dk-0.5.0.1
Configuring semigroups-0.18.4...
Building semigroups-0.18.4...
Installed ieee754-0.8.0
Installed semigroups-0.18.4
Configuring exact-pi-0.4.1.3...
Building exact-pi-0.4.1.3...
Installed exact-pi-0.4.1.3
Configuring dimensional-1.1...
Building dimensional-1.1...
Installed dimensional-1.1
Downloading geodetics-0.0.5...
Configuring geodetics-0.0.5...
Building geodetics-0.0.5...
Installed geodetics-0.0.5