2021-06-30T13:17:17,902 Created temporary directory: /tmp/pip-ephem-wheel-cache-w829_y7d 2021-06-30T13:17:17,905 Created temporary directory: /tmp/pip-req-tracker-ueksq5ii 2021-06-30T13:17:17,905 Initialized build tracking at /tmp/pip-req-tracker-ueksq5ii 2021-06-30T13:17:17,905 Created build tracker: /tmp/pip-req-tracker-ueksq5ii 2021-06-30T13:17:17,906 Entered build tracker: /tmp/pip-req-tracker-ueksq5ii 2021-06-30T13:17:17,906 Created temporary directory: /tmp/pip-wheel-7ltq5pap 2021-06-30T13:17:17,944 1 location(s) to search for versions of lean: 2021-06-30T13:17:17,944 * https://pypi.org/simple/lean/ 2021-06-30T13:17:17,944 Fetching project page and analyzing links: https://pypi.org/simple/lean/ 2021-06-30T13:17:17,945 Getting page https://pypi.org/simple/lean/ 2021-06-30T13:17:17,947 Found index url https://pypi.org/simple 2021-06-30T13:17:18,144 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-06-30T13:17:18,145 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-06-30T13:17:18,145 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-06-30T13:17:18,146 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-06-30T13:17:18,147 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-06-30T13:17:18,147 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-06-30T13:17:18,148 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-06-30T13:17:18,149 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-06-30T13:17:18,150 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-06-30T13:17:18,150 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-06-30T13:17:18,151 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-06-30T13:17:18,152 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-06-30T13:17:18,152 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-06-30T13:17:18,153 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-06-30T13:17:18,154 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-06-30T13:17:18,154 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-06-30T13:17:18,155 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-06-30T13:17:18,156 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-06-30T13:17:18,156 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-06-30T13:17:18,157 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-06-30T13:17:18,158 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-06-30T13:17:18,158 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-06-30T13:17:18,159 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-06-30T13:17:18,160 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-06-30T13:17:18,161 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-06-30T13:17:18,161 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-06-30T13:17:18,162 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-06-30T13:17:18,163 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-06-30T13:17:18,163 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-06-30T13:17:18,164 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-06-30T13:17:18,165 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-06-30T13:17:18,165 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-06-30T13:17:18,166 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-06-30T13:17:18,167 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-06-30T13:17:18,167 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-06-30T13:17:18,168 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-06-30T13:17:18,169 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-06-30T13:17:18,169 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-06-30T13:17:18,170 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-06-30T13:17:18,171 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-06-30T13:17:18,171 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-06-30T13:17:18,172 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-06-30T13:17:18,173 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-06-30T13:17:18,173 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-06-30T13:17:18,174 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-06-30T13:17:18,175 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-06-30T13:17:18,175 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-06-30T13:17:18,176 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-06-30T13:17:18,177 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-06-30T13:17:18,177 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-06-30T13:17:18,178 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-06-30T13:17:18,179 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-06-30T13:17:18,179 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-06-30T13:17:18,180 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-06-30T13:17:18,181 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-06-30T13:17:18,182 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-06-30T13:17:18,182 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-06-30T13:17:18,183 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-06-30T13:17:18,183 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-06-30T13:17:18,184 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-06-30T13:17:18,185 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-06-30T13:17:18,186 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-06-30T13:17:18,186 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-06-30T13:17:18,187 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-06-30T13:17:18,187 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-06-30T13:17:18,188 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-06-30T13:17:18,189 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-06-30T13:17:18,190 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-06-30T13:17:18,190 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-06-30T13:17:18,191 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-06-30T13:17:18,191 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-06-30T13:17:18,192 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-06-30T13:17:18,193 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-06-30T13:17:18,193 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-06-30T13:17:18,194 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-06-30T13:17:18,195 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-06-30T13:17:18,195 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-06-30T13:17:18,196 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-06-30T13:17:18,197 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-06-30T13:17:18,197 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-06-30T13:17:18,198 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-06-30T13:17:18,199 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-06-30T13:17:18,200 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-06-30T13:17:18,200 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-06-30T13:17:18,201 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-06-30T13:17:18,202 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-06-30T13:17:18,202 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-06-30T13:17:18,203 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-06-30T13:17:18,204 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-06-30T13:17:18,204 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-06-30T13:17:18,205 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-06-30T13:17:18,206 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-06-30T13:17:18,206 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-06-30T13:17:18,207 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-06-30T13:17:18,208 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-06-30T13:17:18,209 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-06-30T13:17:18,209 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-06-30T13:17:18,210 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-06-30T13:17:18,210 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-06-30T13:17:18,211 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-06-30T13:17:18,212 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-06-30T13:17:18,213 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-06-30T13:17:18,213 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-06-30T13:17:18,214 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-06-30T13:17:18,215 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-06-30T13:17:18,215 Found link https://files.pythonhosted.org/packages/e2/49/c2232ee2e8ad00be64bc21223550030890d828c0f590366c94088f00e70b/lean-0.1.53-py3-none-any.whl#sha256=4cb430a3b0024b73959c6fb2fe5bd4d05246ee49fbbbcde098ec97431d27d696 (from https://pypi.org/simple/lean/) (requires-python:>= 3.6), version: 0.1.53 2021-06-30T13:17:18,216 Found link https://files.pythonhosted.org/packages/8e/4b/5d7f090ccc19adb4f7dd7ee4e95392920579ef2969b1d316d0a5e5442e12/lean-0.1.53.tar.gz#sha256=dbe635e6b216522fbc10cd9456baa681a4f49df7bc9418ca64b5b4b86cd0323a (from https://pypi.org/simple/lean/) (requires-python:>= 3.6), version: 0.1.53 2021-06-30T13:17:18,217 Found link https://files.pythonhosted.org/packages/e0/3f/67116984ef1387b1601705d461d8c1f0d64b16fb76bda2e4255cba0f987d/lean-0.1.54-py3-none-any.whl#sha256=7d6ae1297984c687884788281505b3872bdd767ba92231481a94c7d127433d68 (from https://pypi.org/simple/lean/) (requires-python:>= 3.6), version: 0.1.54 2021-06-30T13:17:18,217 Found link https://files.pythonhosted.org/packages/39/0d/35534a73c53e5784629083a027e8e3df4d0f0e1573014e751c1769430df1/lean-0.1.54.tar.gz#sha256=8884f0760d1ac6367cf8e577e017d58af3efaca23e02afd550c2f9dc01843d46 (from https://pypi.org/simple/lean/) (requires-python:>= 3.6), version: 0.1.54 2021-06-30T13:17:18,218 Found link https://files.pythonhosted.org/packages/ce/92/887f7c419542e53c001434c21fc6f6bf2c22289f4c967c348aa25f5d2dce/lean-0.1.55-py3-none-any.whl#sha256=c7955b596bbbf1c150e81fc64e28fac5b7838b4e0d8ff8e83b4108c98a55f29a (from https://pypi.org/simple/lean/) (requires-python:>= 3.6), version: 0.1.55 2021-06-30T13:17:18,219 Found link https://files.pythonhosted.org/packages/97/c2/4d03fd607a203f3eb726ad4fc640db8636bc45f061ce74ea8c3c19e03adb/lean-0.1.55.tar.gz#sha256=3386880cb6322c112e5d36aadac54f51d9196396d595d2d5e8deaf70d73aaf22 (from https://pypi.org/simple/lean/) (requires-python:>= 3.6), version: 0.1.55 2021-06-30T13:17:18,219 Found link https://files.pythonhosted.org/packages/09/a1/3911508f79abdabea9d7d09912951357d0a7784df0dd77cce5b3a1bb09b0/lean-0.1.56-py3-none-any.whl#sha256=867f1f0fb56cde6fb3468f87aa77c6256db8e59b67731c5bb4db651e1616b1b1 (from https://pypi.org/simple/lean/) (requires-python:>= 3.6), version: 0.1.56 2021-06-30T13:17:18,220 Found link https://files.pythonhosted.org/packages/a7/b0/e6487aacea74b1e580957c82fa96a61434806758a984d0b3302cf5a207c6/lean-0.1.56.tar.gz#sha256=ca8f4efe5a5dc083677bbb8b33bdf902846da00dc31ade0321cac83c1dab5e97 (from https://pypi.org/simple/lean/) (requires-python:>= 3.6), version: 0.1.56 2021-06-30T13:17:18,221 Found link https://files.pythonhosted.org/packages/96/77/e2a5032772c22005b322149d89e3cb5b7394f292bdac2858938f7b93c1cf/lean-0.1.57-py3-none-any.whl#sha256=9e9b3d2a73a154edc22620e37ce693e429887dba4b01ba0e564e24a9f715092a (from https://pypi.org/simple/lean/) (requires-python:>= 3.6), version: 0.1.57 2021-06-30T13:17:18,221 Found link https://files.pythonhosted.org/packages/e9/87/9c9334f9bc27c6951baacd4ee6cafe050c6e78fc3b00ca244b6a7561d3e8/lean-0.1.57.tar.gz#sha256=c08552d0897ce7b52c4afb5b432364c39b155b3d4000c1d90f9eba1033e7689e (from https://pypi.org/simple/lean/) (requires-python:>= 3.6), version: 0.1.57 2021-06-30T13:17:18,222 Found link https://files.pythonhosted.org/packages/a8/0d/15f44e1c94af8bae3a8c33680791f3035a30b3dd5520936dfbccbae078d7/lean-0.1.58-py3-none-any.whl#sha256=1d4b1394b20faabf8fe22f8136d7945a855a71e831700fa0550812af4da5dd7e (from https://pypi.org/simple/lean/) (requires-python:>= 3.6), version: 0.1.58 2021-06-30T13:17:18,223 Found link https://files.pythonhosted.org/packages/12/90/b1ad1698bb0bd54a9376ee2f43c8202dfc41f3b157d31645895faa4fc5b4/lean-0.1.58.tar.gz#sha256=1adaaf47f847e107c6e21ebb9904bea14da8b9a05c5f7eaed72b85596b8d018f (from https://pypi.org/simple/lean/) (requires-python:>= 3.6), version: 0.1.58 2021-06-30T13:17:18,223 Found link https://files.pythonhosted.org/packages/c2/75/231974a5686ffa1f6de1c9a6a51ec00e582ab5e504970ddcc5e291397005/lean-0.1.59-py3-none-any.whl#sha256=58a14296e6e4abf334f7c5fe0d931cb624908dd8ceb6f5393b542898fd2f75e9 (from https://pypi.org/simple/lean/) (requires-python:>= 3.6), version: 0.1.59 2021-06-30T13:17:18,224 Found link https://files.pythonhosted.org/packages/6b/08/9ba27b04984c27f8b4cb05b44a8736677899b2339bc81064d804aefab94f/lean-0.1.59.tar.gz#sha256=7b2d5ace1283a16ab195ad5255f3244a2b6dee1d26c1a7115ec13d73c61c6859 (from https://pypi.org/simple/lean/) (requires-python:>= 3.6), version: 0.1.59 2021-06-30T13:17:18,225 Found link https://files.pythonhosted.org/packages/14/b5/96cae5826c35fb025f4fe3ae3c4e00364ff889b7e94b9ed9b3bf6b297e8e/lean-0.1.60-py3-none-any.whl#sha256=d9c15fdd320f8bb4778638a1845e32a521182a05f74fe3586649ec6d1386d390 (from https://pypi.org/simple/lean/) (requires-python:>= 3.6), version: 0.1.60 2021-06-30T13:17:18,225 Found link https://files.pythonhosted.org/packages/64/99/ac4801a94b87d1fc1de136e1671afe6ada2c8025afe9216f79df1d71593c/lean-0.1.60.tar.gz#sha256=c6e6fce4a3bf3b5bb39db37d3aeda2e509d8014f4d4a8ac70e1bdb74a075da06 (from https://pypi.org/simple/lean/) (requires-python:>= 3.6), version: 0.1.60 2021-06-30T13:17:18,226 Found link https://files.pythonhosted.org/packages/dd/77/ec0dbc0000f3272598100acda6bbac4269eafe723f772b7a663ee6ee0b65/lean-0.1.61-py3-none-any.whl#sha256=1a35305b64a40d72afd472474bce2107de9ca4e86a7338adafa9a8cf1b07cc23 (from https://pypi.org/simple/lean/) (requires-python:>= 3.6), version: 0.1.61 2021-06-30T13:17:18,227 Found link https://files.pythonhosted.org/packages/cc/c6/bccefbc173b19e5d0ab8b9581f708cd4a79e792f043501c17d3fbbcb4fdb/lean-0.1.61.tar.gz#sha256=4494068067ffd382e5c635042652df8b30f5b070b62ac0ad074c109dfd8feb1b (from https://pypi.org/simple/lean/) (requires-python:>= 3.6), version: 0.1.61 2021-06-30T13:17:18,227 Found link https://files.pythonhosted.org/packages/be/01/73d6d5b8e3cc267ea1f05511fe6cf51223c1c1463476bbb41bb5c754105d/lean-1.0.0-py3-none-any.whl#sha256=b3d53db2cfa0e4cd70ef38cb8e4371195e0fdb91101e287a26444da6d7637791 (from https://pypi.org/simple/lean/) (requires-python:>= 3.6), version: 1.0.0 2021-06-30T13:17:18,228 Found link https://files.pythonhosted.org/packages/c1/79/e4e96719ee942b23bf63cd5e71e29fe764635022703009a7cd43d976f9d0/lean-1.0.0.tar.gz#sha256=9670649a242c84763fb605fd953e12f153b75bf381ad80d1e71d498af3886842 (from https://pypi.org/simple/lean/) (requires-python:>= 3.6), version: 1.0.0 2021-06-30T13:17:18,229 Found link https://files.pythonhosted.org/packages/ac/33/570d6429a878eafeab305e26a5079c5d77a09dfe52a8ce8e7d19ce8d7f40/lean-1.0.1-py3-none-any.whl#sha256=d1f8ce427a980e5644c0c2bbe2d5dfbbfc8ad94355f3872238fae1f0c2479014 (from https://pypi.org/simple/lean/) (requires-python:>= 3.6), version: 1.0.1 2021-06-30T13:17:18,229 Found link https://files.pythonhosted.org/packages/19/3c/799266d90de32e9fb002d07026ef2a27b87be5e0313016430868c9600778/lean-1.0.1.tar.gz#sha256=182e9a9d08a55766dc5dbba1853618099238e6f899f8a5a8b26cbcf1d67f0066 (from https://pypi.org/simple/lean/) (requires-python:>= 3.6), version: 1.0.1 2021-06-30T13:17:18,230 Found link https://files.pythonhosted.org/packages/0b/ef/f71d3c45d5d580f559a30cd44f6ec2b36a8ec977add75cbc58c82b143e90/lean-1.0.2-py3-none-any.whl#sha256=d5e8dd28235a231fdb6436cdaa3b74948b8f98afe000f79a5555a0238e8bb67a (from https://pypi.org/simple/lean/) (requires-python:>= 3.6), version: 1.0.2 2021-06-30T13:17:18,231 Found link https://files.pythonhosted.org/packages/c5/3f/31b1445a68630c759e232b1d82cb0eff1ac694c15996a10e788644cab53b/lean-1.0.2.tar.gz#sha256=eb9a7bf7b13010e5d9a71a54ac8089778a2007dc78192ebcfbf58543b13121a5 (from https://pypi.org/simple/lean/) (requires-python:>= 3.6), version: 1.0.2 2021-06-30T13:17:18,231 Found link https://files.pythonhosted.org/packages/ba/2a/037911aca6ed4e214eb4e461688ed7f6d41e1d980d1f7295fb3a8b94a0af/lean-1.0.3-py3-none-any.whl#sha256=6640f6abb59724864fc0f89f0acb66eb43637d2035a3e0e9a62028fbcd610f1a (from https://pypi.org/simple/lean/) (requires-python:>= 3.6), version: 1.0.3 2021-06-30T13:17:18,232 Found link https://files.pythonhosted.org/packages/dd/9d/cfab094dc0e4bc9e10bb6759b217af874abd0ef04aff4c67846e0705a437/lean-1.0.3.tar.gz#sha256=ac2af04fab80a18a6aad340780ab69fabe91cb2bffe73d6776d5dc57592bbf09 (from https://pypi.org/simple/lean/) (requires-python:>= 3.6), version: 1.0.3 2021-06-30T13:17:18,233 Found link https://files.pythonhosted.org/packages/99/67/5ac6130cc4a45b19210145d97be9a75937e9dc71fdb973a3c8a978eb0e58/lean-1.0.4-py3-none-any.whl#sha256=5fcf9d1adce01acabe9ffbaaf760db8a71e21be3abe8e66f741cf18cde4a7e75 (from https://pypi.org/simple/lean/) (requires-python:>= 3.6), version: 1.0.4 2021-06-30T13:17:18,233 Found link https://files.pythonhosted.org/packages/d9/f4/ddaf280e5d995e20aa12b9f820528ac96800f596cc067ce67884851985a4/lean-1.0.4.tar.gz#sha256=7bf9c48cc900bc9b32c580ff11243c13387eeac17babe562db2b826f83a03288 (from https://pypi.org/simple/lean/) (requires-python:>= 3.6), version: 1.0.4 2021-06-30T13:17:18,234 Found link https://files.pythonhosted.org/packages/75/21/ce29bd7ac8777a5dde8b4bd895e4e68a8df4748f3c5a910f8b39639664af/lean-1.0.5-py3-none-any.whl#sha256=f37d1023fe31938d7b46ee35311765507ec36fed55eacdf0acf35c5c5dd7070a (from https://pypi.org/simple/lean/) (requires-python:>= 3.6), version: 1.0.5 2021-06-30T13:17:18,235 Found link https://files.pythonhosted.org/packages/99/c5/2ff346ca0ee7963c12489fdc56ff2922ba0b1a3feee03f37236aa49445b5/lean-1.0.5.tar.gz#sha256=dcab1ab72c548f9f53f48e2f90251e8d2e4c612daa7bef863d4e00c9c9423047 (from https://pypi.org/simple/lean/) (requires-python:>= 3.6), version: 1.0.5 2021-06-30T13:17:18,235 Found link https://files.pythonhosted.org/packages/38/86/81f73bbe990766a8456115310034721fa0389e29512c60d4599968fa2a9c/lean-1.0.6-py3-none-any.whl#sha256=52c130eade5172a8f89fa0526bcd4b8547c6117113077a573d548c635d88cce2 (from https://pypi.org/simple/lean/) (requires-python:>= 3.6), version: 1.0.6 2021-06-30T13:17:18,236 Found link https://files.pythonhosted.org/packages/61/a1/5b834a41c56075ecbd34bab5c8eb27f238defb0c878108a5d751691b1b1c/lean-1.0.6.tar.gz#sha256=62547496cdb699cab4a1487ae0ede754e7e5fa6a5a672a9a4d704a992a1b60bd (from https://pypi.org/simple/lean/) (requires-python:>= 3.6), version: 1.0.6 2021-06-30T13:17:18,237 Found link https://files.pythonhosted.org/packages/19/9d/dff1601e7d0773045fe8bfc9771000a7604242f09e20636ce22c2b51b871/lean-1.0.7-py3-none-any.whl#sha256=8f0914c6908d07ee63e3548da50a54c3a1c6d8e261b7e4e1811acc7cd02037cf (from https://pypi.org/simple/lean/) (requires-python:>= 3.6), version: 1.0.7 2021-06-30T13:17:18,237 Found link https://files.pythonhosted.org/packages/44/d3/48df97a4f8ab2c41ebd0f29c1a6e4146ce07e3af82696bb1dd722e4b6009/lean-1.0.7.tar.gz#sha256=6607b91e0eb77f7af07d66a748e8a9e8576eb48376cd1dbd30ae6c783532da8d (from https://pypi.org/simple/lean/) (requires-python:>= 3.6), version: 1.0.7 2021-06-30T13:17:18,238 Found link https://files.pythonhosted.org/packages/35/1d/60362591df75234b606f4248338e1ce66903ffb1edcd5a39ba0cd256b145/lean-1.0.8-py3-none-any.whl#sha256=cb8520efa2c42e76bb58624c28769630772bcc3cdf1ec9724ade837cbfe89e6f (from https://pypi.org/simple/lean/) (requires-python:>= 3.6), version: 1.0.8 2021-06-30T13:17:18,239 Found link https://files.pythonhosted.org/packages/7a/f0/92599402898390b2ad90b19bcc869e754e5b703f2d3e096ecd518b9b6d78/lean-1.0.8.tar.gz#sha256=6c5c6526d8154c0bd39724c23ac71c1f13292467a0bdde667b701c18df3a94cc (from https://pypi.org/simple/lean/) (requires-python:>= 3.6), version: 1.0.8 2021-06-30T13:17:18,239 Found link https://files.pythonhosted.org/packages/eb/52/212e6bc4745d61ff3f670cce03e7a09a012979dbe2422c4741f7f0db73f5/lean-1.0.9-py3-none-any.whl#sha256=2044201d677dbd47de3e4106b6d7c3e18ac1bd5c3e6c6aa1c7520cb64657df42 (from https://pypi.org/simple/lean/) (requires-python:>= 3.6), version: 1.0.9 2021-06-30T13:17:18,240 Found link https://files.pythonhosted.org/packages/bb/38/7ee867462e6a847c3d1abcf6c11d578489b24c3239e35fcadac0eb285b44/lean-1.0.9.tar.gz#sha256=d8fc675485a34f1f3140aa0cf6cb9f391c074cf2c8623452d5c3f16313c6ac8b (from https://pypi.org/simple/lean/) (requires-python:>= 3.6), version: 1.0.9 2021-06-30T13:17:18,241 Found link https://files.pythonhosted.org/packages/9d/d9/f6831249f5595d429e7d97cc0c30a61c2c7fdd11dbd554b577977cfd7739/lean-1.0.10-py3-none-any.whl#sha256=b24420986d8e398dd3ebb8d2c080c739223b344b93e9b56ab396b16c3d2902bb (from https://pypi.org/simple/lean/) (requires-python:>= 3.6), version: 1.0.10 2021-06-30T13:17:18,241 Found link https://files.pythonhosted.org/packages/8d/a2/a28c9f2bdc3eab2a295227bb4dffd813b3bbaa52d90e48456573315c452a/lean-1.0.10.tar.gz#sha256=aa3768e666d6f72214759f3da58e6827d9c5ca4dfa8c93b2483127f852e94606 (from https://pypi.org/simple/lean/) (requires-python:>= 3.6), version: 1.0.10 2021-06-30T13:17:18,242 Found link https://files.pythonhosted.org/packages/fe/ba/80143b06b3c6850ff2c7846e00046815b0183ceb82ecf816c7e3982cd1cb/lean-1.0.11-py3-none-any.whl#sha256=04fb0c3a223fda0271b512bf1dc0fc1530db56508e60f5a043813d0529893a9b (from https://pypi.org/simple/lean/) (requires-python:>= 3.6), version: 1.0.11 2021-06-30T13:17:18,243 Found link https://files.pythonhosted.org/packages/91/f6/744f403306d6346291d414202597a10bd8e8447b35fbc641421ca0953d13/lean-1.0.11.tar.gz#sha256=bb0b41a45759dfc55a65517f6f83b070795a2d994a40fce7c1e755b4c4ff499b (from https://pypi.org/simple/lean/) (requires-python:>= 3.6), version: 1.0.11 2021-06-30T13:17:18,244 Found link https://files.pythonhosted.org/packages/75/08/0a7d3a18e5cb23753a323c67c5c3633e684c13a63fa6fe5ee175db297a6a/lean-1.0.12-py3-none-any.whl#sha256=2afe2919c53f6f986333db2f854e8a077a54b239f7f1a0e4c23040c1cee000e3 (from https://pypi.org/simple/lean/) (requires-python:>= 3.6), version: 1.0.12 2021-06-30T13:17:18,244 Found link https://files.pythonhosted.org/packages/14/19/8b49f28ff1c67bc4bc53203d6c87b187f4a3ebf83d0a58394abc20f50bfe/lean-1.0.12.tar.gz#sha256=1dfab6fc569a6017e698f8f986f2526b0de95eeac3b5721e6c7f1fe6d6921f2d (from https://pypi.org/simple/lean/) (requires-python:>= 3.6), version: 1.0.12 2021-06-30T13:17:18,245 Found link https://files.pythonhosted.org/packages/0e/9b/72b11efa7e21d26b6915ac5d517453ebb3c4c0a3234e6e85cc25f5f6b9a8/lean-1.0.13-py3-none-any.whl#sha256=1d6dda8d3e95763e9f260b51bd885941a3b3220b303c9b6287fa1e2ddb51a897 (from https://pypi.org/simple/lean/) (requires-python:>= 3.6), version: 1.0.13 2021-06-30T13:17:18,246 Found link https://files.pythonhosted.org/packages/7b/58/e4c96088bbc9786d7850acc2b3792f0c65b2d02e2d0ef3e0f14baf4c75b6/lean-1.0.13.tar.gz#sha256=1c4e92b48a88065bee52246a3bea2f0c8e1fe2918f90d3b1e9652720d3983c74 (from https://pypi.org/simple/lean/) (requires-python:>= 3.6), version: 1.0.13 2021-06-30T13:17:18,247 Found link https://files.pythonhosted.org/packages/b1/49/5765676b1cc74af7ebbce18743c528ca8da5a8b3845c2124bf82e857c7a5/lean-1.0.14-py3-none-any.whl#sha256=be2f207d0910a42789622476d164b166040c26afa0d61e56555470babebd268f (from https://pypi.org/simple/lean/) (requires-python:>= 3.6), version: 1.0.14 2021-06-30T13:17:18,248 Found link https://files.pythonhosted.org/packages/be/f4/65bb1a471521bfc7c2beef3ee4bd1b3f3b51cdb69d60072ee1821193c744/lean-1.0.14.tar.gz#sha256=b79a680abcddd8371614d941392c73e5bb4bdca85f3b1c1106b59bc1a98015af (from https://pypi.org/simple/lean/) (requires-python:>= 3.6), version: 1.0.14 2021-06-30T13:17:18,249 Found link https://files.pythonhosted.org/packages/f2/37/7535dab5bdc287c46c08858106ddd904651410e6a324d7f844a9d50288de/lean-1.0.15-py3-none-any.whl#sha256=bd36da3c665d99a1b7d02f518fc5cc73905c276b08e9ce53715a1d97e11ffef0 (from https://pypi.org/simple/lean/) (requires-python:>= 3.6), version: 1.0.15 2021-06-30T13:17:18,249 Found link https://files.pythonhosted.org/packages/40/b2/16a249688ddc5dfe66ce4426e746e740d4e17394128548fef1d2f85fd787/lean-1.0.15.tar.gz#sha256=a3215393534a443db6116246873e389107a4f2d4ff4848c264e0f07f5752eec4 (from https://pypi.org/simple/lean/) (requires-python:>= 3.6), version: 1.0.15 2021-06-30T13:17:18,250 Found link https://files.pythonhosted.org/packages/c1/cb/a3e2046f5d39f7e354a22542fa39988dbb40a5d3afb8e2580bb3821f0673/lean-1.0.16-py3-none-any.whl#sha256=90ac26c0ea934c822dc7ba562904c5bccf3a0edc6225ec85952cb5ad6ccba6d1 (from https://pypi.org/simple/lean/) (requires-python:>= 3.6), version: 1.0.16 2021-06-30T13:17:18,251 Found link https://files.pythonhosted.org/packages/e3/72/f81622731aa985e51c22ab595087ebb3f1a84fbc4babf4da81551c396f87/lean-1.0.16.tar.gz#sha256=9747217f87a1732471af4ea191f04aff2f9ff77ec61252d4d563660a9ca1e782 (from https://pypi.org/simple/lean/) (requires-python:>= 3.6), version: 1.0.16 2021-06-30T13:17:18,251 Found link https://files.pythonhosted.org/packages/ab/c0/d0f5b168cf27c08d78667942a67f9763bd76e7fcb3d3bdc32c63ec489e75/lean-1.0.17-py3-none-any.whl#sha256=82252ae19eab9e3400f6c2e834619037f2aba5696c50371969127fb1e6a4a347 (from https://pypi.org/simple/lean/) (requires-python:>= 3.6), version: 1.0.17 2021-06-30T13:17:18,252 Found link https://files.pythonhosted.org/packages/c1/4d/7e15f6ef4ef85ecf948e9aa5648947bdc1d259a0ff4f5a35346c18f75dd4/lean-1.0.17.tar.gz#sha256=aae980cf5991133983f872d20b9d4fcbd02cef1ed83e68baa4d30f5dcaba8dce (from https://pypi.org/simple/lean/) (requires-python:>= 3.6), version: 1.0.17 2021-06-30T13:17:18,253 Found link https://files.pythonhosted.org/packages/d9/6f/8e1644aa1d2423c59d0208ee8b55e271d109d8dce69464e5f655d402bba6/lean-1.0.18-py3-none-any.whl#sha256=1d77d1137c10c6eae32611c97c44f869482c0c75f6077e939b28569680de6363 (from https://pypi.org/simple/lean/) (requires-python:>= 3.6), version: 1.0.18 2021-06-30T13:17:18,253 Found link https://files.pythonhosted.org/packages/ab/b2/6501e44aa8191d28f26d8e276551e60d76f6faf12c64950fb93a40fbf81c/lean-1.0.18.tar.gz#sha256=82e8c0a237378988f116c90745f0c38af5c94ff9fe38cecf19ba902b4afc0289 (from https://pypi.org/simple/lean/) (requires-python:>= 3.6), version: 1.0.18 2021-06-30T13:17:18,254 Skipping link: not a file: https://pypi.org/simple/lean/ 2021-06-30T13:17:18,279 Given no hashes to check 2 links for project 'lean': discarding no candidates 2021-06-30T13:17:18,297 Collecting lean==1.0.18 2021-06-30T13:17:18,299 Created temporary directory: /tmp/pip-unpack-tbbjvp4r 2021-06-30T13:17:18,510 Downloading lean-1.0.18-py3-none-any.whl (242 kB) 2021-06-30T13:17:18,547 Added lean==1.0.18 from https://files.pythonhosted.org/packages/d9/6f/8e1644aa1d2423c59d0208ee8b55e271d109d8dce69464e5f655d402bba6/lean-1.0.18-py3-none-any.whl#sha256=1d77d1137c10c6eae32611c97c44f869482c0c75f6077e939b28569680de6363 to build tracker '/tmp/pip-req-tracker-ueksq5ii' 2021-06-30T13:17:18,547 Removed lean==1.0.18 from https://files.pythonhosted.org/packages/d9/6f/8e1644aa1d2423c59d0208ee8b55e271d109d8dce69464e5f655d402bba6/lean-1.0.18-py3-none-any.whl#sha256=1d77d1137c10c6eae32611c97c44f869482c0c75f6077e939b28569680de6363 from build tracker '/tmp/pip-req-tracker-ueksq5ii' 2021-06-30T13:17:18,591 Created temporary directory: /tmp/pip-unpack-eb044f5f 2021-06-30T13:17:18,599 Saved /tmp/tmph5ylnwgu/lean-1.0.18-py3-none-any.whl 2021-06-30T13:17:18,599 Removed build tracker: '/tmp/pip-req-tracker-ueksq5ii'