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