{"package": "gavel", "summary": "A toolset for prover independent premise selection. Template generated with cookiecutter-pylibrary.", "pypi_url": "https://pypi.org/project/gavel", "piwheels_url": "https://www.piwheels.org/project/gavel", "releases": {"0.2.1": {"released": "2026-02-06 21:56:43", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"gavel-0.2.1-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/gavel/gavel-0.2.1-py3-none-any.whl", "filehash": "5b21ce258fa8999964025f2ccdd2fcfda6d46ce9e3ab1b552a054bc172555eef", "filesize": 52170, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=2.7, !=3.0.*, !=3.1.*, !=3.2.*, !=3.3.*", "apt_dependencies": [], "pip_dependencies": ["beautifulsoup4", "click", "graphviz", "importlib-metadata", "lark-parser", "lxml", "pre-commit", "pytest", "requests"]}}}, "0.2.0": {"released": "2026-01-28 19:05:11", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"gavel-0.2.0-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/gavel/gavel-0.2.0-py3-none-any.whl", "filehash": "fd46ab8b3dc31317165d762af9ab50134a255732d471fbf2a5912ef21602c2ad", "filesize": 52159, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=2.7, !=3.0.*, !=3.1.*, !=3.2.*, !=3.3.*", "apt_dependencies": [], "pip_dependencies": ["beautifulsoup4", "click", "graphviz", "importlib-metadata", "lark-parser", "lxml", "pre-commit", "pytest", "requests"]}}}, "0.1.8": {"released": "2026-01-21 15:28:22", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"gavel-0.1.8-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/gavel/gavel-0.1.8-py3-none-any.whl", "filehash": "6ba874b0da024f804d984c1bf368c6be2fe13a04ddacb068b4cb2cce5a82a8bb", "filesize": 46686, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=2.7, !=3.0.*, !=3.1.*, !=3.2.*, !=3.3.*", "apt_dependencies": [], "pip_dependencies": ["beautifulsoup4", "click", "graphviz", "lark-parser", "lxml", "pre-commit", "pytest", "requests"]}}}, "0.1.7": {"released": "2025-03-27 13:32:23", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"gavel-0.1.7-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/gavel/gavel-0.1.7-py3-none-any.whl", "filehash": "05f8182a7c7b46ff0242ce012634143751a84ff63f9b2953a2a166957a3b03fb", "filesize": 46549, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=2.7, !=3.0.*, !=3.1.*, !=3.2.*, !=3.3.*", "apt_dependencies": [], "pip_dependencies": ["beautifulsoup4", "click", "graphviz", "lark-parser", "lxml", "pre-commit", "pytest", "requests"]}}}, "0.1.6.dev0": {"released": "2025-03-27 10:12:51", "prerelease": true, "yanked": false, "skip_reason": "", "files": {"gavel-0.1.6.dev0-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/gavel/gavel-0.1.6.dev0-py3-none-any.whl", "filehash": "7e35e158b665d99fd5dc7f894e155396e01053dec3a0246d3ea4b4283a6ea158", "filesize": 46613, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=2.7, !=3.0.*, !=3.1.*, !=3.2.*, !=3.3.*", "apt_dependencies": [], "pip_dependencies": ["beautifulsoup4", "click", "graphviz", "lark-parser", "lxml", "pre-commit", "pytest", "requests"]}}}, "0.1.5": {"released": "2022-09-01 14:37:53", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"gavel-0.1.5-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/gavel/gavel-0.1.5-py3-none-any.whl", "filehash": "e15053076f12bedd50b9f2bee6a8e374966d6bab9ab0bbf650af078769e22918", "filesize": 325798, "builder_abi": "cp37m", "file_abi_tag": "none", "platform": "any", "requires_python": ">=2.7, !=3.0.*, !=3.1.*, !=3.2.*, !=3.3.*", "apt_dependencies": [], "pip_dependencies": ["beautifulsoup4", "click", "graphviz", "lark-parser", "lxml", "pre-commit", "pytest", "requests"]}}}, "0.1.4": {"released": "2022-08-31 14:36:10", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"gavel-0.1.4-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/gavel/gavel-0.1.4-py3-none-any.whl", "filehash": "636acd54f11c389e156724d7b273f97953a70639931e488b2e90af06f5ae5fd3", "filesize": 325832, "builder_abi": "cp37m", "file_abi_tag": "none", "platform": "any", "requires_python": ">=2.7, !=3.0.*, !=3.1.*, !=3.2.*, !=3.3.*", "apt_dependencies": [], "pip_dependencies": ["beautifulsoup4", "click", "graphviz", "lark-parser", "lxml", "pre-commit", "pytest", "requests"]}}}, "0.1.3": {"released": "2022-05-24 17:38:52", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"gavel-0.1.3-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/gavel/gavel-0.1.3-py3-none-any.whl", "filehash": "eac05c527d6c6d18535e3acbc21fd97ac3722b66495d2b62f4b43a3e76a6ed93", "filesize": 314931, "builder_abi": "cp35m", "file_abi_tag": "none", "platform": "any", "requires_python": ">=2.7, !=3.0.*, !=3.1.*, !=3.2.*, !=3.3.*", "apt_dependencies": [], "pip_dependencies": ["beautifulsoup4", "click", "graphviz", "lark-parser", "lxml", "pre-commit", "pytest", "requests"]}}}, "0.1.3.dev0": {"released": "2022-04-27 16:02:58", "prerelease": true, "yanked": false, "skip_reason": "", "files": {"gavel-0.1.3.dev0-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/gavel/gavel-0.1.3.dev0-py3-none-any.whl", "filehash": "805d358408633040c524a816f575d5fb2789ae31c0903bfcb20576776c2c3beb", "filesize": 315019, "builder_abi": "cp35m", "file_abi_tag": "none", "platform": "any", "requires_python": ">=2.7, !=3.0.*, !=3.1.*, !=3.2.*, !=3.3.*", "apt_dependencies": [], "pip_dependencies": ["beautifulsoup4", "click", "graphviz", "lark-parser", "lxml", "pre-commit", "pytest", "requests"]}}}, "0.1.2": {"released": "2021-06-04 09:10:15", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"gavel-0.1.2-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/gavel/gavel-0.1.2-py3-none-any.whl", "filehash": "fc09e3c4a4b183c9e2a0caa4ce493046ab18c3df262909fc32d836153730d3ba", "filesize": 423512, "builder_abi": "cp35m", "file_abi_tag": "none", "platform": "any", "requires_python": ">=2.7, !=3.0.*, !=3.1.*, !=3.2.*, !=3.3.*", "apt_dependencies": [], "pip_dependencies": ["beautifulsoup4", "click", "graphviz", "lark-parser", "lxml", "pre-commit", "pytest", "requests"]}}}, "0.1.1": {"released": "2021-05-26 07:33:15", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"gavel-0.1.1-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/gavel/gavel-0.1.1-py3-none-any.whl", "filehash": "99ab4fbdc69670b136f755e6463e4f7d7e9bcb72696e66d80475a7d1d17e9097", "filesize": 42593, "builder_abi": "cp35m", "file_abi_tag": "none", "platform": "any", "requires_python": ">=2.7, !=3.0.*, !=3.1.*, !=3.2.*, !=3.3.*", "apt_dependencies": [], "pip_dependencies": ["beautifulsoup4", "click", "graphviz", "lark-parser", "lxml", "pre-commit", "pytest", "requests"]}}}, "0.1.0": {"released": "2021-05-21 14:31:31", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"gavel-0.1.0-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/gavel/gavel-0.1.0-py3-none-any.whl", "filehash": "ec07032e155780cf076bd85afa0fe728c2c71e4d9f6872fa66591ed41ce61f45", "filesize": 42479, "builder_abi": "cp35m", "file_abi_tag": "none", "platform": "any", "requires_python": ">=2.7, !=3.0.*, !=3.1.*, !=3.2.*, !=3.3.*", "apt_dependencies": [], "pip_dependencies": ["beautifulsoup4", "click", "graphviz", "lark-parser", "lxml", "pre-commit", "pytest", "requests"]}}}, "0.1.0.dev0": {"released": "2021-05-21 12:33:49", "prerelease": true, "yanked": false, "skip_reason": "", "files": {"gavel-0.1.0.dev0-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/gavel/gavel-0.1.0.dev0-py3-none-any.whl", "filehash": "55098b0b112d8e784b5b8af1defb5e4e364d516260c5489a852b74b8e59dc050", "filesize": 42546, "builder_abi": "cp35m", "file_abi_tag": "none", "platform": "any", "requires_python": ">=2.7, !=3.0.*, !=3.1.*, !=3.2.*, !=3.3.*", "apt_dependencies": [], "pip_dependencies": ["beautifulsoup4", "click", "graphviz", "lark-parser", "lxml", "pre-commit", "pytest", "requests"]}}}, "0.0.6": {"released": "2020-01-21 23:36:54", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"gavel-0.0.6-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/gavel/gavel-0.0.6-py3-none-any.whl", "filehash": "4a310c682479a604359ab1a76d1b6428e8d918d6782f2d070303bfeefa1ae06a", "filesize": 141411, "builder_abi": "cp34m", "file_abi_tag": "none", "platform": "any", "requires_python": ">=2.7, !=3.0.*, !=3.1.*, !=3.2.*, !=3.3.*", "apt_dependencies": [], "pip_dependencies": ["alembic", "click", "graphviz", "lark-parser", "pre-commit", "psycopg2-binary", "pytest", "requests", "sqlalchemy"]}}}, "0.0.5": {"released": "2020-01-13 08:12:20", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"gavel-0.0.5-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/gavel/gavel-0.0.5-py3-none-any.whl", "filehash": "caa230faef13c48f29fb57f0469143aa3425ce798b84f2fedda3c05834f0a34c", "filesize": 141430, "builder_abi": "cp34m", "file_abi_tag": "none", "platform": "any", "requires_python": ">=2.7, !=3.0.*, !=3.1.*, !=3.2.*, !=3.3.*", "apt_dependencies": [], "pip_dependencies": ["alembic", "click", "graphviz", "lark-parser", "pre-commit", "psycopg2-binary", "pytest", "requests", "sqlalchemy"]}}}, "0.0.4": {"released": "2019-12-02 11:26:26", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"gavel-0.0.4-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/gavel/gavel-0.0.4-py3-none-any.whl", "filehash": "38cfd019111bbb59c5e8aaaa7a0abe65540d2aa08e0a0b4a2ceb9933523846d4", "filesize": 141392, "builder_abi": "cp34m", "file_abi_tag": "none", "platform": "any", "requires_python": ">=2.7, !=3.0.*, !=3.1.*, !=3.2.*, !=3.3.*", "apt_dependencies": [], "pip_dependencies": ["alembic", "click", "graphviz", "lark-parser", "pre-commit", "psycopg2-binary", "pytest", "requests", "sqlalchemy"]}}}, "0.0.3": {"released": "2019-11-07 13:53:54", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"gavel-0.0.3-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/gavel/gavel-0.0.3-py3-none-any.whl", "filehash": "c8f5cd54bc997b41b25ab99ad1e888cc9f441c726f1f0e5e033581bee7ba4725", "filesize": 140541, "builder_abi": "cp34m", "file_abi_tag": "none", "platform": "any", "requires_python": ">=2.7, !=3.0.*, !=3.1.*, !=3.2.*, !=3.3.*", "apt_dependencies": [], "pip_dependencies": ["alembic", "click", "graphviz", "lark-parser", "pre-commit", "psycopg2-binary", "pytest", "requests", "sqlalchemy"]}}}, "0.0.2": {"released": "2019-11-04 13:19:38", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"gavel-0.0.2-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/gavel/gavel-0.0.2-py3-none-any.whl", "filehash": "85dd8301aa5b0ed5787a835a5498020bad1c95911186234c6567c29fa24c603e", "filesize": 129729, "builder_abi": "cp35m", "file_abi_tag": "none", "platform": "any", "requires_python": ">=2.7, !=3.0.*, !=3.1.*, !=3.2.*, !=3.3.*", "apt_dependencies": [], "pip_dependencies": ["alembic", "click", "graphviz", "lark-parser", "pre-commit", "psycopg2", "pytest", "requests", "sqlalchemy"]}}}, "0.0.1": {"released": "2019-11-04 10:58:28", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"gavel-0.0.1-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/gavel/gavel-0.0.1-py3-none-any.whl", "filehash": "0539053c5749139b1fec6a9095ab54c0b728b04101a520a0b7cbd0808955ef5b", "filesize": 140534, "builder_abi": "cp34m", "file_abi_tag": "none", "platform": "any", "requires_python": ">=2.7, !=3.0.*, !=3.1.*, !=3.2.*, !=3.3.*", "apt_dependencies": [], "pip_dependencies": ["alembic", "click", "graphviz", "lark-parser", "pre-commit", "psycopg2", "pytest", "requests", "sqlalchemy"]}}}, "0.0.0": {"released": "2019-10-10 19:28:49", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"gavel-0.0.0-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/gavel/gavel-0.0.0-py3-none-any.whl", "filehash": "2faaa303c5dfd70ec80890a992bf43e6ef49b65368eb3668d4a60a9f996d02b6", "filesize": 135494, "builder_abi": "cp34m", "file_abi_tag": "none", "platform": "any", "requires_python": ">=2.7, !=3.0.*, !=3.1.*, !=3.2.*, !=3.3.*", "apt_dependencies": [], "pip_dependencies": ["antlr4-python3-runtime", "click", "graphviz", "pre-commit", "pytest", "requests", "sqlalchemy"]}}}}}