Repository navigation

Update dependency: deps/haskell-backend_release - #4929

Merged

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

_update-deps/runtimeverification/haskell-backend

Jun 4, 2026

Merged

Update dependency: deps/haskell-backend_release#4929
automergerpr-permission-manager[bot] merged 3 commits into
developfrom
_update-deps/runtimeverification/haskell-backend

Commits on Jun 4, 2026
- deps/haskell-backend_release: Set Version v0.1.150
  rv-auditor
  committed
  327a01d
- flake.nix, haskell-backend/src/main/native/haskell-backend: update to version v0.1.150
  rv-auditor
  committed
  2341b22
- flake.lock: update
  rv-auditor
  committed
  fbbe2a2