update k version and fix breaking nix changes introduced recently

runtimeverification · Sep 4, 2024 · 72a898d · 72a898d
1 parent dff7b88
commit 72a898d
Show file tree

Hide file tree

Showing 5 changed files with 55 additions and 265 deletions.
diff --git a/deps/k_release b/deps/k_release
@@ -1 +1 @@
-7.1.125
+7.1.131
diff --git a/flake.lock b/flake.lock