{"categories":[],"packages":[],"usage":[{"description":"Add sci-mathematics\/coq support","isdefault":false,"packageid":73747,"use":"coq"},{"description":"Add sci-mathematics\/coq support","isdefault":false,"packageid":68094,"use":"coq"}],"use":{"description":"Add sci-mathematics\/coq support","isdefault":false,"packageid":68094,"use":"coq"}}