/pypi/web/packages/f9/04/1d2e8f799b79f7796159b9eba360339dbb7ea77d0f0368cb758249ca16fc/

File Name  ↓		File Size  ↓	Date  ↓
Parent directory/		-	-
lean-0.1.40.tar.gz		75.9 KiB	2021/04/07 23:20:42