archful = false
archive_name = "imandra-2.0.1.tar.gz"
automode = true
extras = [
    "core",
    "http-api-client",
    "universe",
]
license_files_present = false
pypi_name = "imandra"
pypi_version = "2.0.1"
python_name = "python-imandra"
source = "PyPI"
summary = "A CLI and API client library for interfacing with Imandra's web APIs"
url = "..."