skip to content
1these 3 derivations will be built:2 /nix/store/v6gmr7sswhxbhny9f0hjg9i5fjcsyvh8-lean-ctx-3.11.4-vendor.drv3 /nix/store/0q7lzd8nlw34d52zsbcppa7al53d7n2w-lean-ctx-3.11.4.drv4 /nix/store/dyy42a9hydsz3jsww9hkqxjyjmddffpa-check-lean-ctx.drv