No record for @theia/workspace

We hold nothing for this package in npm, or the service is briefly unavailable. Try another package below.