Resolving dependencies...
Configuring integer-logarithms-1.0.1...
Configuring mtl-2.2.1...
Building integer-logarithms-1.0.1...
Building mtl-2.2.1...
Configuring numtype-dk-0.5.0.1...
Installed integer-logarithms-1.0.1
Building numtype-dk-0.5.0.1...
Configuring random-1.1...
Installed numtype-dk-0.5.0.1
Configuring exact-pi-0.4.1.2...
Installed mtl-2.2.1
Building random-1.1...
Building exact-pi-0.4.1.2...
Installed exact-pi-0.4.1.2
Installed random-1.1
Downloading arithmoi-0.5.0.0...
Configuring arithmoi-0.5.0.0...
Building arithmoi-0.5.0.0...
Installed arithmoi-0.5.0.0