these 5 derivations will be built:
  /nix/store/7p1k0mvlf9gnc61172fjnmm2zn1z5lmi-source.drv
  /nix/store/gnp8f3kcj7jk8j24n13nf81bnq2rxwkv-lean-ctx-3.11.0-vendor-staging.drv
  /nix/store/9lbvmlcppsnxg0mkaqn4vl1q8fag84qr-lean-ctx-3.11.0-vendor.drv
  /nix/store/48njsdqpqhy801cprvrdzyjsr32ayp6q-lean-ctx-3.11.0.drv
  /nix/store/pc90z6vh4kdha5wykya3y6m7nf2pwnhf-check-lean-ctx.drv