Update dependency: deps/k_release - #924

Merged

dkcumming merged 3 commits into

_update-deps/runtimeverification/k

Jan 31, 2026

Commits on Jan 30, 2026

deps/k_release: Set Version 7.1.313
rv-auditor
committed
7de0178

Commits on Jan 31, 2026

kmir/{pyproject.toml,uv.lock}: sync uv files, K version 7.1.313
rv-auditor
committed
dca10fe
flake.{nix,lock}: update Nix derivations
rv-auditor
committed
732563d