these 3 derivations will be built: /nix/store/i322r92my9k036zgnbhzgzjshd9mkl5z-lean-ctx-3.9.14-vendor-staging.drv /nix/store/bf5bs6xbrs1rslll496n6i9ccmskr9zc-lean-ctx-3.9.14-vendor.drv /nix/store/8ppn78ximmsxdpkpjiyn33qpvff3kvn8-lean-ctx-3.9.14.drv