diff --git a/extensions.json b/extensions.json index 464bde788..51d27a73c 100644 --- a/extensions.json +++ b/extensions.json @@ -663,6 +663,12 @@ "checkout": "v0.21.2", "prepublish": "npm install spago purescript" }, + { + "id": "ocamllabs.ocaml-platform", + "repository": "https://github.com/ocamllabs/vscode-ocaml-platform.git", + "version": "0.9.0", + "checkout": "v0.9.0" + }, { "id": "octref.vetur", "repository": "https://github.com/vuejs/vetur", @@ -741,6 +747,12 @@ "version": "0.7.8", "checkout": "v0.7.8" }, + { + "id": "ryanolsonx.zenburn", + "repository": "https://github.com/ryanolsonx/vscode-zenburn-theme.git", + "version": "1.0.1", + "checkout": "8d0ea180bd58cdf2a1b88250b44ee71fb80326b6" + }, { "id": "samuelcolvin.jinjahtml", "repository": "https://github.com/samuelcolvin/jinjahtml-vscode"