2022-05-11T05:57:47,338 Created temporary directory: /tmp/pip-ephem-wheel-cache-ah1gxhc7
2022-05-11T05:57:47,344 Created temporary directory: /tmp/pip-req-tracker-npb19ft0
2022-05-11T05:57:47,345 Initialized build tracking at /tmp/pip-req-tracker-npb19ft0
2022-05-11T05:57:47,345 Created build tracker: /tmp/pip-req-tracker-npb19ft0
2022-05-11T05:57:47,346 Entered build tracker: /tmp/pip-req-tracker-npb19ft0
2022-05-11T05:57:47,347 Created temporary directory: /tmp/pip-wheel-3qhpbkrt
2022-05-11T05:57:47,419 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple
2022-05-11T05:57:47,422 2 location(s) to search for versions of certora-cli-alpha-master:
2022-05-11T05:57:47,422 * https://pypi.org/simple/certora-cli-alpha-master/
2022-05-11T05:57:47,422 * https://www.piwheels.org/simple/certora-cli-alpha-master/
2022-05-11T05:57:47,423 Fetching project page and analyzing links: https://pypi.org/simple/certora-cli-alpha-master/
2022-05-11T05:57:47,425 Getting page https://pypi.org/simple/certora-cli-alpha-master/
2022-05-11T05:57:47,430 Found index url https://pypi.org/simple
2022-05-11T05:57:47,756   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-11T05:57:47,757   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-11T05:57:47,759   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-11T05:57:47,760   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-11T05:57:47,761   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-11T05:57:47,762   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-11T05:57:47,763 Fetching project page and analyzing links: https://www.piwheels.org/simple/certora-cli-alpha-master/
2022-05-11T05:57:47,763 Getting page https://www.piwheels.org/simple/certora-cli-alpha-master/
2022-05-11T05:57:47,766 Found index url https://www.piwheels.org/simple
2022-05-11T05:57:48,014   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-11T05:57:48,016   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-11T05:57:48,047 Given no hashes to check 1 links for project 'certora-cli-alpha-master': discarding no candidates
2022-05-11T05:57:48,079 Collecting certora-cli-alpha-master==20220511.5.40
2022-05-11T05:57:48,083   Created temporary directory: /tmp/pip-unpack-eh_pljkf
2022-05-11T05:57:48,318   Downloading certora-cli-alpha-master-20220511.5.40.tar.gz (89 kB)
2022-05-11T05:57:48,584   Added certora-cli-alpha-master==20220511.5.40 from https://files.pythonhosted.org/packages/0d/bd/8306951f4dc76a9c946df47af5d7b8192bf5ff064eec04ff3e1ad8203de0/certora-cli-alpha-master-20220511.5.40.tar.gz#sha256=ad052d4fc23a95247bcb7deb9adfffda580fee6c75f3f2822f6b30fc0ba392f3 to build tracker '/tmp/pip-req-tracker-npb19ft0'
2022-05-11T05:57:48,586     Running setup.py (path:/tmp/pip-wheel-3qhpbkrt/certora-cli-alpha-master_594f25c761e84621bcf6e7dc32d9db7a/setup.py) egg_info for package certora-cli-alpha-master
2022-05-11T05:57:48,588     Created temporary directory: /tmp/pip-pip-egg-info-crj9lilx
2022-05-11T05:57:48,588     Running command python setup.py egg_info
2022-05-11T05:57:50,799     running egg_info
2022-05-11T05:57:50,808     creating /tmp/pip-pip-egg-info-crj9lilx/certora_cli_alpha_master.egg-info
2022-05-11T05:57:50,812     writing entry points to /tmp/pip-pip-egg-info-crj9lilx/certora_cli_alpha_master.egg-info/entry_points.txt
2022-05-11T05:57:50,816     writing /tmp/pip-pip-egg-info-crj9lilx/certora_cli_alpha_master.egg-info/PKG-INFO
2022-05-11T05:57:50,819     writing requirements to /tmp/pip-pip-egg-info-crj9lilx/certora_cli_alpha_master.egg-info/requires.txt
2022-05-11T05:57:50,821     writing dependency_links to /tmp/pip-pip-egg-info-crj9lilx/certora_cli_alpha_master.egg-info/dependency_links.txt
2022-05-11T05:57:50,823     writing top-level names to /tmp/pip-pip-egg-info-crj9lilx/certora_cli_alpha_master.egg-info/top_level.txt
2022-05-11T05:57:50,827     writing manifest file '/tmp/pip-pip-egg-info-crj9lilx/certora_cli_alpha_master.egg-info/SOURCES.txt'
2022-05-11T05:57:51,362     reading manifest file '/tmp/pip-pip-egg-info-crj9lilx/certora_cli_alpha_master.egg-info/SOURCES.txt'
2022-05-11T05:57:51,365     reading manifest template 'MANIFEST.in'
2022-05-11T05:57:51,368     warning: no files found matching '*.jar' under directory 'certora_jars'
2022-05-11T05:57:51,374     writing manifest file '/tmp/pip-pip-egg-info-crj9lilx/certora_cli_alpha_master.egg-info/SOURCES.txt'
2022-05-11T05:57:51,513   Source in /tmp/pip-wheel-3qhpbkrt/certora-cli-alpha-master_594f25c761e84621bcf6e7dc32d9db7a has version 20220511.5.40, which satisfies requirement certora-cli-alpha-master==20220511.5.40 from https://files.pythonhosted.org/packages/0d/bd/8306951f4dc76a9c946df47af5d7b8192bf5ff064eec04ff3e1ad8203de0/certora-cli-alpha-master-20220511.5.40.tar.gz#sha256=ad052d4fc23a95247bcb7deb9adfffda580fee6c75f3f2822f6b30fc0ba392f3
2022-05-11T05:57:51,515   Removed certora-cli-alpha-master==20220511.5.40 from https://files.pythonhosted.org/packages/0d/bd/8306951f4dc76a9c946df47af5d7b8192bf5ff064eec04ff3e1ad8203de0/certora-cli-alpha-master-20220511.5.40.tar.gz#sha256=ad052d4fc23a95247bcb7deb9adfffda580fee6c75f3f2822f6b30fc0ba392f3 from build tracker '/tmp/pip-req-tracker-npb19ft0'
2022-05-11T05:57:51,527 Created temporary directory: /tmp/pip-unpack-16g37_i6
2022-05-11T05:57:51,528 Building wheels for collected packages: certora-cli-alpha-master
2022-05-11T05:57:51,537   Created temporary directory: /tmp/pip-wheel-aa6bslvz
2022-05-11T05:57:51,538   Building wheel for certora-cli-alpha-master (setup.py): started
2022-05-11T05:57:51,539   Destination directory: /tmp/pip-wheel-aa6bslvz
2022-05-11T05:57:51,539   Running command /usr/bin/python3 -u -c 'import sys, setuptools, tokenize; sys.argv[0] = '"'"'/tmp/pip-wheel-3qhpbkrt/certora-cli-alpha-master_594f25c761e84621bcf6e7dc32d9db7a/setup.py'"'"'; __file__='"'"'/tmp/pip-wheel-3qhpbkrt/certora-cli-alpha-master_594f25c761e84621bcf6e7dc32d9db7a/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-aa6bslvz
2022-05-11T05:57:53,754   running bdist_wheel
2022-05-11T05:57:53,769   running build
2022-05-11T05:57:53,770   running build_py
2022-05-11T05:57:54,103   creating build
2022-05-11T05:57:54,104   creating build/lib
2022-05-11T05:57:54,105   creating build/lib/certora_cli
2022-05-11T05:57:54,108   copying certora_cli/certoraRun.py -> build/lib/certora_cli
2022-05-11T05:57:54,121   copying certora_cli/__init__.py -> build/lib/certora_cli
2022-05-11T05:57:54,126   creating build/lib/certora_cli/EVMVerifier
2022-05-11T05:57:54,128   copying certora_cli/EVMVerifier/certoraConfigIO.py -> build/lib/certora_cli/EVMVerifier
2022-05-11T05:57:54,133   copying certora_cli/EVMVerifier/certoraBuild.py -> build/lib/certora_cli/EVMVerifier
2022-05-11T05:57:54,153   copying certora_cli/EVMVerifier/certoraNodeFilters.py -> build/lib/certora_cli/EVMVerifier
2022-05-11T05:57:54,159   copying certora_cli/EVMVerifier/certoraCollectRunMetadata.py -> build/lib/certora_cli/EVMVerifier
2022-05-11T05:57:54,165   copying certora_cli/EVMVerifier/certoraType.py -> build/lib/certora_cli/EVMVerifier
2022-05-11T05:57:54,172   copying certora_cli/EVMVerifier/__init__.py -> build/lib/certora_cli/EVMVerifier
2022-05-11T05:57:54,178   copying certora_cli/EVMVerifier/certoraDualArg.py -> build/lib/certora_cli/EVMVerifier
2022-05-11T05:57:54,185   copying certora_cli/EVMVerifier/certoraJobList.py -> build/lib/certora_cli/EVMVerifier
2022-05-11T05:57:54,192   copying certora_cli/EVMVerifier/certoraCloudIO.py -> build/lib/certora_cli/EVMVerifier
2022-05-11T05:57:54,203   creating build/lib/certora_cli/certora_jars
2022-05-11T05:57:54,206   copying certora_cli/certora_jars/__init__.py -> build/lib/certora_cli/certora_jars
2022-05-11T05:57:54,213   creating build/lib/certora_cli/Shared
2022-05-11T05:57:54,215   copying certora_cli/Shared/__init__.py -> build/lib/certora_cli/Shared
2022-05-11T05:57:54,220   copying certora_cli/Shared/certoraUtils.py -> build/lib/certora_cli/Shared
2022-05-11T05:57:54,228   copying certora_cli/Shared/certoraLogging.py -> build/lib/certora_cli/Shared
2022-05-11T05:57:54,233   copying certora_cli/Shared/certoraTester.py -> build/lib/certora_cli/Shared
2022-05-11T05:57:54,237   running egg_info
2022-05-11T05:57:54,276   writing dependency_links to certora_cli_alpha_master.egg-info/dependency_links.txt
2022-05-11T05:57:54,279   writing top-level names to certora_cli_alpha_master.egg-info/top_level.txt
2022-05-11T05:57:54,281   writing certora_cli_alpha_master.egg-info/PKG-INFO
2022-05-11T05:57:54,285   writing requirements to certora_cli_alpha_master.egg-info/requires.txt
2022-05-11T05:57:54,287   writing entry points to certora_cli_alpha_master.egg-info/entry_points.txt
2022-05-11T05:57:54,334   reading manifest file 'certora_cli_alpha_master.egg-info/SOURCES.txt'
2022-05-11T05:57:54,339   reading manifest template 'MANIFEST.in'
2022-05-11T05:57:54,341   warning: no files found matching '*.jar' under directory 'certora_jars'
2022-05-11T05:57:54,348   writing manifest file 'certora_cli_alpha_master.egg-info/SOURCES.txt'
2022-05-11T05:57:54,365   installing to build/bdist.linux-armv7l/wheel
2022-05-11T05:57:54,366   running install
2022-05-11T05:57:54,368   running install_lib
2022-05-11T05:57:54,376   creating build/bdist.linux-armv7l
2022-05-11T05:57:54,377   creating build/bdist.linux-armv7l/wheel
2022-05-11T05:57:54,380   creating build/bdist.linux-armv7l/wheel/certora_cli
2022-05-11T05:57:54,383   creating build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2022-05-11T05:57:54,386   copying build/lib/certora_cli/EVMVerifier/certoraConfigIO.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2022-05-11T05:57:54,391   copying build/lib/certora_cli/EVMVerifier/certoraBuild.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2022-05-11T05:57:54,410   copying build/lib/certora_cli/EVMVerifier/certoraNodeFilters.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2022-05-11T05:57:54,415   copying build/lib/certora_cli/EVMVerifier/certoraCollectRunMetadata.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2022-05-11T05:57:54,422   copying build/lib/certora_cli/EVMVerifier/certoraType.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2022-05-11T05:57:54,429   copying build/lib/certora_cli/EVMVerifier/__init__.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2022-05-11T05:57:54,434   copying build/lib/certora_cli/EVMVerifier/certoraDualArg.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2022-05-11T05:57:54,441   copying build/lib/certora_cli/EVMVerifier/certoraJobList.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2022-05-11T05:57:54,447   copying build/lib/certora_cli/EVMVerifier/certoraCloudIO.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2022-05-11T05:57:54,456   creating build/bdist.linux-armv7l/wheel/certora_cli/certora_jars
2022-05-11T05:57:54,458   copying build/lib/certora_cli/certora_jars/__init__.py -> build/bdist.linux-armv7l/wheel/certora_cli/certora_jars
2022-05-11T05:57:54,462   copying build/lib/certora_cli/certoraRun.py -> build/bdist.linux-armv7l/wheel/certora_cli
2022-05-11T05:57:54,475   copying build/lib/certora_cli/__init__.py -> build/bdist.linux-armv7l/wheel/certora_cli
2022-05-11T05:57:54,481   creating build/bdist.linux-armv7l/wheel/certora_cli/Shared
2022-05-11T05:57:54,483   copying build/lib/certora_cli/Shared/__init__.py -> build/bdist.linux-armv7l/wheel/certora_cli/Shared
2022-05-11T05:57:54,489   copying build/lib/certora_cli/Shared/certoraUtils.py -> build/bdist.linux-armv7l/wheel/certora_cli/Shared
2022-05-11T05:57:54,498   copying build/lib/certora_cli/Shared/certoraLogging.py -> build/bdist.linux-armv7l/wheel/certora_cli/Shared
2022-05-11T05:57:54,506   copying build/lib/certora_cli/Shared/certoraTester.py -> build/bdist.linux-armv7l/wheel/certora_cli/Shared
2022-05-11T05:57:54,511   running install_egg_info
2022-05-11T05:57:54,527   Copying certora_cli_alpha_master.egg-info to build/bdist.linux-armv7l/wheel/certora_cli_alpha_master-20220511.5.40-py3.5.egg-info
2022-05-11T05:57:54,555   running install_scripts
2022-05-11T05:57:54,760   creating build/bdist.linux-armv7l/wheel/certora_cli_alpha_master-20220511.5.40.dist-info/WHEEL
2022-05-11T05:57:55,101   Building wheel for certora-cli-alpha-master (setup.py): finished with status 'done'
2022-05-11T05:57:55,107   Created wheel for certora-cli-alpha-master: filename=certora_cli_alpha_master-20220511.5.40-py3-none-any.whl size=97028 sha256=0781343a4e6b4e67b011e81929be45678a88d434e232f993aec8eeb99047df65
2022-05-11T05:57:55,108   Stored in directory: /tmp/pip-ephem-wheel-cache-ah1gxhc7/wheels/18/dd/b3/d1c95af907ef617ff4fdc1fa508647ca625f2cf5f5031ba9c0
2022-05-11T05:57:55,126 Successfully built certora-cli-alpha-master
2022-05-11T05:57:55,148 Removed build tracker: '/tmp/pip-req-tracker-npb19ft0'