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

rv-jenkins · rv-auditor · jberthold · web-flow · commit 6e25beee0428 · 2025-12-16T05:02:47.000Z
Co-authored-by: devops &lt;devops@runtimeverification.com&gt;
Co-authored-by: Jost Berthold &lt;jost.berthold@gmail.com&gt;
diff --git a/deps/stable-mir-json b/deps/stable-mir-json
@@ -1 +1 @@
-Subproject commit 20a1bbdfc1fb36fb19539d0d4d91f5a437be7de6
+Subproject commit 626e8fed0470078c4d980b6b5b503a3aceb355ec
diff --git a/deps/stable-mir-json_release b/deps/stable-mir-json_release
@@ -1 +1 @@
-20a1bbdfc1fb36fb19539d0d4d91f5a437be7de6
+626e8fed0470078c4d980b6b5b503a3aceb355ec
diff --git a/deps/uv_release b/deps/uv_release
@@ -1 +1 @@
-0.9.9
+0.9.14
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/20a1bbdfc1fb36fb19539d0d4d91f5a437be7de6";
+    stable-mir-json-flake.url = "github:runtimeverification/stable-mir-json/626e8fed0470078c4d980b6b5b503a3aceb355ec";
     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/c8cf711802cb00b2e05d5c54d3486fce7bfc8f7c";
+    uv2nix.url = "github:pyproject-nix/uv2nix/4cca323a547a1aaa9b94929c4901bed5343eafe8";
     # 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
@@ -27,7 +27,7 @@
     nixpkgs-unstable.url = "github:NixOS/nixpkgs/nixos-unstable";
     uv2nix.inputs.nixpkgs.follows = "nixpkgs-unstable";
     # uv2nix.inputs.nixpkgs.follows = "nixpkgs";
-    pyproject-build-systems.url = "github:pyproject-nix/build-system-pkgs/795a980d25301e5133eca37adae37283ec3c8e66";
+    pyproject-build-systems.url = "github:pyproject-nix/build-system-pkgs/042904167604c681a090c07eb6967b4dd4dae88c";
     pyproject-build-systems = {
       inputs.nixpkgs.follows = "uv2nix/nixpkgs";
       inputs.uv2nix.follows = "uv2nix";
diff --git a/kmir/uv.lock b/kmir/uv.lock

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