skip to content
1these 3 derivations will be built:2 /nix/store/42iv61wq775lxji47a1ksxn2558aa6s7-lean-ctx-3.11.2-vendor.drv3 /nix/store/169mn0gs32qx0ns7kpskx1g4rg0q3crj-lean-ctx-3.11.2.drv4 /nix/store/6awdh48zm5hs1fagl5a4jh826bg0b5hk-check-lean-ctx.drv