Resolving dependencies...
Configuring integer-logarithms-1.0.2...
Configuring mtl-2.2.1...
Building integer-logarithms-1.0.2...
Building mtl-2.2.1...
Configuring random-1.1...
Installed integer-logarithms-1.0.2
Building random-1.1...
Configuring numtype-dk-0.5.0.1...
Installed mtl-2.2.1
Building numtype-dk-0.5.0.1...
Installed random-1.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
Configuring arithmoi-0.6.0.0...
Building arithmoi-0.6.0.0...
Installed arithmoi-0.6.0.0
Downloading cyclotomic-0.5.0.0...
Configuring cyclotomic-0.5.0.0...
Building cyclotomic-0.5.0.0...
Installed cyclotomic-0.5.0.0