archful = false
archive_name = "isabelle_client-0.5.9.tar.gz"
automode = true
extras = [
    "dev",
    "doc",
    "test",
]
license = "Apache-2.0"
license_files_present = false
name = "isabelle-client"
python_name = "python-isabelle-client"
source = "PyPI"
summary = "A client to Isabelle proof assistant server"
url = "https://github.com/inpefess/isabelle-client"
version = "0.5.9"