skip to content
1these 3 derivations will be built:2 /nix/store/fc4hb8m93081gl989z1rhm6dmwd1l1x3-lean-ctx-3.11.4-vendor.drv3 /nix/store/77pfdciyvxanmprpqf7cl0g6vf7inh9c-lean-ctx-3.11.4.drv4 /nix/store/xx37vspkf5hdz7vvaqjsb2y6yb6j2cxk-check-lean-ctx.drv