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