Factual package intelligence from PyPI

nagini 1.3.1 package intelligence

Static verifier for Python 3, based on Viper

pip install nagini

Current version
1.3.1
Python requirement
>=3.12
License
MPL-2.0
Distribution type
Pure Python wheel
Release files
2 (1 wheels, 1 source)
Download size
153.3 MiB
Release history
11 releases with files
Median release cadence
144 days

nagini dependencies

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

  1. jpype1 ==1.7.1
  2. mypy ==1.5.0
  3. toposort ==1.10
  4. z3-solver ==4.16.0.0 when platform_machine == "arm64" or platform_machine == "ARM64" or platform_machine == "aarch64"
  5. z3-solver ==4.8.7.0 when platform_machine != "arm64" and platform_machine != "ARM64" and platform_machine != "aarch64"

Compatibility and release files

nagini publishes 1 wheel and 1 source archive for version 1.3.1. Wheel platform tags: any.

Declared Python classifiers: 3.12, 3.13, 3.14.

Security snapshot for nagini 1.3.1

An OSV query completed on and found 0 known vulnerabilities affecting this version. 0 advisories are classified as critical. 0 advisories appear in the CISA Known Exploited Vulnerabilities catalog.

Release activity and sources

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