this derivation will be built:
  /nix/store/74kwc9zrycky4q5zf69bi9rgv99v71lv-lean-ctx-3.10.0.drv