root/pypi: links for certora-cli-zesty

root/pypi certora-cli-zesty-2.5.4.tar.gz
root/pypi certora_cli_zesty-2.5.4-py3-none-any.whl