Update dependency: deps/k (#1570)

rv-jenkins · rv-auditor · anvacaru · web-flow · commit becd772d1967 · 2023-02-17T07:24:48.000-07:00
* deps/k: 4668bcd09 - Set Version: 5.5.96

* deps/k_release: update release file

* flake.{nix,lock}: update Nix derivations

* deps/k: b45441cee - Set Version: 5.5.97

* deps/k_release: update release file

* flake.{nix,lock}: update Nix derivations

---------

Co-authored-by: devops &lt;devops@runtimeverification.com&gt;
Co-authored-by: Andrei Văcaru &lt;16517508+anvacaru@users.noreply.github.com&gt;
diff --git a/deps/k b/deps/k
@@ -1 +1 @@
-Subproject commit dd64e75a8fda51d6fd39df6d19004be801da39d7
+Subproject commit b45441ceea3226464efcf0b0b73513ccb8cb679b
diff --git a/deps/k_release b/deps/k_release
@@ -1 +1 @@
-v5.5.95
+v5.5.97
