skip to content
1these 3 derivations will be built:2 /nix/store/ckqssbabfbydd0gdvwzvdirk2lg4md66-lean-ctx-3.9.18-vendor-staging.drv3 /nix/store/87nqbfjy6fh2mqjc2llh0wfdpmx94wk3-lean-ctx-3.9.18-vendor.drv4 /nix/store/n35mks3nyp4j5wsmz3s10w1jc3w2p09w-lean-ctx-3.9.18.drv