2022-06-02 20:21:47 +04:00
|
|
|
{ buildVscodeMarketplaceExtension }: {
|
|
|
|
|
dhall.vscode-dhall-lsp-server = buildVscodeMarketplaceExtension {
|
|
|
|
|
mktplcRef = {
|
|
|
|
|
publisher = "dhall";
|
|
|
|
|
name = "vscode-dhall-lsp-server";
|
|
|
|
|
version = "0.0.4";
|
|
|
|
|
sha256 = "sha256-WopWzMCtiiLrx3pHNiDMZYFdjS359vu3T+6uI5A+Nv4=";
|
|
|
|
|
};
|
|
|
|
|
};
|
2022-07-18 14:19:35 +04:00
|
|
|
gpoore.codebraid-preview = buildVscodeMarketplaceExtension {
|
|
|
|
|
mktplcRef = {
|
|
|
|
|
publisher = "gpoore";
|
|
|
|
|
name = "codebraid-preview";
|
|
|
|
|
version = "0.8.0";
|
|
|
|
|
sha256 = "sha256-bw/uzdbLDREwhd0PHOD+Ref3UdaYlkhegsUhkTX1WlI=";
|
|
|
|
|
};
|
|
|
|
|
};
|
2022-06-02 20:21:47 +04:00
|
|
|
}
|
