Resolving dependencies...
Configuring data-ordlist-0.4.7.0...
Configuring containers-0.5.8.1...
Building data-ordlist-0.4.7.0...
Building containers-0.5.8.1...
Installed data-ordlist-0.4.7.0
Installed containers-0.5.8.1
Downloading lazyset-0.1.0.0...
Configuring lazyset-0.1.0.0...
Building lazyset-0.1.0.0...
Installed lazyset-0.1.0.0