these 3 derivations will be built:
  /nix/store/f46c9rsapa2rxwdqr5cx8jja3dypj859-lean-ctx-3.11.4-vendor.drv
  /nix/store/04asln152xy8rq0x2fgx26ybfv7ff1qk-lean-ctx-3.11.4.drv
  /nix/store/fjm9w49fnkmbgg97vqfhwmlb12zn0dlr-check-lean-ctx.drv
these 2 paths will be fetched (0.0 KiB download, 186.3 MiB unpacked):
  /nix/store/k36idxxzr0qvyq499zyibb9mni63gv2n-lean-ctx-3.11.4-vendor-staging
  /nix/store/lmykwhbjfr16mhwi8haafzqr9008gq3r-source