Merge pull request #1605 from informalsystems/gabriela/node-version-requirement

Relax node version requirement

Author: bugarela

CHANGELOG.md

@@ -12,6 +12,9 @@ and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0
 ### Deprecated
 ### Removed
 ### Fixed
+
+- Fixed a requirement from the package configuration that would lead to always installing v0.18.3 on node versions > 20 (#1602)
+
 ### Security
 
 ## v0.23.0 -- 2025-01-24

quint/package-lock.json

@@ -2,13 +2,7 @@
   "name": "@informalsystems/quint",
   "version": "0.23.0",
   "description": "Core tool for the Quint specification language",
-  "keywords": [
-    "temporal",
-    "logic",
-    "formal",
-    "specification",
-    "verification"
-  ],
+  "keywords": ["temporal", "logic", "formal", "specification", "verification"],
   "homepage": "https://github.com/informalsystems/quint",
   "bugs": "https://github.com/informalsystems/quint/issues",
   "license": "Apache 2.0",
@@ -35,13 +29,9 @@
   "bin": {
     "quint": "dist/src/cli.js"
   },
-  "files": [
-    "README.md",
-    "dist/**/*",
-    "test/**/*.ts"
-  ],
+  "files": ["README.md", "dist/**/*", "test/**/*.ts"],
   "engines": {
-    "node": "18 - 20"
+    "node": ">=18"
   },
   "repository": {
     "type": "git",