flake.{nix,lock}: update Nix derivations

Author: github-actions[bot]

flake.lock

@@ -6,7 +6,7 @@
 
     flake-utils.url = "github:numtide/flake-utils";
 
-    stable-mir-json-flake.url = "github:runtimeverification/stable-mir-json/6d022435a69d433e14cd10c4e812ea888a337acf";
+    stable-mir-json-flake.url = "github:runtimeverification/stable-mir-json/d650c1efa6d51d61ad15842b0a0747df9c4e3fc6";
     stable-mir-json-flake = {
       inputs.nixpkgs.follows = "nixpkgs";
       inputs.flake-utils.follows = "flake-utils";