2021-04-05T21:50:51,132 Created temporary directory: /tmp/pip-ephem-wheel-cache-82e6cf4g 2021-04-05T21:50:51,135 Created temporary directory: /tmp/pip-req-tracker-8xadsacv 2021-04-05T21:50:51,136 Initialized build tracking at /tmp/pip-req-tracker-8xadsacv 2021-04-05T21:50:51,136 Created build tracker: /tmp/pip-req-tracker-8xadsacv 2021-04-05T21:50:51,136 Entered build tracker: /tmp/pip-req-tracker-8xadsacv 2021-04-05T21:50:51,137 Created temporary directory: /tmp/pip-wheel-mq439h10 2021-04-05T21:50:51,174 1 location(s) to search for versions of lean: 2021-04-05T21:50:51,174 * https://pypi.org/simple/lean/ 2021-04-05T21:50:51,174 Fetching project page and analyzing links: https://pypi.org/simple/lean/ 2021-04-05T21:50:51,175 Getting page https://pypi.org/simple/lean/ 2021-04-05T21:50:51,176 Found index url https://pypi.org/simple 2021-04-05T21:50:51,329 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-04-05T21:50:51,330 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-04-05T21:50:51,331 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-04-05T21:50:51,332 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-04-05T21:50:51,332 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-04-05T21:50:51,333 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-04-05T21:50:51,334 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-04-05T21:50:51,335 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-04-05T21:50:51,335 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-04-05T21:50:51,336 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-04-05T21:50:51,337 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-04-05T21:50:51,338 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-04-05T21:50:51,338 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-04-05T21:50:51,339 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-04-05T21:50:51,339 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-04-05T21:50:51,340 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-04-05T21:50:51,341 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-04-05T21:50:51,342 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-04-05T21:50:51,342 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-04-05T21:50:51,343 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-04-05T21:50:51,344 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-04-05T21:50:51,344 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-04-05T21:50:51,345 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-04-05T21:50:51,346 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-04-05T21:50:51,347 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-04-05T21:50:51,347 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-04-05T21:50:51,348 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-04-05T21:50:51,349 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-04-05T21:50:51,349 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-04-05T21:50:51,350 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-04-05T21:50:51,351 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-04-05T21:50:51,351 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-04-05T21:50:51,352 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-04-05T21:50:51,353 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-04-05T21:50:51,353 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-04-05T21:50:51,354 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-04-05T21:50:51,355 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-04-05T21:50:51,355 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-04-05T21:50:51,356 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-04-05T21:50:51,357 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-04-05T21:50:51,357 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-04-05T21:50:51,358 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-04-05T21:50:51,359 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-04-05T21:50:51,359 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-04-05T21:50:51,360 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-04-05T21:50:51,361 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-04-05T21:50:51,361 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-04-05T21:50:51,362 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-04-05T21:50:51,363 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-04-05T21:50:51,363 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-04-05T21:50:51,364 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-04-05T21:50:51,365 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-04-05T21:50:51,365 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-04-05T21:50:51,366 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-04-05T21:50:51,367 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-04-05T21:50:51,368 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-04-05T21:50:51,368 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-04-05T21:50:51,369 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-04-05T21:50:51,370 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-04-05T21:50:51,370 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-04-05T21:50:51,371 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-04-05T21:50:51,372 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-04-05T21:50:51,372 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-04-05T21:50:51,373 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-04-05T21:50:51,374 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-04-05T21:50:51,374 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-04-05T21:50:51,375 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-04-05T21:50:51,376 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-04-05T21:50:51,376 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-04-05T21:50:51,377 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-04-05T21:50:51,378 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-04-05T21:50:51,378 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-04-05T21:50:51,379 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-04-05T21:50:51,380 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-04-05T21:50:51,380 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-04-05T21:50:51,393 Given no hashes to check 2 links for project 'lean': discarding no candidates 2021-04-05T21:50:51,410 Collecting lean==0.1.37 2021-04-05T21:50:51,411 Created temporary directory: /tmp/pip-unpack-7094kufi 2021-04-05T21:50:51,585 Downloading lean-0.1.37-py3-none-any.whl (134 kB) 2021-04-05T21:50:51,621 Added lean==0.1.37 from https://files.pythonhosted.org/packages/3f/14/f145aeb00f08813049251f46dc87ee3cfa129514d955e29c18d244b04842/lean-0.1.37-py3-none-any.whl#sha256=c08f2c91cfacb0258a19f92e72f2f9f550725b72608d80f92308ddb93e1a8600 to build tracker '/tmp/pip-req-tracker-8xadsacv' 2021-04-05T21:50:51,622 Removed lean==0.1.37 from https://files.pythonhosted.org/packages/3f/14/f145aeb00f08813049251f46dc87ee3cfa129514d955e29c18d244b04842/lean-0.1.37-py3-none-any.whl#sha256=c08f2c91cfacb0258a19f92e72f2f9f550725b72608d80f92308ddb93e1a8600 from build tracker '/tmp/pip-req-tracker-8xadsacv' 2021-04-05T21:50:51,638 Created temporary directory: /tmp/pip-unpack-yqvdnwlz 2021-04-05T21:50:51,648 Saved /tmp/tmp7amj57s6/lean-0.1.37-py3-none-any.whl 2021-04-05T21:50:51,648 Removed build tracker: '/tmp/pip-req-tracker-8xadsacv'