root/pypi: links for certora-cli-alpha-roy-cert-2222-versions

root/pypi certora-cli-alpha-roy-CERT-2222-versions-20230518.12.36.472438.tar.gz
root/pypi certora_cli_alpha_roy_CERT_2222_versions-20230518.12.36.472438-py3-none-any.whl
root/pypi certora-cli-alpha-roy-CERT-2222-versions-20230517.16.37.292131.tar.gz
root/pypi certora_cli_alpha_roy_CERT_2222_versions-20230517.16.37.292131-py3-none-any.whl