these 2 paths will be fetched (0.0 KiB download, 163.6 MiB unpacked):
  /nix/store/aqp1ql061qvf1cjyihic7a22ai78xbx3-check-lean-ctx
  /nix/store/r90bbq9d33bpb7haqq9f4z2dkkvgksww-lean-ctx-3.11.4
warning: ignoring the client-specified setting 'store', because it is a restricted setting and you are not a trusted user