From b3c5a313a361c514b5caf8543757e81f4f190322 Mon Sep 17 00:00:00 2001
From: bugarela <gabrielamoreira05@gmail.com>
Date: Mon, 28 Oct 2024 14:41:02 -0300
Subject: [PATCH] VSCode Release v0.14.9

---
 vscode/quint-vscode/CHANGELOG.md             |  9 +++++++++
 vscode/quint-vscode/package-lock.json        |  4 ++--
 vscode/quint-vscode/package.json             |  2 +-
 vscode/quint-vscode/server/package-lock.json | 18 +++++++++---------
 vscode/quint-vscode/server/package.json      |  4 ++--
 5 files changed, 23 insertions(+), 14 deletions(-)

diff --git a/vscode/quint-vscode/CHANGELOG.md b/vscode/quint-vscode/CHANGELOG.md
index 8d84ef87a..77505bd8a 100644
--- a/vscode/quint-vscode/CHANGELOG.md
+++ b/vscode/quint-vscode/CHANGELOG.md
@@ -14,6 +14,15 @@ and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0
 ### Fixed
 ### Security
 
+## v0.14.9 -- 2024-10-28
+
+### Added
+### Changed
+### Deprecated
+### Removed
+### Fixed
+### Security
+
 ## v0.14.8 -- 2024-10-18
 
 ### Added
diff --git a/vscode/quint-vscode/package-lock.json b/vscode/quint-vscode/package-lock.json
index 942409e8e..8220ea622 100644
--- a/vscode/quint-vscode/package-lock.json
+++ b/vscode/quint-vscode/package-lock.json
@@ -1,12 +1,12 @@
 {
 	"name": "quint-vscode",
-	"version": "0.14.8",
+	"version": "0.14.9",
 	"lockfileVersion": 2,
 	"requires": true,
 	"packages": {
 		"": {
 			"name": "quint-vscode",
-			"version": "0.14.8",
+			"version": "0.14.9",
 			"hasInstallScript": true,
 			"dependencies": {
 				"vscode-languageclient": "^7.0.0"
diff --git a/vscode/quint-vscode/package.json b/vscode/quint-vscode/package.json
index d5cd0ee7e..135e6b82e 100644
--- a/vscode/quint-vscode/package.json
+++ b/vscode/quint-vscode/package.json
@@ -3,7 +3,7 @@
 	"displayName": "Quint",
 	"description": "Language support for Quint specifications",
 	"icon": "./icons/logo.png",
-	"version": "0.14.8",
+	"version": "0.14.9",
 	"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 1916afb58..5984ba36f 100644
--- a/vscode/quint-vscode/server/package-lock.json
+++ b/vscode/quint-vscode/server/package-lock.json
@@ -1,15 +1,15 @@
 {
   "name": "@informalsystems/quint-language-server",
-  "version": "0.14.8",
+  "version": "0.14.9",
   "lockfileVersion": 2,
   "requires": true,
   "packages": {
     "": {
       "name": "@informalsystems/quint-language-server",
-      "version": "0.14.8",
+      "version": "0.14.9",
       "license": "Apache 2.0",
       "dependencies": {
-        "@informalsystems/quint": "^0.22.2",
+        "@informalsystems/quint": "^0.22.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.22.2",
-      "resolved": "https://registry.npmjs.org/@informalsystems/quint/-/quint-0.22.2.tgz",
-      "integrity": "sha512-o8Og6+QSxvwSMai3auAdu8+xi4sBYU9ZSfhLXFY/gQvdc/Da4FkqNwRRJaFOyf1YlGnH0VVzTgm/HQPaqbJZzw==",
+      "version": "0.22.3",
+      "resolved": "https://registry.npmjs.org/@informalsystems/quint/-/quint-0.22.3.tgz",
+      "integrity": "sha512-mqNW12vwXEW9DiASjvOA9Xu8MjYqpXXwZG3eFuxXSH60IRIuxEQgQLz1LEGIqMNGm6RPAOEqZqPyebzIGsHARg==",
       "dependencies": {
         "@grpc/grpc-js": "^1.11.1",
         "@grpc/proto-loader": "^0.7.7",
@@ -7223,9 +7223,9 @@
       "dev": true
     },
     "@informalsystems/quint": {
-      "version": "0.22.2",
-      "resolved": "https://registry.npmjs.org/@informalsystems/quint/-/quint-0.22.2.tgz",
-      "integrity": "sha512-o8Og6+QSxvwSMai3auAdu8+xi4sBYU9ZSfhLXFY/gQvdc/Da4FkqNwRRJaFOyf1YlGnH0VVzTgm/HQPaqbJZzw==",
+      "version": "0.22.3",
+      "resolved": "https://registry.npmjs.org/@informalsystems/quint/-/quint-0.22.3.tgz",
+      "integrity": "sha512-mqNW12vwXEW9DiASjvOA9Xu8MjYqpXXwZG3eFuxXSH60IRIuxEQgQLz1LEGIqMNGm6RPAOEqZqPyebzIGsHARg==",
       "requires": {
         "@grpc/grpc-js": "^1.11.1",
         "@grpc/proto-loader": "^0.7.7",
diff --git a/vscode/quint-vscode/server/package.json b/vscode/quint-vscode/server/package.json
index 58d0f9c8a..2c36b3317 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.14.8",
+  "version": "0.14.9",
   "author": "Informal Systems",
   "contributors": [
     {
@@ -43,7 +43,7 @@
     "test/**/*.ts"
   ],
   "dependencies": {
-    "@informalsystems/quint": "^0.22.2",
+    "@informalsystems/quint": "^0.22.3",
     "vscode-languageserver": "^7.0.0",
     "vscode-languageserver-textdocument": "^1.0.1",
     "vscode-uri": "^3.0.7"