Factual package intelligence from PyPI

leanblueprint 0.0.20 package intelligence

Lean prover blueprint plasTeX plugin.

pip install leanblueprint

Current version
0.0.20
Python requirement
>=3.7
License
MIT License
Distribution type
Pure Python wheel
Release files
2 (1 wheels, 1 source)
Download size
67.0 KiB
Release history
17 releases with files
Median release cadence
24 days

leanblueprint dependencies

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

  1. plasTeX >=3.1
  2. plastexshowmore >=0.0.2
  3. plastexdepgraph >=0.0.4
  4. click
  5. rich
  6. rich-click
  7. tomlkit
  8. Jinja2 >=3.1.0
  9. GitPython >=3.1.28

Compatibility and release files

leanblueprint publishes 1 wheel and 1 source archive for version 0.0.20. Wheel platform tags: any.

No version-specific Python classifiers are declared.

Release activity and sources

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