From c778466cef3bf33e424900f174bf98254e2895fd Mon Sep 17 00:00:00 2001
From: bugarela <gabrielamoreira05@gmail.com>
Date: Wed, 25 Sep 2024 13:38:51 -0300
Subject: [PATCH] VSCode Release v0.14.6

---
 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 662463c7e..166563f38 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.6 -- 2024-09-25
+
+### Added
+### Changed
+### Deprecated
+### Removed
+### Fixed
+### Security
+
 ## v0.14.5 -- 2024-09-09
 
 ### Added
diff --git a/vscode/quint-vscode/package-lock.json b/vscode/quint-vscode/package-lock.json
index 79939f0c1..2aab8cadf 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.5",
+	"version": "0.14.6",
 	"lockfileVersion": 2,
 	"requires": true,
 	"packages": {
 		"": {
 			"name": "quint-vscode",
-			"version": "0.14.5",
+			"version": "0.14.6",
 			"hasInstallScript": true,
 			"dependencies": {
 				"vscode-languageclient": "^7.0.0"
diff --git a/vscode/quint-vscode/package.json b/vscode/quint-vscode/package.json
index 758b704ae..8ba6d5e41 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.5",
+	"version": "0.14.6",
 	"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 4ce693172..99068e367 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.5",
+  "version": "0.14.6",
   "lockfileVersion": 2,
   "requires": true,
   "packages": {
     "": {
       "name": "@informalsystems/quint-language-server",
-      "version": "0.14.5",
+      "version": "0.14.6",
       "license": "Apache 2.0",
       "dependencies": {
-        "@informalsystems/quint": "^0.21.2",
+        "@informalsystems/quint": "^0.22.1",
         "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.21.2",
-      "resolved": "https://registry.npmjs.org/@informalsystems/quint/-/quint-0.21.2.tgz",
-      "integrity": "sha512-Kma6heRMuz1wBMWh6DD+HyOrZiM8ifW9/qofuWZuLzLUQzNJSbTo+IQRFll6IWh+u4x9D2oE0nEa/uy6JkFEVA==",
+      "version": "0.22.1",
+      "resolved": "https://registry.npmjs.org/@informalsystems/quint/-/quint-0.22.1.tgz",
+      "integrity": "sha512-DslewyqAICTnCPxla2oM0U048k8eMrOv1L/LiW93TwhovIVheQTEvmPNrdntYE2HQ8dF3ib4Wi9/Tx77drzrWw==",
       "dependencies": {
         "@grpc/grpc-js": "^1.11.1",
         "@grpc/proto-loader": "^0.7.7",
@@ -7223,9 +7223,9 @@
       "dev": true
     },
     "@informalsystems/quint": {
-      "version": "0.21.2",
-      "resolved": "https://registry.npmjs.org/@informalsystems/quint/-/quint-0.21.2.tgz",
-      "integrity": "sha512-Kma6heRMuz1wBMWh6DD+HyOrZiM8ifW9/qofuWZuLzLUQzNJSbTo+IQRFll6IWh+u4x9D2oE0nEa/uy6JkFEVA==",
+      "version": "0.22.1",
+      "resolved": "https://registry.npmjs.org/@informalsystems/quint/-/quint-0.22.1.tgz",
+      "integrity": "sha512-DslewyqAICTnCPxla2oM0U048k8eMrOv1L/LiW93TwhovIVheQTEvmPNrdntYE2HQ8dF3ib4Wi9/Tx77drzrWw==",
       "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 67ce021b6..143cbe1ed 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.5",
+  "version": "0.14.6",
   "author": "Informal Systems",
   "contributors": [
     {
@@ -43,7 +43,7 @@
     "test/**/*.ts"
   ],
   "dependencies": {
-    "@informalsystems/quint": "^0.21.2",
+    "@informalsystems/quint": "^0.22.1",
     "vscode-languageserver": "^7.0.0",
     "vscode-languageserver-textdocument": "^1.0.1",
     "vscode-uri": "^3.0.7"