Resolving dependencies...
Configuring semirings-0.0.0...
Building semirings-0.0.0...
Installed semirings-0.0.0