skip to content
1these 3 derivations will be built:2 /nix/store/5sxvxq2dhbqz7rvilklk5agiama1hnh8-lean-ctx-3.12.3-vendor.drv3 /nix/store/468hzaz8q30fn7qflhk8gpz53p0x53dp-lean-ctx-3.12.3.drv4 /nix/store/i9srlzvi2s7w67mffjh9l6bnjv90v072-check-lean-ctx.drv