2021-09-18T12:13:59,667 Created temporary directory: /tmp/pip-ephem-wheel-cache-1wttmkta 2021-09-18T12:13:59,670 Created temporary directory: /tmp/pip-req-tracker-rcjhetg4 2021-09-18T12:13:59,671 Initialized build tracking at /tmp/pip-req-tracker-rcjhetg4 2021-09-18T12:13:59,671 Created build tracker: /tmp/pip-req-tracker-rcjhetg4 2021-09-18T12:13:59,671 Entered build tracker: /tmp/pip-req-tracker-rcjhetg4 2021-09-18T12:13:59,672 Created temporary directory: /tmp/pip-wheel-qeme5f17 2021-09-18T12:13:59,702 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple 2021-09-18T12:13:59,705 2 location(s) to search for versions of mathlibtools: 2021-09-18T12:13:59,705 * https://pypi.org/simple/mathlibtools/ 2021-09-18T12:13:59,705 * https://www.piwheels.org/simple/mathlibtools/ 2021-09-18T12:13:59,705 Fetching project page and analyzing links: https://pypi.org/simple/mathlibtools/ 2021-09-18T12:13:59,706 Getting page https://pypi.org/simple/mathlibtools/ 2021-09-18T12:13:59,707 Found index url https://pypi.org/simple 2021-09-18T12:13:59,809 Skipping link: No binaries permitted for mathlibtools: https://files.pythonhosted.org/packages/37/c3/8dd9b21fe930bf82b22c23cd67db271e95440541bec36114fa2bd095d4e3/mathlibtools-0.0.1-py3-none-any.whl#sha256=5ebfddc8a13db826ec57b22c207ee50d60a04b37dffdac119850b01dee2254ea (from https://pypi.org/simple/mathlibtools/) (requires-python:>=3.5) 2021-09-18T12:13:59,810 Found link https://files.pythonhosted.org/packages/8a/9f/30e087178ea67c9c00d9020b4951b227463f3eb7002c25f5296ee90bea60/mathlibtools-0.0.1.tar.gz#sha256=8d58ae47dc5b650c8b60bef89952fe892f4f388c5c48f66a48af027a0cdafcc5 (from https://pypi.org/simple/mathlibtools/) (requires-python:>=3.5), version: 0.0.1 2021-09-18T12:13:59,811 Skipping link: No binaries permitted for mathlibtools: https://files.pythonhosted.org/packages/1d/ea/3803d38b51a094d6d034326aafc52dff2e201c6fc1357f7913586c0ad643/mathlibtools-0.0.2-py3-none-any.whl#sha256=fa4bdae205ba6d743c828351cc92f20f50f3cf7e3e8d937cf8647c71c53e5490 (from https://pypi.org/simple/mathlibtools/) (requires-python:>=3.5) 2021-09-18T12:13:59,811 Found link https://files.pythonhosted.org/packages/91/da/d6c186621f6dd8a2f8b426197f5f1081fa20ddd3ed9c2a2d491f3a0c6217/mathlibtools-0.0.2.tar.gz#sha256=96ab2af86c744a5ef0e90ccf503dd9ccac0686f464dae5700f98d2dc9ff04087 (from https://pypi.org/simple/mathlibtools/) (requires-python:>=3.5), version: 0.0.2 2021-09-18T12:13:59,811 Skipping link: No binaries permitted for mathlibtools: https://files.pythonhosted.org/packages/d7/b4/0a4b42207550e341afb1c86f1ad643b074a948299659035fe52ef511046f/mathlibtools-0.0.3-py3-none-any.whl#sha256=bb0e7edb8f7e3a5d021f25b410860a2d9486a800dc4399c5436a6b6cdfa12ad8 (from https://pypi.org/simple/mathlibtools/) (requires-python:>=3.5) 2021-09-18T12:13:59,812 Found link https://files.pythonhosted.org/packages/b2/66/fbec9dc64aad3606eb07e941b8845ceb12b703246ef951f73925b2618a7c/mathlibtools-0.0.3.tar.gz#sha256=45379b2a6c96b9a8e162ff315663cbc9f62ba7b261e8403bfb624667d0040cf7 (from https://pypi.org/simple/mathlibtools/) (requires-python:>=3.5), version: 0.0.3 2021-09-18T12:13:59,812 Skipping link: No binaries permitted for mathlibtools: https://files.pythonhosted.org/packages/8c/37/6dcf5dd973e6ec32fa78c8a1bb6598ea9676dde6276227339f2f204aaa3f/mathlibtools-0.0.4-py3-none-any.whl#sha256=71d322c4e2417f7b4e9ae5f3dd126a38e78fc1ab951b5d8d5adc3d5a23d49a16 (from https://pypi.org/simple/mathlibtools/) (requires-python:>=3.5) 2021-09-18T12:13:59,813 Found link https://files.pythonhosted.org/packages/ea/fe/cc04372d172be0fca40eac28f79e2ab3487c5fd8c8fc27b4a31f1c5b2558/mathlibtools-0.0.4.tar.gz#sha256=3cffbde277915990d9d2432702fca5f66f4f7fff6152e08c0d606420a83ff528 (from https://pypi.org/simple/mathlibtools/) (requires-python:>=3.5), version: 0.0.4 2021-09-18T12:13:59,813 Skipping link: No binaries permitted for mathlibtools: https://files.pythonhosted.org/packages/1b/8e/2d0b155ede38135ebde1ade5dffbe3588613a1012e8b7bd6f1c09079900c/mathlibtools-0.0.5-py3-none-any.whl#sha256=975bc369db75075d237a26fea64120660e3f9385c6beacab415f963440a60eaf (from https://pypi.org/simple/mathlibtools/) (requires-python:>=3.5) 2021-09-18T12:13:59,817 Found link https://files.pythonhosted.org/packages/08/16/4a02cba11cd209ef66c04e8487cd94acf3ed201e923fbe6166f96d0ef038/mathlibtools-0.0.5.tar.gz#sha256=91a562519eabf3e0e0affd8326381308989df42fed498d91b2b761e3c8c7d210 (from https://pypi.org/simple/mathlibtools/) (requires-python:>=3.5), version: 0.0.5 2021-09-18T12:13:59,818 Skipping link: No binaries permitted for mathlibtools: https://files.pythonhosted.org/packages/17/62/d8b0c2ea94bb6e73d8d2bd4ea7c342b19df7d7cfd484a714cba5d9b0b724/mathlibtools-0.0.6-py3-none-any.whl#sha256=b69c2767440a3828938c515fa4109345706cef13ecd357988a2f427e1b8b3cac (from https://pypi.org/simple/mathlibtools/) (requires-python:>=3.5) 2021-09-18T12:13:59,818 Found link https://files.pythonhosted.org/packages/99/d4/9445cbb27b2a2a48f262ab640f3b4b43bbc8bf01796bcb361ab1d62718e9/mathlibtools-0.0.6.tar.gz#sha256=d8bdf85ae4694a22e96327a799e65fc3979990616f87d67cfd0196c627c0c9c0 (from https://pypi.org/simple/mathlibtools/) (requires-python:>=3.5), version: 0.0.6 2021-09-18T12:13:59,818 Skipping link: No binaries permitted for mathlibtools: https://files.pythonhosted.org/packages/ed/3b/d516e7be7074f20fb523e4129df5611a373b3068835ffcb776b28a09fc94/mathlibtools-0.0.7-py3-none-any.whl#sha256=a3a9e08761d1f540fb5b6454b9c46283708d58fc6129242a579da65384a53310 (from https://pypi.org/simple/mathlibtools/) (requires-python:>=3.5) 2021-09-18T12:13:59,819 Found link https://files.pythonhosted.org/packages/e0/f6/8e3c67ddb11a569ceadca11d495e6aa6a5941d38f5b4d1955149db63c030/mathlibtools-0.0.7.tar.gz#sha256=963ddc214fe4082f9c3038eb675e30aef6b9e691f3484990ea7cb19db7c5bad2 (from https://pypi.org/simple/mathlibtools/) (requires-python:>=3.5), version: 0.0.7 2021-09-18T12:13:59,819 Skipping link: No binaries permitted for mathlibtools: https://files.pythonhosted.org/packages/b9/f6/f3ab3706e07058cbb9dce0895c14bb9fde121063d5c440c57c1f885af405/mathlibtools-0.0.8-py3-none-any.whl#sha256=cb6a1c56357fe3ed33bbc355270db9ac20cb9223811931ebce6a1c84827968bf (from https://pypi.org/simple/mathlibtools/) (requires-python:>=3.5) 2021-09-18T12:13:59,820 Found link https://files.pythonhosted.org/packages/18/a3/0b9775630e2c15d9343a687ec520def838b7aa7fdbbc30beab01bf810840/mathlibtools-0.0.8.tar.gz#sha256=2da792cfeb23e97ba2937c31f63a428b09fd00e650dd122a775a8da777c3e10d (from https://pypi.org/simple/mathlibtools/) (requires-python:>=3.5), version: 0.0.8 2021-09-18T12:13:59,820 Skipping link: No binaries permitted for mathlibtools: https://files.pythonhosted.org/packages/a4/95/5cba3067db62396728934ebbf3d42e550ced32a22c23e8b27321c209aba5/mathlibtools-0.0.9b0-py3-none-any.whl#sha256=49665d885ce30b50449018d03166cd230308c621b841dec91131f25346c0e0b1 (from https://pypi.org/simple/mathlibtools/) (requires-python:>=3.5) 2021-09-18T12:13:59,821 Found link https://files.pythonhosted.org/packages/ef/1e/9c2b5819bc9e8ec3e8fabb6187362fc5533bbbc81f30e25c4d893461cc49/mathlibtools-0.0.9b0.tar.gz#sha256=7b00ce99fedd971f48c6a16d51f8b1736d984bffeee680bc4c4d09de19ade8ec (from https://pypi.org/simple/mathlibtools/) (requires-python:>=3.5), version: 0.0.9b0 2021-09-18T12:13:59,821 Skipping link: No binaries permitted for mathlibtools: https://files.pythonhosted.org/packages/85/27/ce65b7f36a5a387b4e6efb9b2ba42f6092bdfd77d076068114065a443787/mathlibtools-0.0.9-py3-none-any.whl#sha256=c013d227ada61171a9a0acaae5d32bad0dd563de8464650e903ad9a8d791aac9 (from https://pypi.org/simple/mathlibtools/) (requires-python:>=3.5) 2021-09-18T12:13:59,822 Found link https://files.pythonhosted.org/packages/28/e0/4bc2d6b386bd650d4debded2c47c3cfd6424b6e4405790d89d70ac1da6c2/mathlibtools-0.0.9.tar.gz#sha256=3395a6c3ea0d01ea0edff9c69a30acd632f6815b201e8b2d9e7f78d39f2c0c69 (from https://pypi.org/simple/mathlibtools/) (requires-python:>=3.5), version: 0.0.9 2021-09-18T12:13:59,822 Skipping link: No binaries permitted for mathlibtools: https://files.pythonhosted.org/packages/37/0d/12c9ed4e0cf39dd0446d2070b137646c8156fffe9a9954ef8d58ab5f14d8/mathlibtools-0.0.10-py3-none-any.whl#sha256=7f4d6d6862df22d7326bca67e8c93ad095009488e0685320848d477fbb4bc620 (from https://pypi.org/simple/mathlibtools/) (requires-python:>=3.5) 2021-09-18T12:13:59,822 Found link https://files.pythonhosted.org/packages/fc/21/6b871d00cea09d2e94b9014997b9df160b003f53b4fb89e1cd93ff6f2990/mathlibtools-0.0.10.tar.gz#sha256=66e86498d4f06cfa83270e907dac5bfba07960884e99c2306410caaedf42e034 (from https://pypi.org/simple/mathlibtools/) (requires-python:>=3.5), version: 0.0.10 2021-09-18T12:13:59,823 Skipping link: No binaries permitted for mathlibtools: https://files.pythonhosted.org/packages/a6/b0/f4c5600174b1ecc95df7408d604248c5c5333a29fe233b1de43298bbeba3/mathlibtools-1.0.0-py3-none-any.whl#sha256=9558e962cabd834ccdce42b9cc58de0d73752fffb0b83173663fc5084d826841 (from https://pypi.org/simple/mathlibtools/) (requires-python:>=3.6) 2021-09-18T12:13:59,823 Found link https://files.pythonhosted.org/packages/a0/b1/857881ad244228ef60e387d0c1cf19e448817e3dd1e957162876a950fdf7/mathlibtools-1.0.0.tar.gz#sha256=da41c65e206f55b1faea303581fc11215e52d6e6990b827336b2e1eb82aad96c (from https://pypi.org/simple/mathlibtools/) (requires-python:>=3.6), version: 1.0.0 2021-09-18T12:13:59,824 Skipping link: No binaries permitted for mathlibtools: https://files.pythonhosted.org/packages/81/8c/1c261c19a1837df51cab5cca2f758f014326c1606a0cce57655b6e6a523f/mathlibtools-1.1.0-py3-none-any.whl#sha256=b3df6bb9df7f91f199d2293ad57690971cc1ff35a3fea2b5fe7689de2f8142a7 (from https://pypi.org/simple/mathlibtools/) (requires-python:>=3.6) 2021-09-18T12:13:59,824 Found link https://files.pythonhosted.org/packages/9a/b7/7573048414f976707625d0bacbf00b7fba86f7fcf7b47e2166adbbafb679/mathlibtools-1.1.0.tar.gz#sha256=789f070f35424e89e4f2e2c007382250133cc48877627e37c5c463bcf4a1b58a (from https://pypi.org/simple/mathlibtools/) (requires-python:>=3.6), version: 1.1.0 2021-09-18T12:13:59,825 Fetching project page and analyzing links: https://www.piwheels.org/simple/mathlibtools/ 2021-09-18T12:13:59,825 Getting page https://www.piwheels.org/simple/mathlibtools/ 2021-09-18T12:13:59,826 Found index url https://www.piwheels.org/simple 2021-09-18T12:13:59,950 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) 2021-09-18T12:13:59,950 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) 2021-09-18T12:13:59,950 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) 2021-09-18T12:13:59,951 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) 2021-09-18T12:13:59,951 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) 2021-09-18T12:13:59,951 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) 2021-09-18T12:13:59,951 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) 2021-09-18T12:13:59,952 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) 2021-09-18T12:13:59,952 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) 2021-09-18T12:13:59,952 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) 2021-09-18T12:13:59,952 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) 2021-09-18T12:13:59,952 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) 2021-09-18T12:13:59,953 Skipping link: not a file: https://www.piwheels.org/simple/mathlibtools/ 2021-09-18T12:13:59,953 Skipping link: not a file: https://pypi.org/simple/mathlibtools/ 2021-09-18T12:13:59,970 Given no hashes to check 1 links for project 'mathlibtools': discarding no candidates 2021-09-18T12:13:59,984 Collecting mathlibtools==1.1.0 2021-09-18T12:13:59,986 Created temporary directory: /tmp/pip-unpack-pbqpsw25 2021-09-18T12:14:00,161 Downloading mathlibtools-1.1.0.tar.gz (30 kB) 2021-09-18T12:14:00,237 Added mathlibtools==1.1.0 from https://files.pythonhosted.org/packages/9a/b7/7573048414f976707625d0bacbf00b7fba86f7fcf7b47e2166adbbafb679/mathlibtools-1.1.0.tar.gz#sha256=789f070f35424e89e4f2e2c007382250133cc48877627e37c5c463bcf4a1b58a to build tracker '/tmp/pip-req-tracker-rcjhetg4' 2021-09-18T12:14:00,239 Running setup.py (path:/tmp/pip-wheel-qeme5f17/mathlibtools_31c6b82b4fc54f9a86d74b8117fc6a88/setup.py) egg_info for package mathlibtools 2021-09-18T12:14:00,239 Created temporary directory: /tmp/pip-pip-egg-info-oand97xj 2021-09-18T12:14:00,240 Running command python setup.py egg_info 2021-09-18T12:14:01,112 running egg_info 2021-09-18T12:14:01,114 creating /tmp/pip-pip-egg-info-oand97xj/mathlibtools.egg-info 2021-09-18T12:14:01,115 writing /tmp/pip-pip-egg-info-oand97xj/mathlibtools.egg-info/PKG-INFO 2021-09-18T12:14:01,117 writing dependency_links to /tmp/pip-pip-egg-info-oand97xj/mathlibtools.egg-info/dependency_links.txt 2021-09-18T12:14:01,119 writing entry points to /tmp/pip-pip-egg-info-oand97xj/mathlibtools.egg-info/entry_points.txt 2021-09-18T12:14:01,120 writing requirements to /tmp/pip-pip-egg-info-oand97xj/mathlibtools.egg-info/requires.txt 2021-09-18T12:14:01,121 writing top-level names to /tmp/pip-pip-egg-info-oand97xj/mathlibtools.egg-info/top_level.txt 2021-09-18T12:14:01,123 writing manifest file '/tmp/pip-pip-egg-info-oand97xj/mathlibtools.egg-info/SOURCES.txt' 2021-09-18T12:14:01,259 reading manifest file '/tmp/pip-pip-egg-info-oand97xj/mathlibtools.egg-info/SOURCES.txt' 2021-09-18T12:14:01,260 adding license file 'LICENSE' 2021-09-18T12:14:01,263 writing manifest file '/tmp/pip-pip-egg-info-oand97xj/mathlibtools.egg-info/SOURCES.txt' 2021-09-18T12:14:01,324 Source in /tmp/pip-wheel-qeme5f17/mathlibtools_31c6b82b4fc54f9a86d74b8117fc6a88 has version 1.1.0, which satisfies requirement mathlibtools==1.1.0 from https://files.pythonhosted.org/packages/9a/b7/7573048414f976707625d0bacbf00b7fba86f7fcf7b47e2166adbbafb679/mathlibtools-1.1.0.tar.gz#sha256=789f070f35424e89e4f2e2c007382250133cc48877627e37c5c463bcf4a1b58a 2021-09-18T12:14:01,325 Removed mathlibtools==1.1.0 from https://files.pythonhosted.org/packages/9a/b7/7573048414f976707625d0bacbf00b7fba86f7fcf7b47e2166adbbafb679/mathlibtools-1.1.0.tar.gz#sha256=789f070f35424e89e4f2e2c007382250133cc48877627e37c5c463bcf4a1b58a from build tracker '/tmp/pip-req-tracker-rcjhetg4' 2021-09-18T12:14:01,331 Created temporary directory: /tmp/pip-unpack-j92jpdps 2021-09-18T12:14:01,332 Building wheels for collected packages: mathlibtools 2021-09-18T12:14:01,336 Created temporary directory: /tmp/pip-wheel-0j5rzz8r 2021-09-18T12:14:01,336 Building wheel for mathlibtools (setup.py): started 2021-09-18T12:14:01,337 Destination directory: /tmp/pip-wheel-0j5rzz8r 2021-09-18T12:14:01,337 Running command /usr/bin/python3 -u -c 'import io, os, sys, setuptools, tokenize; sys.argv[0] = '"'"'/tmp/pip-wheel-qeme5f17/mathlibtools_31c6b82b4fc54f9a86d74b8117fc6a88/setup.py'"'"'; __file__='"'"'/tmp/pip-wheel-qeme5f17/mathlibtools_31c6b82b4fc54f9a86d74b8117fc6a88/setup.py'"'"';f = getattr(tokenize, '"'"'open'"'"', open)(__file__) if os.path.exists(__file__) else io.StringIO('"'"'from setuptools import setup; setup()'"'"');code = f.read().replace('"'"'\r\n'"'"', '"'"'\n'"'"');f.close();exec(compile(code, __file__, '"'"'exec'"'"'))' bdist_wheel -d /tmp/pip-wheel-0j5rzz8r 2021-09-18T12:14:02,259 running bdist_wheel 2021-09-18T12:14:02,263 running build 2021-09-18T12:14:02,264 running build_py 2021-09-18T12:14:02,391 creating build 2021-09-18T12:14:02,391 creating build/lib 2021-09-18T12:14:02,392 creating build/lib/mathlibtools 2021-09-18T12:14:02,393 copying mathlibtools/__init__.py -> build/lib/mathlibtools 2021-09-18T12:14:02,395 copying mathlibtools/leanproject.py -> build/lib/mathlibtools 2021-09-18T12:14:02,398 copying mathlibtools/lib.py -> build/lib/mathlibtools 2021-09-18T12:14:02,401 copying mathlibtools/auth_github.py -> build/lib/mathlibtools 2021-09-18T12:14:02,403 copying mathlibtools/import_graph.py -> build/lib/mathlibtools 2021-09-18T12:14:02,404 copying mathlibtools/git_helpers.py -> build/lib/mathlibtools 2021-09-18T12:14:02,406 copying mathlibtools/_version.py -> build/lib/mathlibtools 2021-09-18T12:14:02,408 copying mathlibtools/delayed_interrupt.py -> build/lib/mathlibtools 2021-09-18T12:14:02,410 copying mathlibtools/new_lib.py -> build/lib/mathlibtools 2021-09-18T12:14:02,413 copying mathlibtools/post-commit -> build/lib/mathlibtools 2021-09-18T12:14:02,415 copying mathlibtools/post-checkout -> build/lib/mathlibtools 2021-09-18T12:14:02,418 copying mathlibtools/decls.lean -> build/lib/mathlibtools 2021-09-18T12:14:02,425 installing to build/bdist.linux-armv7l/wheel 2021-09-18T12:14:02,426 running install 2021-09-18T12:14:02,427 running install_lib 2021-09-18T12:14:02,431 creating build/bdist.linux-armv7l 2021-09-18T12:14:02,431 creating build/bdist.linux-armv7l/wheel 2021-09-18T12:14:02,433 creating build/bdist.linux-armv7l/wheel/mathlibtools 2021-09-18T12:14:02,434 copying build/lib/mathlibtools/__init__.py -> build/bdist.linux-armv7l/wheel/mathlibtools 2021-09-18T12:14:02,436 copying build/lib/mathlibtools/decls.lean -> build/bdist.linux-armv7l/wheel/mathlibtools 2021-09-18T12:14:02,438 copying build/lib/mathlibtools/leanproject.py -> build/bdist.linux-armv7l/wheel/mathlibtools 2021-09-18T12:14:02,441 copying build/lib/mathlibtools/lib.py -> build/bdist.linux-armv7l/wheel/mathlibtools 2021-09-18T12:14:02,445 copying build/lib/mathlibtools/auth_github.py -> build/bdist.linux-armv7l/wheel/mathlibtools 2021-09-18T12:14:02,447 copying build/lib/mathlibtools/import_graph.py -> build/bdist.linux-armv7l/wheel/mathlibtools 2021-09-18T12:14:02,449 copying build/lib/mathlibtools/git_helpers.py -> build/bdist.linux-armv7l/wheel/mathlibtools 2021-09-18T12:14:02,451 copying build/lib/mathlibtools/_version.py -> build/bdist.linux-armv7l/wheel/mathlibtools 2021-09-18T12:14:02,453 copying build/lib/mathlibtools/post-checkout -> build/bdist.linux-armv7l/wheel/mathlibtools 2021-09-18T12:14:02,455 copying build/lib/mathlibtools/delayed_interrupt.py -> build/bdist.linux-armv7l/wheel/mathlibtools 2021-09-18T12:14:02,457 copying build/lib/mathlibtools/post-commit -> build/bdist.linux-armv7l/wheel/mathlibtools 2021-09-18T12:14:02,459 copying build/lib/mathlibtools/new_lib.py -> build/bdist.linux-armv7l/wheel/mathlibtools 2021-09-18T12:14:02,462 running install_egg_info 2021-09-18T12:14:02,483 running egg_info 2021-09-18T12:14:02,483 writing mathlibtools.egg-info/PKG-INFO 2021-09-18T12:14:02,486 writing dependency_links to mathlibtools.egg-info/dependency_links.txt 2021-09-18T12:14:02,487 writing entry points to mathlibtools.egg-info/entry_points.txt 2021-09-18T12:14:02,488 writing requirements to mathlibtools.egg-info/requires.txt 2021-09-18T12:14:02,489 writing top-level names to mathlibtools.egg-info/top_level.txt 2021-09-18T12:14:02,493 reading manifest file 'mathlibtools.egg-info/SOURCES.txt' 2021-09-18T12:14:02,495 adding license file 'LICENSE' 2021-09-18T12:14:02,498 writing manifest file 'mathlibtools.egg-info/SOURCES.txt' 2021-09-18T12:14:02,499 Copying mathlibtools.egg-info to build/bdist.linux-armv7l/wheel/mathlibtools-1.1.0-py3.7.egg-info 2021-09-18T12:14:02,511 running install_scripts 2021-09-18T12:14:02,594 adding license file "LICENSE" (matched pattern "LICEN[CS]E*") 2021-09-18T12:14:02,599 creating build/bdist.linux-armv7l/wheel/mathlibtools-1.1.0.dist-info/WHEEL 2021-09-18T12:14:02,601 creating '/tmp/pip-wheel-0j5rzz8r/mathlibtools-1.1.0-py3-none-any.whl' and adding 'build/bdist.linux-armv7l/wheel' to it 2021-09-18T12:14:02,604 adding 'mathlibtools/__init__.py' 2021-09-18T12:14:02,605 adding 'mathlibtools/_version.py' 2021-09-18T12:14:02,606 adding 'mathlibtools/auth_github.py' 2021-09-18T12:14:02,607 adding 'mathlibtools/decls.lean' 2021-09-18T12:14:02,608 adding 'mathlibtools/delayed_interrupt.py' 2021-09-18T12:14:02,610 adding 'mathlibtools/git_helpers.py' 2021-09-18T12:14:02,611 adding 'mathlibtools/import_graph.py' 2021-09-18T12:14:02,613 adding 'mathlibtools/leanproject.py' 2021-09-18T12:14:02,619 adding 'mathlibtools/lib.py' 2021-09-18T12:14:02,623 adding 'mathlibtools/new_lib.py' 2021-09-18T12:14:02,625 adding 'mathlibtools/post-checkout' 2021-09-18T12:14:02,626 adding 'mathlibtools/post-commit' 2021-09-18T12:14:02,629 adding 'mathlibtools-1.1.0.dist-info/LICENSE' 2021-09-18T12:14:02,630 adding 'mathlibtools-1.1.0.dist-info/METADATA' 2021-09-18T12:14:02,631 adding 'mathlibtools-1.1.0.dist-info/WHEEL' 2021-09-18T12:14:02,632 adding 'mathlibtools-1.1.0.dist-info/entry_points.txt' 2021-09-18T12:14:02,633 adding 'mathlibtools-1.1.0.dist-info/top_level.txt' 2021-09-18T12:14:02,633 adding 'mathlibtools-1.1.0.dist-info/RECORD' 2021-09-18T12:14:02,635 removing build/bdist.linux-armv7l/wheel 2021-09-18T12:14:02,710 Building wheel for mathlibtools (setup.py): finished with status 'done' 2021-09-18T12:14:02,712 Created wheel for mathlibtools: filename=mathlibtools-1.1.0-py3-none-any.whl size=36315 sha256=3a8ec794fe09ed7d956f916c7d9fe60252c4e0824a54cd9776b0b32cb5d9f6d0 2021-09-18T12:14:02,713 Stored in directory: /tmp/pip-ephem-wheel-cache-1wttmkta/wheels/0d/23/d0/618dcfbeaaf2f178f2231858ba681c0ef144782df055418bd6 2021-09-18T12:14:02,723 Successfully built mathlibtools 2021-09-18T12:14:02,727 Removed build tracker: '/tmp/pip-req-tracker-rcjhetg4'