Update dependency: deps/k_release (#617)

Co-authored-by: devops <devops@runtimeverification.com>
Co-authored-by: dkcumming <daniel.cumming@runtimeverification.com>

Author: 3 people

deps/k_release

@@ -1 +1 @@
-7.1.268
+7.1.270

flake.lock

@@ -1,11 +1,11 @@
 {
   description = "kmir - ";
   inputs = {
-    k-framework.url = "github:runtimeverification/k/v7.1.268";
+    k-framework.url = "github:runtimeverification/k/v7.1.270";
     nixpkgs.follows = "k-framework/nixpkgs";
     flake-utils.follows = "k-framework/flake-utils";
     rv-nix-tools.follows = "k-framework/rv-nix-tools";
-    poetry2nix.follows = "k-framework/poetry2nix";
+    # poetry2nix.follows = "k-framework/poetry2nix"; # FIXME: To stop crash with `nix flake update`
   };
   outputs = { self, nixpkgs, flake-utils, k-framework, ... }@inputs:
     let

flake.nix

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