archful = false
archive_name = "isabelle_client-0.5.5.tar.gz"
automode = true
extras = []
license = "Apache-2.0"
license_files_present = false
pypi_name = "isabelle-client"
pypi_version = "0.5.5"
python_name = "python-isabelle-client"
source = "PyPI"
summary = "A client to Isabelle proof assistant server"
url = "https://github.com/inpefess/isabelle-client"