root/pypi: links for certora-cli-alpha-naftali-update-reallife

root/pypi certora-cli-alpha-naftali-update_reallife-20230518.10.48.32092.tar.gz
root/pypi certora_cli_alpha_naftali_update_reallife-20230518.10.48.32092-py3-none-any.whl
root/pypi certora-cli-alpha-naftali-update_reallife-20230518.10.33.626921.tar.gz
root/pypi certora_cli_alpha_naftali_update_reallife-20230518.10.33.626921-py3-none-any.whl
root/pypi certora-cli-alpha-naftali-update_reallife-20230518.9.46.797116.tar.gz
root/pypi certora_cli_alpha_naftali_update_reallife-20230518.9.46.797116-py3-none-any.whl