runtimeverification
diff --git a/‎flake.lock‎
Lines changed: 92 additions & 118 deletions b/‎flake.lock‎
Lines changed: 92 additions & 118 deletions
diff --git a/‎flake.nix‎
Lines changed: 1 addition & 1 deletion b/‎flake.nix‎
Lines changed: 1 addition & 1 deletion
@@ -1,7 +1,7 @@
 {
   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";
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.268";`
	`4`	`+ k-framework.url = "github:runtimeverification/k/v7.1.270";`
`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";`