2021-02-03T23:43:31,340 Created temporary directory: /tmp/pip-ephem-wheel-cache-gv6_w_6n
2021-02-03T23:43:31,343 Created temporary directory: /tmp/pip-req-tracker-i_01yzin
2021-02-03T23:43:31,344 Initialized build tracking at /tmp/pip-req-tracker-i_01yzin
2021-02-03T23:43:31,344 Created build tracker: /tmp/pip-req-tracker-i_01yzin
2021-02-03T23:43:31,344 Entered build tracker: /tmp/pip-req-tracker-i_01yzin
2021-02-03T23:43:31,345 Created temporary directory: /tmp/pip-wheel-ef_de9fv
2021-02-03T23:43:31,375 1 location(s) to search for versions of lean:
2021-02-03T23:43:31,375 * https://pypi.org/simple/lean/
2021-02-03T23:43:31,375 Fetching project page and analyzing links: https://pypi.org/simple/lean/
2021-02-03T23:43:31,375 Getting page https://pypi.org/simple/lean/
2021-02-03T23:43:31,377 Found index url https://pypi.org/simple
2021-02-03T23:43:31,494   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-03T23:43:31,495   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-03T23:43:31,495   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-03T23:43:31,496   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-03T23:43:31,497   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-03T23:43:31,498 Given no hashes to check 2 links for project 'lean': discarding no candidates
2021-02-03T23:43:31,515 Collecting lean==0.1.2
2021-02-03T23:43:31,516   Created temporary directory: /tmp/pip-unpack-gjb04g1s
2021-02-03T23:43:31,694   Downloading lean-0.1.2-py3-none-any.whl (54 kB)
2021-02-03T23:43:31,713   Added lean==0.1.2 from https://files.pythonhosted.org/packages/e1/d8/02ae9ddef03e8fff63a3cefb09c48b3fe4e8290c9e94d007ec0cb09f215c/lean-0.1.2-py3-none-any.whl#sha256=23abf131366e0d601cc5409cc7ddd3501d08b36792107800d23f7e9d60ba1597 to build tracker '/tmp/pip-req-tracker-i_01yzin'
2021-02-03T23:43:31,715   Removed lean==0.1.2 from https://files.pythonhosted.org/packages/e1/d8/02ae9ddef03e8fff63a3cefb09c48b3fe4e8290c9e94d007ec0cb09f215c/lean-0.1.2-py3-none-any.whl#sha256=23abf131366e0d601cc5409cc7ddd3501d08b36792107800d23f7e9d60ba1597 from build tracker '/tmp/pip-req-tracker-i_01yzin'
2021-02-03T23:43:31,724 Created temporary directory: /tmp/pip-unpack-cnewhebl
2021-02-03T23:43:31,727 Saved /tmp/tmpj963l7ku/lean-0.1.2-py3-none-any.whl
2021-02-03T23:43:31,728 Removed build tracker: '/tmp/pip-req-tracker-i_01yzin'