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

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