2022-10-23T10:05:59,095 Created temporary directory: /tmp/pip-ephem-wheel-cache-0e8p9855 2022-10-23T10:05:59,097 Created temporary directory: /tmp/pip-build-tracker-9pym5ai7 2022-10-23T10:05:59,098 Initialized build tracking at /tmp/pip-build-tracker-9pym5ai7 2022-10-23T10:05:59,098 Created build tracker: /tmp/pip-build-tracker-9pym5ai7 2022-10-23T10:05:59,098 Entered build tracker: /tmp/pip-build-tracker-9pym5ai7 2022-10-23T10:05:59,099 Created temporary directory: /tmp/pip-wheel-4x4vjfzo 2022-10-23T10:05:59,131 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple 2022-10-23T10:05:59,134 2 location(s) to search for versions of mathlibtools: 2022-10-23T10:05:59,134 * https://pypi.org/simple/mathlibtools/ 2022-10-23T10:05:59,134 * https://www.piwheels.org/simple/mathlibtools/ 2022-10-23T10:05:59,135 Fetching project page and analyzing links: https://pypi.org/simple/mathlibtools/ 2022-10-23T10:05:59,135 Getting page https://pypi.org/simple/mathlibtools/ 2022-10-23T10:05:59,137 Found index url https://pypi.org/simple 2022-10-23T10:05:59,307 Fetched page https://pypi.org/simple/mathlibtools/ as application/vnd.pypi.simple.v1+json 2022-10-23T10:05:59,313 Skipping link: No binaries permitted for mathlibtools: https://files.pythonhosted.org/packages/37/c3/8dd9b21fe930bf82b22c23cd67db271e95440541bec36114fa2bd095d4e3/mathlibtools-0.0.1-py3-none-any.whl (from https://pypi.org/simple/mathlibtools/) (requires-python:>=3.5) 2022-10-23T10:05:59,314 Found link https://files.pythonhosted.org/packages/8a/9f/30e087178ea67c9c00d9020b4951b227463f3eb7002c25f5296ee90bea60/mathlibtools-0.0.1.tar.gz (from https://pypi.org/simple/mathlibtools/) (requires-python:>=3.5), version: 0.0.1 2022-10-23T10:05:59,314 Skipping link: No binaries permitted for mathlibtools: https://files.pythonhosted.org/packages/1d/ea/3803d38b51a094d6d034326aafc52dff2e201c6fc1357f7913586c0ad643/mathlibtools-0.0.2-py3-none-any.whl (from https://pypi.org/simple/mathlibtools/) (requires-python:>=3.5) 2022-10-23T10:05:59,315 Found link https://files.pythonhosted.org/packages/91/da/d6c186621f6dd8a2f8b426197f5f1081fa20ddd3ed9c2a2d491f3a0c6217/mathlibtools-0.0.2.tar.gz (from https://pypi.org/simple/mathlibtools/) (requires-python:>=3.5), version: 0.0.2 2022-10-23T10:05:59,315 Skipping link: No binaries permitted for mathlibtools: https://files.pythonhosted.org/packages/d7/b4/0a4b42207550e341afb1c86f1ad643b074a948299659035fe52ef511046f/mathlibtools-0.0.3-py3-none-any.whl (from https://pypi.org/simple/mathlibtools/) (requires-python:>=3.5) 2022-10-23T10:05:59,316 Found link https://files.pythonhosted.org/packages/b2/66/fbec9dc64aad3606eb07e941b8845ceb12b703246ef951f73925b2618a7c/mathlibtools-0.0.3.tar.gz (from https://pypi.org/simple/mathlibtools/) (requires-python:>=3.5), version: 0.0.3 2022-10-23T10:05:59,316 Skipping link: No binaries permitted for mathlibtools: https://files.pythonhosted.org/packages/8c/37/6dcf5dd973e6ec32fa78c8a1bb6598ea9676dde6276227339f2f204aaa3f/mathlibtools-0.0.4-py3-none-any.whl (from https://pypi.org/simple/mathlibtools/) (requires-python:>=3.5) 2022-10-23T10:05:59,317 Found link https://files.pythonhosted.org/packages/ea/fe/cc04372d172be0fca40eac28f79e2ab3487c5fd8c8fc27b4a31f1c5b2558/mathlibtools-0.0.4.tar.gz (from https://pypi.org/simple/mathlibtools/) (requires-python:>=3.5), version: 0.0.4 2022-10-23T10:05:59,317 Skipping link: No binaries permitted for mathlibtools: https://files.pythonhosted.org/packages/1b/8e/2d0b155ede38135ebde1ade5dffbe3588613a1012e8b7bd6f1c09079900c/mathlibtools-0.0.5-py3-none-any.whl (from https://pypi.org/simple/mathlibtools/) (requires-python:>=3.5) 2022-10-23T10:05:59,317 Found link https://files.pythonhosted.org/packages/08/16/4a02cba11cd209ef66c04e8487cd94acf3ed201e923fbe6166f96d0ef038/mathlibtools-0.0.5.tar.gz (from https://pypi.org/simple/mathlibtools/) (requires-python:>=3.5), version: 0.0.5 2022-10-23T10:05:59,318 Skipping link: No binaries permitted for mathlibtools: https://files.pythonhosted.org/packages/17/62/d8b0c2ea94bb6e73d8d2bd4ea7c342b19df7d7cfd484a714cba5d9b0b724/mathlibtools-0.0.6-py3-none-any.whl (from https://pypi.org/simple/mathlibtools/) (requires-python:>=3.5) 2022-10-23T10:05:59,318 Found link https://files.pythonhosted.org/packages/99/d4/9445cbb27b2a2a48f262ab640f3b4b43bbc8bf01796bcb361ab1d62718e9/mathlibtools-0.0.6.tar.gz (from https://pypi.org/simple/mathlibtools/) (requires-python:>=3.5), version: 0.0.6 2022-10-23T10:05:59,319 Skipping link: No binaries permitted for mathlibtools: https://files.pythonhosted.org/packages/ed/3b/d516e7be7074f20fb523e4129df5611a373b3068835ffcb776b28a09fc94/mathlibtools-0.0.7-py3-none-any.whl (from https://pypi.org/simple/mathlibtools/) (requires-python:>=3.5) 2022-10-23T10:05:59,319 Found link https://files.pythonhosted.org/packages/e0/f6/8e3c67ddb11a569ceadca11d495e6aa6a5941d38f5b4d1955149db63c030/mathlibtools-0.0.7.tar.gz (from https://pypi.org/simple/mathlibtools/) (requires-python:>=3.5), version: 0.0.7 2022-10-23T10:05:59,319 Skipping link: No binaries permitted for mathlibtools: https://files.pythonhosted.org/packages/b9/f6/f3ab3706e07058cbb9dce0895c14bb9fde121063d5c440c57c1f885af405/mathlibtools-0.0.8-py3-none-any.whl (from https://pypi.org/simple/mathlibtools/) (requires-python:>=3.5) 2022-10-23T10:05:59,320 Found link https://files.pythonhosted.org/packages/18/a3/0b9775630e2c15d9343a687ec520def838b7aa7fdbbc30beab01bf810840/mathlibtools-0.0.8.tar.gz (from https://pypi.org/simple/mathlibtools/) (requires-python:>=3.5), version: 0.0.8 2022-10-23T10:05:59,320 Skipping link: No binaries permitted for mathlibtools: https://files.pythonhosted.org/packages/a4/95/5cba3067db62396728934ebbf3d42e550ced32a22c23e8b27321c209aba5/mathlibtools-0.0.9b0-py3-none-any.whl (from https://pypi.org/simple/mathlibtools/) (requires-python:>=3.5) 2022-10-23T10:05:59,321 Found link https://files.pythonhosted.org/packages/ef/1e/9c2b5819bc9e8ec3e8fabb6187362fc5533bbbc81f30e25c4d893461cc49/mathlibtools-0.0.9b0.tar.gz (from https://pypi.org/simple/mathlibtools/) (requires-python:>=3.5), version: 0.0.9b0 2022-10-23T10:05:59,321 Skipping link: No binaries permitted for mathlibtools: https://files.pythonhosted.org/packages/85/27/ce65b7f36a5a387b4e6efb9b2ba42f6092bdfd77d076068114065a443787/mathlibtools-0.0.9-py3-none-any.whl (from https://pypi.org/simple/mathlibtools/) (requires-python:>=3.5) 2022-10-23T10:05:59,321 Found link https://files.pythonhosted.org/packages/28/e0/4bc2d6b386bd650d4debded2c47c3cfd6424b6e4405790d89d70ac1da6c2/mathlibtools-0.0.9.tar.gz (from https://pypi.org/simple/mathlibtools/) (requires-python:>=3.5), version: 0.0.9 2022-10-23T10:05:59,322 Skipping link: No binaries permitted for mathlibtools: https://files.pythonhosted.org/packages/37/0d/12c9ed4e0cf39dd0446d2070b137646c8156fffe9a9954ef8d58ab5f14d8/mathlibtools-0.0.10-py3-none-any.whl (from https://pypi.org/simple/mathlibtools/) (requires-python:>=3.5) 2022-10-23T10:05:59,322 Found link https://files.pythonhosted.org/packages/fc/21/6b871d00cea09d2e94b9014997b9df160b003f53b4fb89e1cd93ff6f2990/mathlibtools-0.0.10.tar.gz (from https://pypi.org/simple/mathlibtools/) (requires-python:>=3.5), version: 0.0.10 2022-10-23T10:05:59,322 Skipping link: No binaries permitted for mathlibtools: https://files.pythonhosted.org/packages/a6/b0/f4c5600174b1ecc95df7408d604248c5c5333a29fe233b1de43298bbeba3/mathlibtools-1.0.0-py3-none-any.whl (from https://pypi.org/simple/mathlibtools/) (requires-python:>=3.6) 2022-10-23T10:05:59,323 Found link https://files.pythonhosted.org/packages/a0/b1/857881ad244228ef60e387d0c1cf19e448817e3dd1e957162876a950fdf7/mathlibtools-1.0.0.tar.gz (from https://pypi.org/simple/mathlibtools/) (requires-python:>=3.6), version: 1.0.0 2022-10-23T10:05:59,323 Skipping link: No binaries permitted for mathlibtools: https://files.pythonhosted.org/packages/81/8c/1c261c19a1837df51cab5cca2f758f014326c1606a0cce57655b6e6a523f/mathlibtools-1.1.0-py3-none-any.whl (from https://pypi.org/simple/mathlibtools/) (requires-python:>=3.6) 2022-10-23T10:05:59,324 Found link https://files.pythonhosted.org/packages/9a/b7/7573048414f976707625d0bacbf00b7fba86f7fcf7b47e2166adbbafb679/mathlibtools-1.1.0.tar.gz (from https://pypi.org/simple/mathlibtools/) (requires-python:>=3.6), version: 1.1.0 2022-10-23T10:05:59,324 Skipping link: No binaries permitted for mathlibtools: https://files.pythonhosted.org/packages/a9/84/2ecafd590bcca38653211569204dd6d6a4106f701e561a9fbf29b2b1c558/mathlibtools-1.1.1-py3-none-any.whl (from https://pypi.org/simple/mathlibtools/) (requires-python:>=3.6) 2022-10-23T10:05:59,325 Found link https://files.pythonhosted.org/packages/84/1e/5194dbbb2316c5f155e204a0011db633e4b21732d26131d39eb9473fec3e/mathlibtools-1.1.1.tar.gz (from https://pypi.org/simple/mathlibtools/) (requires-python:>=3.6), version: 1.1.1 2022-10-23T10:05:59,325 Skipping link: No binaries permitted for mathlibtools: https://files.pythonhosted.org/packages/b7/be/481a960b6be00ef5d5003b2ffb4b5313d396374f871f6a88983c31893cea/mathlibtools-1.1.2-py3-none-any.whl (from https://pypi.org/simple/mathlibtools/) (requires-python:>=3.6) 2022-10-23T10:05:59,325 Found link https://files.pythonhosted.org/packages/6d/94/5ef08aa09f89c3696032de33181e107cda826a53d076886af886e0834d36/mathlibtools-1.1.2.tar.gz (from https://pypi.org/simple/mathlibtools/) (requires-python:>=3.6), version: 1.1.2 2022-10-23T10:05:59,326 Skipping link: No binaries permitted for mathlibtools: https://files.pythonhosted.org/packages/b4/4a/c61c8c0105040d77eb2ba1e2b4392ca59f850efef96f8f0d6e3f93173cfd/mathlibtools-1.2.0-py3-none-any.whl (from https://pypi.org/simple/mathlibtools/) (requires-python:>=3.6) 2022-10-23T10:05:59,326 Found link https://files.pythonhosted.org/packages/f0/8b/679aeede765760c2ce569a783c476d8a14cb02ca4befddb66fe6ff7f207e/mathlibtools-1.2.0.tar.gz (from https://pypi.org/simple/mathlibtools/) (requires-python:>=3.6), version: 1.2.0 2022-10-23T10:05:59,327 Fetching project page and analyzing links: https://www.piwheels.org/simple/mathlibtools/ 2022-10-23T10:05:59,327 Getting page https://www.piwheels.org/simple/mathlibtools/ 2022-10-23T10:05:59,328 Found index url https://www.piwheels.org/simple 2022-10-23T10:06:00,657 Fetched page https://www.piwheels.org/simple/mathlibtools/ as text/html 2022-10-23T10:06:00,667 Skipping link: No binaries permitted for mathlibtools: https://www.piwheels.org/simple/mathlibtools/mathlibtools-1.1.2-py3-none-any.whl#sha256=0829572cc2008660f38eb85c4b878e80ded480e9a68b1b4de730d9bd16a061b2 (from https://www.piwheels.org/simple/mathlibtools/) (requires-python:>=3.6) 2022-10-23T10:06:00,668 Skipping link: No binaries permitted for mathlibtools: https://www.piwheels.org/simple/mathlibtools/mathlibtools-1.1.1-py3-none-any.whl#sha256=18f5ecbebc6386b62f1cc234ee5ade4e91e2b0e0c2e235e4da8a2862fc7ec208 (from https://www.piwheels.org/simple/mathlibtools/) (requires-python:>=3.6) 2022-10-23T10:06:00,668 Skipping link: No binaries permitted for mathlibtools: https://www.piwheels.org/simple/mathlibtools/mathlibtools-1.1.0-py3-none-any.whl#sha256=3a8ec794fe09ed7d956f916c7d9fe60252c4e0824a54cd9776b0b32cb5d9f6d0 (from https://www.piwheels.org/simple/mathlibtools/) (requires-python:>=3.6) 2022-10-23T10:06:00,669 Skipping link: No binaries permitted for mathlibtools: https://www.piwheels.org/simple/mathlibtools/mathlibtools-1.0.0-py3-none-any.whl#sha256=9558e962cabd834ccdce42b9cc58de0d73752fffb0b83173663fc5084d826841 (from https://www.piwheels.org/simple/mathlibtools/) (requires-python:>=3.6) 2022-10-23T10:06:00,669 Skipping link: No binaries permitted for mathlibtools: https://www.piwheels.org/simple/mathlibtools/mathlibtools-0.0.10-py3-none-any.whl#sha256=1433b899da59b511daee3eb48aa349e283e292affca4e9eecfc4782489750b53 (from https://www.piwheels.org/simple/mathlibtools/) (requires-python:>=3.5) 2022-10-23T10:06:00,670 Skipping link: No binaries permitted for mathlibtools: https://www.piwheels.org/simple/mathlibtools/mathlibtools-0.0.9-py3-none-any.whl#sha256=f6b485ea8114d0cb7ca85091a2061411419ec69dc7fddf3ef4d85bc1357f4db9 (from https://www.piwheels.org/simple/mathlibtools/) (requires-python:>=3.5) 2022-10-23T10:06:00,670 Skipping link: No binaries permitted for mathlibtools: https://www.piwheels.org/simple/mathlibtools/mathlibtools-0.0.9b0-py3-none-any.whl#sha256=3adc4fd30771137cb4312fa151d6d85600dfe6fd55da36962c4786cf24e464b9 (from https://www.piwheels.org/simple/mathlibtools/) (requires-python:>=3.5) 2022-10-23T10:06:00,670 Skipping link: No binaries permitted for mathlibtools: https://www.piwheels.org/simple/mathlibtools/mathlibtools-0.0.8-py3-none-any.whl#sha256=cb6a1c56357fe3ed33bbc355270db9ac20cb9223811931ebce6a1c84827968bf (from https://www.piwheels.org/simple/mathlibtools/) (requires-python:>=3.5) 2022-10-23T10:06:00,671 Skipping link: No binaries permitted for mathlibtools: https://www.piwheels.org/simple/mathlibtools/mathlibtools-0.0.7-py3-none-any.whl#sha256=ab3549473bdff8d49166aba007ebf16741f981ab44d594cc236e11a70d97ffab (from https://www.piwheels.org/simple/mathlibtools/) (requires-python:>=3.5) 2022-10-23T10:06:00,671 Skipping link: No binaries permitted for mathlibtools: https://www.piwheels.org/simple/mathlibtools/mathlibtools-0.0.6-py3-none-any.whl#sha256=b69c2767440a3828938c515fa4109345706cef13ecd357988a2f427e1b8b3cac (from https://www.piwheels.org/simple/mathlibtools/) (requires-python:>=3.5) 2022-10-23T10:06:00,672 Skipping link: No binaries permitted for mathlibtools: https://www.piwheels.org/simple/mathlibtools/mathlibtools-0.0.5-py3-none-any.whl#sha256=d7b773e8a4fd9048cdd93900387d09905f91a3d7e8362986502404a83df1ffb1 (from https://www.piwheels.org/simple/mathlibtools/) (requires-python:>=3.5) 2022-10-23T10:06:00,672 Skipping link: No binaries permitted for mathlibtools: https://www.piwheels.org/simple/mathlibtools/mathlibtools-0.0.4-py3-none-any.whl#sha256=71d322c4e2417f7b4e9ae5f3dd126a38e78fc1ab951b5d8d5adc3d5a23d49a16 (from https://www.piwheels.org/simple/mathlibtools/) (requires-python:>=3.5) 2022-10-23T10:06:00,673 Skipping link: No binaries permitted for mathlibtools: https://www.piwheels.org/simple/mathlibtools/mathlibtools-0.0.3-py3-none-any.whl#sha256=dfbdece0bac14487a325e8be9ce3d7b3b7f3726a3f6ec77084f72f3f1f463f85 (from https://www.piwheels.org/simple/mathlibtools/) (requires-python:>=3.5) 2022-10-23T10:06:00,673 Skipping link: No binaries permitted for mathlibtools: https://www.piwheels.org/simple/mathlibtools/mathlibtools-0.0.2-py3-none-any.whl#sha256=fa4bdae205ba6d743c828351cc92f20f50f3cf7e3e8d937cf8647c71c53e5490 (from https://www.piwheels.org/simple/mathlibtools/) (requires-python:>=3.5) 2022-10-23T10:06:00,673 Skipping link: No binaries permitted for mathlibtools: https://www.piwheels.org/simple/mathlibtools/mathlibtools-0.0.1-py3-none-any.whl#sha256=5ebfddc8a13db826ec57b22c207ee50d60a04b37dffdac119850b01dee2254ea (from https://www.piwheels.org/simple/mathlibtools/) (requires-python:>=3.5) 2022-10-23T10:06:00,674 Skipping link: not a file: https://www.piwheels.org/simple/mathlibtools/ 2022-10-23T10:06:00,674 Skipping link: not a file: https://pypi.org/simple/mathlibtools/ 2022-10-23T10:06:00,712 Given no hashes to check 1 links for project 'mathlibtools': discarding no candidates 2022-10-23T10:06:00,737 Collecting mathlibtools==1.2.0 2022-10-23T10:06:00,740 Created temporary directory: /tmp/pip-unpack-2plmvae_ 2022-10-23T10:06:00,801 Downloading mathlibtools-1.2.0.tar.gz (27 kB) 2022-10-23T10:06:00,864 Added mathlibtools==1.2.0 from https://files.pythonhosted.org/packages/f0/8b/679aeede765760c2ce569a783c476d8a14cb02ca4befddb66fe6ff7f207e/mathlibtools-1.2.0.tar.gz to build tracker '/tmp/pip-build-tracker-9pym5ai7' 2022-10-23T10:06:00,866 Running setup.py (path:/tmp/pip-wheel-4x4vjfzo/mathlibtools_4cbe8cfc7b4f4866954b3d9fee9af897/setup.py) egg_info for package mathlibtools 2022-10-23T10:06:00,867 Created temporary directory: /tmp/pip-pip-egg-info-76xsnv_a 2022-10-23T10:06:00,867 Preparing metadata (setup.py): started 2022-10-23T10:06:00,868 Running command python setup.py egg_info 2022-10-23T10:06:01,951 running egg_info 2022-10-23T10:06:01,953 creating /tmp/pip-pip-egg-info-76xsnv_a/mathlibtools.egg-info 2022-10-23T10:06:01,978 writing /tmp/pip-pip-egg-info-76xsnv_a/mathlibtools.egg-info/PKG-INFO 2022-10-23T10:06:01,980 writing dependency_links to /tmp/pip-pip-egg-info-76xsnv_a/mathlibtools.egg-info/dependency_links.txt 2022-10-23T10:06:01,982 writing entry points to /tmp/pip-pip-egg-info-76xsnv_a/mathlibtools.egg-info/entry_points.txt 2022-10-23T10:06:01,983 writing requirements to /tmp/pip-pip-egg-info-76xsnv_a/mathlibtools.egg-info/requires.txt 2022-10-23T10:06:01,984 writing top-level names to /tmp/pip-pip-egg-info-76xsnv_a/mathlibtools.egg-info/top_level.txt 2022-10-23T10:06:01,985 writing manifest file '/tmp/pip-pip-egg-info-76xsnv_a/mathlibtools.egg-info/SOURCES.txt' 2022-10-23T10:06:02,064 reading manifest file '/tmp/pip-pip-egg-info-76xsnv_a/mathlibtools.egg-info/SOURCES.txt' 2022-10-23T10:06:02,066 adding license file 'LICENSE' 2022-10-23T10:06:02,068 writing manifest file '/tmp/pip-pip-egg-info-76xsnv_a/mathlibtools.egg-info/SOURCES.txt' 2022-10-23T10:06:02,182 Preparing metadata (setup.py): finished with status 'done' 2022-10-23T10:06:02,188 Source in /tmp/pip-wheel-4x4vjfzo/mathlibtools_4cbe8cfc7b4f4866954b3d9fee9af897 has version 1.2.0, which satisfies requirement mathlibtools==1.2.0 from https://files.pythonhosted.org/packages/f0/8b/679aeede765760c2ce569a783c476d8a14cb02ca4befddb66fe6ff7f207e/mathlibtools-1.2.0.tar.gz 2022-10-23T10:06:02,189 Removed mathlibtools==1.2.0 from https://files.pythonhosted.org/packages/f0/8b/679aeede765760c2ce569a783c476d8a14cb02ca4befddb66fe6ff7f207e/mathlibtools-1.2.0.tar.gz from build tracker '/tmp/pip-build-tracker-9pym5ai7' 2022-10-23T10:06:02,195 Created temporary directory: /tmp/pip-unpack-etc2nq_d 2022-10-23T10:06:02,196 Building wheels for collected packages: mathlibtools 2022-10-23T10:06:02,201 Created temporary directory: /tmp/pip-wheel-bs_qojs3 2022-10-23T10:06:02,201 Building wheel for mathlibtools (setup.py): started 2022-10-23T10:06:02,202 Destination directory: /tmp/pip-wheel-bs_qojs3 2022-10-23T10:06:02,202 Running command python setup.py bdist_wheel 2022-10-23T10:06:03,281 running bdist_wheel 2022-10-23T10:06:03,575 running build 2022-10-23T10:06:03,575 running build_py 2022-10-23T10:06:03,604 creating build 2022-10-23T10:06:03,604 creating build/lib 2022-10-23T10:06:03,605 creating build/lib/mathlibtools 2022-10-23T10:06:03,606 copying mathlibtools/leanproject.py -> build/lib/mathlibtools 2022-10-23T10:06:03,609 copying mathlibtools/delayed_interrupt.py -> build/lib/mathlibtools 2022-10-23T10:06:03,610 copying mathlibtools/auth_github.py -> build/lib/mathlibtools 2022-10-23T10:06:03,612 copying mathlibtools/_version.py -> build/lib/mathlibtools 2022-10-23T10:06:03,614 copying mathlibtools/lib.py -> build/lib/mathlibtools 2022-10-23T10:06:03,617 copying mathlibtools/__init__.py -> build/lib/mathlibtools 2022-10-23T10:06:03,618 copying mathlibtools/git_helpers.py -> build/lib/mathlibtools 2022-10-23T10:06:03,620 copying mathlibtools/file_status.py -> build/lib/mathlibtools 2022-10-23T10:06:03,622 copying mathlibtools/import_graph.py -> build/lib/mathlibtools 2022-10-23T10:06:03,624 copying mathlibtools/post-commit -> build/lib/mathlibtools 2022-10-23T10:06:03,626 copying mathlibtools/post-checkout -> build/lib/mathlibtools 2022-10-23T10:06:03,628 copying mathlibtools/decls.lean -> build/lib/mathlibtools 2022-10-23T10:06:03,661 /usr/local/lib/python3.9/dist-packages/setuptools/command/install.py:34: SetuptoolsDeprecationWarning: setup.py install is deprecated. Use build and pip and other standards-based tools. 2022-10-23T10:06:03,661 warnings.warn( 2022-10-23T10:06:03,687 installing to build/bdist.linux-armv7l/wheel 2022-10-23T10:06:03,688 running install 2022-10-23T10:06:03,713 running install_lib 2022-10-23T10:06:03,740 creating build/bdist.linux-armv7l 2022-10-23T10:06:03,740 creating build/bdist.linux-armv7l/wheel 2022-10-23T10:06:03,742 creating build/bdist.linux-armv7l/wheel/mathlibtools 2022-10-23T10:06:03,743 copying build/lib/mathlibtools/leanproject.py -> build/bdist.linux-armv7l/wheel/mathlibtools 2022-10-23T10:06:03,745 copying build/lib/mathlibtools/decls.lean -> build/bdist.linux-armv7l/wheel/mathlibtools 2022-10-23T10:06:03,748 copying build/lib/mathlibtools/delayed_interrupt.py -> build/bdist.linux-armv7l/wheel/mathlibtools 2022-10-23T10:06:03,749 copying build/lib/mathlibtools/post-checkout -> build/bdist.linux-armv7l/wheel/mathlibtools 2022-10-23T10:06:03,751 copying build/lib/mathlibtools/auth_github.py -> build/bdist.linux-armv7l/wheel/mathlibtools 2022-10-23T10:06:03,753 copying build/lib/mathlibtools/_version.py -> build/bdist.linux-armv7l/wheel/mathlibtools 2022-10-23T10:06:03,755 copying build/lib/mathlibtools/lib.py -> build/bdist.linux-armv7l/wheel/mathlibtools 2022-10-23T10:06:03,758 copying build/lib/mathlibtools/__init__.py -> build/bdist.linux-armv7l/wheel/mathlibtools 2022-10-23T10:06:03,760 copying build/lib/mathlibtools/git_helpers.py -> build/bdist.linux-armv7l/wheel/mathlibtools 2022-10-23T10:06:03,762 copying build/lib/mathlibtools/file_status.py -> build/bdist.linux-armv7l/wheel/mathlibtools 2022-10-23T10:06:03,764 copying build/lib/mathlibtools/import_graph.py -> build/bdist.linux-armv7l/wheel/mathlibtools 2022-10-23T10:06:03,766 copying build/lib/mathlibtools/post-commit -> build/bdist.linux-armv7l/wheel/mathlibtools 2022-10-23T10:06:03,768 running install_egg_info 2022-10-23T10:06:03,836 running egg_info 2022-10-23T10:06:03,861 writing mathlibtools.egg-info/PKG-INFO 2022-10-23T10:06:03,863 writing dependency_links to mathlibtools.egg-info/dependency_links.txt 2022-10-23T10:06:03,865 writing entry points to mathlibtools.egg-info/entry_points.txt 2022-10-23T10:06:03,866 writing requirements to mathlibtools.egg-info/requires.txt 2022-10-23T10:06:03,868 writing top-level names to mathlibtools.egg-info/top_level.txt 2022-10-23T10:06:03,897 reading manifest file 'mathlibtools.egg-info/SOURCES.txt' 2022-10-23T10:06:03,899 adding license file 'LICENSE' 2022-10-23T10:06:03,902 writing manifest file 'mathlibtools.egg-info/SOURCES.txt' 2022-10-23T10:06:03,903 Copying mathlibtools.egg-info to build/bdist.linux-armv7l/wheel/mathlibtools-1.2.0-py3.9.egg-info 2022-10-23T10:06:03,916 running install_scripts 2022-10-23T10:06:04,002 adding license file "LICENSE" (matched pattern "LICEN[CS]E*") 2022-10-23T10:06:04,007 creating build/bdist.linux-armv7l/wheel/mathlibtools-1.2.0.dist-info/WHEEL 2022-10-23T10:06:04,010 creating '/tmp/pip-wheel-bs_qojs3/mathlibtools-1.2.0-py3-none-any.whl' and adding 'build/bdist.linux-armv7l/wheel' to it 2022-10-23T10:06:04,012 adding 'mathlibtools/__init__.py' 2022-10-23T10:06:04,013 adding 'mathlibtools/_version.py' 2022-10-23T10:06:04,014 adding 'mathlibtools/auth_github.py' 2022-10-23T10:06:04,016 adding 'mathlibtools/decls.lean' 2022-10-23T10:06:04,017 adding 'mathlibtools/delayed_interrupt.py' 2022-10-23T10:06:04,018 adding 'mathlibtools/file_status.py' 2022-10-23T10:06:04,019 adding 'mathlibtools/git_helpers.py' 2022-10-23T10:06:04,021 adding 'mathlibtools/import_graph.py' 2022-10-23T10:06:04,023 adding 'mathlibtools/leanproject.py' 2022-10-23T10:06:04,029 adding 'mathlibtools/lib.py' 2022-10-23T10:06:04,030 adding 'mathlibtools/post-checkout' 2022-10-23T10:06:04,031 adding 'mathlibtools/post-commit' 2022-10-23T10:06:04,034 adding 'mathlibtools-1.2.0.dist-info/LICENSE' 2022-10-23T10:06:04,035 adding 'mathlibtools-1.2.0.dist-info/METADATA' 2022-10-23T10:06:04,036 adding 'mathlibtools-1.2.0.dist-info/WHEEL' 2022-10-23T10:06:04,037 adding 'mathlibtools-1.2.0.dist-info/entry_points.txt' 2022-10-23T10:06:04,038 adding 'mathlibtools-1.2.0.dist-info/top_level.txt' 2022-10-23T10:06:04,039 adding 'mathlibtools-1.2.0.dist-info/RECORD' 2022-10-23T10:06:04,041 removing build/bdist.linux-armv7l/wheel 2022-10-23T10:06:04,188 Building wheel for mathlibtools (setup.py): finished with status 'done' 2022-10-23T10:06:04,191 Created wheel for mathlibtools: filename=mathlibtools-1.2.0-py3-none-any.whl size=30346 sha256=6960778ee46e61df6924b636855c759f7f06323755d92bcbaab4d5db8d6c9869 2022-10-23T10:06:04,192 Stored in directory: /tmp/pip-ephem-wheel-cache-0e8p9855/wheels/b8/9f/c6/bec218cec95b497c5b25abaac0fbff8057c3d41fb6f90e18fd 2022-10-23T10:06:04,205 Successfully built mathlibtools 2022-10-23T10:06:04,210 Removed build tracker: '/tmp/pip-build-tracker-9pym5ai7'