2021-05-08T05:39:29,595 Created temporary directory: /tmp/pip-ephem-wheel-cache-q3a7eo0_
2021-05-08T05:39:29,599 Created temporary directory: /tmp/pip-req-tracker-zfrr72g6
2021-05-08T05:39:29,599 Initialized build tracking at /tmp/pip-req-tracker-zfrr72g6
2021-05-08T05:39:29,599 Created build tracker: /tmp/pip-req-tracker-zfrr72g6
2021-05-08T05:39:29,600 Entered build tracker: /tmp/pip-req-tracker-zfrr72g6
2021-05-08T05:39:29,600 Created temporary directory: /tmp/pip-wheel-mfexcdhh
2021-05-08T05:39:29,634 1 location(s) to search for versions of lean:
2021-05-08T05:39:29,634 * https://pypi.org/simple/lean/
2021-05-08T05:39:29,635 Fetching project page and analyzing links: https://pypi.org/simple/lean/
2021-05-08T05:39:29,635 Getting page https://pypi.org/simple/lean/
2021-05-08T05:39:29,637 Found index url https://pypi.org/simple
2021-05-08T05:39:29,797   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-05-08T05:39:29,798   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-05-08T05:39:29,798   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-05-08T05:39:29,799   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-05-08T05:39:29,800   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-05-08T05:39:29,800   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-05-08T05:39:29,801   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-05-08T05:39:29,802   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-05-08T05:39:29,802   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-05-08T05:39:29,803   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-05-08T05:39:29,804   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-05-08T05:39:29,805   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-05-08T05:39:29,805   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-05-08T05:39:29,806   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-05-08T05:39:29,807   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-05-08T05:39:29,807   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-05-08T05:39:29,808   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-05-08T05:39:29,809   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-05-08T05:39:29,809   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-05-08T05:39:29,810   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-05-08T05:39:29,811   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-05-08T05:39:29,811   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-05-08T05:39:29,812   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-05-08T05:39:29,813   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-05-08T05:39:29,813   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-05-08T05:39:29,814   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-05-08T05:39:29,815   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-05-08T05:39:29,815   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-05-08T05:39:29,816   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-05-08T05:39:29,817   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-05-08T05:39:29,817   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-05-08T05:39:29,818   Found link https://files.pythonhosted.org/packages/d5/e7/6a9429d76cb045be5086ae9f676cdb25c362cbdf95a7a0053d9663720229/lean-0.1.16-py3-none-any.whl#sha256=0272fc0632a381695bcf4fe512b0dd8e650aac63df78fe3462a6f6f4aaa9aa49 (from https://pypi.org/simple/lean/) (requires-python:>= 3.6), version: 0.1.16
2021-05-08T05:39:29,819   Found link https://files.pythonhosted.org/packages/14/f5/1e6d95774c759b9ae60583abfcb5e340a88bda9721080df85cc63af4cc4f/lean-0.1.16.tar.gz#sha256=0852f69d56e7812a3bf270abb9239308e51624bf10388a365b2958fb24a7705e (from https://pypi.org/simple/lean/) (requires-python:>= 3.6), version: 0.1.16
2021-05-08T05:39:29,819   Found link https://files.pythonhosted.org/packages/f8/2f/56e5ae8869d9579047a2ca258a21595ad7f3ec27e915ce99ad91951e500c/lean-0.1.17-py3-none-any.whl#sha256=b5d641967d7592cdaffaaf7371f91e8dc70b007b974dc66ab6eb3b6c8f6132b0 (from https://pypi.org/simple/lean/) (requires-python:>= 3.6), version: 0.1.17
2021-05-08T05:39:29,820   Found link https://files.pythonhosted.org/packages/a1/5a/598f3397cb333feafe4059b493f8cd86e10ae184f9e1850e3bfec6ab512f/lean-0.1.17.tar.gz#sha256=12e913d1aa2f0290867b7e27cc9d982ce30f730aa3e01fa19ab1866dfc0ef1ff (from https://pypi.org/simple/lean/) (requires-python:>= 3.6), version: 0.1.17
2021-05-08T05:39:29,821   Found link https://files.pythonhosted.org/packages/68/40/a132f5570a6410cc044ca927e52dbd872818adb5f1d566e092f6d57f99d7/lean-0.1.18-py3-none-any.whl#sha256=dc490b5c5b591419b5cccb452870f0f462e4239411b87cf4fd17a6373e4ee117 (from https://pypi.org/simple/lean/) (requires-python:>= 3.6), version: 0.1.18
2021-05-08T05:39:29,821   Found link https://files.pythonhosted.org/packages/4e/9c/f38f615f4919360f1abffa16a0e3581821a999633b853354ca16abd18017/lean-0.1.18.tar.gz#sha256=a6cce55eb55d058464091cb3237efa9bd1fd614f031cc146376f532951054b43 (from https://pypi.org/simple/lean/) (requires-python:>= 3.6), version: 0.1.18
2021-05-08T05:39:29,822   Found link https://files.pythonhosted.org/packages/c2/4f/adca1756162b1b023c1c79f178008107232015e33652ca4fbce6b4071e2c/lean-0.1.19-py3-none-any.whl#sha256=155e157247e5534e5337f2204f2e84af862e8f01982e3f4d14afffc823a6940b (from https://pypi.org/simple/lean/) (requires-python:>= 3.6), version: 0.1.19
2021-05-08T05:39:29,823   Found link https://files.pythonhosted.org/packages/15/66/b4fe7d58db3483f9bf7f2938696e4163836054de45beca2d3b520613c394/lean-0.1.19.tar.gz#sha256=bd6c909a67b3dfde5f7806c54bd1568bb44e8787ecbc87697c66d84b0e0ed840 (from https://pypi.org/simple/lean/) (requires-python:>= 3.6), version: 0.1.19
2021-05-08T05:39:29,823   Found link https://files.pythonhosted.org/packages/66/bf/91d528e2289411dc1703da81404dce503726383b4f55ed3f4689a64e1fee/lean-0.1.20-py3-none-any.whl#sha256=debc2f504e67e6028a013e7e4da55dd77517523a57f2dcb67b742857b4f16829 (from https://pypi.org/simple/lean/) (requires-python:>= 3.6), version: 0.1.20
2021-05-08T05:39:29,824   Found link https://files.pythonhosted.org/packages/13/92/eccfe6daa49b3319e3fb5008985faa811d697a4bdfe9bac1fa4cee90b780/lean-0.1.20.tar.gz#sha256=29e698396f333fcd0e01c1875587b4d61e870462c8a8165e82114c1235acdeaf (from https://pypi.org/simple/lean/) (requires-python:>= 3.6), version: 0.1.20
2021-05-08T05:39:29,825   Found link https://files.pythonhosted.org/packages/bd/db/33c7a108ed5b9e529f5d6bdb34a49918a1f33e2c29c87848ef22a4902dce/lean-0.1.21-py3-none-any.whl#sha256=1e38b2a92ae5ba5cf54d4b9fc716fd9b083c50e07c72ac67fa8eaeb4bb2a2820 (from https://pypi.org/simple/lean/) (requires-python:>= 3.6), version: 0.1.21
2021-05-08T05:39:29,825   Found link https://files.pythonhosted.org/packages/ef/9a/734260776af91db3bace0b5d923ff2b1a26a6ea8bc9864679a97bd16b2ea/lean-0.1.21.tar.gz#sha256=fc1d10d65c538439c44df6d1f9974224fe99169c3c5b5a1277f515593673c6c9 (from https://pypi.org/simple/lean/) (requires-python:>= 3.6), version: 0.1.21
2021-05-08T05:39:29,826   Found link https://files.pythonhosted.org/packages/47/fe/50687b4518002b537e872c094bbb8496c0ed831c77305c60ac8489828509/lean-0.1.22-py3-none-any.whl#sha256=4577c07273a4073a3dd9de206488c9cf9a538e15cf262c18df8965c3a5323123 (from https://pypi.org/simple/lean/) (requires-python:>= 3.6), version: 0.1.22
2021-05-08T05:39:29,827   Found link https://files.pythonhosted.org/packages/d9/67/965221bbf5c4286bf3d43218a7d6f3ce8c6873342704ad7b8f2547824c4f/lean-0.1.22.tar.gz#sha256=9e73437c7e9783b4e3cbc874f6349a05aca7c90afca46021c40e3b2de472599b (from https://pypi.org/simple/lean/) (requires-python:>= 3.6), version: 0.1.22
2021-05-08T05:39:29,827   Found link https://files.pythonhosted.org/packages/19/2b/8607ab65135fb64dca11b641ac18ed08f2cb895aa387efe06fdca001df51/lean-0.1.23-py3-none-any.whl#sha256=83a036beb5d65cc9a652958573583e050a33eed24f557db5835ae5a14855a6c3 (from https://pypi.org/simple/lean/) (requires-python:>= 3.6), version: 0.1.23
2021-05-08T05:39:29,828   Found link https://files.pythonhosted.org/packages/08/9a/c5535cb2d13972895dbaab697f4067c6e0206d86f34a187b462d9f7cf026/lean-0.1.23.tar.gz#sha256=f00b2a962692aed338d46ac8c5c0716274bd77260bc62332eb33d886b188bdcb (from https://pypi.org/simple/lean/) (requires-python:>= 3.6), version: 0.1.23
2021-05-08T05:39:29,829   Found link https://files.pythonhosted.org/packages/bf/93/7f420a68d8594d4140735efeeae918dafb2aa2663f073c08710527a184af/lean-0.1.24-py3-none-any.whl#sha256=6426afdffe581a419d62a08d65ee654cf0fc851d6c2f28ca21efb74bf9e3457d (from https://pypi.org/simple/lean/) (requires-python:>= 3.6), version: 0.1.24
2021-05-08T05:39:29,829   Found link https://files.pythonhosted.org/packages/f4/3f/e619042b61a6dbcb687922e9b65b03f8554225e0eec1e69a939c6225a20b/lean-0.1.24.tar.gz#sha256=f4c735c2bb8da8424067ed839e89c1282e2a26cd761ef70e3e97983ecec9f417 (from https://pypi.org/simple/lean/) (requires-python:>= 3.6), version: 0.1.24
2021-05-08T05:39:29,830   Found link https://files.pythonhosted.org/packages/b4/fc/d9b4f5e35a7fbfdc6736e86cce371917ad37ffa9185a4bd3e72ff782ab64/lean-0.1.25-py3-none-any.whl#sha256=5cc87d68023b8cdcdebcadb9b34f6b5582db21950024a00cb3eb2ead61776178 (from https://pypi.org/simple/lean/) (requires-python:>= 3.6), version: 0.1.25
2021-05-08T05:39:29,831   Found link https://files.pythonhosted.org/packages/e2/83/ff6f18440b8c5f1156d5a0555b42adfbdccd80fceb415300e2f2527094f8/lean-0.1.25.tar.gz#sha256=442066ef4913dac44c4b724eb4e10e7203029701fc4df4776ddab666d2daf5e8 (from https://pypi.org/simple/lean/) (requires-python:>= 3.6), version: 0.1.25
2021-05-08T05:39:29,831   Found link https://files.pythonhosted.org/packages/55/90/9ef79a1d73fdb75f2b5ff7a0f42e3d54d14222325f965fce2099b3de75d5/lean-0.1.26-py3-none-any.whl#sha256=dde7a0a43d6f81a5b813868b80d6c8655c97e49eaf0b7ab8333cf8d2caa79a1e (from https://pypi.org/simple/lean/) (requires-python:>= 3.6), version: 0.1.26
2021-05-08T05:39:29,832   Found link https://files.pythonhosted.org/packages/91/7f/16993b0a3d14ce98e495afbf045e93ec1e8292be28d82820a79c1c2630ce/lean-0.1.26.tar.gz#sha256=8ded2dae8b4e1b5d090ca27420835add296dbe2437c5159c9cdd32fe8ce794c7 (from https://pypi.org/simple/lean/) (requires-python:>= 3.6), version: 0.1.26
2021-05-08T05:39:29,833   Found link https://files.pythonhosted.org/packages/65/c4/e586c515dd0ed8c9dc4932cb09a7a422cf3d16c824d0335a6669e64c3cf0/lean-0.1.27-py3-none-any.whl#sha256=976798748f5979f6c08e411c3949380024ea596160713d01ad33558f6d001e2c (from https://pypi.org/simple/lean/) (requires-python:>= 3.6), version: 0.1.27
2021-05-08T05:39:29,833   Found link https://files.pythonhosted.org/packages/a5/5f/068635754580574ad4e7e33515c4c99c0babda097313a9ac474a2444a82b/lean-0.1.27.tar.gz#sha256=48318bb2387ff5a5b9cfbec7b921bcf7114ae85969814bd3a84ffd0f967aab3a (from https://pypi.org/simple/lean/) (requires-python:>= 3.6), version: 0.1.27
2021-05-08T05:39:29,834   Found link https://files.pythonhosted.org/packages/b0/48/75701f711020efd26be023abc4afa2334f951820175563f194d3e1c5f229/lean-0.1.28-py3-none-any.whl#sha256=d1317439460dc8ac960b1e32bf4ebb74f69d6f534b8a27dcdc5c959728f0de53 (from https://pypi.org/simple/lean/) (requires-python:>= 3.6), version: 0.1.28
2021-05-08T05:39:29,835   Found link https://files.pythonhosted.org/packages/a4/90/265e63f8b462ace676326750a51eb4334c0f938625b9c63ab4246da16c6a/lean-0.1.28.tar.gz#sha256=518883aa86fabd7b642796ab045b5b96aa9f262a516efc3507be5126a6214096 (from https://pypi.org/simple/lean/) (requires-python:>= 3.6), version: 0.1.28
2021-05-08T05:39:29,835   Found link https://files.pythonhosted.org/packages/84/b2/00971f979f848a5ad918fe11110539e67ca9bf826fa7413d7c70cd71f666/lean-0.1.29-py3-none-any.whl#sha256=175d1c45a39c5858e32470d459ace105d9d923a269dff13530b83fd3134e2a24 (from https://pypi.org/simple/lean/) (requires-python:>= 3.6), version: 0.1.29
2021-05-08T05:39:29,836   Found link https://files.pythonhosted.org/packages/37/d0/0c30592e4addfeedf1dd5a12728c56c8b5fa4e7166a30a68227e9f01e81f/lean-0.1.29.tar.gz#sha256=93ed77ab2f716f9b1bb3d99e96c55a2cf93fb1664aafd26fa708c2ec60807dde (from https://pypi.org/simple/lean/) (requires-python:>= 3.6), version: 0.1.29
2021-05-08T05:39:29,837   Found link https://files.pythonhosted.org/packages/63/f5/7deb6284fd01c4cbaf56365cea8ecfe52d61d79b6a7c5205726ca3444a76/lean-0.1.30-py3-none-any.whl#sha256=2baea126013eda13af8e2930f118f0310e6c0755673f6e0a2f6ceb0939ace39a (from https://pypi.org/simple/lean/) (requires-python:>= 3.6), version: 0.1.30
2021-05-08T05:39:29,837   Found link https://files.pythonhosted.org/packages/60/09/31bdde359851f0df15426a2002c402efc15ba1c16bac13c54a2f1023806e/lean-0.1.30.tar.gz#sha256=e77dc2486b10b49a01b1be06abb0c548fde3807507055007d54acaf062f3661b (from https://pypi.org/simple/lean/) (requires-python:>= 3.6), version: 0.1.30
2021-05-08T05:39:29,838   Found link https://files.pythonhosted.org/packages/56/52/5199c0fd7fc1cfd252e24d6cfaf4fbbb129093de1359d956ffb74558698c/lean-0.1.31-py3-none-any.whl#sha256=93bfd1e10d353efec9375b93df0c3f28900f3e46e2d1cf763263415bb8dc6e53 (from https://pypi.org/simple/lean/) (requires-python:>= 3.6), version: 0.1.31
2021-05-08T05:39:29,839   Found link https://files.pythonhosted.org/packages/5a/3e/3e1c917123ba34ca4482f6c001cb87241fb8e3b8e3debda4a69ae0715b14/lean-0.1.31.tar.gz#sha256=70fe5374743ff4034ebee94e61cd9a8a21143de3cd6380f9e04e5663bbb1cf96 (from https://pypi.org/simple/lean/) (requires-python:>= 3.6), version: 0.1.31
2021-05-08T05:39:29,840   Found link https://files.pythonhosted.org/packages/0c/ee/56e404e2bb5c28425baa6b0ac71f9da0bfff6750b7cac5519b5f19ae2df1/lean-0.1.32-py3-none-any.whl#sha256=10725e318a780ab14edb1ed519fa44767120b0425ff1794a64ad53e204f5d438 (from https://pypi.org/simple/lean/) (requires-python:>= 3.6), version: 0.1.32
2021-05-08T05:39:29,840   Found link https://files.pythonhosted.org/packages/68/79/dce2c62f97c4048f82a1e7ffe88523e7083ed21399aae396d5ac1622ae6a/lean-0.1.32.tar.gz#sha256=afaf07f2fcbd9a3ea6d740929cbe8b3399529f921ea782af6cd1300e85494da0 (from https://pypi.org/simple/lean/) (requires-python:>= 3.6), version: 0.1.32
2021-05-08T05:39:29,841   Found link https://files.pythonhosted.org/packages/17/25/5992b0f2e40901e426d762ffb6ef83b0af8abf6abf625ac28b768a1ad4ef/lean-0.1.33-py3-none-any.whl#sha256=db1757ea273d62c2ba13ce5b3483c41eb95777d9231a320d3a58c9172304b903 (from https://pypi.org/simple/lean/) (requires-python:>= 3.6), version: 0.1.33
2021-05-08T05:39:29,842   Found link https://files.pythonhosted.org/packages/86/b5/e4fa0a74750b6b868d21160e0487d5059847f8aa3f0138a2444caf137b83/lean-0.1.33.tar.gz#sha256=92e9917a1106bf5dff79ea86ab9b3ceffbcb37cd5583deadf276c5ab0639acb2 (from https://pypi.org/simple/lean/) (requires-python:>= 3.6), version: 0.1.33
2021-05-08T05:39:29,842   Found link https://files.pythonhosted.org/packages/0c/d4/4790ce949de221db39af53d2273f63335aaed75d7ca2cea3cfe1ef77dc66/lean-0.1.34-py3-none-any.whl#sha256=718a07a721ae0526dfb60e104ab04bcfc37449eb94b04b54593a53d5aec23689 (from https://pypi.org/simple/lean/) (requires-python:>= 3.6), version: 0.1.34
2021-05-08T05:39:29,843   Found link https://files.pythonhosted.org/packages/a7/ff/c90d313941de9a14888eae1469b8a2435cbde205add0a3da4070c6c7a965/lean-0.1.34.tar.gz#sha256=5d39d58d9f6815ab431428c5d5f260db00a84c8db511adca2ab63c3580228227 (from https://pypi.org/simple/lean/) (requires-python:>= 3.6), version: 0.1.34
2021-05-08T05:39:29,844   Found link https://files.pythonhosted.org/packages/8f/88/b8aa5d4803021e3d4f54acf0cad85217a5da42ea635d6f461d6abf085358/lean-0.1.35-py3-none-any.whl#sha256=bb805def51704e90973e99f0d4153d19b63fc0d8f2ec6c6d6ef785f48a7d7b29 (from https://pypi.org/simple/lean/) (requires-python:>= 3.6), version: 0.1.35
2021-05-08T05:39:29,844   Found link https://files.pythonhosted.org/packages/63/9f/db683628109dafd7b0ee0418d08140f604300cfec9f82db331f42ef9291a/lean-0.1.35.tar.gz#sha256=435dab449c97ceea4ea93084409168177715645b9967411702d55c7723ee784b (from https://pypi.org/simple/lean/) (requires-python:>= 3.6), version: 0.1.35
2021-05-08T05:39:29,845   Found link https://files.pythonhosted.org/packages/54/a6/fb8de2872b1935bfcd2e45ec6ed23a1b6f0cb9362d04c7e2485ced16b809/lean-0.1.36-py3-none-any.whl#sha256=453d85765209c1f37aa420930c68a407731e93979189d1e5cbacab098fb48551 (from https://pypi.org/simple/lean/) (requires-python:>= 3.6), version: 0.1.36
2021-05-08T05:39:29,846   Found link https://files.pythonhosted.org/packages/09/2d/1cb9774f3bf521f8cfc2f02ab5df170f48a8ad3defcbbe686de34f5d86c3/lean-0.1.36.tar.gz#sha256=271c67cdfe2047f42a4e467345083ba632b8575fe988ef30777d6decf7be5bd0 (from https://pypi.org/simple/lean/) (requires-python:>= 3.6), version: 0.1.36
2021-05-08T05:39:29,846   Found link https://files.pythonhosted.org/packages/3f/14/f145aeb00f08813049251f46dc87ee3cfa129514d955e29c18d244b04842/lean-0.1.37-py3-none-any.whl#sha256=c08f2c91cfacb0258a19f92e72f2f9f550725b72608d80f92308ddb93e1a8600 (from https://pypi.org/simple/lean/) (requires-python:>= 3.6), version: 0.1.37
2021-05-08T05:39:29,847   Found link https://files.pythonhosted.org/packages/e6/c7/1c84806a68f60991acad8a6f79017c725fe77edef5b38f99b4fdb14f302e/lean-0.1.37.tar.gz#sha256=daf3276b9f30ae8de02de99af8cfd9450d7162f6004ea985231f24b378812da7 (from https://pypi.org/simple/lean/) (requires-python:>= 3.6), version: 0.1.37
2021-05-08T05:39:29,848   Found link https://files.pythonhosted.org/packages/9f/4a/43324727384c4836f003ccef320b2e1ce7d3089d806bb1b05291da8749fb/lean-0.1.38-py3-none-any.whl#sha256=9d76b8d80f0fb89763d7eb85ee6fe997d37094216a43397365de616e84b5d918 (from https://pypi.org/simple/lean/) (requires-python:>= 3.6), version: 0.1.38
2021-05-08T05:39:29,848   Found link https://files.pythonhosted.org/packages/6e/f1/d6ce6018e012308fb255ff4de89e01e56d9d48c7bd7b4fe86f54df6d45fa/lean-0.1.38.tar.gz#sha256=6ec722099f7987d8b2a0c504d3674bd70f1fcfd64143c0208205bd4b4ffd5337 (from https://pypi.org/simple/lean/) (requires-python:>= 3.6), version: 0.1.38
2021-05-08T05:39:29,849   Found link https://files.pythonhosted.org/packages/a6/fe/7e4cb244ab324b59c89e456ddf9b03ce9f4f043881238e07851cd89b3666/lean-0.1.39-py3-none-any.whl#sha256=3f4c37d85a50536c693f1a64cb8961e60fad73fd2f82bb17ce6777c363d6125e (from https://pypi.org/simple/lean/) (requires-python:>= 3.6), version: 0.1.39
2021-05-08T05:39:29,850   Found link https://files.pythonhosted.org/packages/03/c1/3ec3ed19df5d8c051251d81633e9870fe4abcf2874fe81c295b43acdb6e2/lean-0.1.39.tar.gz#sha256=6f158d1c07c902b5655b26bd2baca3c3ea80ea452a7b3241bea83796ebf9bfd8 (from https://pypi.org/simple/lean/) (requires-python:>= 3.6), version: 0.1.39
2021-05-08T05:39:29,850   Found link https://files.pythonhosted.org/packages/94/0b/6bc4240863dcc318b1c5e74ec71e0981433aa3e6e1591036f5ccae06df82/lean-0.1.40-py3-none-any.whl#sha256=3766cd17fcf39e634a2222c1564627f9eb87eb08760d52687eb324952d01e849 (from https://pypi.org/simple/lean/) (requires-python:>= 3.6), version: 0.1.40
2021-05-08T05:39:29,851   Found link https://files.pythonhosted.org/packages/f9/04/1d2e8f799b79f7796159b9eba360339dbb7ea77d0f0368cb758249ca16fc/lean-0.1.40.tar.gz#sha256=97c4cb54c1c2498641280d94a429d271e00f3e7e875f5c0222bf88ad44f08b75 (from https://pypi.org/simple/lean/) (requires-python:>= 3.6), version: 0.1.40
2021-05-08T05:39:29,852   Found link https://files.pythonhosted.org/packages/e6/7a/ce1065f1433f033988febbfb7850aa1c78a47b72bcf698f23fe77ca063bc/lean-0.1.41-py3-none-any.whl#sha256=d40f6832e849c7a03f13826d8ca02584ac856b8510ec2ec93d9d02fe549fb223 (from https://pypi.org/simple/lean/) (requires-python:>= 3.6), version: 0.1.41
2021-05-08T05:39:29,852   Found link https://files.pythonhosted.org/packages/a1/fe/9b9bbe064c3f3121f9b48352c8e4de1a4a3fbb5a91b3754a59b942a119d8/lean-0.1.41.tar.gz#sha256=24f5003f29d9029f045f9d0fc1f8f2ce30daf7ab9405f5fd30510cec1dad5fe3 (from https://pypi.org/simple/lean/) (requires-python:>= 3.6), version: 0.1.41
2021-05-08T05:39:29,853   Found link https://files.pythonhosted.org/packages/8d/9d/560b20680cfa245d1ab44cf81157ae5db627c05eb64ef7c1180c3992f5ad/lean-0.1.42-py3-none-any.whl#sha256=55b6c4024b58b618417850afdb9d92fe3bc785cded6554c335b06219cf2b2ebe (from https://pypi.org/simple/lean/) (requires-python:>= 3.6), version: 0.1.42
2021-05-08T05:39:29,854   Found link https://files.pythonhosted.org/packages/85/43/b90b1a560f7552a9b0d023864bb0e17f83faa7beb6a7234e8b09eda5570c/lean-0.1.42.tar.gz#sha256=2f5657eea017cc2f44cd936ce894ea5db257b39fb615a39c3e066fbf8bb7dfaa (from https://pypi.org/simple/lean/) (requires-python:>= 3.6), version: 0.1.42
2021-05-08T05:39:29,854   Found link https://files.pythonhosted.org/packages/71/79/d538d9cf1295229c601f32b73128e8fee6768e8d47c51b2a1bcff9917a5b/lean-0.1.43-py3-none-any.whl#sha256=716909a78371c69f59bcf30885d31034bdae60bcd3be0541044836785ace7a8c (from https://pypi.org/simple/lean/) (requires-python:>= 3.6), version: 0.1.43
2021-05-08T05:39:29,855   Found link https://files.pythonhosted.org/packages/38/88/b47c6f464e6659d4d5e0636b333b54fd0a55da4a46d98229fdd310c70945/lean-0.1.43.tar.gz#sha256=7fe74c24b89493cda2df8dc2a1328be566138405b05984ad7dcd3acaaa06d06d (from https://pypi.org/simple/lean/) (requires-python:>= 3.6), version: 0.1.43
2021-05-08T05:39:29,856   Found link https://files.pythonhosted.org/packages/31/ad/ddf636360b25eac3301f804f8f37a3a45d3a685bac84b295cd02e1d4e558/lean-0.1.44-py3-none-any.whl#sha256=d237b32eba1b7a3bf881e5d67367fce9ce81c43b6d2120206bb485442d8d2033 (from https://pypi.org/simple/lean/) (requires-python:>= 3.6), version: 0.1.44
2021-05-08T05:39:29,856   Found link https://files.pythonhosted.org/packages/b8/06/19d083b0a3b1a97bbe996068dd76271225b33a9339f1603d4eacdbc9c84c/lean-0.1.44.tar.gz#sha256=757442d664fd2b4a73c3b35ad4869e28784ccecf637839df99210207f3381dd1 (from https://pypi.org/simple/lean/) (requires-python:>= 3.6), version: 0.1.44
2021-05-08T05:39:29,857   Found link https://files.pythonhosted.org/packages/4f/f2/953a17cc0c978ffd76afc7334be165a919821f48c5f8245d5e173ba74ae5/lean-0.1.45-py3-none-any.whl#sha256=9dc5322594372c9525219213089d0fc031666c4c9f9404dfbef38c6cffcca99d (from https://pypi.org/simple/lean/) (requires-python:>= 3.6), version: 0.1.45
2021-05-08T05:39:29,858   Found link https://files.pythonhosted.org/packages/cb/32/5f0fe1b05dbe369a54b172be25ab44aad99abf66ec8fe660e018367b2ef0/lean-0.1.45.tar.gz#sha256=0d931651599a0b47f750574c87ff0f507c71bbbfb11eac51bdbbe72d134c8762 (from https://pypi.org/simple/lean/) (requires-python:>= 3.6), version: 0.1.45
2021-05-08T05:39:29,858   Found link https://files.pythonhosted.org/packages/3f/05/858b4e161cf27a7877bf437d161fd101cb4c8f8d6dfe673b266f60d8c018/lean-0.1.46-py3-none-any.whl#sha256=a7ee09b322264cc9a4cae463fac5a2e2adc1832771bdd2f8ff8fefe7cd8e8fb9 (from https://pypi.org/simple/lean/) (requires-python:>= 3.6), version: 0.1.46
2021-05-08T05:39:29,859   Found link https://files.pythonhosted.org/packages/29/81/cb3e335f82c66bef5e79a4492a2dfa1e7dd924a3bd82f9057b5c760f5cf2/lean-0.1.46.tar.gz#sha256=3ba7155635f11bc623e62eff968576563be29e23065b5fe67534bcfa959ac195 (from https://pypi.org/simple/lean/) (requires-python:>= 3.6), version: 0.1.46
2021-05-08T05:39:29,860   Found link https://files.pythonhosted.org/packages/df/60/fac22f7298153219113e085ff6954ca7ca7336f50c7e8cff9d8356f7e614/lean-0.1.47-py3-none-any.whl#sha256=6869c5836b59c7f756e4f559ec732170541c059b2093870dc2b3fbd30b721628 (from https://pypi.org/simple/lean/) (requires-python:>= 3.6), version: 0.1.47
2021-05-08T05:39:29,860   Found link https://files.pythonhosted.org/packages/4d/67/ad8be2a1310383c184aa0a7c7c497683807c3b970b26ae609b9aa2f88cde/lean-0.1.47.tar.gz#sha256=4e3ecf63e4e7402b7f9f6c11a5daa4e51eb5639267cf7a639ee7e457a83b0658 (from https://pypi.org/simple/lean/) (requires-python:>= 3.6), version: 0.1.47
2021-05-08T05:39:29,861   Found link https://files.pythonhosted.org/packages/3d/b2/4506a20d574360812e8aa8df69ebe1852d3ff208173819ad9f82f826a233/lean-0.1.48-py3-none-any.whl#sha256=e821b6ea667f82f97b669f297a9f72959653f8c427f3d4de55660bb5bcb5864c (from https://pypi.org/simple/lean/) (requires-python:>= 3.6), version: 0.1.48
2021-05-08T05:39:29,862   Found link https://files.pythonhosted.org/packages/0d/6f/b5572e990b329ca22f65227c94dec20ec4072bed9edb88bfb60954ba5f8e/lean-0.1.48.tar.gz#sha256=b1fa365b82f7148c2d7b7d0ca777f3598a7132fbffa034b8e83a14feb7dfc65d (from https://pypi.org/simple/lean/) (requires-python:>= 3.6), version: 0.1.48
2021-05-08T05:39:29,862   Found link https://files.pythonhosted.org/packages/0e/c3/c38d1f2d52ca93487d8619bbbdbc21e8528ae022cb9c4cc1e20a32be1ff3/lean-0.1.49-py3-none-any.whl#sha256=2d52e2486d8e84f972c429bd1149b642862465c44cc712786bbe734971a8e7be (from https://pypi.org/simple/lean/) (requires-python:>= 3.6), version: 0.1.49
2021-05-08T05:39:29,863   Found link https://files.pythonhosted.org/packages/7d/6e/90b7d7fa05dbbd8c98f165c28d2110216af756033a5460ee3fbf349dc148/lean-0.1.49.tar.gz#sha256=9fd34d853ef02404af234dcc21f635683ecaa9ebf2e2b840b60d55b3224ec94a (from https://pypi.org/simple/lean/) (requires-python:>= 3.6), version: 0.1.49
2021-05-08T05:39:29,864   Found link https://files.pythonhosted.org/packages/d1/47/65385839fa03257cbc5428be1a9bd272d80932f5c9382094435c1d3b90ed/lean-0.1.50-py3-none-any.whl#sha256=bc1ebb6d3357081fcb3ff5efdaea6af6ab12e1e948a5027f2b5c11b563aebaea (from https://pypi.org/simple/lean/) (requires-python:>= 3.6), version: 0.1.50
2021-05-08T05:39:29,864   Found link https://files.pythonhosted.org/packages/08/67/6ac3c7c398133fb7e88743526f492c1816b287063b0665345e360d7d9c00/lean-0.1.50.tar.gz#sha256=09e31e1757cdd90c5bdab822642c6d22ae8307a7775888dd3f28d8588ed4ca52 (from https://pypi.org/simple/lean/) (requires-python:>= 3.6), version: 0.1.50
2021-05-08T05:39:29,865   Found link https://files.pythonhosted.org/packages/08/bf/02c4795d23235977ba5f0254211c0a34538ce518fcb2313cfe5e8ea3f690/lean-0.1.51-py3-none-any.whl#sha256=bb4aa3845551c935cb16637ff4eff1300d5b73f150866be831d6643ccf9169ae (from https://pypi.org/simple/lean/) (requires-python:>= 3.6), version: 0.1.51
2021-05-08T05:39:29,865   Found link https://files.pythonhosted.org/packages/d4/34/5c4608cae3f53ebe21366eb3e795aaf4b38f661320ac4ba4b186847a0a29/lean-0.1.51.tar.gz#sha256=236c07ec02fabfd43153dd846788e78b8897f047c28a17608c14b840a1ee3543 (from https://pypi.org/simple/lean/) (requires-python:>= 3.6), version: 0.1.51
2021-05-08T05:39:29,866   Found link https://files.pythonhosted.org/packages/09/7e/a504e20be92da5164aba34f48f659c71cb64315f67c70af660ccc488b6bf/lean-0.1.52-py3-none-any.whl#sha256=3940da7ff3d3f9d123cd1976ea4dcd1e645c50a8130791f46bdfe0d6407ca218 (from https://pypi.org/simple/lean/) (requires-python:>= 3.6), version: 0.1.52
2021-05-08T05:39:29,867   Found link https://files.pythonhosted.org/packages/f8/7c/e3260624b3a1757acf569fd793e3dcf44dd74950d749273f6f273be647fd/lean-0.1.52.tar.gz#sha256=36cc10abb6610c2f3235756e7034cffdb37e52c8cae0e8923f89ec1410d902e4 (from https://pypi.org/simple/lean/) (requires-python:>= 3.6), version: 0.1.52
2021-05-08T05:39:29,867 Skipping link: not a file: https://pypi.org/simple/lean/
2021-05-08T05:39:29,884 Given no hashes to check 2 links for project 'lean': discarding no candidates
2021-05-08T05:39:29,899 Collecting lean==0.1.49
2021-05-08T05:39:29,900   Created temporary directory: /tmp/pip-unpack-hpa_pand
2021-05-08T05:39:29,943   Downloading lean-0.1.49-py3-none-any.whl (146 kB)
2021-05-08T05:39:29,961   Added lean==0.1.49 from https://files.pythonhosted.org/packages/0e/c3/c38d1f2d52ca93487d8619bbbdbc21e8528ae022cb9c4cc1e20a32be1ff3/lean-0.1.49-py3-none-any.whl#sha256=2d52e2486d8e84f972c429bd1149b642862465c44cc712786bbe734971a8e7be to build tracker '/tmp/pip-req-tracker-zfrr72g6'
2021-05-08T05:39:29,962   Removed lean==0.1.49 from https://files.pythonhosted.org/packages/0e/c3/c38d1f2d52ca93487d8619bbbdbc21e8528ae022cb9c4cc1e20a32be1ff3/lean-0.1.49-py3-none-any.whl#sha256=2d52e2486d8e84f972c429bd1149b642862465c44cc712786bbe734971a8e7be from build tracker '/tmp/pip-req-tracker-zfrr72g6'
2021-05-08T05:39:29,977 Created temporary directory: /tmp/pip-unpack-7cykyo54
2021-05-08T05:39:29,983 Saved /tmp/tmpl085og0z/lean-0.1.49-py3-none-any.whl
2021-05-08T05:39:29,983 Removed build tracker: '/tmp/pip-req-tracker-zfrr72g6'