Menu

Lean

PyPI page pypi.org/project/Lean
Versions 6
Files 5
Downloads (all time) loading...
Downloads (last 30 days) loading...

Install

sudo pip3 install Lean

Versions

VersionSuccessful buildsFailed buildsSkip
0.2.4 cp34m
0.2.3 cp34m
0.2.2 cp34m
0.2.1 cp34m
0.2 cp34m, cp35m, cp37m
0.1 cp34m
Show more versions

Files

VersionABIFilenameSize
0.2.4 none Lean-0.2.4-py3-none-any.whl 8 KB
0.2.3 none Lean-0.2.3-py3-none-any.whl 8 KB
0.2.2 none Lean-0.2.2-py3-none-any.whl 8 KB
0.2.1 none Lean-0.2.1-py3-none-any.whl 6 KB
0.1 none Lean-0.1-py3-none-any.whl 6 KB

Issues with this package?

Package/version missing?

Package broken?

Something else

Page last updated 2019-10-06 12:29