Update dependency: deps/stable-mir-json_release (#576)

rv-jenkins · rv-auditor · web-flow · commit f90274841f1c · 2025-05-09T11:33:34.000-04:00
Co-authored-by: devops &lt;devops@runtimeverification.com&gt;
diff --git a/deps/stable-mir-json b/deps/stable-mir-json
@@ -1 +1 @@
-Subproject commit c9b3d3308bf4a6f8d49f636cd86e1e26a6abc591
+Subproject commit f452197961732339caa46f47dbeacddce2b60b31
diff --git a/deps/stable-mir-json_release b/deps/stable-mir-json_release
@@ -1 +1 @@
-c9b3d3308bf4a6f8d49f636cd86e1e26a6abc591
+f452197961732339caa46f47dbeacddce2b60b31
diff --git a/kmir/pyproject.toml b/kmir/pyproject.toml
@@ -4,7 +4,7 @@ build-backend = "hatchling.build"
 
 [project]
 name = "kmir"
-version = "0.3.152"
+version = "0.3.153"
 description = ""
 requires-python = "~=3.10"
 dependencies = [
diff --git a/kmir/src/kmir/__init__.py b/kmir/src/kmir/__init__.py
@@ -1,3 +1,3 @@
 from typing import Final
 
-VERSION: Final = '0.3.152'
+VERSION: Final = '0.3.153'
diff --git a/kmir/uv.lock b/kmir/uv.lock
diff --git a/package/version b/package/version
@@ -1 +1 @@
-0.3.152
+0.3.153
