2020-07-12T10:47:23,807 Created temporary directory: /tmp/pip-ephem-wheel-cache-fmivba9h
2020-07-12T10:47:23,811 Created temporary directory: /tmp/pip-req-tracker-fnq0ex98
2020-07-12T10:47:23,812 Initialized build tracking at /tmp/pip-req-tracker-fnq0ex98
2020-07-12T10:47:23,814 Created build tracker: /tmp/pip-req-tracker-fnq0ex98
2020-07-12T10:47:23,815 Entered build tracker: /tmp/pip-req-tracker-fnq0ex98
2020-07-12T10:47:23,816 Created temporary directory: /tmp/pip-wheel-2i1n6yt0
2020-07-12T10:47:23,835 1 location(s) to search for versions of mathlibtools:
2020-07-12T10:47:23,835 * https://pypi.org/simple/mathlibtools/
2020-07-12T10:47:23,835 Fetching project page and analyzing links: https://pypi.org/simple/mathlibtools/
2020-07-12T10:47:23,837 Getting page https://pypi.org/simple/mathlibtools/
2020-07-12T10:47:23,841 Found index url https://pypi.org/simple
2020-07-12T10:47:24,177   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:47:24,178   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:47:24,179   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:47:24,181   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:47:24,182   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:47:24,183   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:47:24,184   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:47:24,185   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:47:24,186   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:47:24,187   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:47:24,188   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:47:24,189   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:47:24,190   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:47:24,191   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:47:24,192   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:47:24,194   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:47:24,194   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:47:24,196   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:47:24,209 Given no hashes to check 1 links for project 'mathlibtools': discarding no candidates
2020-07-12T10:47:24,211 Using version 0.0.9 (newest of versions: 0.0.9)
2020-07-12T10:47:24,218 Collecting mathlibtools==0.0.9
2020-07-12T10:47:24,222   Created temporary directory: /tmp/pip-unpack-qf61yex3
2020-07-12T10:47:24,482   Downloading mathlibtools-0.0.9.tar.gz (16 kB)
2020-07-12T10:47:24,613   Added mathlibtools==0.0.9 from https://files.pythonhosted.org/packages/28/e0/4bc2d6b386bd650d4debded2c47c3cfd6424b6e4405790d89d70ac1da6c2/mathlibtools-0.0.9.tar.gz#sha256=3395a6c3ea0d01ea0edff9c69a30acd632f6815b201e8b2d9e7f78d39f2c0c69 to build tracker '/tmp/pip-req-tracker-fnq0ex98'
2020-07-12T10:47:24,615     Running setup.py (path:/tmp/pip-wheel-2i1n6yt0/mathlibtools/setup.py) egg_info for package mathlibtools
2020-07-12T10:47:24,617     Created temporary directory: /tmp/pip-pip-egg-info-e09j4hyo
2020-07-12T10:47:24,618     Running command python setup.py egg_info
2020-07-12T10:47:26,818     running egg_info
2020-07-12T10:47:26,825     creating /tmp/pip-pip-egg-info-e09j4hyo/mathlibtools.egg-info
2020-07-12T10:47:26,828     writing requirements to /tmp/pip-pip-egg-info-e09j4hyo/mathlibtools.egg-info/requires.txt
2020-07-12T10:47:26,832     writing top-level names to /tmp/pip-pip-egg-info-e09j4hyo/mathlibtools.egg-info/top_level.txt
2020-07-12T10:47:26,835     writing entry points to /tmp/pip-pip-egg-info-e09j4hyo/mathlibtools.egg-info/entry_points.txt
2020-07-12T10:47:26,838     writing dependency_links to /tmp/pip-pip-egg-info-e09j4hyo/mathlibtools.egg-info/dependency_links.txt
2020-07-12T10:47:26,841     writing /tmp/pip-pip-egg-info-e09j4hyo/mathlibtools.egg-info/PKG-INFO
2020-07-12T10:47:26,848     writing manifest file '/tmp/pip-pip-egg-info-e09j4hyo/mathlibtools.egg-info/SOURCES.txt'
2020-07-12T10:47:27,204     reading manifest file '/tmp/pip-pip-egg-info-e09j4hyo/mathlibtools.egg-info/SOURCES.txt'
2020-07-12T10:47:27,213     writing manifest file '/tmp/pip-pip-egg-info-e09j4hyo/mathlibtools.egg-info/SOURCES.txt'
2020-07-12T10:47:27,351   Source in /tmp/pip-wheel-2i1n6yt0/mathlibtools has version 0.0.9, which satisfies requirement mathlibtools==0.0.9 from https://files.pythonhosted.org/packages/28/e0/4bc2d6b386bd650d4debded2c47c3cfd6424b6e4405790d89d70ac1da6c2/mathlibtools-0.0.9.tar.gz#sha256=3395a6c3ea0d01ea0edff9c69a30acd632f6815b201e8b2d9e7f78d39f2c0c69
2020-07-12T10:47:27,353   Removed mathlibtools==0.0.9 from https://files.pythonhosted.org/packages/28/e0/4bc2d6b386bd650d4debded2c47c3cfd6424b6e4405790d89d70ac1da6c2/mathlibtools-0.0.9.tar.gz#sha256=3395a6c3ea0d01ea0edff9c69a30acd632f6815b201e8b2d9e7f78d39f2c0c69 from build tracker '/tmp/pip-req-tracker-fnq0ex98'
2020-07-12T10:47:27,358 Building wheels for collected packages: mathlibtools
2020-07-12T10:47:27,367   Created temporary directory: /tmp/pip-wheel-2nbl5umf
2020-07-12T10:47:27,368   Building wheel for mathlibtools (setup.py): started
2020-07-12T10:47:27,369   Destination directory: /tmp/pip-wheel-2nbl5umf
2020-07-12T10:47:27,369   Running command /usr/bin/python3 -u -c 'import sys, setuptools, tokenize; sys.argv[0] = '"'"'/tmp/pip-wheel-2i1n6yt0/mathlibtools/setup.py'"'"'; __file__='"'"'/tmp/pip-wheel-2i1n6yt0/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-2nbl5umf
2020-07-12T10:47:29,602   running bdist_wheel
2020-07-12T10:47:29,619   running build
2020-07-12T10:47:29,620   running build_py
2020-07-12T10:47:29,962   creating build
2020-07-12T10:47:29,964   creating build/lib
2020-07-12T10:47:29,967   creating build/lib/mathlibtools
2020-07-12T10:47:29,970   copying mathlibtools/delayed_interrupt.py -> build/lib/mathlibtools
2020-07-12T10:47:29,976   copying mathlibtools/lib.py -> build/lib/mathlibtools
2020-07-12T10:47:29,984   copying mathlibtools/auth_github.py -> build/lib/mathlibtools
2020-07-12T10:47:29,989   copying mathlibtools/__init__.py -> build/lib/mathlibtools
2020-07-12T10:47:29,993   copying mathlibtools/leanproject.py -> build/lib/mathlibtools
2020-07-12T10:47:30,001   copying mathlibtools/post-commit -> build/lib/mathlibtools
2020-07-12T10:47:30,007   copying mathlibtools/post-checkout -> build/lib/mathlibtools
2020-07-12T10:47:30,012   copying mathlibtools/decls.lean -> build/lib/mathlibtools
2020-07-12T10:47:30,025   installing to build/bdist.linux-armv7l/wheel
2020-07-12T10:47:30,026   running install
2020-07-12T10:47:30,029   running install_lib
2020-07-12T10:47:30,038   creating build/bdist.linux-armv7l
2020-07-12T10:47:30,040   creating build/bdist.linux-armv7l/wheel
2020-07-12T10:47:30,044   creating build/bdist.linux-armv7l/wheel/mathlibtools
2020-07-12T10:47:30,048   copying build/lib/mathlibtools/post-checkout -> build/bdist.linux-armv7l/wheel/mathlibtools
2020-07-12T10:47:30,053   copying build/lib/mathlibtools/post-commit -> build/bdist.linux-armv7l/wheel/mathlibtools
2020-07-12T10:47:30,058   copying build/lib/mathlibtools/delayed_interrupt.py -> build/bdist.linux-armv7l/wheel/mathlibtools
2020-07-12T10:47:30,063   copying build/lib/mathlibtools/lib.py -> build/bdist.linux-armv7l/wheel/mathlibtools
2020-07-12T10:47:30,071   copying build/lib/mathlibtools/decls.lean -> build/bdist.linux-armv7l/wheel/mathlibtools
2020-07-12T10:47:30,075   copying build/lib/mathlibtools/auth_github.py -> build/bdist.linux-armv7l/wheel/mathlibtools
2020-07-12T10:47:30,081   copying build/lib/mathlibtools/__init__.py -> build/bdist.linux-armv7l/wheel/mathlibtools
2020-07-12T10:47:30,085   copying build/lib/mathlibtools/leanproject.py -> build/bdist.linux-armv7l/wheel/mathlibtools
2020-07-12T10:47:30,090   running install_egg_info
2020-07-12T10:47:30,135   running egg_info
2020-07-12T10:47:30,137   writing mathlibtools.egg-info/PKG-INFO
2020-07-12T10:47:30,142   writing entry points to mathlibtools.egg-info/entry_points.txt
2020-07-12T10:47:30,145   writing requirements to mathlibtools.egg-info/requires.txt
2020-07-12T10:47:30,149   writing dependency_links to mathlibtools.egg-info/dependency_links.txt
2020-07-12T10:47:30,152   writing top-level names to mathlibtools.egg-info/top_level.txt
2020-07-12T10:47:30,162   reading manifest file 'mathlibtools.egg-info/SOURCES.txt'
2020-07-12T10:47:30,173   writing manifest file 'mathlibtools.egg-info/SOURCES.txt'
2020-07-12T10:47:30,176   Copying mathlibtools.egg-info to build/bdist.linux-armv7l/wheel/mathlibtools-0.0.9-py3.5.egg-info
2020-07-12T10:47:30,206   running install_scripts
2020-07-12T10:47:30,421   creating build/bdist.linux-armv7l/wheel/mathlibtools-0.0.9.dist-info/WHEEL
2020-07-12T10:47:30,657   Building wheel for mathlibtools (setup.py): finished with status 'done'
2020-07-12T10:47:30,662   Created wheel for mathlibtools: filename=mathlibtools-0.0.9-py3-none-any.whl size=19994 sha256=f6b485ea8114d0cb7ca85091a2061411419ec69dc7fddf3ef4d85bc1357f4db9
2020-07-12T10:47:30,663   Stored in directory: /tmp/pip-ephem-wheel-cache-fmivba9h/wheels/3d/d6/f2/c38fb3efe3ac0b41b83c945b01eb6cec35d006ca88b7391411
2020-07-12T10:47:30,666 Successfully built mathlibtools
2020-07-12T10:47:30,676 Removed build tracker: '/tmp/pip-req-tracker-fnq0ex98'