1these 5 derivations will be built:2 /nix/store/gbzkbsrg1gxxmq6bm72m6hz1c7vgh4r3-source.drv3 /nix/store/810vi37qgpjfvikzp341gkx6jkyz3yr7-lean-ctx-3.10.3-vendor-staging.drv4 /nix/store/q80w0vzxg2a1824fnw7grriisr0n1viq-lean-ctx-3.10.3-vendor.drv5 /nix/store/z7fhnipbqilq585sgm5paiwj6r5zciki-lean-ctx-3.10.3.drv6 /nix/store/ywn383akhrmwyg0j1nayfv3ypn2i4k4l-check-lean-ctx.drv