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: 21 additions & 20 deletions b/‎flake.lock
Lines changed: 21 additions & 20 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.270
+7.1.275
@@ -1,7 +1,7 @@
 {
   description = "kmir - ";
   inputs = {
-    k-framework.url = "github:runtimeverification/k/v7.1.270";
+    k-framework.url = "github:runtimeverification/k/v7.1.275";
     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.270",
+    "kframework==v7.1.275",
 ]
 
 [[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.270";`
	`4`	`+ k-framework.url = "github:runtimeverification/k/v7.1.275";`
`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";`