Skip to content

Mention Python 3.14 works#17

Open
SuperCowProducts wants to merge 1 commit into
leanprover-community:masterfrom
SuperCowProducts:master
Open

Mention Python 3.14 works#17
SuperCowProducts wants to merge 1 commit into
leanprover-community:masterfrom
SuperCowProducts:master

Conversation

@SuperCowProducts
Copy link
Copy Markdown

This is really important for others who want to build - even just installing these Python versions is a huge effort if there are no prebuilt binaries available. I managed to get my hands on Python 3.5, but that was on Distrobox (Podman/Docker backend) so I wouldn't have known how I could have interfaced it with the Python virtual environment requirement. Luckily I was able to forget all of that this time as uv venv did the job just as well.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant