Resolving dependencies...
Downloading semiring-num-0.8.0.0...
Configuring semiring-num-0.8.0.0...
Building semiring-num-0.8.0.0...
Installed semiring-num-0.8.0.0