diff --git a/vscode/quint-vscode/CHANGELOG.md b/vscode/quint-vscode/CHANGELOG.md
index 1fd78c3b1..0dac488e1 100644
--- a/vscode/quint-vscode/CHANGELOG.md
+++ b/vscode/quint-vscode/CHANGELOG.md
@@ -7,6 +7,15 @@ and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0
 
 ## UNRELEASED
 
+### Added
+### Changed
+### Deprecated
+### Removed
+### Fixed
+### Security
+
+## v0.9.0 -- 2023-09-19
+
 ### Added
 
 - Added partial support for code completion and renaming (#1143)
diff --git a/vscode/quint-vscode/package-lock.json b/vscode/quint-vscode/package-lock.json
index acc7921fc..d407dd3d7 100644
--- a/vscode/quint-vscode/package-lock.json
+++ b/vscode/quint-vscode/package-lock.json
@@ -1,12 +1,12 @@
 {
 	"name": "quint-vscode",
-	"version": "0.8.0",
+	"version": "0.9.0",
 	"lockfileVersion": 2,
 	"requires": true,
 	"packages": {
 		"": {
 			"name": "quint-vscode",
-			"version": "0.8.0",
+			"version": "0.9.0",
 			"hasInstallScript": true,
 			"dependencies": {
 				"vscode-languageclient": "^7.0.0"
diff --git a/vscode/quint-vscode/package.json b/vscode/quint-vscode/package.json
index a0eab83cc..1277e9e89 100644
--- a/vscode/quint-vscode/package.json
+++ b/vscode/quint-vscode/package.json
@@ -2,7 +2,7 @@
 	"name": "quint-vscode",
 	"displayName": "Quint",
 	"description": "Language support for Quint specifications",
-	"version": "0.8.0",
+	"version": "0.9.0",
 	"publisher": "informal",
 	"engines": {
 		"vscode": "^1.52.0"
diff --git a/vscode/quint-vscode/server/package-lock.json b/vscode/quint-vscode/server/package-lock.json
index 4715dbe23..204a58f58 100644
--- a/vscode/quint-vscode/server/package-lock.json
+++ b/vscode/quint-vscode/server/package-lock.json
@@ -1,15 +1,15 @@
 {
-  "name": "quint-language-server",
-  "version": "0.8.0",
+  "name": "@informalsystems/quint-language-server",
+  "version": "0.9.0",
   "lockfileVersion": 2,
   "requires": true,
   "packages": {
     "": {
-      "name": "quint-language-server",
-      "version": "0.8.0",
+      "name": "@informalsystems/quint-language-server",
+      "version": "0.9.0",
       "license": "Apache 2.0",
       "dependencies": {
-        "@informalsystems/quint": "~0.14.1",
+        "@informalsystems/quint": "^0.14.3",
         "vscode-languageserver": "^7.0.0",
         "vscode-languageserver-textdocument": "^1.0.1",
         "vscode-uri": "^3.0.7"
@@ -476,9 +476,9 @@
       "dev": true
     },
     "node_modules/@informalsystems/quint": {
-      "version": "0.14.1",
-      "resolved": "https://registry.npmjs.org/@informalsystems/quint/-/quint-0.14.1.tgz",
-      "integrity": "sha512-dij4RcX83xehWZhLTuMatG4GlY0cWEjGo/bDcKVe3DIYiBpFb2riZIGIVv6JjuZF9clQcB6/czrXx2ZJ/jSW5Q==",
+      "version": "0.14.3",
+      "resolved": "https://registry.npmjs.org/@informalsystems/quint/-/quint-0.14.3.tgz",
+      "integrity": "sha512-o/koSCs8lRNFl+qQmi0HIaPzeSAAUAcRakaOm9UkWrlkBtZlRrhONeZ7E6CCRSFbyRTA9U0mosqaefam1djycw==",
       "dependencies": {
         "@grpc/grpc-js": "^1.8.14",
         "@grpc/proto-loader": "^0.7.7",
@@ -7207,9 +7207,9 @@
       "dev": true
     },
     "@informalsystems/quint": {
-      "version": "0.14.1",
-      "resolved": "https://registry.npmjs.org/@informalsystems/quint/-/quint-0.14.1.tgz",
-      "integrity": "sha512-dij4RcX83xehWZhLTuMatG4GlY0cWEjGo/bDcKVe3DIYiBpFb2riZIGIVv6JjuZF9clQcB6/czrXx2ZJ/jSW5Q==",
+      "version": "0.14.3",
+      "resolved": "https://registry.npmjs.org/@informalsystems/quint/-/quint-0.14.3.tgz",
+      "integrity": "sha512-o/koSCs8lRNFl+qQmi0HIaPzeSAAUAcRakaOm9UkWrlkBtZlRrhONeZ7E6CCRSFbyRTA9U0mosqaefam1djycw==",
       "requires": {
         "@grpc/grpc-js": "^1.8.14",
         "@grpc/proto-loader": "^0.7.7",
diff --git a/vscode/quint-vscode/server/package.json b/vscode/quint-vscode/server/package.json
index 9c9456b17..6e3451de5 100644
--- a/vscode/quint-vscode/server/package.json
+++ b/vscode/quint-vscode/server/package.json
@@ -1,7 +1,7 @@
 {
   "name": "@informalsystems/quint-language-server",
   "description": "Language Server for the Quint specification language",
-  "version": "0.8.0",
+  "version": "0.9.0",
   "author": "Informal Systems",
   "contributors": [
     {
@@ -37,9 +37,13 @@
   "bin": {
     "quint-language-server": "./out/src/server.js"
   },
-  "files": ["README.md", "out/**/*", "test/**/*.ts"],
+  "files": [
+    "README.md",
+    "out/**/*",
+    "test/**/*.ts"
+  ],
   "dependencies": {
-    "@informalsystems/quint": "~0.14.1",
+    "@informalsystems/quint": "^0.14.3",
     "vscode-languageserver": "^7.0.0",
     "vscode-languageserver-textdocument": "^1.0.1",
     "vscode-uri": "^3.0.7"