2026-02-16T14:49:45,971 Created temporary directory: /tmp/pip-ephem-wheel-cache-30w4jzeq
2026-02-16T14:49:45,973 Created temporary directory: /tmp/pip-build-tracker-5cctrcn0
2026-02-16T14:49:45,974 Initialized build tracking at /tmp/pip-build-tracker-5cctrcn0
2026-02-16T14:49:45,974 Created build tracker: /tmp/pip-build-tracker-5cctrcn0
2026-02-16T14:49:45,975 Entered build tracker: /tmp/pip-build-tracker-5cctrcn0
2026-02-16T14:49:45,976 Created temporary directory: /tmp/pip-wheel-hfolf6pu
2026-02-16T14:49:45,979 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
2026-02-16T14:49:45,982 Created temporary directory: /tmp/pip-ephem-wheel-cache-hyaqvd3r
2026-02-16T14:49:46,004 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple
2026-02-16T14:49:46,008 2 location(s) to search for versions of certora-cli-alpha-yoav-real-destructive:
2026-02-16T14:49:46,008 * https://pypi.org/simple/certora-cli-alpha-yoav-real-destructive/
2026-02-16T14:49:46,008 * https://www.piwheels.org/simple/certora-cli-alpha-yoav-real-destructive/
2026-02-16T14:49:46,009 Fetching project page and analyzing links: https://pypi.org/simple/certora-cli-alpha-yoav-real-destructive/
2026-02-16T14:49:46,010 Getting page https://pypi.org/simple/certora-cli-alpha-yoav-real-destructive/
2026-02-16T14:49:46,011 Found index url https://pypi.org/simple
2026-02-16T14:49:46,233 Fetched page https://pypi.org/simple/certora-cli-alpha-yoav-real-destructive/ as application/vnd.pypi.simple.v1+json
2026-02-16T14:49:46,235   Skipping link: No binaries permitted for certora-cli-alpha-yoav-real-destructive: https://files.pythonhosted.org/packages/7b/be/63752a6cd87b49844fa74cb495e69914826283246182da5ae446cbd75886/certora_cli_alpha_yoav_real_destructive-20260216.13.35.231857-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-yoav-real-destructive/) (requires-python:>=3.9)
2026-02-16T14:49:46,236   Skipping link: No binaries permitted for certora-cli-alpha-yoav-real-destructive: https://files.pythonhosted.org/packages/d4/c5/6d663770731fb71d7aadecaab6de7d49317d41414bf75d4b14eede5c2580/certora_cli_alpha_yoav_real_destructive-20260216.13.35.231857-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-yoav-real-destructive/) (requires-python:>=3.9)
2026-02-16T14:49:46,237   Skipping link: No binaries permitted for certora-cli-alpha-yoav-real-destructive: https://files.pythonhosted.org/packages/06/03/6ec17892fc6744537ae2af1e0fb6eeb94c2045d778e3200b05ed3d7f67ad/certora_cli_alpha_yoav_real_destructive-20260216.13.35.231857-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-yoav-real-destructive/) (requires-python:>=3.9)
2026-02-16T14:49:46,238   Found link https://files.pythonhosted.org/packages/e8/2d/82da0f02f2a5446f8683449678e39f303550e2ad121b082858edb14fbcf9/certora_cli_alpha_yoav_real_destructive-20260216.13.35.231857.tar.gz (from https://pypi.org/simple/certora-cli-alpha-yoav-real-destructive/) (requires-python:>=3.9), version: 20260216.13.35.231857
2026-02-16T14:49:46,239 Fetching project page and analyzing links: https://www.piwheels.org/simple/certora-cli-alpha-yoav-real-destructive/
2026-02-16T14:49:46,240 Getting page https://www.piwheels.org/simple/certora-cli-alpha-yoav-real-destructive/
2026-02-16T14:49:46,241 Found index url https://www.piwheels.org/simple
2026-02-16T14:49:46,413 Fetched page https://www.piwheels.org/simple/certora-cli-alpha-yoav-real-destructive/ as text/html
2026-02-16T14:49:46,415 Skipping link: not a file: https://www.piwheels.org/simple/certora-cli-alpha-yoav-real-destructive/
2026-02-16T14:49:46,415 Skipping link: not a file: https://pypi.org/simple/certora-cli-alpha-yoav-real-destructive/
2026-02-16T14:49:46,436 Given no hashes to check 1 links for project 'certora-cli-alpha-yoav-real-destructive': discarding no candidates
2026-02-16T14:49:46,456 Collecting certora-cli-alpha-yoav-real-destructive==20260216.13.35.231857
2026-02-16T14:49:46,458   Created temporary directory: /tmp/pip-unpack-f9y_k2qx
2026-02-16T14:49:46,749   Downloading certora_cli_alpha_yoav_real_destructive-20260216.13.35.231857.tar.gz (42.9 MB)
2026-02-16T14:51:42,998   Added certora-cli-alpha-yoav-real-destructive==20260216.13.35.231857 from https://files.pythonhosted.org/packages/e8/2d/82da0f02f2a5446f8683449678e39f303550e2ad121b082858edb14fbcf9/certora_cli_alpha_yoav_real_destructive-20260216.13.35.231857.tar.gz to build tracker '/tmp/pip-build-tracker-5cctrcn0'
2026-02-16T14:51:43,002   Running setup.py (path:/tmp/pip-wheel-hfolf6pu/certora-cli-alpha-yoav-real-destructive_cc84bcbebeba42cdad5e88800b74717d/setup.py) egg_info for package certora-cli-alpha-yoav-real-destructive
2026-02-16T14:51:43,003   Created temporary directory: /tmp/pip-pip-egg-info-6c88odk5
2026-02-16T14:51:43,004   Preparing metadata (setup.py): started
2026-02-16T14:51:43,005   Running command python setup.py egg_info
2026-02-16T14:51:43,964   /usr/local/lib/python3.11/dist-packages/setuptools/dist.py:765: SetuptoolsDeprecationWarning: License classifiers are deprecated.
2026-02-16T14:51:43,964   !!

2026-02-16T14:51:43,965           ********************************************************************************
2026-02-16T14:51:43,966           Please consider removing the following classifiers in favor of a SPDX license expression:

2026-02-16T14:51:43,967           License :: OSI Approved :: GNU General Public License v3 (GPLv3)

2026-02-16T14:51:43,968           See https://packaging.python.org/en/latest/guides/writing-pyproject-toml/#license for details.
2026-02-16T14:51:43,968           ********************************************************************************

2026-02-16T14:51:43,969   !!
2026-02-16T14:51:43,970     self._finalize_license_expression()
2026-02-16T14:51:43,993   running egg_info
2026-02-16T14:51:44,022   creating /tmp/pip-pip-egg-info-6c88odk5/certora_cli_alpha_yoav_real_destructive.egg-info
2026-02-16T14:51:44,023   writing /tmp/pip-pip-egg-info-6c88odk5/certora_cli_alpha_yoav_real_destructive.egg-info/PKG-INFO
2026-02-16T14:51:44,026   writing dependency_links to /tmp/pip-pip-egg-info-6c88odk5/certora_cli_alpha_yoav_real_destructive.egg-info/dependency_links.txt
2026-02-16T14:51:44,028   writing entry points to /tmp/pip-pip-egg-info-6c88odk5/certora_cli_alpha_yoav_real_destructive.egg-info/entry_points.txt
2026-02-16T14:51:44,030   writing requirements to /tmp/pip-pip-egg-info-6c88odk5/certora_cli_alpha_yoav_real_destructive.egg-info/requires.txt
2026-02-16T14:51:44,031   writing top-level names to /tmp/pip-pip-egg-info-6c88odk5/certora_cli_alpha_yoav_real_destructive.egg-info/top_level.txt
2026-02-16T14:51:44,032   writing manifest file '/tmp/pip-pip-egg-info-6c88odk5/certora_cli_alpha_yoav_real_destructive.egg-info/SOURCES.txt'
2026-02-16T14:51:44,132   reading manifest file '/tmp/pip-pip-egg-info-6c88odk5/certora_cli_alpha_yoav_real_destructive.egg-info/SOURCES.txt'
2026-02-16T14:51:44,133   reading manifest template 'MANIFEST.in'
2026-02-16T14:51:44,138   warning: no files found matching 'gambit' under directory 'certora_bins'
2026-02-16T14:51:44,241   adding license file 'LICENSE'
2026-02-16T14:51:44,246   writing manifest file '/tmp/pip-pip-egg-info-6c88odk5/certora_cli_alpha_yoav_real_destructive.egg-info/SOURCES.txt'
2026-02-16T14:51:44,354   Preparing metadata (setup.py): finished with status 'done'
2026-02-16T14:51:44,358   Source in /tmp/pip-wheel-hfolf6pu/certora-cli-alpha-yoav-real-destructive_cc84bcbebeba42cdad5e88800b74717d has version 20260216.13.35.231857, which satisfies requirement certora-cli-alpha-yoav-real-destructive==20260216.13.35.231857 from https://files.pythonhosted.org/packages/e8/2d/82da0f02f2a5446f8683449678e39f303550e2ad121b082858edb14fbcf9/certora_cli_alpha_yoav_real_destructive-20260216.13.35.231857.tar.gz
2026-02-16T14:51:44,359   Removed certora-cli-alpha-yoav-real-destructive==20260216.13.35.231857 from https://files.pythonhosted.org/packages/e8/2d/82da0f02f2a5446f8683449678e39f303550e2ad121b082858edb14fbcf9/certora_cli_alpha_yoav_real_destructive-20260216.13.35.231857.tar.gz from build tracker '/tmp/pip-build-tracker-5cctrcn0'
2026-02-16T14:51:44,366 Created temporary directory: /tmp/pip-unpack-6axc5aa9
2026-02-16T14:51:44,366 Building wheels for collected packages: certora-cli-alpha-yoav-real-destructive
2026-02-16T14:51:44,371   Created temporary directory: /tmp/pip-wheel-8ucuqip4
2026-02-16T14:51:44,372   Building wheel for certora-cli-alpha-yoav-real-destructive (setup.py): started
2026-02-16T14:51:44,373   Destination directory: /tmp/pip-wheel-8ucuqip4
2026-02-16T14:51:44,374   Running command python setup.py bdist_wheel
2026-02-16T14:51:45,211   /usr/local/lib/python3.11/dist-packages/setuptools/dist.py:765: SetuptoolsDeprecationWarning: License classifiers are deprecated.
2026-02-16T14:51:45,211   !!

2026-02-16T14:51:45,212           ********************************************************************************
2026-02-16T14:51:45,213           Please consider removing the following classifiers in favor of a SPDX license expression:

2026-02-16T14:51:45,214           License :: OSI Approved :: GNU General Public License v3 (GPLv3)

2026-02-16T14:51:45,215           See https://packaging.python.org/en/latest/guides/writing-pyproject-toml/#license for details.
2026-02-16T14:51:45,215           ********************************************************************************

2026-02-16T14:51:45,217   !!
2026-02-16T14:51:45,217     self._finalize_license_expression()
2026-02-16T14:51:45,218   running bdist_wheel
2026-02-16T14:51:45,347   running build
2026-02-16T14:51:45,348   running build_py
2026-02-16T14:51:45,380   creating build/lib/certora_cli
2026-02-16T14:51:45,382   copying certora_cli/certoraCVLFormatter.py -> build/lib/certora_cli
2026-02-16T14:51:45,384   copying certora_cli/certoraSolanaProver.py -> build/lib/certora_cli
2026-02-16T14:51:45,386   copying certora_cli/certoraRanger.py -> build/lib/certora_cli
2026-02-16T14:51:45,388   copying certora_cli/certoraRun.py -> build/lib/certora_cli
2026-02-16T14:51:45,390   copying certora_cli/__init__.py -> build/lib/certora_cli
2026-02-16T14:51:45,392   copying certora_cli/certoraEVMProver.py -> build/lib/certora_cli
2026-02-16T14:51:45,393   copying certora_cli/rustMutator.py -> build/lib/certora_cli
2026-02-16T14:51:45,396   copying certora_cli/certoraMutate.py -> build/lib/certora_cli
2026-02-16T14:51:45,398   copying certora_cli/certoraSuiProver.py -> build/lib/certora_cli
2026-02-16T14:51:45,399   copying certora_cli/certoraSorobanProver.py -> build/lib/certora_cli
2026-02-16T14:51:45,401   copying certora_cli/certoraEqCheck.py -> build/lib/certora_cli
2026-02-16T14:51:45,403   copying certora_cli/certoraConcord.py -> build/lib/certora_cli
2026-02-16T14:51:45,405   creating build/lib/certora_jars
2026-02-16T14:51:45,406   copying certora_jars/__init__.py -> build/lib/certora_jars
2026-02-16T14:51:45,408   creating build/lib/certora_bins
2026-02-16T14:51:45,409   copying certora_bins/__init__.py -> build/lib/certora_bins
2026-02-16T14:51:45,411   creating build/lib/certora_cli/Mutate
2026-02-16T14:51:45,412   copying certora_cli/Mutate/mutateUtil.py -> build/lib/certora_cli/Mutate
2026-02-16T14:51:45,414   copying certora_cli/Mutate/mutateAttributes.py -> build/lib/certora_cli/Mutate
2026-02-16T14:51:45,417   copying certora_cli/Mutate/__init__.py -> build/lib/certora_cli/Mutate
2026-02-16T14:51:45,419   copying certora_cli/Mutate/mutateConstants.py -> build/lib/certora_cli/Mutate
2026-02-16T14:51:45,421   copying certora_cli/Mutate/mutateApp.py -> build/lib/certora_cli/Mutate
2026-02-16T14:51:45,424   copying certora_cli/Mutate/mutateValidate.py -> build/lib/certora_cli/Mutate
2026-02-16T14:51:45,427   creating build/lib/certora_cli/EquivalenceCheck
2026-02-16T14:51:45,428   copying certora_cli/EquivalenceCheck/equivCheck.py -> build/lib/certora_cli/EquivalenceCheck
2026-02-16T14:51:45,430   copying certora_cli/EquivalenceCheck/__init__.py -> build/lib/certora_cli/EquivalenceCheck
2026-02-16T14:51:45,432   creating build/lib/certora_cli/Shared
2026-02-16T14:51:45,433   copying certora_cli/Shared/__init__.py -> build/lib/certora_cli/Shared
2026-02-16T14:51:45,435   copying certora_cli/Shared/certoraAttrUtil.py -> build/lib/certora_cli/Shared
2026-02-16T14:51:45,437   copying certora_cli/Shared/certoraLogging.py -> build/lib/certora_cli/Shared
2026-02-16T14:51:45,439   copying certora_cli/Shared/ExpectedComparator.py -> build/lib/certora_cli/Shared
2026-02-16T14:51:45,442   copying certora_cli/Shared/certoraValidateFuncs.py -> build/lib/certora_cli/Shared
2026-02-16T14:51:45,444   copying certora_cli/Shared/certoraUtils.py -> build/lib/certora_cli/Shared
2026-02-16T14:51:45,447   copying certora_cli/Shared/proverCommon.py -> build/lib/certora_cli/Shared
2026-02-16T14:51:45,450   creating build/lib/certora_cli/CertoraProver
2026-02-16T14:51:45,451   copying certora_cli/CertoraProver/storageExtension.py -> build/lib/certora_cli/CertoraProver
2026-02-16T14:51:45,454   copying certora_cli/CertoraProver/certoraProjectScanner.py -> build/lib/certora_cli/CertoraProver
2026-02-16T14:51:45,457   copying certora_cli/CertoraProver/certoraContextValidator.py -> build/lib/certora_cli/CertoraProver
2026-02-16T14:51:45,460   copying certora_cli/CertoraProver/certoraType.py -> build/lib/certora_cli/CertoraProver
2026-02-16T14:51:45,462   copying certora_cli/CertoraProver/certoraCollectConfigurationLayout.py -> build/lib/certora_cli/CertoraProver
2026-02-16T14:51:45,464   copying certora_cli/CertoraProver/certoraParseBuildScript.py -> build/lib/certora_cli/CertoraProver
2026-02-16T14:51:45,467   copying certora_cli/CertoraProver/certoraBuildCacheManager.py -> build/lib/certora_cli/CertoraProver
2026-02-16T14:51:45,469   copying certora_cli/CertoraProver/certoraExtensionInfo.py -> build/lib/certora_cli/CertoraProver
2026-02-16T14:51:45,471   copying certora_cli/CertoraProver/certoraContractFuncs.py -> build/lib/certora_cli/CertoraProver
2026-02-16T14:51:45,473   copying certora_cli/CertoraProver/certoraContextAttributes.py -> build/lib/certora_cli/CertoraProver
2026-02-16T14:51:45,477   copying certora_cli/CertoraProver/__init__.py -> build/lib/certora_cli/CertoraProver
2026-02-16T14:51:45,478   copying certora_cli/CertoraProver/certoraBuildRust.py -> build/lib/certora_cli/CertoraProver
2026-02-16T14:51:45,481   copying certora_cli/CertoraProver/castingInstrumenter.py -> build/lib/certora_cli/CertoraProver
2026-02-16T14:51:45,483   copying certora_cli/CertoraProver/certoraMiniSpecParser.py -> build/lib/certora_cli/CertoraProver
2026-02-16T14:51:45,486   copying certora_cli/CertoraProver/certoraContextClass.py -> build/lib/certora_cli/CertoraProver
2026-02-16T14:51:45,488   copying certora_cli/CertoraProver/certoraSourceFinders.py -> build/lib/certora_cli/CertoraProver
2026-02-16T14:51:45,490   copying certora_cli/CertoraProver/certoraBuildDataClasses.py -> build/lib/certora_cli/CertoraProver
2026-02-16T14:51:45,493   copying certora_cli/CertoraProver/uncheckedOverflowInstrumenter.py -> build/lib/certora_cli/CertoraProver
2026-02-16T14:51:45,495   copying certora_cli/CertoraProver/certoraApp.py -> build/lib/certora_cli/CertoraProver
2026-02-16T14:51:45,497   copying certora_cli/CertoraProver/certoraBuild.py -> build/lib/certora_cli/CertoraProver
2026-02-16T14:51:45,504   copying certora_cli/CertoraProver/certoraBuildSui.py -> build/lib/certora_cli/CertoraProver
2026-02-16T14:51:45,506   copying certora_cli/CertoraProver/certoraNodeFilters.py -> build/lib/certora_cli/CertoraProver
2026-02-16T14:51:45,508   copying certora_cli/CertoraProver/certoraCompilerParameters.py -> build/lib/certora_cli/CertoraProver
2026-02-16T14:51:45,510   copying certora_cli/CertoraProver/certoraJobList.py -> build/lib/certora_cli/CertoraProver
2026-02-16T14:51:45,513   copying certora_cli/CertoraProver/certoraCollectRunMetadata.py -> build/lib/certora_cli/CertoraProver
2026-02-16T14:51:45,516   copying certora_cli/CertoraProver/certoraConfigIO.py -> build/lib/certora_cli/CertoraProver
2026-02-16T14:51:45,518   copying certora_cli/CertoraProver/erc7201.py -> build/lib/certora_cli/CertoraProver
2026-02-16T14:51:45,520   copying certora_cli/CertoraProver/splitRules.py -> build/lib/certora_cli/CertoraProver
2026-02-16T14:51:45,522   copying certora_cli/CertoraProver/certoraVerifyGenerator.py -> build/lib/certora_cli/CertoraProver
2026-02-16T14:51:45,525   copying certora_cli/CertoraProver/certoraContext.py -> build/lib/certora_cli/CertoraProver
2026-02-16T14:51:45,527   copying certora_cli/CertoraProver/certoraCloudIO.py -> build/lib/certora_cli/CertoraProver
2026-02-16T14:51:45,531   copying certora_cli/CertoraProver/certoraOffsetConverter.py -> build/lib/certora_cli/CertoraProver
2026-02-16T14:51:45,533   creating build/lib/certora_cli/CertoraProver/Compiler
2026-02-16T14:51:45,534   copying certora_cli/CertoraProver/Compiler/CompilerCollector.py -> build/lib/certora_cli/CertoraProver/Compiler
2026-02-16T14:51:45,537   copying certora_cli/CertoraProver/Compiler/CompilerCollectorSol.py -> build/lib/certora_cli/CertoraProver/Compiler
2026-02-16T14:51:45,539   copying certora_cli/CertoraProver/Compiler/CompilerCollectorSolBased.py -> build/lib/certora_cli/CertoraProver/Compiler
2026-02-16T14:51:45,541   copying certora_cli/CertoraProver/Compiler/__init__.py -> build/lib/certora_cli/CertoraProver/Compiler
2026-02-16T14:51:45,543   copying certora_cli/CertoraProver/Compiler/CompilerCollectorVy.py -> build/lib/certora_cli/CertoraProver/Compiler
2026-02-16T14:51:45,547   copying certora_cli/CertoraProver/Compiler/CompilerCollectorYul.py -> build/lib/certora_cli/CertoraProver/Compiler
2026-02-16T14:51:45,549   copying certora_cli/CertoraProver/Compiler/CompilerCollectorFactory.py -> build/lib/certora_cli/CertoraProver/Compiler
2026-02-16T14:51:45,551   running egg_info
2026-02-16T14:51:45,579   writing certora_cli_alpha_yoav_real_destructive.egg-info/PKG-INFO
2026-02-16T14:51:45,582   writing dependency_links to certora_cli_alpha_yoav_real_destructive.egg-info/dependency_links.txt
2026-02-16T14:51:45,584   writing entry points to certora_cli_alpha_yoav_real_destructive.egg-info/entry_points.txt
2026-02-16T14:51:45,586   writing requirements to certora_cli_alpha_yoav_real_destructive.egg-info/requires.txt
2026-02-16T14:51:45,587   writing top-level names to certora_cli_alpha_yoav_real_destructive.egg-info/top_level.txt
2026-02-16T14:51:45,627   reading manifest file 'certora_cli_alpha_yoav_real_destructive.egg-info/SOURCES.txt'
2026-02-16T14:51:45,634   reading manifest template 'MANIFEST.in'
2026-02-16T14:51:45,638   warning: no files found matching 'gambit' under directory 'certora_bins'
2026-02-16T14:51:45,744   adding license file 'LICENSE'
2026-02-16T14:51:45,750   writing manifest file 'certora_cli_alpha_yoav_real_destructive.egg-info/SOURCES.txt'
2026-02-16T14:51:45,757   copying certora_jars/ASTExtraction.jar -> build/lib/certora_jars
2026-02-16T14:51:46,116   copying certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/lib/certora_jars
2026-02-16T14:51:46,118   copying certora_jars/Typechecker.jar -> build/lib/certora_jars
2026-02-16T14:51:46,484   copying certora_cli/EquivalenceCheck/Eq_default.conf -> build/lib/certora_cli/EquivalenceCheck
2026-02-16T14:51:46,486   copying certora_cli/EquivalenceCheck/Eq_mc_no_out_template.spec -> build/lib/certora_cli/EquivalenceCheck
2026-02-16T14:51:46,489   copying certora_cli/EquivalenceCheck/Eq_mc_template.spec -> build/lib/certora_cli/EquivalenceCheck
2026-02-16T14:51:46,492   copying certora_cli/EquivalenceCheck/Eq_sanity.conf -> build/lib/certora_cli/EquivalenceCheck
2026-02-16T14:51:46,495   copying certora_cli/EquivalenceCheck/Eq_template.spec -> build/lib/certora_cli/EquivalenceCheck
2026-02-16T14:51:46,498   copying certora_cli/EquivalenceCheck/sanity.spec -> build/lib/certora_cli/EquivalenceCheck
2026-02-16T14:51:46,534   /usr/local/lib/python3.11/dist-packages/setuptools/_distutils/cmd.py:90: SetuptoolsDeprecationWarning: setup.py install is deprecated.
2026-02-16T14:51:46,534   !!

2026-02-16T14:51:46,536           ********************************************************************************
2026-02-16T14:51:46,536           Please avoid running ``setup.py`` directly.
2026-02-16T14:51:46,537           Instead, use pypa/build, pypa/installer or other
2026-02-16T14:51:46,537           standards-based tools.

2026-02-16T14:51:46,538           This deprecation is overdue, please update your project and remove deprecated
2026-02-16T14:51:46,538           calls to avoid build errors in the future.

2026-02-16T14:51:46,539           See https://blog.ganssle.io/articles/2021/10/setup-py-deprecated.html for details.
2026-02-16T14:51:46,540           ********************************************************************************

2026-02-16T14:51:46,541   !!
2026-02-16T14:51:46,541     self.initialize_options()
2026-02-16T14:51:46,563   installing to build/bdist.linux-armv7l/wheel
2026-02-16T14:51:46,563   running install
2026-02-16T14:51:46,586   running install_lib
2026-02-16T14:51:46,615   creating build/bdist.linux-armv7l/wheel
2026-02-16T14:51:46,618   creating build/bdist.linux-armv7l/wheel/certora_cli
2026-02-16T14:51:46,620   copying build/lib/certora_cli/certoraCVLFormatter.py -> build/bdist.linux-armv7l/wheel/./certora_cli
2026-02-16T14:51:46,623   copying build/lib/certora_cli/certoraSolanaProver.py -> build/bdist.linux-armv7l/wheel/./certora_cli
2026-02-16T14:51:46,625   creating build/bdist.linux-armv7l/wheel/certora_cli/Mutate
2026-02-16T14:51:46,626   copying build/lib/certora_cli/Mutate/mutateUtil.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Mutate
2026-02-16T14:51:46,628   copying build/lib/certora_cli/Mutate/mutateAttributes.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Mutate
2026-02-16T14:51:46,630   copying build/lib/certora_cli/Mutate/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Mutate
2026-02-16T14:51:46,632   copying build/lib/certora_cli/Mutate/mutateConstants.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Mutate
2026-02-16T14:51:46,634   copying build/lib/certora_cli/Mutate/mutateApp.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Mutate
2026-02-16T14:51:46,638   copying build/lib/certora_cli/Mutate/mutateValidate.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Mutate
2026-02-16T14:51:46,640   copying build/lib/certora_cli/certoraRanger.py -> build/bdist.linux-armv7l/wheel/./certora_cli
2026-02-16T14:51:46,643   creating build/bdist.linux-armv7l/wheel/certora_cli/EquivalenceCheck
2026-02-16T14:51:46,644   copying build/lib/certora_cli/EquivalenceCheck/Eq_mc_template.spec -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck
2026-02-16T14:51:46,646   copying build/lib/certora_cli/EquivalenceCheck/equivCheck.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck
2026-02-16T14:51:46,648   copying build/lib/certora_cli/EquivalenceCheck/Eq_template.spec -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck
2026-02-16T14:51:46,650   copying build/lib/certora_cli/EquivalenceCheck/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck
2026-02-16T14:51:46,652   copying build/lib/certora_cli/EquivalenceCheck/Eq_sanity.conf -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck
2026-02-16T14:51:46,653   copying build/lib/certora_cli/EquivalenceCheck/sanity.spec -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck
2026-02-16T14:51:46,655   copying build/lib/certora_cli/EquivalenceCheck/Eq_mc_no_out_template.spec -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck
2026-02-16T14:51:46,657   copying build/lib/certora_cli/EquivalenceCheck/Eq_default.conf -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck
2026-02-16T14:51:46,660   copying build/lib/certora_cli/certoraRun.py -> build/bdist.linux-armv7l/wheel/./certora_cli
2026-02-16T14:51:46,663   copying build/lib/certora_cli/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_cli
2026-02-16T14:51:46,665   copying build/lib/certora_cli/certoraEVMProver.py -> build/bdist.linux-armv7l/wheel/./certora_cli
2026-02-16T14:51:46,667   copying build/lib/certora_cli/rustMutator.py -> build/bdist.linux-armv7l/wheel/./certora_cli
2026-02-16T14:51:46,671   creating build/bdist.linux-armv7l/wheel/certora_cli/Shared
2026-02-16T14:51:46,672   copying build/lib/certora_cli/Shared/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared
2026-02-16T14:51:46,675   copying build/lib/certora_cli/Shared/certoraAttrUtil.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared
2026-02-16T14:51:46,678   copying build/lib/certora_cli/Shared/certoraLogging.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared
2026-02-16T14:51:46,681   copying build/lib/certora_cli/Shared/ExpectedComparator.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared
2026-02-16T14:51:46,685   copying build/lib/certora_cli/Shared/certoraValidateFuncs.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared
2026-02-16T14:51:46,689   copying build/lib/certora_cli/Shared/certoraUtils.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared
2026-02-16T14:51:46,693   copying build/lib/certora_cli/Shared/proverCommon.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared
2026-02-16T14:51:46,696   copying build/lib/certora_cli/certoraMutate.py -> build/bdist.linux-armv7l/wheel/./certora_cli
2026-02-16T14:51:46,699   creating build/bdist.linux-armv7l/wheel/certora_cli/CertoraProver
2026-02-16T14:51:46,701   copying build/lib/certora_cli/CertoraProver/storageExtension.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2026-02-16T14:51:46,703   copying build/lib/certora_cli/CertoraProver/certoraProjectScanner.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2026-02-16T14:51:46,705   copying build/lib/certora_cli/CertoraProver/certoraContextValidator.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2026-02-16T14:51:46,708   copying build/lib/certora_cli/CertoraProver/certoraType.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2026-02-16T14:51:46,711   copying build/lib/certora_cli/CertoraProver/certoraCollectConfigurationLayout.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2026-02-16T14:51:46,714   copying build/lib/certora_cli/CertoraProver/certoraParseBuildScript.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2026-02-16T14:51:46,717   copying build/lib/certora_cli/CertoraProver/certoraBuildCacheManager.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2026-02-16T14:51:46,719   copying build/lib/certora_cli/CertoraProver/certoraExtensionInfo.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2026-02-16T14:51:46,721   copying build/lib/certora_cli/CertoraProver/certoraContractFuncs.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2026-02-16T14:51:46,724   copying build/lib/certora_cli/CertoraProver/certoraContextAttributes.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2026-02-16T14:51:46,728   copying build/lib/certora_cli/CertoraProver/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2026-02-16T14:51:46,729   copying build/lib/certora_cli/CertoraProver/certoraBuildRust.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2026-02-16T14:51:46,732   copying build/lib/certora_cli/CertoraProver/castingInstrumenter.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2026-02-16T14:51:46,734   copying build/lib/certora_cli/CertoraProver/certoraMiniSpecParser.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2026-02-16T14:51:46,736   copying build/lib/certora_cli/CertoraProver/certoraContextClass.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2026-02-16T14:51:46,739   copying build/lib/certora_cli/CertoraProver/certoraSourceFinders.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2026-02-16T14:51:46,741   copying build/lib/certora_cli/CertoraProver/certoraBuildDataClasses.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2026-02-16T14:51:46,744   copying build/lib/certora_cli/CertoraProver/uncheckedOverflowInstrumenter.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2026-02-16T14:51:46,747   creating build/bdist.linux-armv7l/wheel/certora_cli/CertoraProver/Compiler
2026-02-16T14:51:46,748   copying build/lib/certora_cli/CertoraProver/Compiler/CompilerCollector.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver/Compiler
2026-02-16T14:51:46,751   copying build/lib/certora_cli/CertoraProver/Compiler/CompilerCollectorSol.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver/Compiler
2026-02-16T14:51:46,754   copying build/lib/certora_cli/CertoraProver/Compiler/CompilerCollectorSolBased.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver/Compiler
2026-02-16T14:51:46,756   copying build/lib/certora_cli/CertoraProver/Compiler/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver/Compiler
2026-02-16T14:51:46,759   copying build/lib/certora_cli/CertoraProver/Compiler/CompilerCollectorVy.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver/Compiler
2026-02-16T14:51:46,763   copying build/lib/certora_cli/CertoraProver/Compiler/CompilerCollectorYul.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver/Compiler
2026-02-16T14:51:46,765   copying build/lib/certora_cli/CertoraProver/Compiler/CompilerCollectorFactory.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver/Compiler
2026-02-16T14:51:46,768   copying build/lib/certora_cli/CertoraProver/certoraApp.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2026-02-16T14:51:46,769   copying build/lib/certora_cli/CertoraProver/certoraBuild.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2026-02-16T14:51:46,777   copying build/lib/certora_cli/CertoraProver/certoraBuildSui.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2026-02-16T14:51:46,779   copying build/lib/certora_cli/CertoraProver/certoraNodeFilters.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2026-02-16T14:51:46,781   copying build/lib/certora_cli/CertoraProver/certoraCompilerParameters.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2026-02-16T14:51:46,783   copying build/lib/certora_cli/CertoraProver/certoraJobList.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2026-02-16T14:51:46,785   copying build/lib/certora_cli/CertoraProver/certoraCollectRunMetadata.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2026-02-16T14:51:46,788   copying build/lib/certora_cli/CertoraProver/certoraConfigIO.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2026-02-16T14:51:46,790   copying build/lib/certora_cli/CertoraProver/erc7201.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2026-02-16T14:51:46,792   copying build/lib/certora_cli/CertoraProver/splitRules.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2026-02-16T14:51:46,795   copying build/lib/certora_cli/CertoraProver/certoraVerifyGenerator.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2026-02-16T14:51:46,797   copying build/lib/certora_cli/CertoraProver/certoraContext.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2026-02-16T14:51:46,800   copying build/lib/certora_cli/CertoraProver/certoraCloudIO.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2026-02-16T14:51:46,803   copying build/lib/certora_cli/CertoraProver/certoraOffsetConverter.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2026-02-16T14:51:46,805   copying build/lib/certora_cli/certoraSuiProver.py -> build/bdist.linux-armv7l/wheel/./certora_cli
2026-02-16T14:51:46,807   copying build/lib/certora_cli/certoraSorobanProver.py -> build/bdist.linux-armv7l/wheel/./certora_cli
2026-02-16T14:51:46,809   copying build/lib/certora_cli/certoraEqCheck.py -> build/bdist.linux-armv7l/wheel/./certora_cli
2026-02-16T14:51:46,811   copying build/lib/certora_cli/certoraConcord.py -> build/bdist.linux-armv7l/wheel/./certora_cli
2026-02-16T14:51:46,813   creating build/bdist.linux-armv7l/wheel/certora_jars
2026-02-16T14:51:46,814   copying build/lib/certora_jars/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_jars
2026-02-16T14:51:46,816   copying build/lib/certora_jars/ASTExtraction.jar -> build/bdist.linux-armv7l/wheel/./certora_jars
2026-02-16T14:51:47,165   copying build/lib/certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/bdist.linux-armv7l/wheel/./certora_jars
2026-02-16T14:51:47,168   copying build/lib/certora_jars/Typechecker.jar -> build/bdist.linux-armv7l/wheel/./certora_jars
2026-02-16T14:51:47,503   creating build/bdist.linux-armv7l/wheel/certora_bins
2026-02-16T14:51:47,504   copying build/lib/certora_bins/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_bins
2026-02-16T14:51:47,506   running install_egg_info
2026-02-16T14:51:47,543   Copying certora_cli_alpha_yoav_real_destructive.egg-info to build/bdist.linux-armv7l/wheel/./certora_cli_alpha_yoav_real_destructive-20260216.13.35.231857-py3.11.egg-info
2026-02-16T14:51:47,554   running install_scripts
2026-02-16T14:51:47,568   creating build/bdist.linux-armv7l/wheel/certora_cli_alpha_yoav_real_destructive-20260216.13.35.231857.dist-info/WHEEL
2026-02-16T14:51:47,571   creating '/tmp/pip-wheel-8ucuqip4/certora_cli_alpha_yoav_real_destructive-20260216.13.35.231857-py3-none-any.whl' and adding 'build/bdist.linux-armv7l/wheel' to it
2026-02-16T14:51:47,573   adding 'certora_bins/__init__.py'
2026-02-16T14:51:47,575   adding 'certora_cli/__init__.py'
2026-02-16T14:51:47,577   adding 'certora_cli/certoraCVLFormatter.py'
2026-02-16T14:51:47,579   adding 'certora_cli/certoraConcord.py'
2026-02-16T14:51:47,581   adding 'certora_cli/certoraEVMProver.py'
2026-02-16T14:51:47,582   adding 'certora_cli/certoraEqCheck.py'
2026-02-16T14:51:47,584   adding 'certora_cli/certoraMutate.py'
2026-02-16T14:51:47,586   adding 'certora_cli/certoraRanger.py'
2026-02-16T14:51:47,588   adding 'certora_cli/certoraRun.py'
2026-02-16T14:51:47,589   adding 'certora_cli/certoraSolanaProver.py'
2026-02-16T14:51:47,591   adding 'certora_cli/certoraSorobanProver.py'
2026-02-16T14:51:47,593   adding 'certora_cli/certoraSuiProver.py'
2026-02-16T14:51:47,595   adding 'certora_cli/rustMutator.py'
2026-02-16T14:51:47,598   adding 'certora_cli/CertoraProver/__init__.py'
2026-02-16T14:51:47,600   adding 'certora_cli/CertoraProver/castingInstrumenter.py'
2026-02-16T14:51:47,601   adding 'certora_cli/CertoraProver/certoraApp.py'
2026-02-16T14:51:47,629   adding 'certora_cli/CertoraProver/certoraBuild.py'
2026-02-16T14:51:47,633   adding 'certora_cli/CertoraProver/certoraBuildCacheManager.py'
2026-02-16T14:51:47,636   adding 'certora_cli/CertoraProver/certoraBuildDataClasses.py'
2026-02-16T14:51:47,638   adding 'certora_cli/CertoraProver/certoraBuildRust.py'
2026-02-16T14:51:47,640   adding 'certora_cli/CertoraProver/certoraBuildSui.py'
2026-02-16T14:51:47,646   adding 'certora_cli/CertoraProver/certoraCloudIO.py'
2026-02-16T14:51:47,649   adding 'certora_cli/CertoraProver/certoraCollectConfigurationLayout.py'
2026-02-16T14:51:47,652   adding 'certora_cli/CertoraProver/certoraCollectRunMetadata.py'
2026-02-16T14:51:47,653   adding 'certora_cli/CertoraProver/certoraCompilerParameters.py'
2026-02-16T14:51:47,655   adding 'certora_cli/CertoraProver/certoraConfigIO.py'
2026-02-16T14:51:47,660   adding 'certora_cli/CertoraProver/certoraContext.py'
2026-02-16T14:51:47,665   adding 'certora_cli/CertoraProver/certoraContextAttributes.py'
2026-02-16T14:51:47,668   adding 'certora_cli/CertoraProver/certoraContextClass.py'
2026-02-16T14:51:47,674   adding 'certora_cli/CertoraProver/certoraContextValidator.py'
2026-02-16T14:51:47,676   adding 'certora_cli/CertoraProver/certoraContractFuncs.py'
2026-02-16T14:51:47,678   adding 'certora_cli/CertoraProver/certoraExtensionInfo.py'
2026-02-16T14:51:47,680   adding 'certora_cli/CertoraProver/certoraJobList.py'
2026-02-16T14:51:47,682   adding 'certora_cli/CertoraProver/certoraMiniSpecParser.py'
2026-02-16T14:51:47,684   adding 'certora_cli/CertoraProver/certoraNodeFilters.py'
2026-02-16T14:51:47,685   adding 'certora_cli/CertoraProver/certoraOffsetConverter.py'
2026-02-16T14:51:47,687   adding 'certora_cli/CertoraProver/certoraParseBuildScript.py'
2026-02-16T14:51:47,689   adding 'certora_cli/CertoraProver/certoraProjectScanner.py'
2026-02-16T14:51:47,692   adding 'certora_cli/CertoraProver/certoraSourceFinders.py'
2026-02-16T14:51:47,696   adding 'certora_cli/CertoraProver/certoraType.py'
2026-02-16T14:51:47,698   adding 'certora_cli/CertoraProver/certoraVerifyGenerator.py'
2026-02-16T14:51:47,700   adding 'certora_cli/CertoraProver/erc7201.py'
2026-02-16T14:51:47,702   adding 'certora_cli/CertoraProver/splitRules.py'
2026-02-16T14:51:47,705   adding 'certora_cli/CertoraProver/storageExtension.py'
2026-02-16T14:51:47,707   adding 'certora_cli/CertoraProver/uncheckedOverflowInstrumenter.py'
2026-02-16T14:51:47,709   adding 'certora_cli/CertoraProver/Compiler/CompilerCollector.py'
2026-02-16T14:51:47,711   adding 'certora_cli/CertoraProver/Compiler/CompilerCollectorFactory.py'
2026-02-16T14:51:47,713   adding 'certora_cli/CertoraProver/Compiler/CompilerCollectorSol.py'
2026-02-16T14:51:47,715   adding 'certora_cli/CertoraProver/Compiler/CompilerCollectorSolBased.py'
2026-02-16T14:51:47,723   adding 'certora_cli/CertoraProver/Compiler/CompilerCollectorVy.py'
2026-02-16T14:51:47,725   adding 'certora_cli/CertoraProver/Compiler/CompilerCollectorYul.py'
2026-02-16T14:51:47,727   adding 'certora_cli/CertoraProver/Compiler/__init__.py'
2026-02-16T14:51:47,729   adding 'certora_cli/EquivalenceCheck/Eq_default.conf'
2026-02-16T14:51:47,730   adding 'certora_cli/EquivalenceCheck/Eq_mc_no_out_template.spec'
2026-02-16T14:51:47,732   adding 'certora_cli/EquivalenceCheck/Eq_mc_template.spec'
2026-02-16T14:51:47,733   adding 'certora_cli/EquivalenceCheck/Eq_sanity.conf'
2026-02-16T14:51:47,735   adding 'certora_cli/EquivalenceCheck/Eq_template.spec'
2026-02-16T14:51:47,736   adding 'certora_cli/EquivalenceCheck/__init__.py'
2026-02-16T14:51:47,739   adding 'certora_cli/EquivalenceCheck/equivCheck.py'
2026-02-16T14:51:47,741   adding 'certora_cli/EquivalenceCheck/sanity.spec'
2026-02-16T14:51:47,743   adding 'certora_cli/Mutate/__init__.py'
2026-02-16T14:51:47,753   adding 'certora_cli/Mutate/mutateApp.py'
2026-02-16T14:51:47,756   adding 'certora_cli/Mutate/mutateAttributes.py'
2026-02-16T14:51:47,757   adding 'certora_cli/Mutate/mutateConstants.py'
2026-02-16T14:51:47,759   adding 'certora_cli/Mutate/mutateUtil.py'
2026-02-16T14:51:47,761   adding 'certora_cli/Mutate/mutateValidate.py'
2026-02-16T14:51:47,764   adding 'certora_cli/Shared/ExpectedComparator.py'
2026-02-16T14:51:47,766   adding 'certora_cli/Shared/__init__.py'
2026-02-16T14:51:47,768   adding 'certora_cli/Shared/certoraAttrUtil.py'
2026-02-16T14:51:47,771   adding 'certora_cli/Shared/certoraLogging.py'
2026-02-16T14:51:47,779   adding 'certora_cli/Shared/certoraUtils.py'
2026-02-16T14:51:47,785   adding 'certora_cli/Shared/certoraValidateFuncs.py'
2026-02-16T14:51:47,788   adding 'certora_cli/Shared/proverCommon.py'
2026-02-16T14:51:47,791   adding 'certora_cli_alpha_yoav_real_destructive-20260216.13.35.231857.dist-info/licenses/LICENSE'
2026-02-16T14:51:50,380   adding 'certora_jars/ASTExtraction.jar'
2026-02-16T14:51:50,524   adding 'certora_jars/CERTORA-CLI-VERSION-METADATA.json'
2026-02-16T14:51:53,132   adding 'certora_jars/Typechecker.jar'
2026-02-16T14:51:53,276   adding 'certora_jars/__init__.py'
2026-02-16T14:51:53,277   adding 'certora_cli_alpha_yoav_real_destructive-20260216.13.35.231857.dist-info/METADATA'
2026-02-16T14:51:53,278   adding 'certora_cli_alpha_yoav_real_destructive-20260216.13.35.231857.dist-info/WHEEL'
2026-02-16T14:51:53,279   adding 'certora_cli_alpha_yoav_real_destructive-20260216.13.35.231857.dist-info/entry_points.txt'
2026-02-16T14:51:53,280   adding 'certora_cli_alpha_yoav_real_destructive-20260216.13.35.231857.dist-info/top_level.txt'
2026-02-16T14:51:53,282   adding 'certora_cli_alpha_yoav_real_destructive-20260216.13.35.231857.dist-info/RECORD'
2026-02-16T14:51:53,738   removing build/bdist.linux-armv7l/wheel
2026-02-16T14:51:53,885   Building wheel for certora-cli-alpha-yoav-real-destructive (setup.py): finished with status 'done'
2026-02-16T14:51:54,307   Created wheel for certora-cli-alpha-yoav-real-destructive: filename=certora_cli_alpha_yoav_real_destructive-20260216.13.35.231857-py3-none-any.whl size=42959540 sha256=20f6da561b869f4809df8c31f3c0da1f4d634d2b9818c8f128a2e73996273e54
2026-02-16T14:51:54,308   Stored in directory: /tmp/pip-ephem-wheel-cache-hyaqvd3r/wheels/9b/e2/5f/c23e12ad2cce552aa2f30d684f2eca85841c88e98941472864
2026-02-16T14:51:54,334 Successfully built certora-cli-alpha-yoav-real-destructive
2026-02-16T14:51:55,752 Removed build tracker: '/tmp/pip-build-tracker-5cctrcn0'