2022-05-10T13:23:38,663 Created temporary directory: /tmp/pip-ephem-wheel-cache-7c4za09d
2022-05-10T13:23:38,670 Created temporary directory: /tmp/pip-req-tracker-icz4z089
2022-05-10T13:23:38,671 Initialized build tracking at /tmp/pip-req-tracker-icz4z089
2022-05-10T13:23:38,671 Created build tracker: /tmp/pip-req-tracker-icz4z089
2022-05-10T13:23:38,671 Entered build tracker: /tmp/pip-req-tracker-icz4z089
2022-05-10T13:23:38,673 Created temporary directory: /tmp/pip-wheel-w82iukz2
2022-05-10T13:23:38,735 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple
2022-05-10T13:23:38,739 2 location(s) to search for versions of certora-cli-alpha-master:
2022-05-10T13:23:38,739 * https://pypi.org/simple/certora-cli-alpha-master/
2022-05-10T13:23:38,739 * https://www.piwheels.org/simple/certora-cli-alpha-master/
2022-05-10T13:23:38,740 Fetching project page and analyzing links: https://pypi.org/simple/certora-cli-alpha-master/
2022-05-10T13:23:38,742 Getting page https://pypi.org/simple/certora-cli-alpha-master/
2022-05-10T13:23:38,746 Found index url https://pypi.org/simple
2022-05-10T13:23:39,154   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-10T13:23:39,155   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-10T13:23:39,157   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-10T13:23:39,158   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-10T13:23:39,158 Fetching project page and analyzing links: https://www.piwheels.org/simple/certora-cli-alpha-master/
2022-05-10T13:23:39,159 Getting page https://www.piwheels.org/simple/certora-cli-alpha-master/
2022-05-10T13:23:39,162 Found index url https://www.piwheels.org/simple
2022-05-10T13:23:39,377   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-10T13:23:39,407 Given no hashes to check 1 links for project 'certora-cli-alpha-master': discarding no candidates
2022-05-10T13:23:39,438 Collecting certora-cli-alpha-master==20220510.13.11
2022-05-10T13:23:39,442   Created temporary directory: /tmp/pip-unpack-1cpclnyw
2022-05-10T13:23:39,677   Downloading certora-cli-alpha-master-20220510.13.11.tar.gz (89 kB)
2022-05-10T13:23:40,093   Added certora-cli-alpha-master==20220510.13.11 from https://files.pythonhosted.org/packages/ea/4d/9102df5404550e67d2ff2865f2d04343db3203ad61c9b53417dd8aeb9df1/certora-cli-alpha-master-20220510.13.11.tar.gz#sha256=5057f3fb10f45a2598a252c544d2866a551e049e1ce5479edeaf95ed2f0a564c to build tracker '/tmp/pip-req-tracker-icz4z089'
2022-05-10T13:23:40,096     Running setup.py (path:/tmp/pip-wheel-w82iukz2/certora-cli-alpha-master_b14c00eaff1d4c73bb3396c3bb342447/setup.py) egg_info for package certora-cli-alpha-master
2022-05-10T13:23:40,097     Created temporary directory: /tmp/pip-pip-egg-info-rxi0zz88
2022-05-10T13:23:40,098     Running command python setup.py egg_info
2022-05-10T13:23:42,382     running egg_info
2022-05-10T13:23:42,391     creating /tmp/pip-pip-egg-info-rxi0zz88/certora_cli_alpha_master.egg-info
2022-05-10T13:23:42,395     writing entry points to /tmp/pip-pip-egg-info-rxi0zz88/certora_cli_alpha_master.egg-info/entry_points.txt
2022-05-10T13:23:42,397     writing dependency_links to /tmp/pip-pip-egg-info-rxi0zz88/certora_cli_alpha_master.egg-info/dependency_links.txt
2022-05-10T13:23:42,399     writing top-level names to /tmp/pip-pip-egg-info-rxi0zz88/certora_cli_alpha_master.egg-info/top_level.txt
2022-05-10T13:23:42,402     writing requirements to /tmp/pip-pip-egg-info-rxi0zz88/certora_cli_alpha_master.egg-info/requires.txt
2022-05-10T13:23:42,409     writing /tmp/pip-pip-egg-info-rxi0zz88/certora_cli_alpha_master.egg-info/PKG-INFO
2022-05-10T13:23:42,415     writing manifest file '/tmp/pip-pip-egg-info-rxi0zz88/certora_cli_alpha_master.egg-info/SOURCES.txt'
2022-05-10T13:23:42,831     reading manifest file '/tmp/pip-pip-egg-info-rxi0zz88/certora_cli_alpha_master.egg-info/SOURCES.txt'
2022-05-10T13:23:42,834     reading manifest template 'MANIFEST.in'
2022-05-10T13:23:42,836     warning: no files found matching '*.jar' under directory 'certora_jars'
2022-05-10T13:23:42,843     writing manifest file '/tmp/pip-pip-egg-info-rxi0zz88/certora_cli_alpha_master.egg-info/SOURCES.txt'
2022-05-10T13:23:42,978   Source in /tmp/pip-wheel-w82iukz2/certora-cli-alpha-master_b14c00eaff1d4c73bb3396c3bb342447 has version 20220510.13.11, which satisfies requirement certora-cli-alpha-master==20220510.13.11 from https://files.pythonhosted.org/packages/ea/4d/9102df5404550e67d2ff2865f2d04343db3203ad61c9b53417dd8aeb9df1/certora-cli-alpha-master-20220510.13.11.tar.gz#sha256=5057f3fb10f45a2598a252c544d2866a551e049e1ce5479edeaf95ed2f0a564c
2022-05-10T13:23:42,980   Removed certora-cli-alpha-master==20220510.13.11 from https://files.pythonhosted.org/packages/ea/4d/9102df5404550e67d2ff2865f2d04343db3203ad61c9b53417dd8aeb9df1/certora-cli-alpha-master-20220510.13.11.tar.gz#sha256=5057f3fb10f45a2598a252c544d2866a551e049e1ce5479edeaf95ed2f0a564c from build tracker '/tmp/pip-req-tracker-icz4z089'
2022-05-10T13:23:42,992 Created temporary directory: /tmp/pip-unpack-4n2s68rj
2022-05-10T13:23:42,993 Building wheels for collected packages: certora-cli-alpha-master
2022-05-10T13:23:43,002   Created temporary directory: /tmp/pip-wheel-omwfo_mz
2022-05-10T13:23:43,003   Building wheel for certora-cli-alpha-master (setup.py): started
2022-05-10T13:23:43,003   Destination directory: /tmp/pip-wheel-omwfo_mz
2022-05-10T13:23:43,004   Running command /usr/bin/python3 -u -c 'import sys, setuptools, tokenize; sys.argv[0] = '"'"'/tmp/pip-wheel-w82iukz2/certora-cli-alpha-master_b14c00eaff1d4c73bb3396c3bb342447/setup.py'"'"'; __file__='"'"'/tmp/pip-wheel-w82iukz2/certora-cli-alpha-master_b14c00eaff1d4c73bb3396c3bb342447/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-omwfo_mz
2022-05-10T13:23:45,545   running bdist_wheel
2022-05-10T13:23:45,561   running build
2022-05-10T13:23:45,562   running build_py
2022-05-10T13:23:45,903   creating build
2022-05-10T13:23:45,904   creating build/lib
2022-05-10T13:23:45,905   creating build/lib/certora_cli
2022-05-10T13:23:45,908   copying certora_cli/__init__.py -> build/lib/certora_cli
2022-05-10T13:23:45,912   copying certora_cli/certoraRun.py -> build/lib/certora_cli
2022-05-10T13:23:45,929   creating build/lib/certora_cli/EVMVerifier
2022-05-10T13:23:45,932   copying certora_cli/EVMVerifier/certoraType.py -> build/lib/certora_cli/EVMVerifier
2022-05-10T13:23:45,940   copying certora_cli/EVMVerifier/certoraCloudIO.py -> build/lib/certora_cli/EVMVerifier
2022-05-10T13:23:45,949   copying certora_cli/EVMVerifier/certoraJobList.py -> build/lib/certora_cli/EVMVerifier
2022-05-10T13:23:45,955   copying certora_cli/EVMVerifier/certoraConfigIO.py -> build/lib/certora_cli/EVMVerifier
2022-05-10T13:23:45,959   copying certora_cli/EVMVerifier/certoraNodeFilters.py -> build/lib/certora_cli/EVMVerifier
2022-05-10T13:23:45,964   copying certora_cli/EVMVerifier/certoraCollectRunMetadata.py -> build/lib/certora_cli/EVMVerifier
2022-05-10T13:23:45,971   copying certora_cli/EVMVerifier/certoraBuild.py -> build/lib/certora_cli/EVMVerifier
2022-05-10T13:23:45,990   copying certora_cli/EVMVerifier/__init__.py -> build/lib/certora_cli/EVMVerifier
2022-05-10T13:23:45,995   copying certora_cli/EVMVerifier/certoraDualArg.py -> build/lib/certora_cli/EVMVerifier
2022-05-10T13:23:46,002   creating build/lib/certora_cli/certora_jars
2022-05-10T13:23:46,005   copying certora_cli/certora_jars/__init__.py -> build/lib/certora_cli/certora_jars
2022-05-10T13:23:46,013   creating build/lib/certora_cli/Shared
2022-05-10T13:23:46,016   copying certora_cli/Shared/certoraUtils.py -> build/lib/certora_cli/Shared
2022-05-10T13:23:46,025   copying certora_cli/Shared/__init__.py -> build/lib/certora_cli/Shared
2022-05-10T13:23:46,030   copying certora_cli/Shared/certoraLogging.py -> build/lib/certora_cli/Shared
2022-05-10T13:23:46,035   copying certora_cli/Shared/certoraTester.py -> build/lib/certora_cli/Shared
2022-05-10T13:23:46,039   running egg_info
2022-05-10T13:23:46,069   writing dependency_links to certora_cli_alpha_master.egg-info/dependency_links.txt
2022-05-10T13:23:46,073   writing entry points to certora_cli_alpha_master.egg-info/entry_points.txt
2022-05-10T13:23:46,075   writing top-level names to certora_cli_alpha_master.egg-info/top_level.txt
2022-05-10T13:23:46,077   writing certora_cli_alpha_master.egg-info/PKG-INFO
2022-05-10T13:23:46,081   writing requirements to certora_cli_alpha_master.egg-info/requires.txt
2022-05-10T13:23:46,095   reading manifest file 'certora_cli_alpha_master.egg-info/SOURCES.txt'
2022-05-10T13:23:46,100   reading manifest template 'MANIFEST.in'
2022-05-10T13:23:46,101   warning: no files found matching '*.jar' under directory 'certora_jars'
2022-05-10T13:23:46,109   writing manifest file 'certora_cli_alpha_master.egg-info/SOURCES.txt'
2022-05-10T13:23:46,125   installing to build/bdist.linux-armv7l/wheel
2022-05-10T13:23:46,126   running install
2022-05-10T13:23:46,128   running install_lib
2022-05-10T13:23:46,136   creating build/bdist.linux-armv7l
2022-05-10T13:23:46,137   creating build/bdist.linux-armv7l/wheel
2022-05-10T13:23:46,141   creating build/bdist.linux-armv7l/wheel/certora_cli
2022-05-10T13:23:46,145   creating build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2022-05-10T13:23:46,147   copying build/lib/certora_cli/EVMVerifier/certoraType.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2022-05-10T13:23:46,153   copying build/lib/certora_cli/EVMVerifier/certoraCloudIO.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2022-05-10T13:23:46,161   copying build/lib/certora_cli/EVMVerifier/certoraJobList.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2022-05-10T13:23:46,167   copying build/lib/certora_cli/EVMVerifier/certoraConfigIO.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2022-05-10T13:23:46,174   copying build/lib/certora_cli/EVMVerifier/certoraNodeFilters.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2022-05-10T13:23:46,180   copying build/lib/certora_cli/EVMVerifier/certoraCollectRunMetadata.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2022-05-10T13:23:46,188   copying build/lib/certora_cli/EVMVerifier/certoraBuild.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2022-05-10T13:23:46,211   copying build/lib/certora_cli/EVMVerifier/__init__.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2022-05-10T13:23:46,217   copying build/lib/certora_cli/EVMVerifier/certoraDualArg.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2022-05-10T13:23:46,225   copying build/lib/certora_cli/__init__.py -> build/bdist.linux-armv7l/wheel/certora_cli
2022-05-10T13:23:46,229   copying build/lib/certora_cli/certoraRun.py -> build/bdist.linux-armv7l/wheel/certora_cli
2022-05-10T13:23:46,245   creating build/bdist.linux-armv7l/wheel/certora_cli/certora_jars
2022-05-10T13:23:46,248   copying build/lib/certora_cli/certora_jars/__init__.py -> build/bdist.linux-armv7l/wheel/certora_cli/certora_jars
2022-05-10T13:23:46,255   creating build/bdist.linux-armv7l/wheel/certora_cli/Shared
2022-05-10T13:23:46,259   copying build/lib/certora_cli/Shared/certoraUtils.py -> build/bdist.linux-armv7l/wheel/certora_cli/Shared
2022-05-10T13:23:46,270   copying build/lib/certora_cli/Shared/__init__.py -> build/bdist.linux-armv7l/wheel/certora_cli/Shared
2022-05-10T13:23:46,275   copying build/lib/certora_cli/Shared/certoraLogging.py -> build/bdist.linux-armv7l/wheel/certora_cli/Shared
2022-05-10T13:23:46,281   copying build/lib/certora_cli/Shared/certoraTester.py -> build/bdist.linux-armv7l/wheel/certora_cli/Shared
2022-05-10T13:23:46,287   running install_egg_info
2022-05-10T13:23:46,305   Copying certora_cli_alpha_master.egg-info to build/bdist.linux-armv7l/wheel/certora_cli_alpha_master-20220510.13.11-py3.5.egg-info
2022-05-10T13:23:46,335   running install_scripts
2022-05-10T13:23:46,536   creating build/bdist.linux-armv7l/wheel/certora_cli_alpha_master-20220510.13.11.dist-info/WHEEL
2022-05-10T13:23:46,873   Building wheel for certora-cli-alpha-master (setup.py): finished with status 'done'
2022-05-10T13:23:46,879   Created wheel for certora-cli-alpha-master: filename=certora_cli_alpha_master-20220510.13.11-py3-none-any.whl size=97044 sha256=efda5d3e7ba84e9e083029dee1f9f3085f83f8b705104cf7b9269b12995a12bd
2022-05-10T13:23:46,880   Stored in directory: /tmp/pip-ephem-wheel-cache-7c4za09d/wheels/b6/35/cd/f077abc7cec844cff8ea67cc7f76166900fbf448a68fe96dc0
2022-05-10T13:23:46,898 Successfully built certora-cli-alpha-master
2022-05-10T13:23:46,921 Removed build tracker: '/tmp/pip-req-tracker-icz4z089'