skip to content
1these 3 derivations will be built:2 /nix/store/wdrcb3kl30w60m2lp1k4r1kw9qg9z9cm-lean-ctx-3.10.5-vendor.drv3 /nix/store/sp2dyi4c6y99s0dhal9hi0naqn012bnq-lean-ctx-3.10.5.drv4 /nix/store/1lid461h4qp08w48ba98irznz24vdk82-check-lean-ctx.drv