these 3 derivations will be built:
  /nix/store/px5rayq0l1y7i7kdz8havnlygsdrprjp-lean-ctx-3.11.4-vendor.drv
  /nix/store/rf8v8jsbss3vgsp7w5da3ivz9jda1sd0-lean-ctx-3.11.4.drv
  /nix/store/5paflgpq2jnk2j81bbjj2zl3cw669ck3-check-lean-ctx.drv