From da7ef9815900c4575bd875c8c5e28b5d6e4ee661 Mon Sep 17 00:00:00 2001
From: bugarela <gabrielamoreira05@gmail.com>
Date: Tue, 9 Apr 2024 14:32:41 -0300
Subject: [PATCH] VSCode Release v0.14.1

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

diff --git a/vscode/quint-vscode/CHANGELOG.md b/vscode/quint-vscode/CHANGELOG.md
index 01cbf258a..2e94f2ad2 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.14.1 -- 2024-04-09
+
 ### Added
 ### Changed
 
diff --git a/vscode/quint-vscode/package-lock.json b/vscode/quint-vscode/package-lock.json
index 900f52373..fd065d03f 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.0",
+	"version": "0.14.1",
 	"lockfileVersion": 2,
 	"requires": true,
 	"packages": {
 		"": {
 			"name": "quint-vscode",
-			"version": "0.14.0",
+			"version": "0.14.1",
 			"hasInstallScript": true,
 			"dependencies": {
 				"vscode-languageclient": "^7.0.0"
diff --git a/vscode/quint-vscode/package.json b/vscode/quint-vscode/package.json
index b5bd72d62..b80840a9a 100644
--- a/vscode/quint-vscode/package.json
+++ b/vscode/quint-vscode/package.json
@@ -3,12 +3,14 @@
 	"displayName": "Quint",
 	"description": "Language support for Quint specifications",
 	"icon": "./icons/logo.png",
-	"version": "0.14.0",
+	"version": "0.14.1",
 	"publisher": "informal",
 	"engines": {
 		"vscode": "^1.52.0"
 	},
-	"categories": ["Programming Languages"],
+	"categories": [
+		"Programming Languages"
+	],
 	"bugs": {
 		"url": "https://github.com/informalsystems/quint/issues"
 	},
@@ -16,14 +18,21 @@
 		"type": "git",
 		"url": "https://github.com/informalsystems/quint.git"
 	},
-	"activationEvents": ["onLanguage:quint"],
+	"activationEvents": [
+		"onLanguage:quint"
+	],
 	"main": "./client/out/extension",
 	"contributes": {
 		"languages": [
 			{
 				"id": "quint",
-				"aliases": ["Quint", "quint"],
-				"extensions": [".qnt"],
+				"aliases": [
+					"Quint",
+					"quint"
+				],
+				"extensions": [
+					".qnt"
+				],
 				"configuration": "./language-configuration.json",
 				"icon": {
 					"light": "./icons/logo-dark.png",
diff --git a/vscode/quint-vscode/server/package-lock.json b/vscode/quint-vscode/server/package-lock.json
index b9ff769fe..61531e915 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.0",
+  "version": "0.14.1",
   "lockfileVersion": 2,
   "requires": true,
   "packages": {
     "": {
       "name": "@informalsystems/quint-language-server",
-      "version": "0.14.0",
+      "version": "0.14.1",
       "license": "Apache 2.0",
       "dependencies": {
-        "@informalsystems/quint": "^0.19.0",
+        "@informalsystems/quint": "^0.19.2",
         "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.19.0",
-      "resolved": "https://registry.npmjs.org/@informalsystems/quint/-/quint-0.19.0.tgz",
-      "integrity": "sha512-gyoyraa6C163gRFNB9LUzCHLpyUfcnyK7r0HKKzi0jsN9w9TJzxfXFc48X2l0qAf2Y9IJx3s7khqJtNX51xgsA==",
+      "version": "0.19.2",
+      "resolved": "https://registry.npmjs.org/@informalsystems/quint/-/quint-0.19.2.tgz",
+      "integrity": "sha512-U+KVbhr8dp9kp2q72MVwKYlGN411ORzUYECD4Fkcnck16BwLbGDUqbnvlzfBRmqNv7VJKgmAxVOxn/gRDcUrYQ==",
       "dependencies": {
         "@grpc/grpc-js": "^1.8.14",
         "@grpc/proto-loader": "^0.7.7",
@@ -7182,9 +7182,9 @@
       "dev": true
     },
     "@informalsystems/quint": {
-      "version": "0.19.0",
-      "resolved": "https://registry.npmjs.org/@informalsystems/quint/-/quint-0.19.0.tgz",
-      "integrity": "sha512-gyoyraa6C163gRFNB9LUzCHLpyUfcnyK7r0HKKzi0jsN9w9TJzxfXFc48X2l0qAf2Y9IJx3s7khqJtNX51xgsA==",
+      "version": "0.19.2",
+      "resolved": "https://registry.npmjs.org/@informalsystems/quint/-/quint-0.19.2.tgz",
+      "integrity": "sha512-U+KVbhr8dp9kp2q72MVwKYlGN411ORzUYECD4Fkcnck16BwLbGDUqbnvlzfBRmqNv7VJKgmAxVOxn/gRDcUrYQ==",
       "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 fbd39ff11..069a23dec 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.0",
+  "version": "0.14.1",
   "author": "Informal Systems",
   "contributors": [
     {
@@ -43,7 +43,7 @@
     "test/**/*.ts"
   ],
   "dependencies": {
-    "@informalsystems/quint": "^0.19.0",
+    "@informalsystems/quint": "^0.19.2",
     "vscode-languageserver": "^7.0.0",
     "vscode-languageserver-textdocument": "^1.0.1",
     "vscode-uri": "^3.0.7"