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