2021-02-03T02:38:15,419 Created temporary directory: /tmp/pip-ephem-wheel-cache-wzprvs99
2021-02-03T02:38:15,421 Created temporary directory: /tmp/pip-req-tracker-uhv79_bb
2021-02-03T02:38:15,422 Initialized build tracking at /tmp/pip-req-tracker-uhv79_bb
2021-02-03T02:38:15,422 Created build tracker: /tmp/pip-req-tracker-uhv79_bb
2021-02-03T02:38:15,422 Entered build tracker: /tmp/pip-req-tracker-uhv79_bb
2021-02-03T02:38:15,423 Created temporary directory: /tmp/pip-wheel-hgsnkk7v
2021-02-03T02:38:15,450 1 location(s) to search for versions of lean:
2021-02-03T02:38:15,450 * https://pypi.org/simple/lean/
2021-02-03T02:38:15,450 Fetching project page and analyzing links: https://pypi.org/simple/lean/
2021-02-03T02:38:15,451 Getting page https://pypi.org/simple/lean/
2021-02-03T02:38:15,452 Found index url https://pypi.org/simple
2021-02-03T02:38:15,554   Found link https://files.pythonhosted.org/packages/2d/b5/87e6eff8ca350fd57c273321a7695e1e52e63e83815b2ce03f7dc4f14725/lean-0.1.0-py3-none-any.whl#sha256=9cfebe365218109f43940cd5c2dc4b5e44e44c55d2ce3243a5648ae5f4bc21a1 (from https://pypi.org/simple/lean/) (requires-python:>=3.6), version: 0.1.0
2021-02-03T02:38:15,555   Found link https://files.pythonhosted.org/packages/b4/73/c33f716bc79c36d2554aa6cda16a26ccf1e202cbc868e1ba74db29f816b6/lean-0.1.1-py3-none-any.whl#sha256=76fa24484051940ec888a78f3bc82ffda77ecd6cb85920911e3bfac655ba1a00 (from https://pypi.org/simple/lean/) (requires-python:>= 3.6), version: 0.1.1
2021-02-03T02:38:15,556   Found link https://files.pythonhosted.org/packages/32/57/53c106f6102f9ed4da5169f314d5925f1f5470043f0d006c4d09e13b5206/lean-0.1.1.tar.gz#sha256=319cfa9ffc28f3f25a73788a93c90c5205a579d2e137f910f9404c2046aa4098 (from https://pypi.org/simple/lean/) (requires-python:>= 3.6), version: 0.1.1
2021-02-03T02:38:15,557 Given no hashes to check 2 links for project 'lean': discarding no candidates
2021-02-03T02:38:15,572 Collecting lean==0.1.1
2021-02-03T02:38:15,574   Created temporary directory: /tmp/pip-unpack-6gvi2jsc
2021-02-03T02:38:15,751   Downloading lean-0.1.1-py3-none-any.whl (10 kB)
2021-02-03T02:38:15,760   Added lean==0.1.1 from https://files.pythonhosted.org/packages/b4/73/c33f716bc79c36d2554aa6cda16a26ccf1e202cbc868e1ba74db29f816b6/lean-0.1.1-py3-none-any.whl#sha256=76fa24484051940ec888a78f3bc82ffda77ecd6cb85920911e3bfac655ba1a00 to build tracker '/tmp/pip-req-tracker-uhv79_bb'
2021-02-03T02:38:15,761   Removed lean==0.1.1 from https://files.pythonhosted.org/packages/b4/73/c33f716bc79c36d2554aa6cda16a26ccf1e202cbc868e1ba74db29f816b6/lean-0.1.1-py3-none-any.whl#sha256=76fa24484051940ec888a78f3bc82ffda77ecd6cb85920911e3bfac655ba1a00 from build tracker '/tmp/pip-req-tracker-uhv79_bb'
2021-02-03T02:38:15,777 Created temporary directory: /tmp/pip-unpack-43xgakkj
2021-02-03T02:38:15,779 Saved /tmp/tmptqaj4qcj/lean-0.1.1-py3-none-any.whl
2021-02-03T02:38:15,780 Removed build tracker: '/tmp/pip-req-tracker-uhv79_bb'