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

rv-jenkins · rv-auditor · github-actions[bot] · web-flow · commit 09b61244a72f · 2026-01-14T17:47:48.000Z
Co-authored-by: devops &lt;devops@runtimeverification.com&gt;
Co-authored-by: github-actions[bot] &lt;github-actions[bot]@users.noreply.github.com&gt;
Co-authored-by: Daniel Cumming &lt;124537596+dkcumming@users.noreply.github.com&gt;
diff --git a/deps/stable-mir-json b/deps/stable-mir-json
@@ -1 +1 @@
-Subproject commit 626e8fed0470078c4d980b6b5b503a3aceb355ec
+Subproject commit e9395d9b763f1e78ed19ee106c6ab4f0128566a7
diff --git a/deps/stable-mir-json_release b/deps/stable-mir-json_release
@@ -1 +1 @@
-626e8fed0470078c4d980b6b5b503a3aceb355ec
+e9395d9b763f1e78ed19ee106c6ab4f0128566a7
diff --git a/deps/uv_release b/deps/uv_release
@@ -1 +1 @@
-0.9.14
+0.9.22
diff --git a/flake.lock b/flake.lock
diff --git a/flake.nix b/flake.nix
@@ -6,7 +6,7 @@
 
     flake-utils.url = "github:numtide/flake-utils";
 
-    stable-mir-json-flake.url = "github:runtimeverification/stable-mir-json/626e8fed0470078c4d980b6b5b503a3aceb355ec";
+    stable-mir-json-flake.url = "github:runtimeverification/stable-mir-json/e9395d9b763f1e78ed19ee106c6ab4f0128566a7";
     stable-mir-json-flake = {
       inputs.nixpkgs.follows = "nixpkgs";
       inputs.flake-utils.follows = "flake-utils";
@@ -18,7 +18,7 @@
       inputs.nixpkgs.follows = "nixpkgs";
     };
 
-    uv2nix.url = "github:pyproject-nix/uv2nix/4cca323a547a1aaa9b94929c4901bed5343eafe8";
+    uv2nix.url = "github:pyproject-nix/uv2nix/9d357f0d2ce6f5f35ec7959d7e704452352eb4da";
     # uv2nix requires a newer version of nixpkgs
     # therefore, we pin uv2nix specifically to a newer version of nixpkgs
     # until we replaced our stale version of nixpkgs with an upstream one as well
diff --git a/kmir/uv.lock b/kmir/uv.lock

Original file line number	Diff line number	Diff line change
`@@ -1 +1 @@`
`1`		`-626e8fed0470078c4d980b6b5b503a3aceb355ec`
	`1`	`+e9395d9b763f1e78ed19ee106c6ab4f0128566a7`