skip to content
1these 3 derivations will be built:2 /nix/store/hhb6sz5hhmcv88fl4vls5dsv2fqzc582-lean-ctx-3.10.5-vendor.drv3 /nix/store/70bkrr3iwahj95p389aszrrgs5dpzfq9-lean-ctx-3.10.5.drv4 /nix/store/0h8v3fl59rmqmz2bjhbi5axki55m4d4n-check-lean-ctx.drv