Factual package intelligence from PyPI

pytactician 15.1 package intelligence

Python Library for interfacing with Coq and Tactician

pip install pytactician

Current version
15.1
Python requirement
>=3.8
License
MIT
Distribution type
Includes compiled wheel
Release files
13 (12 wheels, 1 source)
Download size
58.6 MiB
Release history
2 releases with files
Median release cadence
218 days

pytactician dependencies

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

  1. pycapnp <2,>=1.2.2
  2. immutables
  3. graphviz
  4. sanic ==23.6.0
  5. sanic-ext ==23.6.0
  6. Jinja2
  7. inflection

Compatibility and release files

pytactician publishes 12 wheels and 1 source archive for version 15.1. Wheel platform tags: macosx_10_9_x86_64, manylinux_2_17_i686.manylinux2014_i686, manylinux_2_17_x86_64.manylinux2014_x86_64.

No version-specific Python classifiers are declared.

Release activity and sources

PyPI lists 2 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 .