this derivation will be built:
  /nix/store/jphzskaalli7r00kh4zh24sk46ac7y3a-lean-ctx-3.9.18.drv