Repository navigation

Update dependency: deps/llvm-backend_release - #4938

Open

rv-jenkins wants to merge 3 commits into

_update-deps/runtimeverification/llvm-backend

Open

Update dependency: deps/llvm-backend_release#4938
rv-jenkins wants to merge 3 commits into
developfrom
_update-deps/runtimeverification/llvm-backend

Commits on Jun 23, 2026
- deps/llvm-backend_release: Set Version 0.1.141
  rv-auditor
  committed
  06ea43e
- flake.nix, llvm-backend/src/main/native/llvm-backend: update to version v0.1.141
  rv-auditor
  committed
  8b9ba8a
- flake.lock: update
  rv-auditor
  committed
  35f30e7