Resolving dependencies...
Configuring numtype-dk-0.5.0.1...
Building numtype-dk-0.5.0.1...
Installed numtype-dk-0.5.0.1
Configuring exact-pi-0.4.1.2...
Building exact-pi-0.4.1.2...
Installed exact-pi-0.4.1.2
Downloading arithmoi-0.6.0.1...
Configuring arithmoi-0.6.0.1...
Building arithmoi-0.6.0.1...
Installed arithmoi-0.6.0.1