this derivation will be built:
  /nix/store/rc2sjm7wfgfqj0v5vlsy039mgxjihww3-lean-ctx-3.9.13.drv