Merge remote-tracking branch 'origin/master' into release

Author: rv-auditor

deps/k_release

@@ -1 +1 @@
-7.1.265
+7.1.268

flake.lock

@@ -1,10 +1,10 @@
 {
   description = "kmir - ";
   inputs = {
-    k-framework.url = "github:runtimeverification/k/v7.1.265";
+    k-framework.url = "github:runtimeverification/k/v7.1.268";
     nixpkgs.follows = "k-framework/nixpkgs";
     flake-utils.follows = "k-framework/flake-utils";
-    rv-utils.follows = "k-framework/rv-utils";
+    rv-nix-tools.follows = "k-framework/rv-nix-tools";
     poetry2nix.follows = "k-framework/poetry2nix";
   };
   outputs = { self, nixpkgs, flake-utils, k-framework, ... }@inputs:

flake.nix

@@ -8,7 +8,7 @@ version = "0.4.5"
 description = ""
 requires-python = "~=3.10"
 dependencies = [
-    "kframework==v7.1.265",
+    "kframework==v7.1.268",
 ]
 
 [[project.authors]]