2020-07-12T10:54:29,834 Created temporary directory: /tmp/pip-ephem-wheel-cache-5c9bb_cs
2020-07-12T10:54:29,838 Created temporary directory: /tmp/pip-req-tracker-8wltmor2
2020-07-12T10:54:29,839 Initialized build tracking at /tmp/pip-req-tracker-8wltmor2
2020-07-12T10:54:29,840 Created build tracker: /tmp/pip-req-tracker-8wltmor2
2020-07-12T10:54:29,840 Entered build tracker: /tmp/pip-req-tracker-8wltmor2
2020-07-12T10:54:29,841 Created temporary directory: /tmp/pip-wheel-wny5qu43
2020-07-12T10:54:29,858 1 location(s) to search for versions of mathlibtools:
2020-07-12T10:54:29,858 * https://pypi.org/simple/mathlibtools/
2020-07-12T10:54:29,859 Fetching project page and analyzing links: https://pypi.org/simple/mathlibtools/
2020-07-12T10:54:29,860 Getting page https://pypi.org/simple/mathlibtools/
2020-07-12T10:54:29,862 Found index url https://pypi.org/simple
2020-07-12T10:54:30,087   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-12T10:54:30,088   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-12T10:54:30,089   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-12T10:54:30,090   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-12T10:54:30,090   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-12T10:54:30,091   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-12T10:54:30,092   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-12T10:54:30,093   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-12T10:54:30,093   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-12T10:54:30,094   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-12T10:54:30,095   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-12T10:54:30,096   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-12T10:54:30,097   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-12T10:54:30,098   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-12T10:54:30,098   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-12T10:54:30,099   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-12T10:54:30,100   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-12T10:54:30,101   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-12T10:54:30,101   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-12T10:54:30,102   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-12T10:54:30,117 Given no hashes to check 1 links for project 'mathlibtools': discarding no candidates
2020-07-12T10:54:30,119 Using version 0.0.9b0 (newest of versions: 0.0.9b0)
2020-07-12T10:54:30,124 Collecting mathlibtools==0.0.9b0
2020-07-12T10:54:30,128   Created temporary directory: /tmp/pip-unpack-_nu4c3t6
2020-07-12T10:54:30,338   Downloading mathlibtools-0.0.9b0.tar.gz (17 kB)
2020-07-12T10:54:30,460   Added mathlibtools==0.0.9b0 from https://files.pythonhosted.org/packages/ef/1e/9c2b5819bc9e8ec3e8fabb6187362fc5533bbbc81f30e25c4d893461cc49/mathlibtools-0.0.9b0.tar.gz#sha256=7b00ce99fedd971f48c6a16d51f8b1736d984bffeee680bc4c4d09de19ade8ec to build tracker '/tmp/pip-req-tracker-8wltmor2'
2020-07-12T10:54:30,463     Running setup.py (path:/tmp/pip-wheel-wny5qu43/mathlibtools/setup.py) egg_info for package mathlibtools
2020-07-12T10:54:30,465     Created temporary directory: /tmp/pip-pip-egg-info-3yu85dtl
2020-07-12T10:54:30,466     Running command python setup.py egg_info
2020-07-12T10:54:32,340     running egg_info
2020-07-12T10:54:32,344     creating /tmp/pip-pip-egg-info-3yu85dtl/mathlibtools.egg-info
2020-07-12T10:54:32,346     writing /tmp/pip-pip-egg-info-3yu85dtl/mathlibtools.egg-info/PKG-INFO
2020-07-12T10:54:32,350     writing dependency_links to /tmp/pip-pip-egg-info-3yu85dtl/mathlibtools.egg-info/dependency_links.txt
2020-07-12T10:54:32,354     writing entry points to /tmp/pip-pip-egg-info-3yu85dtl/mathlibtools.egg-info/entry_points.txt
2020-07-12T10:54:32,356     writing requirements to /tmp/pip-pip-egg-info-3yu85dtl/mathlibtools.egg-info/requires.txt
2020-07-12T10:54:32,358     writing top-level names to /tmp/pip-pip-egg-info-3yu85dtl/mathlibtools.egg-info/top_level.txt
2020-07-12T10:54:32,362     writing manifest file '/tmp/pip-pip-egg-info-3yu85dtl/mathlibtools.egg-info/SOURCES.txt'
2020-07-12T10:54:32,657     reading manifest file '/tmp/pip-pip-egg-info-3yu85dtl/mathlibtools.egg-info/SOURCES.txt'
2020-07-12T10:54:32,664     writing manifest file '/tmp/pip-pip-egg-info-3yu85dtl/mathlibtools.egg-info/SOURCES.txt'
2020-07-12T10:54:32,666     /usr/local/lib/python3.7/dist-packages/setuptools/dist.py:454: UserWarning: Normalizing '0.0.9b' to '0.0.9b0'
2020-07-12T10:54:32,667       warnings.warn(tmpl.format(**locals()))
2020-07-12T10:54:32,783   Source in /tmp/pip-wheel-wny5qu43/mathlibtools has version 0.0.9b0, which satisfies requirement mathlibtools==0.0.9b0 from https://files.pythonhosted.org/packages/ef/1e/9c2b5819bc9e8ec3e8fabb6187362fc5533bbbc81f30e25c4d893461cc49/mathlibtools-0.0.9b0.tar.gz#sha256=7b00ce99fedd971f48c6a16d51f8b1736d984bffeee680bc4c4d09de19ade8ec
2020-07-12T10:54:32,785   Removed mathlibtools==0.0.9b0 from https://files.pythonhosted.org/packages/ef/1e/9c2b5819bc9e8ec3e8fabb6187362fc5533bbbc81f30e25c4d893461cc49/mathlibtools-0.0.9b0.tar.gz#sha256=7b00ce99fedd971f48c6a16d51f8b1736d984bffeee680bc4c4d09de19ade8ec from build tracker '/tmp/pip-req-tracker-8wltmor2'
2020-07-12T10:54:32,789 Building wheels for collected packages: mathlibtools
2020-07-12T10:54:32,801   Created temporary directory: /tmp/pip-wheel-3n5sr4ot
2020-07-12T10:54:32,803   Building wheel for mathlibtools (setup.py): started
2020-07-12T10:54:32,804   Destination directory: /tmp/pip-wheel-3n5sr4ot
2020-07-12T10:54:32,804   Running command /usr/bin/python3 -u -c 'import sys, setuptools, tokenize; sys.argv[0] = '"'"'/tmp/pip-wheel-wny5qu43/mathlibtools/setup.py'"'"'; __file__='"'"'/tmp/pip-wheel-wny5qu43/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-3n5sr4ot
2020-07-12T10:54:34,559   /usr/local/lib/python3.7/dist-packages/setuptools/dist.py:454: UserWarning: Normalizing '0.0.9b' to '0.0.9b0'
2020-07-12T10:54:34,560     warnings.warn(tmpl.format(**locals()))
2020-07-12T10:54:34,660   running bdist_wheel
2020-07-12T10:54:34,673   running build
2020-07-12T10:54:34,674   running build_py
2020-07-12T10:54:34,945   creating build
2020-07-12T10:54:34,946   creating build/lib
2020-07-12T10:54:34,947   creating build/lib/mathlibtools
2020-07-12T10:54:34,950   copying mathlibtools/leanproject.py -> build/lib/mathlibtools
2020-07-12T10:54:34,956   copying mathlibtools/delayed_interrupt.py -> build/lib/mathlibtools
2020-07-12T10:54:34,959   copying mathlibtools/lib.py -> build/lib/mathlibtools
2020-07-12T10:54:34,966   copying mathlibtools/auth_github.py -> build/lib/mathlibtools
2020-07-12T10:54:34,970   copying mathlibtools/__init__.py -> build/lib/mathlibtools
2020-07-12T10:54:34,974   copying mathlibtools/post-commit -> build/lib/mathlibtools
2020-07-12T10:54:34,979   copying mathlibtools/post-checkout -> build/lib/mathlibtools
2020-07-12T10:54:34,985   copying mathlibtools/decls.lean -> build/lib/mathlibtools
2020-07-12T10:54:35,001   installing to build/bdist.linux-armv7l/wheel
2020-07-12T10:54:35,001   running install
2020-07-12T10:54:35,003   running install_lib
2020-07-12T10:54:35,010   creating build/bdist.linux-armv7l
2020-07-12T10:54:35,011   creating build/bdist.linux-armv7l/wheel
2020-07-12T10:54:35,014   creating build/bdist.linux-armv7l/wheel/mathlibtools
2020-07-12T10:54:35,016   copying build/lib/mathlibtools/leanproject.py -> build/bdist.linux-armv7l/wheel/mathlibtools
2020-07-12T10:54:35,022   copying build/lib/mathlibtools/post-commit -> build/bdist.linux-armv7l/wheel/mathlibtools
2020-07-12T10:54:35,026   copying build/lib/mathlibtools/delayed_interrupt.py -> build/bdist.linux-armv7l/wheel/mathlibtools
2020-07-12T10:54:35,030   copying build/lib/mathlibtools/lib.py -> build/bdist.linux-armv7l/wheel/mathlibtools
2020-07-12T10:54:35,037   copying build/lib/mathlibtools/post-checkout -> build/bdist.linux-armv7l/wheel/mathlibtools
2020-07-12T10:54:35,042   copying build/lib/mathlibtools/auth_github.py -> build/bdist.linux-armv7l/wheel/mathlibtools
2020-07-12T10:54:35,047   copying build/lib/mathlibtools/__init__.py -> build/bdist.linux-armv7l/wheel/mathlibtools
2020-07-12T10:54:35,051   copying build/lib/mathlibtools/decls.lean -> build/bdist.linux-armv7l/wheel/mathlibtools
2020-07-12T10:54:35,056   running install_egg_info
2020-07-12T10:54:35,094   running egg_info
2020-07-12T10:54:35,095   writing mathlibtools.egg-info/PKG-INFO
2020-07-12T10:54:35,099   writing dependency_links to mathlibtools.egg-info/dependency_links.txt
2020-07-12T10:54:35,102   writing entry points to mathlibtools.egg-info/entry_points.txt
2020-07-12T10:54:35,105   writing requirements to mathlibtools.egg-info/requires.txt
2020-07-12T10:54:35,107   writing top-level names to mathlibtools.egg-info/top_level.txt
2020-07-12T10:54:35,116   reading manifest file 'mathlibtools.egg-info/SOURCES.txt'
2020-07-12T10:54:35,124   writing manifest file 'mathlibtools.egg-info/SOURCES.txt'
2020-07-12T10:54:35,127   Copying mathlibtools.egg-info to build/bdist.linux-armv7l/wheel/mathlibtools-0.0.9b0-py3.7.egg-info
2020-07-12T10:54:35,154   running install_scripts
2020-07-12T10:54:35,332   creating build/bdist.linux-armv7l/wheel/mathlibtools-0.0.9b0.dist-info/WHEEL
2020-07-12T10:54:35,338   creating '/tmp/pip-wheel-3n5sr4ot/mathlibtools-0.0.9b0-py3-none-any.whl' and adding 'build/bdist.linux-armv7l/wheel' to it
2020-07-12T10:54:35,343   adding 'mathlibtools/__init__.py'
2020-07-12T10:54:35,345   adding 'mathlibtools/auth_github.py'
2020-07-12T10:54:35,348   adding 'mathlibtools/decls.lean'
2020-07-12T10:54:35,350   adding 'mathlibtools/delayed_interrupt.py'
2020-07-12T10:54:35,354   adding 'mathlibtools/leanproject.py'
2020-07-12T10:54:35,361   adding 'mathlibtools/lib.py'
2020-07-12T10:54:35,364   adding 'mathlibtools/post-checkout'
2020-07-12T10:54:35,366   adding 'mathlibtools/post-commit'
2020-07-12T10:54:35,370   adding 'mathlibtools-0.0.9b0.dist-info/METADATA'
2020-07-12T10:54:35,372   adding 'mathlibtools-0.0.9b0.dist-info/WHEEL'
2020-07-12T10:54:35,374   adding 'mathlibtools-0.0.9b0.dist-info/entry_points.txt'
2020-07-12T10:54:35,376   adding 'mathlibtools-0.0.9b0.dist-info/top_level.txt'
2020-07-12T10:54:35,377   adding 'mathlibtools-0.0.9b0.dist-info/RECORD'
2020-07-12T10:54:35,380   removing build/bdist.linux-armv7l/wheel
2020-07-12T10:54:35,521   Building wheel for mathlibtools (setup.py): finished with status 'done'
2020-07-12T10:54:35,525   Created wheel for mathlibtools: filename=mathlibtools-0.0.9b0-py3-none-any.whl size=18102 sha256=3adc4fd30771137cb4312fa151d6d85600dfe6fd55da36962c4786cf24e464b9
2020-07-12T10:54:35,525   Stored in directory: /tmp/pip-ephem-wheel-cache-5c9bb_cs/wheels/06/cd/b1/17f464c2c75e19ee0445d492e3bd59ec8255a4448b6b63b761
2020-07-12T10:54:35,529 Successfully built mathlibtools
2020-07-12T10:54:35,539 Removed build tracker: '/tmp/pip-req-tracker-8wltmor2'