1these 5 derivations will be built:2 /nix/store/s4icmvlwa9glbf29k0qirxqfzdlriv2y-source.drv3 /nix/store/6ns8772n5gh8phi8l6ijd15r6qizy1xz-lean-ctx-3.12.2-vendor-staging.drv4 /nix/store/zlya2c9hp0wgq1arlkh1ia5lg557w4z9-lean-ctx-3.12.2-vendor.drv5 /nix/store/kva1lgk78q4cyl1mqklsilm2zf795gph-lean-ctx-3.12.2.drv6 /nix/store/gvvr911zh92kv4gwp6vd4m63fch0h2qv-check-lean-ctx.drv