this derivation will be built:
  /nix/store/3qh3n4qvd9s7wx7vzjlfclk5wh3hdsl7-lean-ctx-3.10.2.drv