archful = false
archive_name = "cryptol-3.3.0.tar.gz"
automode = true
extras = []
license_files_present = false
pypi_name = "cryptol"
pypi_version = "3.3.0"
python_name = "python-cryptol"
source = "PyPI"
summary = "Cryptol client for the Cryptol RPC server"
url = "..."