Resolving dependencies...
Configuring semigroups-0.18.4...
Configuring numtype-dk-0.5.0.1...
Building numtype-dk-0.5.0.1...
Building semigroups-0.18.4...
Installed numtype-dk-0.5.0.1
Installed semigroups-0.18.4
Downloading exact-pi-0.4.1.3...
Configuring exact-pi-0.4.1.3...
Building exact-pi-0.4.1.3...
Installed exact-pi-0.4.1.3