2021-02-06T01:46:21,725 Created temporary directory: /tmp/pip-ephem-wheel-cache-_iv4wkqi
2021-02-06T01:46:21,728 Created temporary directory: /tmp/pip-req-tracker-7zalb1c1
2021-02-06T01:46:21,728 Initialized build tracking at /tmp/pip-req-tracker-7zalb1c1
2021-02-06T01:46:21,728 Created build tracker: /tmp/pip-req-tracker-7zalb1c1
2021-02-06T01:46:21,728 Entered build tracker: /tmp/pip-req-tracker-7zalb1c1
2021-02-06T01:46:21,729 Created temporary directory: /tmp/pip-wheel-8omolpoa
2021-02-06T01:46:21,763 1 location(s) to search for versions of lean:
2021-02-06T01:46:21,763 * https://pypi.org/simple/lean/
2021-02-06T01:46:21,764 Fetching project page and analyzing links: https://pypi.org/simple/lean/
2021-02-06T01:46:21,764 Getting page https://pypi.org/simple/lean/
2021-02-06T01:46:21,766 Found index url https://pypi.org/simple
2021-02-06T01:46:21,964   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-06T01:46:21,965   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-06T01:46:21,965   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-06T01:46:21,966   Found link https://files.pythonhosted.org/packages/e1/d8/02ae9ddef03e8fff63a3cefb09c48b3fe4e8290c9e94d007ec0cb09f215c/lean-0.1.2-py3-none-any.whl#sha256=23abf131366e0d601cc5409cc7ddd3501d08b36792107800d23f7e9d60ba1597 (from https://pypi.org/simple/lean/) (requires-python:>= 3.6), version: 0.1.2
2021-02-06T01:46:21,967   Found link https://files.pythonhosted.org/packages/9b/14/99b4f13f471ce0a4b1640eeaf64fe3416afd9408f183fc94116e4406913c/lean-0.1.2.tar.gz#sha256=f7b039d5a79a11a49c693d3fe99841e8ff6cb9c3d6e3b201b3fad7a8dd21ff00 (from https://pypi.org/simple/lean/) (requires-python:>= 3.6), version: 0.1.2
2021-02-06T01:46:21,968   Found link https://files.pythonhosted.org/packages/8e/8d/4e323720df2805b5dfb2cdb5d52dbaa62b3ef707219d0d8e031237b83022/lean-0.1.3-py3-none-any.whl#sha256=0bd85fc620f94211875b36842cca7495cb846326001196538d3a23f3ef9f0321 (from https://pypi.org/simple/lean/) (requires-python:>= 3.6), version: 0.1.3
2021-02-06T01:46:21,969   Found link https://files.pythonhosted.org/packages/30/b2/0d9a8022d3b168e8d0c833d9f3d37d6149c9c9595dce42aa7ca92fe2a618/lean-0.1.3.tar.gz#sha256=3ca6a79b2b1c0215e30a5f6d0c2887625889ac0e343752dd1a94d3543d2814dd (from https://pypi.org/simple/lean/) (requires-python:>= 3.6), version: 0.1.3
2021-02-06T01:46:21,970 Given no hashes to check 2 links for project 'lean': discarding no candidates
2021-02-06T01:46:21,986 Collecting lean==0.1.3
2021-02-06T01:46:21,987   Created temporary directory: /tmp/pip-unpack-54x5h6kl
2021-02-06T01:46:22,159   Downloading lean-0.1.3-py3-none-any.whl (64 kB)
2021-02-06T01:46:22,178   Added lean==0.1.3 from https://files.pythonhosted.org/packages/8e/8d/4e323720df2805b5dfb2cdb5d52dbaa62b3ef707219d0d8e031237b83022/lean-0.1.3-py3-none-any.whl#sha256=0bd85fc620f94211875b36842cca7495cb846326001196538d3a23f3ef9f0321 to build tracker '/tmp/pip-req-tracker-7zalb1c1'
2021-02-06T01:46:22,179   Removed lean==0.1.3 from https://files.pythonhosted.org/packages/8e/8d/4e323720df2805b5dfb2cdb5d52dbaa62b3ef707219d0d8e031237b83022/lean-0.1.3-py3-none-any.whl#sha256=0bd85fc620f94211875b36842cca7495cb846326001196538d3a23f3ef9f0321 from build tracker '/tmp/pip-req-tracker-7zalb1c1'
2021-02-06T01:46:22,190 Created temporary directory: /tmp/pip-unpack-2p7_evck
2021-02-06T01:46:22,193 Saved /tmp/tmpi4jkrdbx/lean-0.1.3-py3-none-any.whl
2021-02-06T01:46:22,194 Removed build tracker: '/tmp/pip-req-tracker-7zalb1c1'