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