Factual package intelligence from PyPI

alectryon 2.0.0 package intelligence

A library to process Coq snippets embedded in documents, showing goals and messages for each Coq sentence.

pip install alectryon

Current version
2.0.0
Python requirement
>=3.9
License
MIT
Distribution type
Pure Python wheel
Release files
2 (1 wheels, 1 source)
Download size
361.2 KiB
Release history
9 releases with files
Median release cadence
7 days

alectryon dependencies

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

  1. pygments >=2.14.0
  2. dominate >=2.7.0
  3. beautifulsoup4 >=4.11.2
  4. docutils >=0.19
  5. myst_parser >=1.0.0

Compatibility and release files

alectryon publishes 1 wheel and 1 source archive for version 2.0.0. Wheel platform tags: any.

No version-specific Python classifiers are declared.

Release activity and sources

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