archful = false
archive_name = "certora_cli_beta-7.27.0.tar.gz"
automode = true
extras = []
license = "MIT"
license_files_present = true
pypi_name = "certora-cli-beta"
pypi_version = "7.27.0"
python_name = "python-certora-cli-beta"
source = "PyPI"
summary = "Runner for the Certora Prover"
url = "https://pypi.org/project/certora-cli-beta"