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