Update dependency: deps/k_release - #4130

Update dependency: deps/k_release#4130

automergerpr-permission-manager[bot] merged 3 commits into

masterruntimeverification/haskell-backend:masterfrom

_update-deps/runtimeverification/kruntimeverification/haskell-backend:_update-deps/runtimeverification/kCopy head branch name to clipboard