don't know how to build these paths:
  /nix/store/dmd33d1mv4pbxp2yycrp6nanmz0larf0-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 'l404aqqk9j0iaqv4zixzm9sb4qhic1nv-lean-ctx-3.12.4.drv' failed