skip to content
1these 3 derivations will be built:2 /nix/store/6n87lvzjx842jb6d2yr1fpknwwjfbij6-lean-ctx-3.11.4-vendor.drv3 /nix/store/3xk04n2firq8v5cvn6908vvqm63c0www-lean-ctx-3.11.4.drv4 /nix/store/0n0lb6ri0m6x5l19aimxvr0ggl63592g-check-lean-ctx.drv