these 2 derivations will be built:
  /nix/store/lp78njbc1k6gwvks4z0jzdw700whrmwc-source.drv
  /nix/store/5hxlpyh7jwbicpw2adcwr768vc96nh75-lean-ctx-3.9.20.drv