these 2 derivations will be built:
  /nix/store/vhrvxavjr15inkiqvsg3nk1fya3xxsi4-lean-ctx-3.9.16-vendor.drv
  /nix/store/cqqq4mh3jsiadkzhi06wb6la707jivb8-lean-ctx-3.9.16.drv