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

homotopy-type-theory-lecture-notes-cmu-15-819
2024.3.2.0

This version was deleted from PyPI around 2024-07-16. Installing fails with:
$ pip3 install homotopy-type-theory-lecture-notes-cmu-15-819==2024.3.2.0 ERROR: Could not find a version that satisfies the requirement homotopy-type-theory-lecture-notes-cmu-15-819==2024.3.2.0
View other deleted versions of homotopy-type-theory-lecture-notes-cmu-15-819

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/2024-07-15/ \ homotopy-type-theory-lecture-notes-cmu-15-819==2024.3.2.0
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:
homotopy_type_theory_lecture_notes_cmu_15_819-2024.3.2.0-py3-none-any.whl (2.8MB)
homotopy-type-theory-lecture-notes-cmu-15-819-2024.3.2.0.tar.gz (2.8MB)