don't know how to build these paths:
  /nix/store/wlgn1bbm77sq9h8dhjfcsj1zn2km95bh-check-lean-ctx.drv
warning: ignoring the client-specified setting 'store', because it is a restricted setting and you are not a trusted user
error: dependency '8yabv1b51kwqhfpq95s7xyjmkda1bcdc-lean-ctx-3.12.2.drv' failed