Resolving dependencies...
Configuring random-1.1...
Configuring mtl-2.2.1...
Building mtl-2.2.1...
Building random-1.1...
Installed random-1.1
Installed mtl-2.2.1
Configuring arithmoi-0.4.3.0...
Building arithmoi-0.4.3.0...
Installed arithmoi-0.4.3.0
Downloading pell-0.1.1.0...
Configuring pell-0.1.1.0...
Building pell-0.1.1.0...
Installed pell-0.1.1.0