version 2.0.5 (fixes windows unzip)

see cthackers/adm-zip#484
moves-rwth · May 22, 2024 · 33c689e · 33c689e
1 parent 8d35b38
commit 33c689e
Show file tree

Hide file tree

Showing 2 changed files with 7 additions and 7 deletions.
diff --git a/vscode-ext/package-lock.json b/vscode-ext/package-lock.json
diff --git a/vscode-ext/package.json b/vscode-ext/package.json
@@ -3,7 +3,7 @@
   "displayName": "Caesar Verifier",
   "description": "The quantitative deductive verifier Caesar for VSCode",
   "publisher": "rwth-moves",
-  "version": "2.0.4",
+  "version": "2.0.5",
   "repository": {
     "type": "git",
     "url": "https://github.com/moves-rwth/caesar.git",
@@ -329,7 +329,7 @@
   },
   "dependencies": {
     "@octokit/rest": "^20.1.1",
-    "adm-zip": "^0.5.12",
+    "adm-zip": "github:cthackers/adm-zip#d3f5d7b71c48a1d0bec71362df308c3167c542d7",
     "got": "^11.8.6",
     "octokit": "^4.0.2",
     "semver": "^7.6.2",