Factual package intelligence from PyPI

gavel 0.2.1 package intelligence

A toolset for prover independent premise selection. Template generated with cookiecutter-pylibrary.

pip install gavel

Current version
0.2.1
Python requirement
!=3.0.*,!=3.1.*,!=3.2.*,!=3.3.*,>=2.7
License
AGPL
Distribution type
Pure Python wheel
Release files
2 (1 wheels, 1 source)
Download size
116.7 KiB
Release history
20 releases with files
Median release cadence
9 days

gavel dependencies

PyPI declares 13 unique dependency rules for this release. Environment markers are shown when supplied by the project.

  1. click
  2. lark-parser
  3. pre-commit
  4. graphviz
  5. pytest
  6. requests
  7. lxml
  8. beautifulsoup4
  9. importlib-metadata >=1.0 when python_version < "3.8"

Compatibility and release files

gavel publishes 1 wheel and 1 source archive for version 0.2.1. Wheel platform tags: any.

No version-specific Python classifiers are declared.

Release activity and sources

PyPI lists 20 releases with files. The first dated release is ; 5 releases fall within the 365 days preceding the latest dated release. The current release files were uploaded on . The preceding dated release was .