2021-03-23T01:41:47,573 Created temporary directory: /tmp/pip-ephem-wheel-cache-e49vdh_o
2021-03-23T01:41:47,575 Created temporary directory: /tmp/pip-req-tracker-tmwixhir
2021-03-23T01:41:47,576 Initialized build tracking at /tmp/pip-req-tracker-tmwixhir
2021-03-23T01:41:47,576 Created build tracker: /tmp/pip-req-tracker-tmwixhir
2021-03-23T01:41:47,576 Entered build tracker: /tmp/pip-req-tracker-tmwixhir
2021-03-23T01:41:47,577 Created temporary directory: /tmp/pip-wheel-hnsl84up
2021-03-23T01:41:47,611 1 location(s) to search for versions of lean:
2021-03-23T01:41:47,611 * https://pypi.org/simple/lean/
2021-03-23T01:41:47,611 Fetching project page and analyzing links: https://pypi.org/simple/lean/
2021-03-23T01:41:47,612 Getting page https://pypi.org/simple/lean/
2021-03-23T01:41:47,614 Found index url https://pypi.org/simple
2021-03-23T01:41:47,737   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-03-23T01:41:47,738   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-03-23T01:41:47,739   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-03-23T01:41:47,739   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-03-23T01:41:47,740   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-03-23T01:41:47,741   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-03-23T01:41:47,741   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-03-23T01:41:47,742   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-03-23T01:41:47,743   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-03-23T01:41:47,743   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-03-23T01:41:47,744   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-03-23T01:41:47,745   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-03-23T01:41:47,746   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-03-23T01:41:47,746   Found link https://files.pythonhosted.org/packages/43/b0/52c4dcdd1de2bb555eea348b7fc122646bdc0b1e3530895b95751b514793/lean-0.1.7-py3-none-any.whl#sha256=7751f6629e8929215bafc4607f006cc68c7b5d5c55fd4c80a646360d192de648 (from https://pypi.org/simple/lean/) (requires-python:>= 3.6), version: 0.1.7
2021-03-23T01:41:47,747   Found link https://files.pythonhosted.org/packages/1b/14/0c2a115e7d2c0db4a94014fd7dc67419305896d601faeeb6cc2f5ea6b3b4/lean-0.1.7.tar.gz#sha256=b0bd70d90e71c18837f10d1d176b965553224cdb55dc0bd557588521594f9c57 (from https://pypi.org/simple/lean/) (requires-python:>= 3.6), version: 0.1.7
2021-03-23T01:41:47,748   Found link https://files.pythonhosted.org/packages/df/43/2aa43f0372f7e4ee2c9ad6769f0e8f8223426b8e7933b86a57aaf8fac76f/lean-0.1.8-py3-none-any.whl#sha256=07a9f14acb4dd9b16dd660b41f8b11c3a840d529db9a6e7cd47796018b1ac915 (from https://pypi.org/simple/lean/) (requires-python:>= 3.6), version: 0.1.8
2021-03-23T01:41:47,748   Found link https://files.pythonhosted.org/packages/6c/b1/6805826ad3c309a605e5d10f7b07109349fc33f844c97721c8107b9cfe88/lean-0.1.8.tar.gz#sha256=47e574f43ec846cc397fba6c1115307bf67f9427e083dbc9747af0401ed5f17a (from https://pypi.org/simple/lean/) (requires-python:>= 3.6), version: 0.1.8
2021-03-23T01:41:47,749   Found link https://files.pythonhosted.org/packages/cd/fd/dc003a14890872ce2af82685c51e67ae4eb586937e3315eab6ac5348c451/lean-0.1.9-py3-none-any.whl#sha256=5a9be2d24ecd009e56c64f314620a13f0fe97ac7c8d11dcf22a0a353835f7c79 (from https://pypi.org/simple/lean/) (requires-python:>= 3.6), version: 0.1.9
2021-03-23T01:41:47,750   Found link https://files.pythonhosted.org/packages/76/d8/5658a2f05fa171505c1408b732fb892c2686780ac36f5bbcf3a14d7202e7/lean-0.1.9.tar.gz#sha256=6351ddc5defad4c7ea0e04b220ebcee31f3aac77263e1afe50921fe6a6030616 (from https://pypi.org/simple/lean/) (requires-python:>= 3.6), version: 0.1.9
2021-03-23T01:41:47,750   Found link https://files.pythonhosted.org/packages/03/d7/e71d7258a88d94f3872f6e231dd84a32a1be98c223fa620a51d50099e332/lean-0.1.10-py3-none-any.whl#sha256=590c73de760573415a5d05e58d58be90930c20c182a92fb3cb0981f30532f80a (from https://pypi.org/simple/lean/) (requires-python:>= 3.6), version: 0.1.10
2021-03-23T01:41:47,751   Found link https://files.pythonhosted.org/packages/a6/ee/df35af5606231ccd2a28356a63f8e4789b77b9b1a6337a687207cd9523b4/lean-0.1.10.tar.gz#sha256=b76efaed892f559d65ef6dddd97d808767fd718c148cf1d069ea68695085db02 (from https://pypi.org/simple/lean/) (requires-python:>= 3.6), version: 0.1.10
2021-03-23T01:41:47,752   Found link https://files.pythonhosted.org/packages/50/73/92cc0c42f617f2c13853ddd0a86d8fc61420069292159f646dd95a158274/lean-0.1.11-py3-none-any.whl#sha256=c507b589926e8b3eb710c50f31e4b7404747f18a698ebe4f03cb71598f43a5f0 (from https://pypi.org/simple/lean/) (requires-python:>= 3.6), version: 0.1.11
2021-03-23T01:41:47,752   Found link https://files.pythonhosted.org/packages/82/59/10605bf8ac582778a108044e45796feeddfb704f2c61d5cc0feb31dbe85d/lean-0.1.11.tar.gz#sha256=0c7dc27a6302bb3849cb69db616463abc6bb93606545198f1acb726629de5886 (from https://pypi.org/simple/lean/) (requires-python:>= 3.6), version: 0.1.11
2021-03-23T01:41:47,753   Found link https://files.pythonhosted.org/packages/cf/a5/2daefb4476522135638629e3948e0c83580540e9d94dc5bbfd16b1b5655b/lean-0.1.12-py3-none-any.whl#sha256=098c663cf2af169377804e2ec4e2e97e6909b0971e126ed6a86a8722bfbe196c (from https://pypi.org/simple/lean/) (requires-python:>= 3.6), version: 0.1.12
2021-03-23T01:41:47,754   Found link https://files.pythonhosted.org/packages/8e/b3/5044a393a4465a305751cd84ceb21fe51fa70d7926c60c59a5bf83b5c0c7/lean-0.1.12.tar.gz#sha256=7801d33df38b2aa0aaba5dac9bb75e33d6962f62d720815d2092df97b9b2bbc9 (from https://pypi.org/simple/lean/) (requires-python:>= 3.6), version: 0.1.12
2021-03-23T01:41:47,754   Found link https://files.pythonhosted.org/packages/52/be/605fc3d2844dc00a08bd3000111e5c87181b2ba09ecb9dd928f29053f953/lean-0.1.13-py3-none-any.whl#sha256=d77bd2690a7d02d5306cbba3b942c24176b78c7dfa3c1cdd5263d2b8e881cf28 (from https://pypi.org/simple/lean/) (requires-python:>= 3.6), version: 0.1.13
2021-03-23T01:41:47,755   Found link https://files.pythonhosted.org/packages/f3/f7/807118d5bad82e4b08f862fa57a6d74ca18af3d812a90f2ee04f3a5c79a3/lean-0.1.13.tar.gz#sha256=b2049d36e64e913d8c6ef53e811a65ac18880e91721698a6ab3692fd1fb949d6 (from https://pypi.org/simple/lean/) (requires-python:>= 3.6), version: 0.1.13
2021-03-23T01:41:47,756   Found link https://files.pythonhosted.org/packages/e7/62/d23ccc3f729d22eb8e0a4568d26f2bdf6317bb2219d20478fdcb63f75854/lean-0.1.14-py3-none-any.whl#sha256=6cafe283d9b49f0fa7eb67d0ceacc48a6823fef505dee4a0884b2b02785a01bf (from https://pypi.org/simple/lean/) (requires-python:>= 3.6), version: 0.1.14
2021-03-23T01:41:47,756   Found link https://files.pythonhosted.org/packages/d3/ea/86bc7d2d19656e543c7bf35feeefe5ede8c65566415a519bb6c57a4365a0/lean-0.1.14.tar.gz#sha256=4f468e419d1e7d554bca97ec9a74bf1163a9b855b7c726d06cb70982d0306d8c (from https://pypi.org/simple/lean/) (requires-python:>= 3.6), version: 0.1.14
2021-03-23T01:41:47,757   Found link https://files.pythonhosted.org/packages/4c/01/597ab7eec75b78f7457b4aa11e140c5a35ddbec9332e594ccbb736f8f395/lean-0.1.15-py3-none-any.whl#sha256=36f3f653e81cfe6fd76e3021f9ba272005d7d36ff28b919c5a96f07973ae5b6d (from https://pypi.org/simple/lean/) (requires-python:>= 3.6), version: 0.1.15
2021-03-23T01:41:47,758   Found link https://files.pythonhosted.org/packages/63/a5/70f028450ab5c91ed498684e810d318f63a98c8dc0d3265e47e95595687b/lean-0.1.15.tar.gz#sha256=b2c760ec2a45519d49c022c2f6c05c94129812b40f169df01f5c7831ff2323df (from https://pypi.org/simple/lean/) (requires-python:>= 3.6), version: 0.1.15
2021-03-23T01:41:47,763 Given no hashes to check 2 links for project 'lean': discarding no candidates
2021-03-23T01:41:47,779 Collecting lean==0.1.15
2021-03-23T01:41:47,781   Created temporary directory: /tmp/pip-unpack-xewie_3v
2021-03-23T01:41:47,953   Downloading lean-0.1.15-py3-none-any.whl (127 kB)
2021-03-23T01:41:47,985   Added lean==0.1.15 from https://files.pythonhosted.org/packages/4c/01/597ab7eec75b78f7457b4aa11e140c5a35ddbec9332e594ccbb736f8f395/lean-0.1.15-py3-none-any.whl#sha256=36f3f653e81cfe6fd76e3021f9ba272005d7d36ff28b919c5a96f07973ae5b6d to build tracker '/tmp/pip-req-tracker-tmwixhir'
2021-03-23T01:41:47,986   Removed lean==0.1.15 from https://files.pythonhosted.org/packages/4c/01/597ab7eec75b78f7457b4aa11e140c5a35ddbec9332e594ccbb736f8f395/lean-0.1.15-py3-none-any.whl#sha256=36f3f653e81cfe6fd76e3021f9ba272005d7d36ff28b919c5a96f07973ae5b6d from build tracker '/tmp/pip-req-tracker-tmwixhir'
2021-03-23T01:41:47,999 Created temporary directory: /tmp/pip-unpack-gj8phgxv
2021-03-23T01:41:48,006 Saved /tmp/tmpjxjgqo7b/lean-0.1.15-py3-none-any.whl
2021-03-23T01:41:48,006 Removed build tracker: '/tmp/pip-req-tracker-tmwixhir'