these 2 derivations will be built:
  /nix/store/b2lw02avlq9lav68r7ykda5adzhvan38-source.drv
  /nix/store/pn5nm6kdcf1wh4nbb8ki2h6j3kbfh75l-lean-ctx-3.9.20.drv