2023-04-07T15:05:56,497 Created temporary directory: /tmp/pip-ephem-wheel-cache-_gxcavn8
2023-04-07T15:05:56,499 Created temporary directory: /tmp/pip-build-tracker-k9chrutg
2023-04-07T15:05:56,500 Initialized build tracking at /tmp/pip-build-tracker-k9chrutg
2023-04-07T15:05:56,500 Created build tracker: /tmp/pip-build-tracker-k9chrutg
2023-04-07T15:05:56,500 Entered build tracker: /tmp/pip-build-tracker-k9chrutg
2023-04-07T15:05:56,501 Created temporary directory: /tmp/pip-wheel-xg5izef_
2023-04-07T15:05:56,505 DEPRECATION: --no-binary currently disables reading from the cache of locally built wheels. In the future --no-binary will not influence the wheel cache. pip 23.1 will enforce this behaviour change. A possible replacement is to use the --no-cache-dir option. You can use the flag --use-feature=no-binary-enable-wheel-cache to test the upcoming behaviour. Discussion can be found at https://github.com/pypa/pip/issues/11453
2023-04-07T15:05:56,508 Created temporary directory: /tmp/pip-ephem-wheel-cache-p0l_a7l4
2023-04-07T15:05:56,533 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple
2023-04-07T15:05:56,537 2 location(s) to search for versions of certora-cli-alpha-cozy:
2023-04-07T15:05:56,537 * https://pypi.org/simple/certora-cli-alpha-cozy/
2023-04-07T15:05:56,537 * https://www.piwheels.org/simple/certora-cli-alpha-cozy/
2023-04-07T15:05:56,537 Fetching project page and analyzing links: https://pypi.org/simple/certora-cli-alpha-cozy/
2023-04-07T15:05:56,538 Getting page https://pypi.org/simple/certora-cli-alpha-cozy/
2023-04-07T15:05:56,539 Found index url https://pypi.org/simple
2023-04-07T15:05:56,590 Fetched page https://pypi.org/simple/certora-cli-alpha-cozy/ as application/vnd.pypi.simple.v1+json
2023-04-07T15:05:56,591   Found link https://files.pythonhosted.org/packages/33/3a/59d9f66f041f5483da953b9c3bfe491123634c099eb71de6ceff35bcbf78/certora-cli-alpha-cozy-20230407.14.48.209420.tar.gz (from https://pypi.org/simple/certora-cli-alpha-cozy/) (requires-python:>=3.8.16), version: 20230407.14.48.209420
2023-04-07T15:05:56,592   Skipping link: No binaries permitted for certora-cli-alpha-cozy: https://files.pythonhosted.org/packages/0f/11/d7cd8201dad5228a54e1f82378faf8f76ad0dcd6e5bbbceee9e09b08cd4e/certora_cli_alpha_cozy-20230407.14.48.209420-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-cozy/) (requires-python:>=3.8.16)
2023-04-07T15:05:56,592 Fetching project page and analyzing links: https://www.piwheels.org/simple/certora-cli-alpha-cozy/
2023-04-07T15:05:56,592 Getting page https://www.piwheels.org/simple/certora-cli-alpha-cozy/
2023-04-07T15:05:56,593 Found index url https://www.piwheels.org/simple
2023-04-07T15:05:56,762 Fetched page https://www.piwheels.org/simple/certora-cli-alpha-cozy/ as text/html
2023-04-07T15:05:56,763 Skipping link: not a file: https://www.piwheels.org/simple/certora-cli-alpha-cozy/
2023-04-07T15:05:56,763 Skipping link: not a file: https://pypi.org/simple/certora-cli-alpha-cozy/
2023-04-07T15:05:56,781 Given no hashes to check 1 links for project 'certora-cli-alpha-cozy': discarding no candidates
2023-04-07T15:05:56,797 Collecting certora-cli-alpha-cozy==20230407.14.48.209420
2023-04-07T15:05:56,800   Created temporary directory: /tmp/pip-unpack-mi3lzss2
2023-04-07T15:05:57,041   Downloading certora-cli-alpha-cozy-20230407.14.48.209420.tar.gz (28.1 MB)
2023-04-07T15:06:08,322   Added certora-cli-alpha-cozy==20230407.14.48.209420 from https://files.pythonhosted.org/packages/33/3a/59d9f66f041f5483da953b9c3bfe491123634c099eb71de6ceff35bcbf78/certora-cli-alpha-cozy-20230407.14.48.209420.tar.gz to build tracker '/tmp/pip-build-tracker-k9chrutg'
2023-04-07T15:06:08,323   Running setup.py (path:/tmp/pip-wheel-xg5izef_/certora-cli-alpha-cozy_ef5480eb48fd4a6fb3688bd500e7a0ac/setup.py) egg_info for package certora-cli-alpha-cozy
2023-04-07T15:06:08,324   Created temporary directory: /tmp/pip-pip-egg-info-aszjv0x9
2023-04-07T15:06:08,324   Preparing metadata (setup.py): started
2023-04-07T15:06:08,325   Running command python setup.py egg_info
2023-04-07T15:06:09,000   running egg_info
2023-04-07T15:06:09,001   creating /tmp/pip-pip-egg-info-aszjv0x9/certora_cli_alpha_cozy.egg-info
2023-04-07T15:06:09,040   writing /tmp/pip-pip-egg-info-aszjv0x9/certora_cli_alpha_cozy.egg-info/PKG-INFO
2023-04-07T15:06:09,043   writing dependency_links to /tmp/pip-pip-egg-info-aszjv0x9/certora_cli_alpha_cozy.egg-info/dependency_links.txt
2023-04-07T15:06:09,045   writing entry points to /tmp/pip-pip-egg-info-aszjv0x9/certora_cli_alpha_cozy.egg-info/entry_points.txt
2023-04-07T15:06:09,046   writing requirements to /tmp/pip-pip-egg-info-aszjv0x9/certora_cli_alpha_cozy.egg-info/requires.txt
2023-04-07T15:06:09,047   writing top-level names to /tmp/pip-pip-egg-info-aszjv0x9/certora_cli_alpha_cozy.egg-info/top_level.txt
2023-04-07T15:06:09,049   writing manifest file '/tmp/pip-pip-egg-info-aszjv0x9/certora_cli_alpha_cozy.egg-info/SOURCES.txt'
2023-04-07T15:06:09,163   reading manifest file '/tmp/pip-pip-egg-info-aszjv0x9/certora_cli_alpha_cozy.egg-info/SOURCES.txt'
2023-04-07T15:06:09,165   reading manifest template 'MANIFEST.in'
2023-04-07T15:06:09,171   adding license file 'LICENSE'
2023-04-07T15:06:09,175   writing manifest file '/tmp/pip-pip-egg-info-aszjv0x9/certora_cli_alpha_cozy.egg-info/SOURCES.txt'
2023-04-07T15:06:09,235   Preparing metadata (setup.py): finished with status 'done'
2023-04-07T15:06:09,240   Source in /tmp/pip-wheel-xg5izef_/certora-cli-alpha-cozy_ef5480eb48fd4a6fb3688bd500e7a0ac has version 20230407.14.48.209420, which satisfies requirement certora-cli-alpha-cozy==20230407.14.48.209420 from https://files.pythonhosted.org/packages/33/3a/59d9f66f041f5483da953b9c3bfe491123634c099eb71de6ceff35bcbf78/certora-cli-alpha-cozy-20230407.14.48.209420.tar.gz
2023-04-07T15:06:09,241   Removed certora-cli-alpha-cozy==20230407.14.48.209420 from https://files.pythonhosted.org/packages/33/3a/59d9f66f041f5483da953b9c3bfe491123634c099eb71de6ceff35bcbf78/certora-cli-alpha-cozy-20230407.14.48.209420.tar.gz from build tracker '/tmp/pip-build-tracker-k9chrutg'
2023-04-07T15:06:09,248 Created temporary directory: /tmp/pip-unpack-2po6bu0l
2023-04-07T15:06:09,249 Building wheels for collected packages: certora-cli-alpha-cozy
2023-04-07T15:06:09,253   Created temporary directory: /tmp/pip-wheel-x8wrdw7v
2023-04-07T15:06:09,254   Building wheel for certora-cli-alpha-cozy (setup.py): started
2023-04-07T15:06:09,254   Destination directory: /tmp/pip-wheel-x8wrdw7v
2023-04-07T15:06:09,255   Running command python setup.py bdist_wheel
2023-04-07T15:06:10,201   running bdist_wheel
2023-04-07T15:06:10,566   running build
2023-04-07T15:06:10,566   running build_py
2023-04-07T15:06:10,606   creating build
2023-04-07T15:06:10,606   creating build/lib
2023-04-07T15:06:10,607   creating build/lib/certora_cli
2023-04-07T15:06:10,608   copying certora_cli/certoraRun.py -> build/lib/certora_cli
2023-04-07T15:06:10,611   copying certora_cli/__init__.py -> build/lib/certora_cli
2023-04-07T15:06:10,613   copying certora_cli/certoraMutate.py -> build/lib/certora_cli
2023-04-07T15:06:10,615   creating build/lib/certora_jars
2023-04-07T15:06:10,616   copying certora_jars/__init__.py -> build/lib/certora_jars
2023-04-07T15:06:10,619   creating build/lib/certora_cli/EVMVerifier
2023-04-07T15:06:10,620   copying certora_cli/EVMVerifier/certoraContext.py -> build/lib/certora_cli/EVMVerifier
2023-04-07T15:06:10,623   copying certora_cli/EVMVerifier/certoraConfigIO.py -> build/lib/certora_cli/EVMVerifier
2023-04-07T15:06:10,625   copying certora_cli/EVMVerifier/certoraType.py -> build/lib/certora_cli/EVMVerifier
2023-04-07T15:06:10,628   copying certora_cli/EVMVerifier/certoraJobList.py -> build/lib/certora_cli/EVMVerifier
2023-04-07T15:06:10,630   copying certora_cli/EVMVerifier/__init__.py -> build/lib/certora_cli/EVMVerifier
2023-04-07T15:06:10,632   copying certora_cli/EVMVerifier/certoraCollectRunMetadata.py -> build/lib/certora_cli/EVMVerifier
2023-04-07T15:06:10,635   copying certora_cli/EVMVerifier/certoraContextValidator.py -> build/lib/certora_cli/EVMVerifier
2023-04-07T15:06:10,638   copying certora_cli/EVMVerifier/certoraContextClass.py -> build/lib/certora_cli/EVMVerifier
2023-04-07T15:06:10,640   copying certora_cli/EVMVerifier/certoraBuild.py -> build/lib/certora_cli/EVMVerifier
2023-04-07T15:06:10,647   copying certora_cli/EVMVerifier/certoraNodeFilters.py -> build/lib/certora_cli/EVMVerifier
2023-04-07T15:06:10,649   copying certora_cli/EVMVerifier/certoraCloudIO.py -> build/lib/certora_cli/EVMVerifier
2023-04-07T15:06:10,653   copying certora_cli/EVMVerifier/certoraValidateFuncs.py -> build/lib/certora_cli/EVMVerifier
2023-04-07T15:06:10,656   copying certora_cli/EVMVerifier/certoraContextAttribute.py -> build/lib/certora_cli/EVMVerifier
2023-04-07T15:06:10,661   creating build/lib/certora_cli/Shared
2023-04-07T15:06:10,662   copying certora_cli/Shared/certoraUtils.py -> build/lib/certora_cli/Shared
2023-04-07T15:06:10,665   copying certora_cli/Shared/certoraTester.py -> build/lib/certora_cli/Shared
2023-04-07T15:06:10,668   copying certora_cli/Shared/__init__.py -> build/lib/certora_cli/Shared
2023-04-07T15:06:10,670   copying certora_cli/Shared/certoraLogging.py -> build/lib/certora_cli/Shared
2023-04-07T15:06:10,673   creating build/lib/certora_cli/EVMVerifier/Compiler
2023-04-07T15:06:10,674   copying certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-04-07T15:06:10,677   copying certora_cli/EVMVerifier/Compiler/CompilerCollector.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-04-07T15:06:10,679   copying certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-04-07T15:06:10,682   copying certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-04-07T15:06:10,684   copying certora_cli/EVMVerifier/Compiler/__init__.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-04-07T15:06:10,686   running egg_info
2023-04-07T15:06:10,770   writing certora_cli_alpha_cozy.egg-info/PKG-INFO
2023-04-07T15:06:10,772   writing dependency_links to certora_cli_alpha_cozy.egg-info/dependency_links.txt
2023-04-07T15:06:10,775   writing entry points to certora_cli_alpha_cozy.egg-info/entry_points.txt
2023-04-07T15:06:10,776   writing requirements to certora_cli_alpha_cozy.egg-info/requires.txt
2023-04-07T15:06:10,777   writing top-level names to certora_cli_alpha_cozy.egg-info/top_level.txt
2023-04-07T15:06:10,819   reading manifest file 'certora_cli_alpha_cozy.egg-info/SOURCES.txt'
2023-04-07T15:06:10,822   reading manifest template 'MANIFEST.in'
2023-04-07T15:06:10,828   adding license file 'LICENSE'
2023-04-07T15:06:10,832   writing manifest file 'certora_cli_alpha_cozy.egg-info/SOURCES.txt'
2023-04-07T15:06:10,835   copying certora_jars/MutationTest.jar -> build/lib/certora_jars
2023-04-07T15:06:11,118   copying certora_jars/Typechecker.jar -> build/lib/certora_jars
2023-04-07T15:06:11,380   copying certora_jars/gambit-linux -> build/lib/certora_jars
2023-04-07T15:06:11,527   copying certora_jars/gambit-macos -> build/lib/certora_jars
2023-04-07T15:06:11,680   /home/piwheels/.local/lib/python3.9/site-packages/setuptools/command/install.py:34: SetuptoolsDeprecationWarning: setup.py install is deprecated. Use build and pip and other standards-based tools.
2023-04-07T15:06:11,680     warnings.warn(
2023-04-07T15:06:11,718   installing to build/bdist.linux-armv7l/wheel
2023-04-07T15:06:11,718   running install
2023-04-07T15:06:11,744   running install_lib
2023-04-07T15:06:11,782   creating build/bdist.linux-armv7l
2023-04-07T15:06:11,782   creating build/bdist.linux-armv7l/wheel
2023-04-07T15:06:11,784   creating build/bdist.linux-armv7l/wheel/certora_cli
2023-04-07T15:06:11,786   creating build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-04-07T15:06:11,787   copying build/lib/certora_cli/EVMVerifier/certoraContext.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-04-07T15:06:11,791   copying build/lib/certora_cli/EVMVerifier/certoraConfigIO.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-04-07T15:06:11,793   copying build/lib/certora_cli/EVMVerifier/certoraType.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-04-07T15:06:11,796   copying build/lib/certora_cli/EVMVerifier/certoraJobList.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-04-07T15:06:11,799   copying build/lib/certora_cli/EVMVerifier/__init__.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-04-07T15:06:11,800   copying build/lib/certora_cli/EVMVerifier/certoraCollectRunMetadata.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-04-07T15:06:11,803   copying build/lib/certora_cli/EVMVerifier/certoraContextValidator.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-04-07T15:06:11,807   copying build/lib/certora_cli/EVMVerifier/certoraContextClass.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-04-07T15:06:11,809   copying build/lib/certora_cli/EVMVerifier/certoraBuild.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-04-07T15:06:11,816   copying build/lib/certora_cli/EVMVerifier/certoraNodeFilters.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-04-07T15:06:11,819   creating build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler
2023-04-07T15:06:11,820   copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler
2023-04-07T15:06:11,823   copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollector.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler
2023-04-07T15:06:11,825   copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler
2023-04-07T15:06:11,828   copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler
2023-04-07T15:06:11,830   copying build/lib/certora_cli/EVMVerifier/Compiler/__init__.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler
2023-04-07T15:06:11,832   copying build/lib/certora_cli/EVMVerifier/certoraCloudIO.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-04-07T15:06:11,836   copying build/lib/certora_cli/EVMVerifier/certoraValidateFuncs.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-04-07T15:06:11,839   copying build/lib/certora_cli/EVMVerifier/certoraContextAttribute.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-04-07T15:06:11,842   copying build/lib/certora_cli/certoraRun.py -> build/bdist.linux-armv7l/wheel/certora_cli
2023-04-07T15:06:11,845   copying build/lib/certora_cli/__init__.py -> build/bdist.linux-armv7l/wheel/certora_cli
2023-04-07T15:06:11,847   creating build/bdist.linux-armv7l/wheel/certora_cli/Shared
2023-04-07T15:06:11,848   copying build/lib/certora_cli/Shared/certoraUtils.py -> build/bdist.linux-armv7l/wheel/certora_cli/Shared
2023-04-07T15:06:11,852   copying build/lib/certora_cli/Shared/certoraTester.py -> build/bdist.linux-armv7l/wheel/certora_cli/Shared
2023-04-07T15:06:11,854   copying build/lib/certora_cli/Shared/__init__.py -> build/bdist.linux-armv7l/wheel/certora_cli/Shared
2023-04-07T15:06:11,856   copying build/lib/certora_cli/Shared/certoraLogging.py -> build/bdist.linux-armv7l/wheel/certora_cli/Shared
2023-04-07T15:06:11,859   copying build/lib/certora_cli/certoraMutate.py -> build/bdist.linux-armv7l/wheel/certora_cli
2023-04-07T15:06:11,861   creating build/bdist.linux-armv7l/wheel/certora_jars
2023-04-07T15:06:11,862   copying build/lib/certora_jars/gambit-linux -> build/bdist.linux-armv7l/wheel/certora_jars
2023-04-07T15:06:12,006   copying build/lib/certora_jars/gambit-macos -> build/bdist.linux-armv7l/wheel/certora_jars
2023-04-07T15:06:12,134   copying build/lib/certora_jars/__init__.py -> build/bdist.linux-armv7l/wheel/certora_jars
2023-04-07T15:06:12,136   copying build/lib/certora_jars/Typechecker.jar -> build/bdist.linux-armv7l/wheel/certora_jars
2023-04-07T15:06:12,530   copying build/lib/certora_jars/MutationTest.jar -> build/bdist.linux-armv7l/wheel/certora_jars
2023-04-07T15:06:12,815   running install_egg_info
2023-04-07T15:06:12,857   Copying certora_cli_alpha_cozy.egg-info to build/bdist.linux-armv7l/wheel/certora_cli_alpha_cozy-20230407.14.48.209420-py3.9.egg-info
2023-04-07T15:06:12,870   running install_scripts
2023-04-07T15:06:12,888   creating build/bdist.linux-armv7l/wheel/certora_cli_alpha_cozy-20230407.14.48.209420.dist-info/WHEEL
2023-04-07T15:06:12,891   creating '/tmp/pip-wheel-x8wrdw7v/certora_cli_alpha_cozy-20230407.14.48.209420-py3-none-any.whl' and adding 'build/bdist.linux-armv7l/wheel' to it
2023-04-07T15:06:12,894   adding 'certora_cli/__init__.py'
2023-04-07T15:06:12,895   adding 'certora_cli/certoraMutate.py'
2023-04-07T15:06:12,897   adding 'certora_cli/certoraRun.py'
2023-04-07T15:06:12,899   adding 'certora_cli/EVMVerifier/__init__.py'
2023-04-07T15:06:12,921   adding 'certora_cli/EVMVerifier/certoraBuild.py'
2023-04-07T15:06:12,927   adding 'certora_cli/EVMVerifier/certoraCloudIO.py'
2023-04-07T15:06:12,930   adding 'certora_cli/EVMVerifier/certoraCollectRunMetadata.py'
2023-04-07T15:06:12,931   adding 'certora_cli/EVMVerifier/certoraConfigIO.py'
2023-04-07T15:06:12,936   adding 'certora_cli/EVMVerifier/certoraContext.py'
2023-04-07T15:06:12,939   adding 'certora_cli/EVMVerifier/certoraContextAttribute.py'
2023-04-07T15:06:12,940   adding 'certora_cli/EVMVerifier/certoraContextClass.py'
2023-04-07T15:06:12,946   adding 'certora_cli/EVMVerifier/certoraContextValidator.py'
2023-04-07T15:06:12,948   adding 'certora_cli/EVMVerifier/certoraJobList.py'
2023-04-07T15:06:12,950   adding 'certora_cli/EVMVerifier/certoraNodeFilters.py'
2023-04-07T15:06:12,953   adding 'certora_cli/EVMVerifier/certoraType.py'
2023-04-07T15:06:12,956   adding 'certora_cli/EVMVerifier/certoraValidateFuncs.py'
2023-04-07T15:06:12,959   adding 'certora_cli/EVMVerifier/Compiler/CompilerCollector.py'
2023-04-07T15:06:12,961   adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py'
2023-04-07T15:06:12,962   adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py'
2023-04-07T15:06:12,965   adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py'
2023-04-07T15:06:12,966   adding 'certora_cli/EVMVerifier/Compiler/__init__.py'
2023-04-07T15:06:12,968   adding 'certora_cli/Shared/__init__.py'
2023-04-07T15:06:12,970   adding 'certora_cli/Shared/certoraLogging.py'
2023-04-07T15:06:12,972   adding 'certora_cli/Shared/certoraTester.py'
2023-04-07T15:06:12,977   adding 'certora_cli/Shared/certoraUtils.py'
2023-04-07T15:06:14,633   adding 'certora_jars/MutationTest.jar'
2023-04-07T15:06:16,144   adding 'certora_jars/Typechecker.jar'
2023-04-07T15:06:16,222   adding 'certora_jars/__init__.py'
2023-04-07T15:06:17,098   adding 'certora_jars/gambit-linux'
2023-04-07T15:06:17,974   adding 'certora_jars/gambit-macos'
2023-04-07T15:06:18,010   adding 'certora_cli_alpha_cozy-20230407.14.48.209420.dist-info/LICENSE'
2023-04-07T15:06:18,011   adding 'certora_cli_alpha_cozy-20230407.14.48.209420.dist-info/METADATA'
2023-04-07T15:06:18,012   adding 'certora_cli_alpha_cozy-20230407.14.48.209420.dist-info/WHEEL'
2023-04-07T15:06:18,013   adding 'certora_cli_alpha_cozy-20230407.14.48.209420.dist-info/entry_points.txt'
2023-04-07T15:06:18,014   adding 'certora_cli_alpha_cozy-20230407.14.48.209420.dist-info/top_level.txt'
2023-04-07T15:06:18,015   adding 'certora_cli_alpha_cozy-20230407.14.48.209420.dist-info/RECORD'
2023-04-07T15:06:18,438   removing build/bdist.linux-armv7l/wheel
2023-04-07T15:06:18,562   Building wheel for certora-cli-alpha-cozy (setup.py): finished with status 'done'
2023-04-07T15:06:18,871   Created wheel for certora-cli-alpha-cozy: filename=certora_cli_alpha_cozy-20230407.14.48.209420-py3-none-any.whl size=28094592 sha256=be9766c24a21ad020bc88a902d43b4bbc9fdbaff139e1b2b70241fe7301b219c
2023-04-07T15:06:18,872   Stored in directory: /tmp/pip-ephem-wheel-cache-p0l_a7l4/wheels/15/d5/3f/6fa50ac8c188c86051a5220cb329658c70c6d059391a5339a7
2023-04-07T15:06:18,899 Successfully built certora-cli-alpha-cozy
2023-04-07T15:06:19,772 Removed build tracker: '/tmp/pip-build-tracker-k9chrutg'