{"categories":[],"packages":[],"usage":[{"description":"You can disable the use of the `semirings` package using `-f-semirings`. This may be useful for accelerating builds in sandboxes for expert users.","isdefault":false,"packageid":71901,"use":"semirings"}],"use":{"description":"You can disable the use of the `semirings` package using `-f-semirings`. This may be useful for accelerating builds in sandboxes for expert users.","isdefault":false,"packageid":71901,"use":"semirings"}}