these 3 derivations will be built:
  /nix/store/gc70jyqqnrfmh1q67kwqxnqv4yrdlxbk-lean-ctx-3.12.3-vendor.drv
  /nix/store/qp8l0jcxy4jrdc2ksyf9r6f0l1cq1v1g-lean-ctx-3.12.3.drv
  /nix/store/9gzz8kdpkqvs9v2r2qgq2q23fkmlpz9p-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 'qp8l0jcxy4jrdc2ksyf9r6f0l1cq1v1g-lean-ctx-3.12.3.drv' failed