{"categories":[],"packages":[],"usage":[{"description":"You can disable the use of the `semigroups` package using `-f-semigroups`. Disabing this is an unsupported configuration, but it may be useful for accelerating builds in sandboxes for expert users.","isdefault":false,"packageid":61187,"use":"semigroups"},{"description":"You can disable the use of the `semigroups` package using `-f-semigroups`. Disabling this is an unsupported configuration, but it may be useful for accelerating builds in sandboxes for expert users.","isdefault":false,"packageid":61197,"use":"semigroups"}],"use":{"description":"You can disable the use of the `semigroups` package using `-f-semigroups`. Disabing this is an unsupported configuration, but it may be useful for accelerating builds in sandboxes for expert users.","isdefault":false,"packageid":61187,"use":"semigroups"}}