runtimeverification
diff --git a/‎deps/k_release‎
Lines changed: 1 addition & 1 deletion b/‎deps/k_release‎
Lines changed: 1 addition & 1 deletion
diff --git a/‎flake.lock‎
Lines changed: 8 additions & 8 deletions b/‎flake.lock‎
Lines changed: 8 additions & 8 deletions
diff --git a/‎flake.nix‎
Lines changed: 1 addition & 1 deletion b/‎flake.nix‎
Lines changed: 1 addition & 1 deletion
diff --git a/‎kmir/pyproject.toml‎
Lines changed: 1 addition & 1 deletion b/‎kmir/pyproject.toml‎
Lines changed: 1 addition & 1 deletion
@@ -1 +1 @@
-7.1.280
+7.1.286
@@ -1,7 +1,7 @@
 {
   description = "kmir - ";
   inputs = {
-    k-framework.url = "github:runtimeverification/k/v7.1.280";
+    k-framework.url = "github:runtimeverification/k/v7.1.286";
     nixpkgs.follows = "k-framework/nixpkgs";
     flake-utils.follows = "k-framework/flake-utils";
     rv-nix-tools.follows = "k-framework/rv-nix-tools";
 
@@ -8,7 +8,7 @@ version = "0.3.181"
 description = ""
 requires-python = "~=3.10"
 dependencies = [
-    "kframework==v7.1.280",
+    "kframework==v7.1.286",
 ]
 
 [[project.authors]]
Original file line number	Diff line number	Diff line change
`@@ -1,7 +1,7 @@`
`1`	`1`	`{`
`2`	`2`	`description = "kmir - ";`
`3`	`3`	`inputs = {`
`4`		`- k-framework.url = "github:runtimeverification/k/v7.1.280";`
	`4`	`+ k-framework.url = "github:runtimeverification/k/v7.1.286";`
`5`	`5`	`nixpkgs.follows = "k-framework/nixpkgs";`
`6`	`6`	`flake-utils.follows = "k-framework/flake-utils";`
`7`	`7`	`rv-nix-tools.follows = "k-framework/rv-nix-tools";`