1these 5 derivations will be built:2 /nix/store/g647242hcn1r2spx6azdbbrlzdmycg8z-source.drv3 /nix/store/pifhy393i7cxcclg8ph5i6lydkd4wzap-lean-ctx-3.12.4-vendor-staging.drv4 /nix/store/qq3bs4nsk87yvpgmp7y35djy5hs8sf5f-lean-ctx-3.12.4-vendor.drv5 /nix/store/6294cp1iiisx3pwyg5ig5q0wj42hkmsz-lean-ctx-3.12.4.drv6 /nix/store/7jfqaxd52axg1gms9b1aj58ici3592xm-check-lean-ctx.drv