Merge pull request #1129 from informalsystems/gabriela/pin-sweet-mona…

…ds-package Pin @sweet-monads packages to 3.2.0
informalsystems · Aug 28, 2023 · a12a9e6 · a12a9e6
2 parents f65cdec + 2349a30
commit a12a9e6
Show file tree

Hide file tree

Showing 3 changed files with 29 additions and 26 deletions.
diff --git a/CHANGELOG.md b/CHANGELOG.md
@@ -12,6 +12,9 @@ and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0
 ### Deprecated
 ### Removed
 ### Fixed
+
+- Fix problem with broken dependency by pinning versions (#1129)
+
 ### Security
 
 ## v0.14.0 -- 2023-08-25

diff --git a/quint/package-lock.json b/quint/package-lock.json
diff --git a/quint/package.json b/quint/package.json
@@ -51,8 +51,8 @@
     "@grpc/grpc-js": "^1.8.14",
     "@grpc/proto-loader": "^0.7.7",
     "@octokit/request": "^8.1.1",
-    "@sweet-monads/either": "^3.0.1",
-    "@sweet-monads/maybe": "^3.1.0",
+    "@sweet-monads/either": "~3.2.0",
+    "@sweet-monads/maybe": "~3.2.0",
     "@types/line-column": "^1.0.0",
     "@types/seedrandom": "^3.0.4",
     "antlr4ts": "^0.5.0-alpha.4",