skip to content
1these 3 derivations will be built:2 /nix/store/fvgvlwlwmhw1afhsaw675s6jdhfpzy3k-lean-ctx-3.11.4-vendor.drv3 /nix/store/5jy6xsm8r816x9i1s6m8dfjp8b17s0ql-lean-ctx-3.11.4.drv4 /nix/store/b0vzs7fp2q2q19hpy1v662phg89x3ykh-check-lean-ctx.drv