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