Update dependency: deps/k_release

rv-jenkins · ttuegel · web-flow · commit d0412b76c693 · 2021-02-02T09:04:34.000-07:00
Co-authored-by: Thomas Tuegel &lt;thomas.tuegel@runtimeverification.com&gt;
diff --git a/deps/k_release b/deps/k_release
@@ -1 +1 @@
-v5.0.0-c305b58
+v5.0.0-7888200
