2024-11-07T15:59:53,004 Created temporary directory: /tmp/pip-build-tracker-i4reh5nn 2024-11-07T15:59:53,005 Initialized build tracking at /tmp/pip-build-tracker-i4reh5nn 2024-11-07T15:59:53,005 Created build tracker: /tmp/pip-build-tracker-i4reh5nn 2024-11-07T15:59:53,006 Entered build tracker: /tmp/pip-build-tracker-i4reh5nn 2024-11-07T15:59:53,007 Created temporary directory: /tmp/pip-wheel-tocep3ie 2024-11-07T15:59:53,011 Created temporary directory: /tmp/pip-ephem-wheel-cache-i9zhkqif 2024-11-07T15:59:53,053 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple 2024-11-07T15:59:53,056 2 location(s) to search for versions of certora-cli-beta-mirror: 2024-11-07T15:59:53,056 * https://pypi.org/simple/certora-cli-beta-mirror/ 2024-11-07T15:59:53,056 * https://www.piwheels.org/simple/certora-cli-beta-mirror/ 2024-11-07T15:59:53,057 Fetching project page and analyzing links: https://pypi.org/simple/certora-cli-beta-mirror/ 2024-11-07T15:59:53,058 Getting page https://pypi.org/simple/certora-cli-beta-mirror/ 2024-11-07T15:59:53,059 Found index url https://pypi.org/simple/ 2024-11-07T15:59:53,279 Fetched page https://pypi.org/simple/certora-cli-beta-mirror/ as application/vnd.pypi.simple.v1+json 2024-11-07T15:59:53,286 Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/23/89/ccc42a28cb59cbe15a30f037756c18ffb3ea5d8c676beffb102e78ca9aca/certora_cli_beta_mirror-7.17.0-py3-none-any.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8) 2024-11-07T15:59:53,287 Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/94/64/a5452ca1c5b031c60ad59619d06a5b08f2a63aee1fe612a5a2ed3731aa24/certora_cli_beta_mirror-7.17.0-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8) 2024-11-07T15:59:53,287 Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/97/f7/943dd777549175d73a3e36a4c3c5322a17c3f6450e025d89f22cc2391d9e/certora_cli_beta_mirror-7.17.0-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8) 2024-11-07T15:59:53,288 Found link https://files.pythonhosted.org/packages/78/7b/565eb89fa95f53318cfffdfaf3c30fa425edcab7f5c3ff4132afa5d1498e/certora_cli_beta_mirror-7.17.0.tar.gz (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8), version: 7.17.0 2024-11-07T15:59:53,289 Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/a6/50/a2ec88e48ea527dc6ef78484a6569542247bed9c6480c877fa92fd28c0a9/certora_cli_beta_mirror-7.17.1-py3-none-any.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8) 2024-11-07T15:59:53,289 Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/92/f7/da44e1276b2bf0310e7178ce74078973c9a93a5a21a856591404b2576318/certora_cli_beta_mirror-7.17.1-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8) 2024-11-07T15:59:53,290 Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/c2/47/5c875198abbe3bfd099f970f36b5e827db2a6ed46b81daf7d0cc4e5e6f22/certora_cli_beta_mirror-7.17.1-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8) 2024-11-07T15:59:53,291 Found link https://files.pythonhosted.org/packages/1c/36/889047d565e07e872e8a3c9ded451b34f077fe164f26ef2ca34b370322bb/certora_cli_beta_mirror-7.17.1.tar.gz (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8), version: 7.17.1 2024-11-07T15:59:53,292 Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/bd/42/ed7a252b516cd24dd958052ae4f8bee8e5650a8048617e6f9fa5fa5d3933/certora_cli_beta_mirror-7.17.2-py3-none-any.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8) 2024-11-07T15:59:53,292 Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/57/5a/cb27c4050a2ec26f9a903ae8698a09fa13441dc0b5a757558a1fb5810603/certora_cli_beta_mirror-7.17.2-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8) 2024-11-07T15:59:53,293 Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/83/fb/df32c065d881c7126eb5a908dbeac0eb950ada7d41313f8596e40e22a6c4/certora_cli_beta_mirror-7.17.2-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8) 2024-11-07T15:59:53,294 Found link https://files.pythonhosted.org/packages/e0/d3/c71bbf1f5c35d7673495e00a0921496f352c13c4af31b7fca71b82f18bbc/certora_cli_beta_mirror-7.17.2.tar.gz (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8), version: 7.17.2 2024-11-07T15:59:53,294 Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/7e/06/e51d2f1a35da3bfd056cbd47dc1148ed71a4511b7fac2866860f70351bae/certora_cli_beta_mirror-7.18.0-py3-none-any.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8) 2024-11-07T15:59:53,295 Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/29/6d/816b30a79c16791d550e7a476653cd16708c3230d880ba6eeed80627d5af/certora_cli_beta_mirror-7.18.0-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8) 2024-11-07T15:59:53,295 Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/27/73/f6896058ab65932f1e21d69e2f3cc8b2fc35a9b4ffae9edeb57a814ed1f4/certora_cli_beta_mirror-7.18.0-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8) 2024-11-07T15:59:53,296 Found link https://files.pythonhosted.org/packages/61/67/500481a15ea47b2fca79f0711eb601685a33a3b11b85df4cf4806a4e6284/certora_cli_beta_mirror-7.18.0.tar.gz (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8), version: 7.18.0 2024-11-07T15:59:53,297 Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/ec/0e/7dd4b1ef9ee998336ba8e6ec485b3f8ea2ed1f88368a85a7d5c5c0864811/certora_cli_beta_mirror-7.18.1-py3-none-any.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8) 2024-11-07T15:59:53,297 Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/fc/03/0c5c2ef1e1d8495ed1be330a6889d42ff1a30297ae8769096a1fcde87a6a/certora_cli_beta_mirror-7.18.1-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8) 2024-11-07T15:59:53,298 Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/84/56/bb057e2ec19e619a885ad344ce7d993dfcbd96bc455873e4de96ab48676c/certora_cli_beta_mirror-7.18.1-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8) 2024-11-07T15:59:53,299 Found link https://files.pythonhosted.org/packages/9a/3d/9c21579a44707f6211fbbe0d57f8939f73a83d3b5cf57731446f84c4c803/certora_cli_beta_mirror-7.18.1.tar.gz (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8), version: 7.18.1 2024-11-07T15:59:53,299 Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/a1/71/6e7d65a712bb5c447394fa1873f3f6a0eca92c803b41cdc0edc7df36ad0e/certora_cli_beta_mirror-7.18.2-py3-none-any.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8) 2024-11-07T15:59:53,300 Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/86/e9/a6d0865aee4a2280d94fe73732faab3d6cd275bdc9fb48dd84f8791bb49a/certora_cli_beta_mirror-7.18.2-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8) 2024-11-07T15:59:53,301 Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/5e/ca/ca3d250450f59b38a481a903840e9f828dbf701b0e07207dab77a3fed861/certora_cli_beta_mirror-7.18.2-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8) 2024-11-07T15:59:53,302 Found link https://files.pythonhosted.org/packages/80/32/2dc6aff1d5b484ec3ebc4872accb93a68ea7af7a4086e241a798c132ccf4/certora_cli_beta_mirror-7.18.2.tar.gz (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8), version: 7.18.2 2024-11-07T15:59:53,302 Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/85/7f/b2df9b936804c70ba85705060eb193ec6c9e39154e4c5691d7fc655aacb9/certora_cli_beta_mirror-7.19.0-py3-none-any.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8) 2024-11-07T15:59:53,303 Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/93/fc/86b03fefa7d535721e4256e1df8d4a51d729edfd9b21ddb7c1a89f1f4dc1/certora_cli_beta_mirror-7.19.0-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8) 2024-11-07T15:59:53,303 Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/bc/52/bd815baf5ef6f806ce28f1a37cc73d94a8d33756864f5d663311cfbaa135/certora_cli_beta_mirror-7.19.0-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8) 2024-11-07T15:59:53,304 Found link https://files.pythonhosted.org/packages/99/9c/0c1ad853c72304b7b70b773b5df52857d482dfe2c15fca3567d4e3499077/certora_cli_beta_mirror-7.19.0.tar.gz (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8), version: 7.19.0 2024-11-07T15:59:53,305 Fetching project page and analyzing links: https://www.piwheels.org/simple/certora-cli-beta-mirror/ 2024-11-07T15:59:53,305 Getting page https://www.piwheels.org/simple/certora-cli-beta-mirror/ 2024-11-07T15:59:53,307 Found index url https://www.piwheels.org/simple/ 2024-11-07T15:59:53,499 Fetched page https://www.piwheels.org/simple/certora-cli-beta-mirror/ as text/html 2024-11-07T15:59:53,502 Skipping link: No binaries permitted for certora-cli-beta-mirror: https://www.piwheels.org/simple/certora-cli-beta-mirror/certora_cli_beta_mirror-7.18.2-py3-none-any.whl#sha256=e3c4f26d0056c4eadbe9e924c395fe31ba90e0853c6195bdf50b7a7b4f1d9ff9 (from https://www.piwheels.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8) 2024-11-07T15:59:53,503 Skipping link: No binaries permitted for certora-cli-beta-mirror: https://www.piwheels.org/simple/certora-cli-beta-mirror/certora_cli_beta_mirror-7.18.1-py3-none-any.whl#sha256=46d0114cb857d8b7549c72785815db662370f09ecb136c654fb87cf53b69350e (from https://www.piwheels.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8) 2024-11-07T15:59:53,503 Skipping link: No binaries permitted for certora-cli-beta-mirror: https://www.piwheels.org/simple/certora-cli-beta-mirror/certora_cli_beta_mirror-7.18.0-py3-none-any.whl#sha256=e7a42a97fd7829ed5211fc7e1d3e5ed06f3474c0980834d12a288c80587d1bec (from https://www.piwheels.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8) 2024-11-07T15:59:53,504 Skipping link: No binaries permitted for certora-cli-beta-mirror: https://www.piwheels.org/simple/certora-cli-beta-mirror/certora_cli_beta_mirror-7.17.2-py3-none-any.whl#sha256=3b8f73ac7166dadd40015cc5d19ba6b315a077d724c497f68d9a3d677a155771 (from https://www.piwheels.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8) 2024-11-07T15:59:53,504 Skipping link: No binaries permitted for certora-cli-beta-mirror: https://www.piwheels.org/simple/certora-cli-beta-mirror/certora_cli_beta_mirror-7.17.1-py3-none-any.whl#sha256=9618614b09f8a1a9045adf4ef400aeebfc0a15058524dbb0ee24b90111ea721a (from https://www.piwheels.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8) 2024-11-07T15:59:53,505 Skipping link: No binaries permitted for certora-cli-beta-mirror: https://www.piwheels.org/simple/certora-cli-beta-mirror/certora_cli_beta_mirror-7.17.0-py3-none-any.whl#sha256=ebd400b65bef47785c001f8de433eee7b13617950ccc62883223c788cf28d6ff (from https://www.piwheels.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8) 2024-11-07T15:59:53,506 Skipping link: not a file: https://www.piwheels.org/simple/certora-cli-beta-mirror/ 2024-11-07T15:59:53,506 Skipping link: not a file: https://pypi.org/simple/certora-cli-beta-mirror/ 2024-11-07T15:59:53,524 Given no hashes to check 1 links for project 'certora-cli-beta-mirror': discarding no candidates 2024-11-07T15:59:53,526 Collecting certora-cli-beta-mirror==7.19.0 2024-11-07T15:59:53,529 Created temporary directory: /tmp/pip-unpack-wn40thd8 2024-11-07T15:59:53,868 Downloading certora_cli_beta_mirror-7.19.0.tar.gz (15.3 MB) 2024-11-07T15:59:57,369 Added certora-cli-beta-mirror==7.19.0 from https://files.pythonhosted.org/packages/99/9c/0c1ad853c72304b7b70b773b5df52857d482dfe2c15fca3567d4e3499077/certora_cli_beta_mirror-7.19.0.tar.gz to build tracker '/tmp/pip-build-tracker-i4reh5nn' 2024-11-07T15:59:57,371 Running setup.py (path:/tmp/pip-wheel-tocep3ie/certora-cli-beta-mirror_0b0b50f77cc141218e35ecab458596df/setup.py) egg_info for package certora-cli-beta-mirror 2024-11-07T15:59:57,372 Created temporary directory: /tmp/pip-pip-egg-info-y_bg07pr 2024-11-07T15:59:57,373 Preparing metadata (setup.py): started 2024-11-07T15:59:57,374 Running command python setup.py egg_info 2024-11-07T15:59:58,883 running egg_info 2024-11-07T15:59:58,911 creating /tmp/pip-pip-egg-info-y_bg07pr/certora_cli_beta_mirror.egg-info 2024-11-07T15:59:58,913 writing /tmp/pip-pip-egg-info-y_bg07pr/certora_cli_beta_mirror.egg-info/PKG-INFO 2024-11-07T15:59:58,916 writing dependency_links to /tmp/pip-pip-egg-info-y_bg07pr/certora_cli_beta_mirror.egg-info/dependency_links.txt 2024-11-07T15:59:58,917 writing entry points to /tmp/pip-pip-egg-info-y_bg07pr/certora_cli_beta_mirror.egg-info/entry_points.txt 2024-11-07T15:59:58,919 writing requirements to /tmp/pip-pip-egg-info-y_bg07pr/certora_cli_beta_mirror.egg-info/requires.txt 2024-11-07T15:59:58,920 writing top-level names to /tmp/pip-pip-egg-info-y_bg07pr/certora_cli_beta_mirror.egg-info/top_level.txt 2024-11-07T15:59:58,922 writing manifest file '/tmp/pip-pip-egg-info-y_bg07pr/certora_cli_beta_mirror.egg-info/SOURCES.txt' 2024-11-07T15:59:59,015 reading manifest file '/tmp/pip-pip-egg-info-y_bg07pr/certora_cli_beta_mirror.egg-info/SOURCES.txt' 2024-11-07T15:59:59,017 reading manifest template 'MANIFEST.in' 2024-11-07T15:59:59,021 warning: no files found matching 'gambit' under directory 'certora_bins' 2024-11-07T15:59:59,088 adding license file 'LICENSE' 2024-11-07T15:59:59,092 writing manifest file '/tmp/pip-pip-egg-info-y_bg07pr/certora_cli_beta_mirror.egg-info/SOURCES.txt' 2024-11-07T15:59:59,202 Preparing metadata (setup.py): finished with status 'done' 2024-11-07T15:59:59,206 Source in /tmp/pip-wheel-tocep3ie/certora-cli-beta-mirror_0b0b50f77cc141218e35ecab458596df has version 7.19.0, which satisfies requirement certora-cli-beta-mirror==7.19.0 from https://files.pythonhosted.org/packages/99/9c/0c1ad853c72304b7b70b773b5df52857d482dfe2c15fca3567d4e3499077/certora_cli_beta_mirror-7.19.0.tar.gz 2024-11-07T15:59:59,207 Removed certora-cli-beta-mirror==7.19.0 from https://files.pythonhosted.org/packages/99/9c/0c1ad853c72304b7b70b773b5df52857d482dfe2c15fca3567d4e3499077/certora_cli_beta_mirror-7.19.0.tar.gz from build tracker '/tmp/pip-build-tracker-i4reh5nn' 2024-11-07T15:59:59,213 Created temporary directory: /tmp/pip-unpack-eetdxjru 2024-11-07T15:59:59,214 Created temporary directory: /tmp/pip-unpack-2s68a20d 2024-11-07T15:59:59,215 Building wheels for collected packages: certora-cli-beta-mirror 2024-11-07T15:59:59,219 Created temporary directory: /tmp/pip-wheel-ek_ic6hh 2024-11-07T15:59:59,220 Building wheel for certora-cli-beta-mirror (setup.py): started 2024-11-07T15:59:59,221 Destination directory: /tmp/pip-wheel-ek_ic6hh 2024-11-07T15:59:59,221 Running command python setup.py bdist_wheel 2024-11-07T16:00:00,259 running bdist_wheel 2024-11-07T16:00:00,394 running build 2024-11-07T16:00:00,395 running build_py 2024-11-07T16:00:00,425 creating build/lib/certora_cli 2024-11-07T16:00:00,427 copying certora_cli/certoraMutate.py -> build/lib/certora_cli 2024-11-07T16:00:00,429 copying certora_cli/__init__.py -> build/lib/certora_cli 2024-11-07T16:00:00,431 copying certora_cli/certoraEqCheck.py -> build/lib/certora_cli 2024-11-07T16:00:00,432 copying certora_cli/certoraRun.py -> build/lib/certora_cli 2024-11-07T16:00:00,435 creating build/lib/certora_bins 2024-11-07T16:00:00,437 copying certora_bins/__init__.py -> build/lib/certora_bins 2024-11-07T16:00:00,439 creating build/lib/certora_jars 2024-11-07T16:00:00,441 copying certora_jars/__init__.py -> build/lib/certora_jars 2024-11-07T16:00:00,443 creating build/lib/certora_cli/EVMVerifier 2024-11-07T16:00:00,445 copying certora_cli/EVMVerifier/certoraConfigIO.py -> build/lib/certora_cli/EVMVerifier 2024-11-07T16:00:00,447 copying certora_cli/EVMVerifier/certoraContextAttributes.py -> build/lib/certora_cli/EVMVerifier 2024-11-07T16:00:00,450 copying certora_cli/EVMVerifier/certoraContractFuncs.py -> build/lib/certora_cli/EVMVerifier 2024-11-07T16:00:00,453 copying certora_cli/EVMVerifier/__init__.py -> build/lib/certora_cli/EVMVerifier 2024-11-07T16:00:00,454 copying certora_cli/EVMVerifier/certoraExtensionInfo.py -> build/lib/certora_cli/EVMVerifier 2024-11-07T16:00:00,456 copying certora_cli/EVMVerifier/certoraContext.py -> build/lib/certora_cli/EVMVerifier 2024-11-07T16:00:00,459 copying certora_cli/EVMVerifier/certoraNodeFilters.py -> build/lib/certora_cli/EVMVerifier 2024-11-07T16:00:00,461 copying certora_cli/EVMVerifier/certoraMiniSpecParser.py -> build/lib/certora_cli/EVMVerifier 2024-11-07T16:00:00,463 copying certora_cli/EVMVerifier/certoraBuildCacheManager.py -> build/lib/certora_cli/EVMVerifier 2024-11-07T16:00:00,466 copying certora_cli/EVMVerifier/certoraVerifyGenerator.py -> build/lib/certora_cli/EVMVerifier 2024-11-07T16:00:00,468 copying certora_cli/EVMVerifier/certoraContextClass.py -> build/lib/certora_cli/EVMVerifier 2024-11-07T16:00:00,470 copying certora_cli/EVMVerifier/certoraBuild.py -> build/lib/certora_cli/EVMVerifier 2024-11-07T16:00:00,476 copying certora_cli/EVMVerifier/certoraCloudIO.py -> build/lib/certora_cli/EVMVerifier 2024-11-07T16:00:00,479 copying certora_cli/EVMVerifier/certoraContextValidator.py -> build/lib/certora_cli/EVMVerifier 2024-11-07T16:00:00,482 copying certora_cli/EVMVerifier/certoraJobList.py -> build/lib/certora_cli/EVMVerifier 2024-11-07T16:00:00,484 copying certora_cli/EVMVerifier/certoraCollectRunMetadata.py -> build/lib/certora_cli/EVMVerifier 2024-11-07T16:00:00,486 copying certora_cli/EVMVerifier/certoraCompilerParameters.py -> build/lib/certora_cli/EVMVerifier 2024-11-07T16:00:00,488 copying certora_cli/EVMVerifier/certoraType.py -> build/lib/certora_cli/EVMVerifier 2024-11-07T16:00:00,491 creating build/lib/certora_cli/EquivalenceCheck 2024-11-07T16:00:00,492 copying certora_cli/EquivalenceCheck/equivCheck.py -> build/lib/certora_cli/EquivalenceCheck 2024-11-07T16:00:00,495 copying certora_cli/EquivalenceCheck/__init__.py -> build/lib/certora_cli/EquivalenceCheck 2024-11-07T16:00:00,497 creating build/lib/certora_cli/Shared 2024-11-07T16:00:00,498 copying certora_cli/Shared/certoraAttrUtil.py -> build/lib/certora_cli/Shared 2024-11-07T16:00:00,501 copying certora_cli/Shared/__init__.py -> build/lib/certora_cli/Shared 2024-11-07T16:00:00,502 copying certora_cli/Shared/certoraUtils.py -> build/lib/certora_cli/Shared 2024-11-07T16:00:00,505 copying certora_cli/Shared/certoraValidateFuncs.py -> build/lib/certora_cli/Shared 2024-11-07T16:00:00,508 copying certora_cli/Shared/certoraLogging.py -> build/lib/certora_cli/Shared 2024-11-07T16:00:00,511 copying certora_cli/Shared/ExpectedComparator.py -> build/lib/certora_cli/Shared 2024-11-07T16:00:00,514 creating build/lib/certora_cli/Mutate 2024-11-07T16:00:00,515 copying certora_cli/Mutate/mutateValidate.py -> build/lib/certora_cli/Mutate 2024-11-07T16:00:00,517 copying certora_cli/Mutate/__init__.py -> build/lib/certora_cli/Mutate 2024-11-07T16:00:00,519 copying certora_cli/Mutate/mutateAttributes.py -> build/lib/certora_cli/Mutate 2024-11-07T16:00:00,521 copying certora_cli/Mutate/mutateConstants.py -> build/lib/certora_cli/Mutate 2024-11-07T16:00:00,523 copying certora_cli/Mutate/mutateApp.py -> build/lib/certora_cli/Mutate 2024-11-07T16:00:00,526 copying certora_cli/Mutate/mutateUtil.py -> build/lib/certora_cli/Mutate 2024-11-07T16:00:00,529 creating build/lib/certora_cli/EVMVerifier/Compiler 2024-11-07T16:00:00,530 copying certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py -> build/lib/certora_cli/EVMVerifier/Compiler 2024-11-07T16:00:00,533 copying certora_cli/EVMVerifier/Compiler/CompilerCollectorYul.py -> build/lib/certora_cli/EVMVerifier/Compiler 2024-11-07T16:00:00,535 copying certora_cli/EVMVerifier/Compiler/CompilerCollector.py -> build/lib/certora_cli/EVMVerifier/Compiler 2024-11-07T16:00:00,538 copying certora_cli/EVMVerifier/Compiler/__init__.py -> build/lib/certora_cli/EVMVerifier/Compiler 2024-11-07T16:00:00,540 copying certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py -> build/lib/certora_cli/EVMVerifier/Compiler 2024-11-07T16:00:00,543 copying certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py -> build/lib/certora_cli/EVMVerifier/Compiler 2024-11-07T16:00:00,545 copying certora_cli/EVMVerifier/Compiler/CompilerCollectorSolBased.py -> build/lib/certora_cli/EVMVerifier/Compiler 2024-11-07T16:00:00,547 running egg_info 2024-11-07T16:00:00,575 writing certora_cli_beta_mirror.egg-info/PKG-INFO 2024-11-07T16:00:00,578 writing dependency_links to certora_cli_beta_mirror.egg-info/dependency_links.txt 2024-11-07T16:00:00,579 writing entry points to certora_cli_beta_mirror.egg-info/entry_points.txt 2024-11-07T16:00:00,581 writing requirements to certora_cli_beta_mirror.egg-info/requires.txt 2024-11-07T16:00:00,582 writing top-level names to certora_cli_beta_mirror.egg-info/top_level.txt 2024-11-07T16:00:00,619 reading manifest file 'certora_cli_beta_mirror.egg-info/SOURCES.txt' 2024-11-07T16:00:00,624 reading manifest template 'MANIFEST.in' 2024-11-07T16:00:00,628 warning: no files found matching 'gambit' under directory 'certora_bins' 2024-11-07T16:00:00,699 adding license file 'LICENSE' 2024-11-07T16:00:00,704 writing manifest file 'certora_cli_beta_mirror.egg-info/SOURCES.txt' 2024-11-07T16:00:00,711 copying certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/lib/certora_jars 2024-11-07T16:00:00,713 copying certora_jars/Typechecker.jar -> build/lib/certora_jars 2024-11-07T16:00:00,967 copying certora_cli/EquivalenceCheck/Eq_default.conf -> build/lib/certora_cli/EquivalenceCheck 2024-11-07T16:00:00,969 copying certora_cli/EquivalenceCheck/Eq_mc_no_out_template.spec -> build/lib/certora_cli/EquivalenceCheck 2024-11-07T16:00:00,971 copying certora_cli/EquivalenceCheck/Eq_mc_template.spec -> build/lib/certora_cli/EquivalenceCheck 2024-11-07T16:00:00,974 copying certora_cli/EquivalenceCheck/Eq_sanity.conf -> build/lib/certora_cli/EquivalenceCheck 2024-11-07T16:00:00,976 copying certora_cli/EquivalenceCheck/Eq_template.spec -> build/lib/certora_cli/EquivalenceCheck 2024-11-07T16:00:00,978 copying certora_cli/EquivalenceCheck/sanity.spec -> build/lib/certora_cli/EquivalenceCheck 2024-11-07T16:00:01,011 /usr/local/lib/python3.11/dist-packages/setuptools/_distutils/cmd.py:66: SetuptoolsDeprecationWarning: setup.py install is deprecated. 2024-11-07T16:00:01,012 !! 2024-11-07T16:00:01,013 ******************************************************************************** 2024-11-07T16:00:01,013 Please avoid running ``setup.py`` directly. 2024-11-07T16:00:01,014 Instead, use pypa/build, pypa/installer or other 2024-11-07T16:00:01,015 standards-based tools. 2024-11-07T16:00:01,016 See https://blog.ganssle.io/articles/2021/10/setup-py-deprecated.html for details. 2024-11-07T16:00:01,016 ******************************************************************************** 2024-11-07T16:00:01,017 !! 2024-11-07T16:00:01,017 self.initialize_options() 2024-11-07T16:00:01,042 installing to build/bdist.linux-armv7l/wheel 2024-11-07T16:00:01,043 running install 2024-11-07T16:00:01,068 running install_lib 2024-11-07T16:00:01,095 creating build/bdist.linux-armv7l/wheel 2024-11-07T16:00:01,097 creating build/bdist.linux-armv7l/wheel/certora_cli 2024-11-07T16:00:01,099 copying build/lib/certora_cli/certoraMutate.py -> build/bdist.linux-armv7l/wheel/./certora_cli 2024-11-07T16:00:01,101 copying build/lib/certora_cli/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_cli 2024-11-07T16:00:01,104 creating build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2024-11-07T16:00:01,105 copying build/lib/certora_cli/EVMVerifier/certoraConfigIO.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier 2024-11-07T16:00:01,107 copying build/lib/certora_cli/EVMVerifier/certoraContextAttributes.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier 2024-11-07T16:00:01,110 copying build/lib/certora_cli/EVMVerifier/certoraContractFuncs.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier 2024-11-07T16:00:01,113 copying build/lib/certora_cli/EVMVerifier/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier 2024-11-07T16:00:01,114 copying build/lib/certora_cli/EVMVerifier/certoraExtensionInfo.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier 2024-11-07T16:00:01,116 copying build/lib/certora_cli/EVMVerifier/certoraContext.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier 2024-11-07T16:00:01,118 copying build/lib/certora_cli/EVMVerifier/certoraNodeFilters.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier 2024-11-07T16:00:01,121 copying build/lib/certora_cli/EVMVerifier/certoraMiniSpecParser.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier 2024-11-07T16:00:01,123 copying build/lib/certora_cli/EVMVerifier/certoraBuildCacheManager.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier 2024-11-07T16:00:01,125 copying build/lib/certora_cli/EVMVerifier/certoraVerifyGenerator.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier 2024-11-07T16:00:01,127 copying build/lib/certora_cli/EVMVerifier/certoraContextClass.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier 2024-11-07T16:00:01,130 copying build/lib/certora_cli/EVMVerifier/certoraBuild.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier 2024-11-07T16:00:01,135 copying build/lib/certora_cli/EVMVerifier/certoraCloudIO.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier 2024-11-07T16:00:01,139 copying build/lib/certora_cli/EVMVerifier/certoraContextValidator.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier 2024-11-07T16:00:01,142 copying build/lib/certora_cli/EVMVerifier/certoraJobList.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier 2024-11-07T16:00:01,145 copying build/lib/certora_cli/EVMVerifier/certoraCollectRunMetadata.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier 2024-11-07T16:00:01,148 creating build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler 2024-11-07T16:00:01,149 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier/Compiler 2024-11-07T16:00:01,152 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorYul.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier/Compiler 2024-11-07T16:00:01,155 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollector.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier/Compiler 2024-11-07T16:00:01,157 copying build/lib/certora_cli/EVMVerifier/Compiler/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier/Compiler 2024-11-07T16:00:01,159 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier/Compiler 2024-11-07T16:00:01,161 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier/Compiler 2024-11-07T16:00:01,164 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorSolBased.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier/Compiler 2024-11-07T16:00:01,166 copying build/lib/certora_cli/EVMVerifier/certoraCompilerParameters.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier 2024-11-07T16:00:01,168 copying build/lib/certora_cli/EVMVerifier/certoraType.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier 2024-11-07T16:00:01,171 creating build/bdist.linux-armv7l/wheel/certora_cli/EquivalenceCheck 2024-11-07T16:00:01,172 copying build/lib/certora_cli/EquivalenceCheck/Eq_template.spec -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck 2024-11-07T16:00:01,174 copying build/lib/certora_cli/EquivalenceCheck/sanity.spec -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck 2024-11-07T16:00:01,176 copying build/lib/certora_cli/EquivalenceCheck/equivCheck.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck 2024-11-07T16:00:01,179 copying build/lib/certora_cli/EquivalenceCheck/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck 2024-11-07T16:00:01,181 copying build/lib/certora_cli/EquivalenceCheck/Eq_mc_template.spec -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck 2024-11-07T16:00:01,183 copying build/lib/certora_cli/EquivalenceCheck/Eq_sanity.conf -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck 2024-11-07T16:00:01,184 copying build/lib/certora_cli/EquivalenceCheck/Eq_default.conf -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck 2024-11-07T16:00:01,186 copying build/lib/certora_cli/EquivalenceCheck/Eq_mc_no_out_template.spec -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck 2024-11-07T16:00:01,189 creating build/bdist.linux-armv7l/wheel/certora_cli/Shared 2024-11-07T16:00:01,190 copying build/lib/certora_cli/Shared/certoraAttrUtil.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared 2024-11-07T16:00:01,192 copying build/lib/certora_cli/Shared/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared 2024-11-07T16:00:01,194 copying build/lib/certora_cli/Shared/certoraUtils.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared 2024-11-07T16:00:01,197 copying build/lib/certora_cli/Shared/certoraValidateFuncs.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared 2024-11-07T16:00:01,200 copying build/lib/certora_cli/Shared/certoraLogging.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared 2024-11-07T16:00:01,203 copying build/lib/certora_cli/Shared/ExpectedComparator.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared 2024-11-07T16:00:01,207 creating build/bdist.linux-armv7l/wheel/certora_cli/Mutate 2024-11-07T16:00:01,209 copying build/lib/certora_cli/Mutate/mutateValidate.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Mutate 2024-11-07T16:00:01,211 copying build/lib/certora_cli/Mutate/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Mutate 2024-11-07T16:00:01,213 copying build/lib/certora_cli/Mutate/mutateAttributes.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Mutate 2024-11-07T16:00:01,216 copying build/lib/certora_cli/Mutate/mutateConstants.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Mutate 2024-11-07T16:00:01,219 copying build/lib/certora_cli/Mutate/mutateApp.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Mutate 2024-11-07T16:00:01,223 copying build/lib/certora_cli/Mutate/mutateUtil.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Mutate 2024-11-07T16:00:01,225 copying build/lib/certora_cli/certoraEqCheck.py -> build/bdist.linux-armv7l/wheel/./certora_cli 2024-11-07T16:00:01,227 copying build/lib/certora_cli/certoraRun.py -> build/bdist.linux-armv7l/wheel/./certora_cli 2024-11-07T16:00:01,231 creating build/bdist.linux-armv7l/wheel/certora_bins 2024-11-07T16:00:01,233 copying build/lib/certora_bins/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_bins 2024-11-07T16:00:01,235 creating build/bdist.linux-armv7l/wheel/certora_jars 2024-11-07T16:00:01,237 copying build/lib/certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/bdist.linux-armv7l/wheel/./certora_jars 2024-11-07T16:00:01,239 copying build/lib/certora_jars/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_jars 2024-11-07T16:00:01,240 copying build/lib/certora_jars/Typechecker.jar -> build/bdist.linux-armv7l/wheel/./certora_jars 2024-11-07T16:00:01,497 running install_egg_info 2024-11-07T16:00:01,532 Copying certora_cli_beta_mirror.egg-info to build/bdist.linux-armv7l/wheel/./certora_cli_beta_mirror-7.19.0-py3.11.egg-info 2024-11-07T16:00:01,545 running install_scripts 2024-11-07T16:00:01,564 creating build/bdist.linux-armv7l/wheel/certora_cli_beta_mirror-7.19.0.dist-info/WHEEL 2024-11-07T16:00:01,567 creating '/tmp/pip-wheel-ek_ic6hh/certora_cli_beta_mirror-7.19.0-py3-none-any.whl' and adding 'build/bdist.linux-armv7l/wheel' to it 2024-11-07T16:00:01,569 adding 'certora_bins/__init__.py' 2024-11-07T16:00:01,571 adding 'certora_cli/__init__.py' 2024-11-07T16:00:01,573 adding 'certora_cli/certoraEqCheck.py' 2024-11-07T16:00:01,574 adding 'certora_cli/certoraMutate.py' 2024-11-07T16:00:01,576 adding 'certora_cli/certoraRun.py' 2024-11-07T16:00:01,579 adding 'certora_cli/EVMVerifier/__init__.py' 2024-11-07T16:00:01,614 adding 'certora_cli/EVMVerifier/certoraBuild.py' 2024-11-07T16:00:01,620 adding 'certora_cli/EVMVerifier/certoraBuildCacheManager.py' 2024-11-07T16:00:01,629 adding 'certora_cli/EVMVerifier/certoraCloudIO.py' 2024-11-07T16:00:01,632 adding 'certora_cli/EVMVerifier/certoraCollectRunMetadata.py' 2024-11-07T16:00:01,634 adding 'certora_cli/EVMVerifier/certoraCompilerParameters.py' 2024-11-07T16:00:01,636 adding 'certora_cli/EVMVerifier/certoraConfigIO.py' 2024-11-07T16:00:01,642 adding 'certora_cli/EVMVerifier/certoraContext.py' 2024-11-07T16:00:01,648 adding 'certora_cli/EVMVerifier/certoraContextAttributes.py' 2024-11-07T16:00:01,650 adding 'certora_cli/EVMVerifier/certoraContextClass.py' 2024-11-07T16:00:01,657 adding 'certora_cli/EVMVerifier/certoraContextValidator.py' 2024-11-07T16:00:01,660 adding 'certora_cli/EVMVerifier/certoraContractFuncs.py' 2024-11-07T16:00:01,662 adding 'certora_cli/EVMVerifier/certoraExtensionInfo.py' 2024-11-07T16:00:01,665 adding 'certora_cli/EVMVerifier/certoraJobList.py' 2024-11-07T16:00:01,668 adding 'certora_cli/EVMVerifier/certoraMiniSpecParser.py' 2024-11-07T16:00:01,670 adding 'certora_cli/EVMVerifier/certoraNodeFilters.py' 2024-11-07T16:00:01,675 adding 'certora_cli/EVMVerifier/certoraType.py' 2024-11-07T16:00:01,677 adding 'certora_cli/EVMVerifier/certoraVerifyGenerator.py' 2024-11-07T16:00:01,680 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollector.py' 2024-11-07T16:00:01,682 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py' 2024-11-07T16:00:01,683 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py' 2024-11-07T16:00:01,684 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorSolBased.py' 2024-11-07T16:00:01,692 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py' 2024-11-07T16:00:01,694 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorYul.py' 2024-11-07T16:00:01,695 adding 'certora_cli/EVMVerifier/Compiler/__init__.py' 2024-11-07T16:00:01,697 adding 'certora_cli/EquivalenceCheck/Eq_default.conf' 2024-11-07T16:00:01,698 adding 'certora_cli/EquivalenceCheck/Eq_mc_no_out_template.spec' 2024-11-07T16:00:01,699 adding 'certora_cli/EquivalenceCheck/Eq_mc_template.spec' 2024-11-07T16:00:01,700 adding 'certora_cli/EquivalenceCheck/Eq_sanity.conf' 2024-11-07T16:00:01,702 adding 'certora_cli/EquivalenceCheck/Eq_template.spec' 2024-11-07T16:00:01,703 adding 'certora_cli/EquivalenceCheck/__init__.py' 2024-11-07T16:00:01,705 adding 'certora_cli/EquivalenceCheck/equivCheck.py' 2024-11-07T16:00:01,706 adding 'certora_cli/EquivalenceCheck/sanity.spec' 2024-11-07T16:00:01,708 adding 'certora_cli/Mutate/__init__.py' 2024-11-07T16:00:01,718 adding 'certora_cli/Mutate/mutateApp.py' 2024-11-07T16:00:01,720 adding 'certora_cli/Mutate/mutateAttributes.py' 2024-11-07T16:00:01,721 adding 'certora_cli/Mutate/mutateConstants.py' 2024-11-07T16:00:01,723 adding 'certora_cli/Mutate/mutateUtil.py' 2024-11-07T16:00:01,724 adding 'certora_cli/Mutate/mutateValidate.py' 2024-11-07T16:00:01,727 adding 'certora_cli/Shared/ExpectedComparator.py' 2024-11-07T16:00:01,728 adding 'certora_cli/Shared/__init__.py' 2024-11-07T16:00:01,730 adding 'certora_cli/Shared/certoraAttrUtil.py' 2024-11-07T16:00:01,732 adding 'certora_cli/Shared/certoraLogging.py' 2024-11-07T16:00:01,739 adding 'certora_cli/Shared/certoraUtils.py' 2024-11-07T16:00:01,744 adding 'certora_cli/Shared/certoraValidateFuncs.py' 2024-11-07T16:00:01,747 adding 'certora_jars/CERTORA-CLI-VERSION-METADATA.json' 2024-11-07T16:00:03,615 adding 'certora_jars/Typechecker.jar' 2024-11-07T16:00:03,717 adding 'certora_jars/__init__.py' 2024-11-07T16:00:03,718 adding 'certora_cli_beta_mirror-7.19.0.dist-info/LICENSE' 2024-11-07T16:00:03,719 adding 'certora_cli_beta_mirror-7.19.0.dist-info/METADATA' 2024-11-07T16:00:03,720 adding 'certora_cli_beta_mirror-7.19.0.dist-info/WHEEL' 2024-11-07T16:00:03,721 adding 'certora_cli_beta_mirror-7.19.0.dist-info/entry_points.txt' 2024-11-07T16:00:03,722 adding 'certora_cli_beta_mirror-7.19.0.dist-info/top_level.txt' 2024-11-07T16:00:03,723 adding 'certora_cli_beta_mirror-7.19.0.dist-info/RECORD' 2024-11-07T16:00:03,895 removing build/bdist.linux-armv7l/wheel 2024-11-07T16:00:04,075 Building wheel for certora-cli-beta-mirror (setup.py): finished with status 'done' 2024-11-07T16:00:04,229 Created wheel for certora-cli-beta-mirror: filename=certora_cli_beta_mirror-7.19.0-py3-none-any.whl size=15341047 sha256=1bcb60ab34d7f94a973a3dbd828226560c06b711a1a1df64d60c01f0fb45ee67 2024-11-07T16:00:04,230 Stored in directory: /tmp/pip-ephem-wheel-cache-i9zhkqif/wheels/da/8c/e8/0df7bef994b354fb93d312a23b2e58dfd67bbb095150160eff 2024-11-07T16:00:04,247 Successfully built certora-cli-beta-mirror 2024-11-07T16:00:04,595 Removed build tracker: '/tmp/pip-build-tracker-i4reh5nn'