2021-02-16T04:02:51,306 Created temporary directory: /tmp/pip-ephem-wheel-cache-_gq_30ag 2021-02-16T04:02:51,310 Created temporary directory: /tmp/pip-req-tracker-jpudzwz2 2021-02-16T04:02:51,310 Initialized build tracking at /tmp/pip-req-tracker-jpudzwz2 2021-02-16T04:02:51,310 Created build tracker: /tmp/pip-req-tracker-jpudzwz2 2021-02-16T04:02:51,310 Entered build tracker: /tmp/pip-req-tracker-jpudzwz2 2021-02-16T04:02:51,311 Created temporary directory: /tmp/pip-wheel-w9c2_yeh 2021-02-16T04:02:51,347 1 location(s) to search for versions of lean: 2021-02-16T04:02:51,347 * https://pypi.org/simple/lean/ 2021-02-16T04:02:51,347 Fetching project page and analyzing links: https://pypi.org/simple/lean/ 2021-02-16T04:02:51,348 Getting page https://pypi.org/simple/lean/ 2021-02-16T04:02:51,349 Found index url https://pypi.org/simple 2021-02-16T04:02:51,458 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-16T04:02:51,459 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-16T04:02:51,460 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-16T04:02:51,460 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-16T04:02:51,461 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-16T04:02:51,462 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-16T04:02:51,462 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-16T04:02:51,463 Found link https://files.pythonhosted.org/packages/59/d8/1aa2722bef4a78792d4ef0b1a60311cb653de73154e9ad5239f970a379b0/lean-0.1.4-py3-none-any.whl#sha256=b663f73476162d7281d96d59fabac3723b09fbdefa9c2bda0bd3761fbb426481 (from https://pypi.org/simple/lean/) (requires-python:>= 3.6), version: 0.1.4 2021-02-16T04:02:51,464 Found link https://files.pythonhosted.org/packages/df/39/cfb867051fa94cb1b9fd6fad2c5383663055d6bc1d0c4c3c9e4e42628b91/lean-0.1.4.tar.gz#sha256=f51fa238a0ccc8acb0f4a30eb8a18f4b7e7cb9f26c69fe7ad819370227da88ce (from https://pypi.org/simple/lean/) (requires-python:>= 3.6), version: 0.1.4 2021-02-16T04:02:51,465 Found link https://files.pythonhosted.org/packages/ee/49/f6300be14449e03b7e4bf0c06ee900899c309b8023bf7da82c69d58b0842/lean-0.1.5-py3-none-any.whl#sha256=4fb2bde8825e257b3691647f58babe10e76c11e6d688a2eb5b1d60a2d54a2813 (from https://pypi.org/simple/lean/) (requires-python:>= 3.6), version: 0.1.5 2021-02-16T04:02:51,465 Found link https://files.pythonhosted.org/packages/13/a5/9acb61245a815b3c9abb887ef193628e66ba8b67b6d2b663c2bc4c8cb837/lean-0.1.5.tar.gz#sha256=ffe8ce3c64580d724295152dfa17196a34c72df64a23b65977eaa765b6ca08a6 (from https://pypi.org/simple/lean/) (requires-python:>= 3.6), version: 0.1.5 2021-02-16T04:02:51,466 Found link https://files.pythonhosted.org/packages/cf/a9/6689db9d83a0d710c05bf086a4df1b26f51c2de5fe0842975db280166973/lean-0.1.6-py3-none-any.whl#sha256=63a18f884ff0fad68a762b6e23f75aa4401cfa5c5ab6331bd2c7a6d672c85b3f (from https://pypi.org/simple/lean/) (requires-python:>= 3.6), version: 0.1.6 2021-02-16T04:02:51,467 Found link https://files.pythonhosted.org/packages/f3/d2/af8b9048479256c4c7886c356f6cf0d051f39fd4615a889ce2c1e8f02643/lean-0.1.6.tar.gz#sha256=e15eb7b10bf7edad4c2d017ef8dd24aaa8c2a5bb89c5964973049a83a7dc95a5 (from https://pypi.org/simple/lean/) (requires-python:>= 3.6), version: 0.1.6 2021-02-16T04:02:51,469 Given no hashes to check 2 links for project 'lean': discarding no candidates 2021-02-16T04:02:51,484 Collecting lean==0.1.6 2021-02-16T04:02:51,486 Created temporary directory: /tmp/pip-unpack-63buoskr 2021-02-16T04:02:51,670 Downloading lean-0.1.6-py3-none-any.whl (64 kB) 2021-02-16T04:02:51,691 Added lean==0.1.6 from https://files.pythonhosted.org/packages/cf/a9/6689db9d83a0d710c05bf086a4df1b26f51c2de5fe0842975db280166973/lean-0.1.6-py3-none-any.whl#sha256=63a18f884ff0fad68a762b6e23f75aa4401cfa5c5ab6331bd2c7a6d672c85b3f to build tracker '/tmp/pip-req-tracker-jpudzwz2' 2021-02-16T04:02:51,691 Removed lean==0.1.6 from https://files.pythonhosted.org/packages/cf/a9/6689db9d83a0d710c05bf086a4df1b26f51c2de5fe0842975db280166973/lean-0.1.6-py3-none-any.whl#sha256=63a18f884ff0fad68a762b6e23f75aa4401cfa5c5ab6331bd2c7a6d672c85b3f from build tracker '/tmp/pip-req-tracker-jpudzwz2' 2021-02-16T04:02:51,702 Created temporary directory: /tmp/pip-unpack-k_ra_ddz 2021-02-16T04:02:51,706 Saved /tmp/tmp3c3bg2lp/lean-0.1.6-py3-none-any.whl 2021-02-16T04:02:51,707 Removed build tracker: '/tmp/pip-req-tracker-jpudzwz2'