Release v0.2.5

gebner · gebner · commit ec5017f303de · 2026-05-15T22:44:45.000Z
diff --git a/Cargo.lock b/Cargo.lock
diff --git a/Cargo.toml b/Cargo.toml
@@ -3,7 +3,7 @@ members = ["crates/parser", "crates/lsp"]
 resolver = "2"
 
 [workspace.package]
-version = "0.2.4"
+version = "0.2.5"
 edition = "2024"
 license = "Apache-2.0"
 repository = "https://github.com/FStarLang/summit-breeze"
diff --git a/editors/vscode/package.json b/editors/vscode/package.json
@@ -2,7 +2,7 @@
   "name": "summit-breeze",
   "displayName": "Summit Breeze",
   "description": "SMT-LIB language support via LSP",
-  "version": "0.2.4",
+  "version": "0.2.5",
   "publisher": "FStarLang",
   "license": "Apache-2.0",
   "repository": {
