these 2 derivations will be built:
  /nix/store/7rn44bka91yhplvng9s9f8vgwyjvglwd-lean-ctx-3.9.18-vendor.drv
  /nix/store/jphzskaalli7r00kh4zh24sk46ac7y3a-lean-ctx-3.9.18.drv