You're looking at StableBuild's Deleted PyPI mirror - where we index all deleted packages from the Python package registry.

shadowprover
1.2.42

This version was deleted from PyPI around 2026-01-21. Installing fails with:
$ pip3 install shadowprover==1.2.42 ERROR: Could not find a version that satisfies the requirement shadowprover==1.2.42
View other deleted versions of shadowprover

Install through StableBuild

You can install this package from StableBuild's PyPI snapshots from before the version was deleted:
pip3 install \ -i https://YOUR_API_KEY.pypimirror.stablebuild.com/2026-01-20/ \ shadowprover==1.2.42
Sign up for StableBuild to get an API key (it's free and takes <60 seconds!)

Or, download files manually

And install manually via pip:
shadowprover-1.2.42-py3-none-any.whl (926.8KB)
shadowprover-1.2.42.tar.gz (924.2KB)