archful = false
archive_name = "gavel-0.1.7.tar.gz"
automode = true
extras = [
    "dev",
]
license_files_present = true
pypi_name = "gavel"
pypi_version = "0.1.7"
python_name = "python-gavel"
source = "PyPI"
summary = "A toolset for prover independent premise selection. Template generated with cookiecutter-pylibrary."
url = "https://python-gavel.readthedocs.io/"