Update dependency: deps/k_release (#1063)

Co-authored-by: devops <devops@runtimeverification.com>
Co-authored-by: github-actions[bot] <github-actions[bot]@users.noreply.github.com>

Author: 3 people

deps/k_release

@@ -1 +1 @@
-7.1.313
+7.1.318

flake.lock

@@ -12,7 +12,7 @@
       inputs.flake-utils.follows = "flake-utils";
     };
 
-    k-framework.url = "github:runtimeverification/k/v7.1.313";
+    k-framework.url = "github:runtimeverification/k/v7.1.318";
     k-framework = {
       inputs.flake-utils.follows = "flake-utils";
       inputs.nixpkgs.follows = "nixpkgs";

flake.nix

@@ -8,7 +8,7 @@ version = "0.3.181"
 description = ""
 requires-python = ">=3.10"
 dependencies = [
-    "kframework==v7.1.313",
+    "kframework==v7.1.318",
     "rust-demangler==1.0",
 ]