root/pypi: links for certora-cli-alpha-thomas-doc-cvl-type
root/pypi certora-cli-alpha-thomas-doc-cvl-type-20230509.0.6.796195.tar.gz
root/pypi certora_cli_alpha_thomas_doc_cvl_type-20230509.0.6.796195-py3-none-any.whl
root/pypi certora-cli-alpha-thomas-doc-cvl-type-20230508.23.23.454496.tar.gz
root/pypi certora_cli_alpha_thomas_doc_cvl_type-20230508.23.23.454496-py3-none-any.whl