2022-05-11T21:50:32,711 Created temporary directory: /tmp/pip-ephem-wheel-cache-qc54ldpa
2022-05-11T21:50:32,717 Created temporary directory: /tmp/pip-req-tracker-b7fariim
2022-05-11T21:50:32,718 Initialized build tracking at /tmp/pip-req-tracker-b7fariim
2022-05-11T21:50:32,718 Created build tracker: /tmp/pip-req-tracker-b7fariim
2022-05-11T21:50:32,719 Entered build tracker: /tmp/pip-req-tracker-b7fariim
2022-05-11T21:50:32,720 Created temporary directory: /tmp/pip-wheel-45525zso
2022-05-11T21:50:32,790 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple
2022-05-11T21:50:32,793 2 location(s) to search for versions of certora-cli-alpha-master:
2022-05-11T21:50:32,793 * https://pypi.org/simple/certora-cli-alpha-master/
2022-05-11T21:50:32,793 * https://www.piwheels.org/simple/certora-cli-alpha-master/
2022-05-11T21:50:32,794 Fetching project page and analyzing links: https://pypi.org/simple/certora-cli-alpha-master/
2022-05-11T21:50:32,796 Getting page https://pypi.org/simple/certora-cli-alpha-master/
2022-05-11T21:50:32,800 Found index url https://pypi.org/simple
2022-05-11T21:50:33,143   Found link https://files.pythonhosted.org/packages/be/62/81a1799090d462673e4498d0012431de00158d6e2c1ff5950c787f15538c/certora-cli-alpha-master-20220509.10.2.tar.gz#sha256=f51630360336594edb6c1ae86a878e03db7bcc8068fd79a6d325ac3b50e3ddd9 (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.5), version: 20220509.10.2
2022-05-11T21:50:33,144   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/38/0e/daf635e25d6cdcad1a976deb6c256793034f934d4ef0193c90a2d971e475/certora_cli_alpha_master-20220509.10.2-py3-none-any.whl#sha256=5f353e87bc6a2b41e9bf010032b08359aad3b157aed92d5edc65566a18812e3b (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.5)
2022-05-11T21:50:33,146   Found link https://files.pythonhosted.org/packages/ea/4d/9102df5404550e67d2ff2865f2d04343db3203ad61c9b53417dd8aeb9df1/certora-cli-alpha-master-20220510.13.11.tar.gz#sha256=5057f3fb10f45a2598a252c544d2866a551e049e1ce5479edeaf95ed2f0a564c (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.5), version: 20220510.13.11
2022-05-11T21:50:33,147   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/71/8c/7cd186e01520e981850824c7471697bf7fd7f1d5f785804c86f42abfc090/certora_cli_alpha_master-20220510.13.11-py3-none-any.whl#sha256=00a21ec9994d6b28d7f35cd8a7ead79f1a80eb1099035eb7e9abb59322ceb404 (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.5)
2022-05-11T21:50:33,149   Found link https://files.pythonhosted.org/packages/0d/bd/8306951f4dc76a9c946df47af5d7b8192bf5ff064eec04ff3e1ad8203de0/certora-cli-alpha-master-20220511.5.40.tar.gz#sha256=ad052d4fc23a95247bcb7deb9adfffda580fee6c75f3f2822f6b30fc0ba392f3 (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.5), version: 20220511.5.40
2022-05-11T21:50:33,150   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/53/65/a6775c12713b8a417d5e915e321041eeab229ccc9f0a4b74af77e781b0d6/certora_cli_alpha_master-20220511.5.40-py3-none-any.whl#sha256=3d9518eb5e87aad1ad6a600c05e329219b13f84c79f057bb2b5cd4695761d149 (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.5)
2022-05-11T21:50:33,151   Found link https://files.pythonhosted.org/packages/1d/2f/7748e411318d87d56585f91c9a6355c1f663c5a2316a2e77498ebe7af7d6/certora-cli-alpha-master-20220511.12.15.tar.gz#sha256=c14f054601ef0eb79d661c7be24630f9174b526fde7e21c6df68ecaeec8fdeaf (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.5), version: 20220511.12.15
2022-05-11T21:50:33,152   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/ed/cc/0458e6592f1704bcf82cb519cf43ff9b26296e90324727d2b95dc5b95db9/certora_cli_alpha_master-20220511.12.15-py3-none-any.whl#sha256=23f6aa212fc4b572347cd5882a1e62466a10f6d37811bd04d44d5a162535d7b3 (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.5)
2022-05-11T21:50:33,154   Found link https://files.pythonhosted.org/packages/11/26/e6ed0691a67d4cff0b94b09da251cbdd84ef34688a15e64644114e1ee43e/certora-cli-alpha-master-20220511.20.6.tar.gz#sha256=c31b45d24d84f175909ef1b444e61a19bb118aad970eef8729500163f9495498 (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.5), version: 20220511.20.6
2022-05-11T21:50:33,155   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/c9/ca/e2954dcddc0b10790eea64782ac66a5ba67271409584843befe27ae1a266/certora_cli_alpha_master-20220511.20.6-py3-none-any.whl#sha256=00140ad5e1b0760489334ba7938d21417e8b5b105ff66beeacaf08b406735c40 (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.5)
2022-05-11T21:50:33,156   Found link https://files.pythonhosted.org/packages/f4/4f/7303c62b4ea52ec8ce1afcfe369cf03a712f88f644054e67677dd175539e/certora-cli-alpha-master-20220511.21.34.tar.gz#sha256=04164b4c22ba5f568b30f737e21b8ab6edeae837277423f681e0d26159762ae0 (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.5), version: 20220511.21.34
2022-05-11T21:50:33,157   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/4f/9c/c5ac70a37dee47fb651ad61f67b6f25b9293625e8de655c1927c3d728e14/certora_cli_alpha_master-20220511.21.34-py3-none-any.whl#sha256=8307c60fd5755d6e95af656d995847a171e6f2a0e377148c083cc5ecf1b4aa50 (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.5)
2022-05-11T21:50:33,157 Fetching project page and analyzing links: https://www.piwheels.org/simple/certora-cli-alpha-master/
2022-05-11T21:50:33,158 Getting page https://www.piwheels.org/simple/certora-cli-alpha-master/
2022-05-11T21:50:33,161 Found index url https://www.piwheels.org/simple
2022-05-11T21:50:33,388   Skipping link: No binaries permitted for certora-cli-alpha-master: https://www.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20220511.20.6-py3-none-any.whl#sha256=dc6279e394308b053ebb276c6cd8f65f1598ce27717bd897ebf47283470633d7 (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.5)
2022-05-11T21:50:33,389   Skipping link: No binaries permitted for certora-cli-alpha-master: https://www.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20220511.12.15-py3-none-any.whl#sha256=ab654fc041288992c3a774c15762606e927d6d24f7bb3128559406b1c8ab1bb1 (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.5)
2022-05-11T21:50:33,389   Skipping link: No binaries permitted for certora-cli-alpha-master: https://www.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20220511.5.40-py3-none-any.whl#sha256=0781343a4e6b4e67b011e81929be45678a88d434e232f993aec8eeb99047df65 (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.5)
2022-05-11T21:50:33,390   Skipping link: No binaries permitted for certora-cli-alpha-master: https://www.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20220510.13.11-py3-none-any.whl#sha256=efda5d3e7ba84e9e083029dee1f9f3085f83f8b705104cf7b9269b12995a12bd (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.5)
2022-05-11T21:50:33,391   Skipping link: No binaries permitted for certora-cli-alpha-master: https://www.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20220509.10.2-py3-none-any.whl#sha256=ea5519c8c826b0571b43665d74c9e78fd7437d90068fdc9e5e15910b95d9fa47 (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.5)
2022-05-11T21:50:33,422 Given no hashes to check 1 links for project 'certora-cli-alpha-master': discarding no candidates
2022-05-11T21:50:33,454 Collecting certora-cli-alpha-master==20220511.21.34
2022-05-11T21:50:33,457   Created temporary directory: /tmp/pip-unpack-jtomwdj5
2022-05-11T21:50:33,819   Downloading certora-cli-alpha-master-20220511.21.34.tar.gz (89 kB)
2022-05-11T21:50:34,067   Added certora-cli-alpha-master==20220511.21.34 from https://files.pythonhosted.org/packages/f4/4f/7303c62b4ea52ec8ce1afcfe369cf03a712f88f644054e67677dd175539e/certora-cli-alpha-master-20220511.21.34.tar.gz#sha256=04164b4c22ba5f568b30f737e21b8ab6edeae837277423f681e0d26159762ae0 to build tracker '/tmp/pip-req-tracker-b7fariim'
2022-05-11T21:50:34,069     Running setup.py (path:/tmp/pip-wheel-45525zso/certora-cli-alpha-master_903581942b584abc8b2d556190bbc68e/setup.py) egg_info for package certora-cli-alpha-master
2022-05-11T21:50:34,071     Created temporary directory: /tmp/pip-pip-egg-info-hl6m3w20
2022-05-11T21:50:34,072     Running command python setup.py egg_info
2022-05-11T21:50:36,185     running egg_info
2022-05-11T21:50:36,195     creating /tmp/pip-pip-egg-info-hl6m3w20/certora_cli_alpha_master.egg-info
2022-05-11T21:50:36,197     writing entry points to /tmp/pip-pip-egg-info-hl6m3w20/certora_cli_alpha_master.egg-info/entry_points.txt
2022-05-11T21:50:36,201     writing top-level names to /tmp/pip-pip-egg-info-hl6m3w20/certora_cli_alpha_master.egg-info/top_level.txt
2022-05-11T21:50:36,203     writing dependency_links to /tmp/pip-pip-egg-info-hl6m3w20/certora_cli_alpha_master.egg-info/dependency_links.txt
2022-05-11T21:50:36,205     writing /tmp/pip-pip-egg-info-hl6m3w20/certora_cli_alpha_master.egg-info/PKG-INFO
2022-05-11T21:50:36,210     writing requirements to /tmp/pip-pip-egg-info-hl6m3w20/certora_cli_alpha_master.egg-info/requires.txt
2022-05-11T21:50:36,213     writing manifest file '/tmp/pip-pip-egg-info-hl6m3w20/certora_cli_alpha_master.egg-info/SOURCES.txt'
2022-05-11T21:50:36,569     reading manifest file '/tmp/pip-pip-egg-info-hl6m3w20/certora_cli_alpha_master.egg-info/SOURCES.txt'
2022-05-11T21:50:36,573     reading manifest template 'MANIFEST.in'
2022-05-11T21:50:36,575     warning: no files found matching '*.jar' under directory 'certora_jars'
2022-05-11T21:50:36,581     writing manifest file '/tmp/pip-pip-egg-info-hl6m3w20/certora_cli_alpha_master.egg-info/SOURCES.txt'
2022-05-11T21:50:36,714   Source in /tmp/pip-wheel-45525zso/certora-cli-alpha-master_903581942b584abc8b2d556190bbc68e has version 20220511.21.34, which satisfies requirement certora-cli-alpha-master==20220511.21.34 from https://files.pythonhosted.org/packages/f4/4f/7303c62b4ea52ec8ce1afcfe369cf03a712f88f644054e67677dd175539e/certora-cli-alpha-master-20220511.21.34.tar.gz#sha256=04164b4c22ba5f568b30f737e21b8ab6edeae837277423f681e0d26159762ae0
2022-05-11T21:50:36,716   Removed certora-cli-alpha-master==20220511.21.34 from https://files.pythonhosted.org/packages/f4/4f/7303c62b4ea52ec8ce1afcfe369cf03a712f88f644054e67677dd175539e/certora-cli-alpha-master-20220511.21.34.tar.gz#sha256=04164b4c22ba5f568b30f737e21b8ab6edeae837277423f681e0d26159762ae0 from build tracker '/tmp/pip-req-tracker-b7fariim'
2022-05-11T21:50:36,733 Created temporary directory: /tmp/pip-unpack-ex16p9hh
2022-05-11T21:50:36,735 Building wheels for collected packages: certora-cli-alpha-master
2022-05-11T21:50:36,746   Created temporary directory: /tmp/pip-wheel-2szwzdty
2022-05-11T21:50:36,747   Building wheel for certora-cli-alpha-master (setup.py): started
2022-05-11T21:50:36,747   Destination directory: /tmp/pip-wheel-2szwzdty
2022-05-11T21:50:36,748   Running command /usr/bin/python3 -u -c 'import sys, setuptools, tokenize; sys.argv[0] = '"'"'/tmp/pip-wheel-45525zso/certora-cli-alpha-master_903581942b584abc8b2d556190bbc68e/setup.py'"'"'; __file__='"'"'/tmp/pip-wheel-45525zso/certora-cli-alpha-master_903581942b584abc8b2d556190bbc68e/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-2szwzdty
2022-05-11T21:50:38,873   running bdist_wheel
2022-05-11T21:50:38,888   running build
2022-05-11T21:50:38,889   running build_py
2022-05-11T21:50:39,222   creating build
2022-05-11T21:50:39,223   creating build/lib
2022-05-11T21:50:39,224   creating build/lib/certora_cli
2022-05-11T21:50:39,227   copying certora_cli/certoraRun.py -> build/lib/certora_cli
2022-05-11T21:50:39,240   copying certora_cli/__init__.py -> build/lib/certora_cli
2022-05-11T21:50:39,246   creating build/lib/certora_cli/EVMVerifier
2022-05-11T21:50:39,248   copying certora_cli/EVMVerifier/certoraCollectRunMetadata.py -> build/lib/certora_cli/EVMVerifier
2022-05-11T21:50:39,255   copying certora_cli/EVMVerifier/certoraBuild.py -> build/lib/certora_cli/EVMVerifier
2022-05-11T21:50:39,275   copying certora_cli/EVMVerifier/certoraType.py -> build/lib/certora_cli/EVMVerifier
2022-05-11T21:50:39,280   copying certora_cli/EVMVerifier/certoraDualArg.py -> build/lib/certora_cli/EVMVerifier
2022-05-11T21:50:39,286   copying certora_cli/EVMVerifier/certoraConfigIO.py -> build/lib/certora_cli/EVMVerifier
2022-05-11T21:50:39,290   copying certora_cli/EVMVerifier/certoraCloudIO.py -> build/lib/certora_cli/EVMVerifier
2022-05-11T21:50:39,300   copying certora_cli/EVMVerifier/__init__.py -> build/lib/certora_cli/EVMVerifier
2022-05-11T21:50:39,305   copying certora_cli/EVMVerifier/certoraJobList.py -> build/lib/certora_cli/EVMVerifier
2022-05-11T21:50:39,312   copying certora_cli/EVMVerifier/certoraNodeFilters.py -> build/lib/certora_cli/EVMVerifier
2022-05-11T21:50:39,318   creating build/lib/certora_cli/Shared
2022-05-11T21:50:39,320   copying certora_cli/Shared/certoraLogging.py -> build/lib/certora_cli/Shared
2022-05-11T21:50:39,325   copying certora_cli/Shared/certoraUtils.py -> build/lib/certora_cli/Shared
2022-05-11T21:50:39,332   copying certora_cli/Shared/certoraTester.py -> build/lib/certora_cli/Shared
2022-05-11T21:50:39,339   copying certora_cli/Shared/__init__.py -> build/lib/certora_cli/Shared
2022-05-11T21:50:39,346   creating build/lib/certora_cli/certora_jars
2022-05-11T21:50:39,348   copying certora_cli/certora_jars/__init__.py -> build/lib/certora_cli/certora_jars
2022-05-11T21:50:39,352   running egg_info
2022-05-11T21:50:39,383   writing dependency_links to certora_cli_alpha_master.egg-info/dependency_links.txt
2022-05-11T21:50:39,386   writing top-level names to certora_cli_alpha_master.egg-info/top_level.txt
2022-05-11T21:50:39,388   writing entry points to certora_cli_alpha_master.egg-info/entry_points.txt
2022-05-11T21:50:39,390   writing requirements to certora_cli_alpha_master.egg-info/requires.txt
2022-05-11T21:50:39,392   writing certora_cli_alpha_master.egg-info/PKG-INFO
2022-05-11T21:50:39,407   reading manifest file 'certora_cli_alpha_master.egg-info/SOURCES.txt'
2022-05-11T21:50:39,411   reading manifest template 'MANIFEST.in'
2022-05-11T21:50:39,413   warning: no files found matching '*.jar' under directory 'certora_jars'
2022-05-11T21:50:39,420   writing manifest file 'certora_cli_alpha_master.egg-info/SOURCES.txt'
2022-05-11T21:50:39,437   installing to build/bdist.linux-armv7l/wheel
2022-05-11T21:50:39,437   running install
2022-05-11T21:50:39,439   running install_lib
2022-05-11T21:50:39,447   creating build/bdist.linux-armv7l
2022-05-11T21:50:39,448   creating build/bdist.linux-armv7l/wheel
2022-05-11T21:50:39,452   creating build/bdist.linux-armv7l/wheel/certora_cli
2022-05-11T21:50:39,454   copying build/lib/certora_cli/certoraRun.py -> build/bdist.linux-armv7l/wheel/certora_cli
2022-05-11T21:50:39,468   creating build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2022-05-11T21:50:39,470   copying build/lib/certora_cli/EVMVerifier/certoraCollectRunMetadata.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2022-05-11T21:50:39,475   copying build/lib/certora_cli/EVMVerifier/certoraBuild.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2022-05-11T21:50:39,495   copying build/lib/certora_cli/EVMVerifier/certoraType.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2022-05-11T21:50:39,502   copying build/lib/certora_cli/EVMVerifier/certoraDualArg.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2022-05-11T21:50:39,508   copying build/lib/certora_cli/EVMVerifier/certoraConfigIO.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2022-05-11T21:50:39,512   copying build/lib/certora_cli/EVMVerifier/certoraCloudIO.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2022-05-11T21:50:39,520   copying build/lib/certora_cli/EVMVerifier/__init__.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2022-05-11T21:50:39,525   copying build/lib/certora_cli/EVMVerifier/certoraJobList.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2022-05-11T21:50:39,532   copying build/lib/certora_cli/EVMVerifier/certoraNodeFilters.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2022-05-11T21:50:39,539   creating build/bdist.linux-armv7l/wheel/certora_cli/Shared
2022-05-11T21:50:39,542   copying build/lib/certora_cli/Shared/certoraLogging.py -> build/bdist.linux-armv7l/wheel/certora_cli/Shared
2022-05-11T21:50:39,547   copying build/lib/certora_cli/Shared/certoraUtils.py -> build/bdist.linux-armv7l/wheel/certora_cli/Shared
2022-05-11T21:50:39,554   copying build/lib/certora_cli/Shared/certoraTester.py -> build/bdist.linux-armv7l/wheel/certora_cli/Shared
2022-05-11T21:50:39,559   copying build/lib/certora_cli/Shared/__init__.py -> build/bdist.linux-armv7l/wheel/certora_cli/Shared
2022-05-11T21:50:39,565   creating build/bdist.linux-armv7l/wheel/certora_cli/certora_jars
2022-05-11T21:50:39,567   copying build/lib/certora_cli/certora_jars/__init__.py -> build/bdist.linux-armv7l/wheel/certora_cli/certora_jars
2022-05-11T21:50:39,572   copying build/lib/certora_cli/__init__.py -> build/bdist.linux-armv7l/wheel/certora_cli
2022-05-11T21:50:39,576   running install_egg_info
2022-05-11T21:50:39,596   Copying certora_cli_alpha_master.egg-info to build/bdist.linux-armv7l/wheel/certora_cli_alpha_master-20220511.21.34-py3.5.egg-info
2022-05-11T21:50:39,622   running install_scripts
2022-05-11T21:50:39,824   creating build/bdist.linux-armv7l/wheel/certora_cli_alpha_master-20220511.21.34.dist-info/WHEEL
2022-05-11T21:50:40,160   Building wheel for certora-cli-alpha-master (setup.py): finished with status 'done'
2022-05-11T21:50:40,166   Created wheel for certora-cli-alpha-master: filename=certora_cli_alpha_master-20220511.21.34-py3-none-any.whl size=97046 sha256=c97e99833b494be70cc80ddd03bd41346e6db1c88198c4062227dacf95f5775c
2022-05-11T21:50:40,167   Stored in directory: /tmp/pip-ephem-wheel-cache-qc54ldpa/wheels/6e/4f/da/619e8d094854e8fc59eeff8f581041e45832b9d93b4298c7c8
2022-05-11T21:50:40,184 Successfully built certora-cli-alpha-master
2022-05-11T21:50:40,206 Removed build tracker: '/tmp/pip-req-tracker-b7fariim'