skip to content
1these 3 derivations will be built:2 /nix/store/4rcjw40mdabkgqn7jw7gyqw5r55l1b2h-lean-ctx-3.12.4-vendor.drv3 /nix/store/86b6q2fnxw2588h5rbjbr2r0xf1wy63h-lean-ctx-3.12.4.drv4 /nix/store/k86669m1ln537b2cfn7nna32hcrc06xy-check-lean-ctx.drv