Factual package intelligence from PyPI

sorrydb 0.1.1 package intelligence

Build a continously updating database of sorry statements in public Lean4 repositories

pip install sorrydb

Current version
0.1.1
Python requirement
<3.14,>=3.11
License
Apache-2.0
Distribution type
Pure Python wheel
Release files
2 (1 wheels, 1 source)
Download size
68.4 KiB
Release history
2 releases with files
Median release cadence
14 days

sorrydb dependencies

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

  1. gitpython <4.0.0,>=3.1.44
  2. typer <0.16.0,>=0.15.3
  3. pydantic-settings <3.0.0,>=2.9.1
  4. requests <3.0.0,>=2.32.3
  5. langchain <0.4.0,>=0.3.20
  6. langchain-anthropic <0.4.0,>=0.3.10
  7. dotenv <0.10.0,>=0.9.9
  8. langchain-openai <0.4.0,>=0.3.8
  9. langchain-google-genai <3.0.0,>=2.1.0

Compatibility and release files

sorrydb publishes 1 wheel and 1 source archive for version 0.1.1. Wheel platform tags: any.

Declared Python classifiers: 3.11, 3.12, 3.13.

Metadata completeness

PyPI does not currently declare: project URL. PyDeps marks these fields as unknown instead of guessing values.

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 .

The project does not publish external project URLs in its PyPI metadata.