Update dependency: deps/stable-mir-json_release#998

Merged

automergerpr-permission-manager[bot] merged 10 commits intomasterfrom

_update-deps/runtimeverification/stable-mir-json

Apr 2, 2026

Commits on Mar 29, 2026

Commits on Apr 2, 2026

Merge remote-tracking branch 'origin/master' into sync-pr998
Stevengre
committed
kmir/{pyproject.toml,uv.lock}: sync uv files, K version 7.1.313
github-actions[bot]
committed
flake.{nix,lock}: update Nix derivations
github-actions[bot]
committed