Resolving dependencies...
Downloading semiring-simple-1.0.0.0...
Configuring semiring-simple-1.0.0.0...
Building semiring-simple-1.0.0.0...
Installed semiring-simple-1.0.0.0