archful = false
archive_name = "certora_cli_alpha_master-20250820.10.50.364130.tar.gz"
automode = true
extras = []
license = "GPL-3.0-only"
license_files_present = true
name = "certora-cli-alpha-master"
python_name = "python-certora-cli-alpha-master"
source = "PyPI"
summary = "Runner for the Certora Prover"
url = "https://github.com/Certora/CertoraProver"
version = "20250820.10.50.364130"