these 2 derivations will be built:
  /nix/store/ymvbzj3ragh4nv6pvrkxrjcyhpyiif9s-source.drv
  /nix/store/4znfxywhrxdcvr48bzb1lrx66i0kriw8-lean-ctx-3.9.20.drv