2020-07-28T19:41:56,919 Created temporary directory: /tmp/pip-ephem-wheel-cache-bxp74sly
2020-07-28T19:41:56,922 Created temporary directory: /tmp/pip-req-tracker-vyehnowi
2020-07-28T19:41:56,923 Initialized build tracking at /tmp/pip-req-tracker-vyehnowi
2020-07-28T19:41:56,925 Created build tracker: /tmp/pip-req-tracker-vyehnowi
2020-07-28T19:41:56,925 Entered build tracker: /tmp/pip-req-tracker-vyehnowi
2020-07-28T19:41:56,926 Created temporary directory: /tmp/pip-wheel-zw5vn4hf
2020-07-28T19:41:56,942 1 location(s) to search for versions of mathlibtools:
2020-07-28T19:41:56,942 * https://pypi.org/simple/mathlibtools/
2020-07-28T19:41:56,943 Fetching project page and analyzing links: https://pypi.org/simple/mathlibtools/
2020-07-28T19:41:56,944 Getting page https://pypi.org/simple/mathlibtools/
2020-07-28T19:41:56,948 Found index url https://pypi.org/simple
2020-07-28T19:41:57,316   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)
2020-07-28T19:41:57,317   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
2020-07-28T19:41:57,318   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)
2020-07-28T19:41:57,319   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
2020-07-28T19:41:57,320   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)
2020-07-28T19:41:57,321   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
2020-07-28T19:41:57,322   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)
2020-07-28T19:41:57,323   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
2020-07-28T19:41:57,324   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)
2020-07-28T19:41:57,325   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
2020-07-28T19:41:57,326   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)
2020-07-28T19:41:57,327   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
2020-07-28T19:41:57,328   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)
2020-07-28T19:41:57,329   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
2020-07-28T19:41:57,329   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)
2020-07-28T19:41:57,331   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
2020-07-28T19:41:57,331   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)
2020-07-28T19:41:57,332   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
2020-07-28T19:41:57,333   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)
2020-07-28T19:41:57,334   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
2020-07-28T19:41:57,335   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)
2020-07-28T19:41:57,336   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
2020-07-28T19:41:57,348 Given no hashes to check 1 links for project 'mathlibtools': discarding no candidates
2020-07-28T19:41:57,350 Using version 0.0.10 (newest of versions: 0.0.10)
2020-07-28T19:41:57,355 Collecting mathlibtools==0.0.10
2020-07-28T19:41:57,359   Created temporary directory: /tmp/pip-unpack-se5lndsc
2020-07-28T19:41:57,568   Downloading mathlibtools-0.0.10.tar.gz (16 kB)
2020-07-28T19:41:57,661   Added mathlibtools==0.0.10 from https://files.pythonhosted.org/packages/fc/21/6b871d00cea09d2e94b9014997b9df160b003f53b4fb89e1cd93ff6f2990/mathlibtools-0.0.10.tar.gz#sha256=66e86498d4f06cfa83270e907dac5bfba07960884e99c2306410caaedf42e034 to build tracker '/tmp/pip-req-tracker-vyehnowi'
2020-07-28T19:41:57,663     Running setup.py (path:/tmp/pip-wheel-zw5vn4hf/mathlibtools/setup.py) egg_info for package mathlibtools
2020-07-28T19:41:57,664     Created temporary directory: /tmp/pip-pip-egg-info-tq2ultgu
2020-07-28T19:41:57,665     Running command python setup.py egg_info
2020-07-28T19:41:59,593     running egg_info
2020-07-28T19:41:59,598     creating /tmp/pip-pip-egg-info-tq2ultgu/mathlibtools.egg-info
2020-07-28T19:41:59,599     writing /tmp/pip-pip-egg-info-tq2ultgu/mathlibtools.egg-info/PKG-INFO
2020-07-28T19:41:59,603     writing top-level names to /tmp/pip-pip-egg-info-tq2ultgu/mathlibtools.egg-info/top_level.txt
2020-07-28T19:41:59,605     writing dependency_links to /tmp/pip-pip-egg-info-tq2ultgu/mathlibtools.egg-info/dependency_links.txt
2020-07-28T19:41:59,606     writing requirements to /tmp/pip-pip-egg-info-tq2ultgu/mathlibtools.egg-info/requires.txt
2020-07-28T19:41:59,608     writing entry points to /tmp/pip-pip-egg-info-tq2ultgu/mathlibtools.egg-info/entry_points.txt
2020-07-28T19:41:59,612     writing manifest file '/tmp/pip-pip-egg-info-tq2ultgu/mathlibtools.egg-info/SOURCES.txt'
2020-07-28T19:41:59,916     reading manifest file '/tmp/pip-pip-egg-info-tq2ultgu/mathlibtools.egg-info/SOURCES.txt'
2020-07-28T19:41:59,923     writing manifest file '/tmp/pip-pip-egg-info-tq2ultgu/mathlibtools.egg-info/SOURCES.txt'
2020-07-28T19:42:00,051   Source in /tmp/pip-wheel-zw5vn4hf/mathlibtools has version 0.0.10, which satisfies requirement mathlibtools==0.0.10 from https://files.pythonhosted.org/packages/fc/21/6b871d00cea09d2e94b9014997b9df160b003f53b4fb89e1cd93ff6f2990/mathlibtools-0.0.10.tar.gz#sha256=66e86498d4f06cfa83270e907dac5bfba07960884e99c2306410caaedf42e034
2020-07-28T19:42:00,053   Removed mathlibtools==0.0.10 from https://files.pythonhosted.org/packages/fc/21/6b871d00cea09d2e94b9014997b9df160b003f53b4fb89e1cd93ff6f2990/mathlibtools-0.0.10.tar.gz#sha256=66e86498d4f06cfa83270e907dac5bfba07960884e99c2306410caaedf42e034 from build tracker '/tmp/pip-req-tracker-vyehnowi'
2020-07-28T19:42:00,057 Building wheels for collected packages: mathlibtools
2020-07-28T19:42:00,064   Created temporary directory: /tmp/pip-wheel-mw2pum2m
2020-07-28T19:42:00,065   Building wheel for mathlibtools (setup.py): started
2020-07-28T19:42:00,065   Destination directory: /tmp/pip-wheel-mw2pum2m
2020-07-28T19:42:00,066   Running command /usr/bin/python3 -u -c 'import sys, setuptools, tokenize; sys.argv[0] = '"'"'/tmp/pip-wheel-zw5vn4hf/mathlibtools/setup.py'"'"'; __file__='"'"'/tmp/pip-wheel-zw5vn4hf/mathlibtools/setup.py'"'"';f=getattr(tokenize, '"'"'open'"'"', open)(__file__);code=f.read().replace('"'"'\r\n'"'"', '"'"'\n'"'"');f.close();exec(compile(code, __file__, '"'"'exec'"'"'))' bdist_wheel -d /tmp/pip-wheel-mw2pum2m
2020-07-28T19:42:02,037   running bdist_wheel
2020-07-28T19:42:02,052   running build
2020-07-28T19:42:02,053   running build_py
2020-07-28T19:42:02,370   creating build
2020-07-28T19:42:02,370   creating build/lib
2020-07-28T19:42:02,371   creating build/lib/mathlibtools
2020-07-28T19:42:02,373   copying mathlibtools/auth_github.py -> build/lib/mathlibtools
2020-07-28T19:42:02,376   copying mathlibtools/__init__.py -> build/lib/mathlibtools
2020-07-28T19:42:02,378   copying mathlibtools/lib.py -> build/lib/mathlibtools
2020-07-28T19:42:02,383   copying mathlibtools/leanproject.py -> build/lib/mathlibtools
2020-07-28T19:42:02,387   copying mathlibtools/delayed_interrupt.py -> build/lib/mathlibtools
2020-07-28T19:42:02,391   copying mathlibtools/post-commit -> build/lib/mathlibtools
2020-07-28T19:42:02,394   copying mathlibtools/post-checkout -> build/lib/mathlibtools
2020-07-28T19:42:02,398   copying mathlibtools/decls.lean -> build/lib/mathlibtools
2020-07-28T19:42:02,407   installing to build/bdist.linux-armv7l/wheel
2020-07-28T19:42:02,408   running install
2020-07-28T19:42:02,409   running install_lib
2020-07-28T19:42:02,416   creating build/bdist.linux-armv7l
2020-07-28T19:42:02,417   creating build/bdist.linux-armv7l/wheel
2020-07-28T19:42:02,419   creating build/bdist.linux-armv7l/wheel/mathlibtools
2020-07-28T19:42:02,421   copying build/lib/mathlibtools/decls.lean -> build/bdist.linux-armv7l/wheel/mathlibtools
2020-07-28T19:42:02,424   copying build/lib/mathlibtools/auth_github.py -> build/bdist.linux-armv7l/wheel/mathlibtools
2020-07-28T19:42:02,426   copying build/lib/mathlibtools/__init__.py -> build/bdist.linux-armv7l/wheel/mathlibtools
2020-07-28T19:42:02,429   copying build/lib/mathlibtools/post-commit -> build/bdist.linux-armv7l/wheel/mathlibtools
2020-07-28T19:42:02,432   copying build/lib/mathlibtools/lib.py -> build/bdist.linux-armv7l/wheel/mathlibtools
2020-07-28T19:42:02,436   copying build/lib/mathlibtools/leanproject.py -> build/bdist.linux-armv7l/wheel/mathlibtools
2020-07-28T19:42:02,440   copying build/lib/mathlibtools/delayed_interrupt.py -> build/bdist.linux-armv7l/wheel/mathlibtools
2020-07-28T19:42:02,444   copying build/lib/mathlibtools/post-checkout -> build/bdist.linux-armv7l/wheel/mathlibtools
2020-07-28T19:42:02,447   running install_egg_info
2020-07-28T19:42:02,491   running egg_info
2020-07-28T19:42:02,492   writing entry points to mathlibtools.egg-info/entry_points.txt
2020-07-28T19:42:02,494   writing requirements to mathlibtools.egg-info/requires.txt
2020-07-28T19:42:02,496   writing top-level names to mathlibtools.egg-info/top_level.txt
2020-07-28T19:42:02,497   writing mathlibtools.egg-info/PKG-INFO
2020-07-28T19:42:02,501   writing dependency_links to mathlibtools.egg-info/dependency_links.txt
2020-07-28T19:42:02,508   reading manifest file 'mathlibtools.egg-info/SOURCES.txt'
2020-07-28T19:42:02,516   writing manifest file 'mathlibtools.egg-info/SOURCES.txt'
2020-07-28T19:42:02,519   Copying mathlibtools.egg-info to build/bdist.linux-armv7l/wheel/mathlibtools-0.0.10-py3.5.egg-info
2020-07-28T19:42:02,538   running install_scripts
2020-07-28T19:42:02,704   creating build/bdist.linux-armv7l/wheel/mathlibtools-0.0.10.dist-info/WHEEL
2020-07-28T19:42:02,902   Building wheel for mathlibtools (setup.py): finished with status 'done'
2020-07-28T19:42:02,905   Created wheel for mathlibtools: filename=mathlibtools-0.0.10-py3-none-any.whl size=19828 sha256=1433b899da59b511daee3eb48aa349e283e292affca4e9eecfc4782489750b53
2020-07-28T19:42:02,906   Stored in directory: /tmp/pip-ephem-wheel-cache-bxp74sly/wheels/a1/2a/df/6740330ccc3af375abe4e650ee3fedda0a1a84731a4c0aa3cd
2020-07-28T19:42:02,909 Successfully built mathlibtools
2020-07-28T19:42:02,915 Removed build tracker: '/tmp/pip-req-tracker-vyehnowi'