skip to content
1these 3 derivations will be built:2 /nix/store/5rbzj0znhaavhk91hyg8ff1hr4j1gqzd-lean-ctx-3.9.20-vendor-staging.drv3 /nix/store/dzgqdm89wz1a2gfcpa9vb4adcr5fc2zh-lean-ctx-3.9.20-vendor.drv4 /nix/store/z6zfcn81yw4s5vhxmplpy5wd8xq32x6y-lean-ctx-3.9.20.drv