Resolving dependencies...
Configuring numtype-dk-0.5.0.2...
Configuring integer-logarithms-1.0.2.1...
Building numtype-dk-0.5.0.2...
Building integer-logarithms-1.0.2.1...
Installed numtype-dk-0.5.0.2
Configuring primitive-0.6.4.0...
Installed integer-logarithms-1.0.2.1
Configuring random-1.1...
Building primitive-0.6.4.0...
Building random-1.1...
Installed random-1.1
Configuring exact-pi-0.4.1.4...
Building exact-pi-0.4.1.4...
Installed exact-pi-0.4.1.4
Installed primitive-0.6.4.0
Configuring vector-0.12.0.1...
Building vector-0.12.0.1...
Installed vector-0.12.0.1
Configuring arithmoi-0.7.0.0...
Building arithmoi-0.7.0.0...
Installed arithmoi-0.7.0.0
Downloading quadratic-irrational-0.0.6...
Configuring quadratic-irrational-0.0.6...
Building quadratic-irrational-0.0.6...
Installed quadratic-irrational-0.0.6