2023-05-15T15:14:46,721 Created temporary directory: /tmp/pip-build-tracker-hb39uwdq
2023-05-15T15:14:46,722 Initialized build tracking at /tmp/pip-build-tracker-hb39uwdq
2023-05-15T15:14:46,722 Created build tracker: /tmp/pip-build-tracker-hb39uwdq
2023-05-15T15:14:46,722 Entered build tracker: /tmp/pip-build-tracker-hb39uwdq
2023-05-15T15:14:46,723 Created temporary directory: /tmp/pip-wheel-7g7vm1zl
2023-05-15T15:14:46,727 Created temporary directory: /tmp/pip-ephem-wheel-cache-o5ezpdlb
2023-05-15T15:14:46,751 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple
2023-05-15T15:14:46,755 2 location(s) to search for versions of certora-cli-alpha-oz-docker-json5:
2023-05-15T15:14:46,755 * https://pypi.org/simple/certora-cli-alpha-oz-docker-json5/
2023-05-15T15:14:46,755 * https://www.piwheels.org/simple/certora-cli-alpha-oz-docker-json5/
2023-05-15T15:14:46,755 Fetching project page and analyzing links: https://pypi.org/simple/certora-cli-alpha-oz-docker-json5/
2023-05-15T15:14:46,756 Getting page https://pypi.org/simple/certora-cli-alpha-oz-docker-json5/
2023-05-15T15:14:46,758 Found index url https://pypi.org/simple/
2023-05-15T15:14:46,808 Fetched page https://pypi.org/simple/certora-cli-alpha-oz-docker-json5/ as application/vnd.pypi.simple.v1+json
2023-05-15T15:14:46,817   Found link https://files.pythonhosted.org/packages/16/f7/8309c6a7a049961380cdca419fe03ef0ccfcc1077421a0442de7d418d9cb/certora-cli-alpha-oz-docker-json5-20230503.11.53.297815.tar.gz (from https://pypi.org/simple/certora-cli-alpha-oz-docker-json5/) (requires-python:>=3.8.16), version: 20230503.11.53.297815
2023-05-15T15:14:46,818   Skipping link: No binaries permitted for certora-cli-alpha-oz-docker-json5: https://files.pythonhosted.org/packages/5e/4f/f034fe6a6daa589ad11614538cd3c3fad06ae2d2c3422449c4751dca4b0f/certora_cli_alpha_oz_docker_json5-20230503.11.53.297815-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-oz-docker-json5/) (requires-python:>=3.8.16)
2023-05-15T15:14:46,818   Found link https://files.pythonhosted.org/packages/79/26/d51a2b1e418053427e21f511a66b09a88bec611ffb68adaede7dbd12151d/certora-cli-alpha-oz-docker-json5-20230504.8.42.61246.tar.gz (from https://pypi.org/simple/certora-cli-alpha-oz-docker-json5/) (requires-python:>=3.8.16), version: 20230504.8.42.61246
2023-05-15T15:14:46,818   Skipping link: No binaries permitted for certora-cli-alpha-oz-docker-json5: https://files.pythonhosted.org/packages/4c/87/d671be7a676ead2667d6249686c643148cf6f3a9733d9f69e863dc2d38e1/certora_cli_alpha_oz_docker_json5-20230504.8.42.61246-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-oz-docker-json5/) (requires-python:>=3.8.16)
2023-05-15T15:14:46,819   Found link https://files.pythonhosted.org/packages/e0/05/c567e7b2c9594fe0689462037131e9ffba5f5786a75a5a8086dcc2392b50/certora-cli-alpha-oz-docker-json5-20230504.10.8.680838.tar.gz (from https://pypi.org/simple/certora-cli-alpha-oz-docker-json5/) (requires-python:>=3.8.16), version: 20230504.10.8.680838
2023-05-15T15:14:46,819   Skipping link: No binaries permitted for certora-cli-alpha-oz-docker-json5: https://files.pythonhosted.org/packages/6d/1c/84929d11cb86f4391e240de597331e3a946d47b19158b1c37bc4fe0e8886/certora_cli_alpha_oz_docker_json5-20230504.10.8.680838-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-oz-docker-json5/) (requires-python:>=3.8.16)
2023-05-15T15:14:46,820   Found link https://files.pythonhosted.org/packages/c0/c9/9378ccc304f5c91aaa9c49d3c90d7f80777751db865d1bc5d647f486f95c/certora-cli-alpha-oz-docker-json5-20230504.10.57.548446.tar.gz (from https://pypi.org/simple/certora-cli-alpha-oz-docker-json5/) (requires-python:>=3.8.16), version: 20230504.10.57.548446
2023-05-15T15:14:46,820   Skipping link: No binaries permitted for certora-cli-alpha-oz-docker-json5: https://files.pythonhosted.org/packages/22/2c/7883e756932389b670074170467d506d7e405ef59abad4aa17f90467000f/certora_cli_alpha_oz_docker_json5-20230504.10.57.548446-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-oz-docker-json5/) (requires-python:>=3.8.16)
2023-05-15T15:14:46,821   Found link https://files.pythonhosted.org/packages/77/6a/088a0f5f24c05dbed89c0995e11abb95536e38b4403b65d6ef99b54d4d1e/certora-cli-alpha-oz-docker-json5-20230504.11.46.529156.tar.gz (from https://pypi.org/simple/certora-cli-alpha-oz-docker-json5/) (requires-python:>=3.8.16), version: 20230504.11.46.529156
2023-05-15T15:14:46,821   Skipping link: No binaries permitted for certora-cli-alpha-oz-docker-json5: https://files.pythonhosted.org/packages/43/e2/021d4d8d2f55a6ffbaa6df971c7e573760500b56cb0d49b90ebb2b0270f0/certora_cli_alpha_oz_docker_json5-20230504.11.46.529156-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-oz-docker-json5/) (requires-python:>=3.8.16)
2023-05-15T15:14:46,822   Found link https://files.pythonhosted.org/packages/80/b4/a7143f92e20898ae08eec60063577b2e7e384f4eb540fc78334ad739555a/certora-cli-alpha-oz-docker-json5-20230504.12.39.10016.tar.gz (from https://pypi.org/simple/certora-cli-alpha-oz-docker-json5/) (requires-python:>=3.8.16), version: 20230504.12.39.10016
2023-05-15T15:14:46,822   Skipping link: No binaries permitted for certora-cli-alpha-oz-docker-json5: https://files.pythonhosted.org/packages/fd/42/df417521f7927dfc6c5164ead8ccfbad3f9dcdac9e18981d93eef914501d/certora_cli_alpha_oz_docker_json5-20230504.12.39.10016-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-oz-docker-json5/) (requires-python:>=3.8.16)
2023-05-15T15:14:46,822   Found link https://files.pythonhosted.org/packages/72/b2/55bf26d48411afa131e2ddca80103abc0b59a6a0303672fdced32b70ecb5/certora-cli-alpha-oz-docker-json5-20230504.13.30.350201.tar.gz (from https://pypi.org/simple/certora-cli-alpha-oz-docker-json5/) (requires-python:>=3.8.16), version: 20230504.13.30.350201
2023-05-15T15:14:46,823   Skipping link: No binaries permitted for certora-cli-alpha-oz-docker-json5: https://files.pythonhosted.org/packages/03/34/a60f0bef0423e021a5d721e04159412a00b51fc95ca4d44e26c2beadfc3f/certora_cli_alpha_oz_docker_json5-20230504.13.30.350201-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-oz-docker-json5/) (requires-python:>=3.8.16)
2023-05-15T15:14:46,823   Found link https://files.pythonhosted.org/packages/16/cf/37bc672ef108f436f84df1d1ac29ea0f393b2364e033516d1bcf286b1432/certora-cli-alpha-oz-docker-json5-20230504.14.2.24180.tar.gz (from https://pypi.org/simple/certora-cli-alpha-oz-docker-json5/) (requires-python:>=3.8.16), version: 20230504.14.2.24180
2023-05-15T15:14:46,824   Skipping link: No binaries permitted for certora-cli-alpha-oz-docker-json5: https://files.pythonhosted.org/packages/a2/c2/b5781ec7d33034418ff8e7d63f41b5480134aecd17e1e562ebbf776061dc/certora_cli_alpha_oz_docker_json5-20230504.14.2.24180-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-oz-docker-json5/) (requires-python:>=3.8.16)
2023-05-15T15:14:46,824   Found link https://files.pythonhosted.org/packages/95/d3/dde2b233596d467dfd42d78ad4547a1e09ec189e869db3e6f2e96740f2c1/certora-cli-alpha-oz-docker-json5-20230504.14.38.980559.tar.gz (from https://pypi.org/simple/certora-cli-alpha-oz-docker-json5/) (requires-python:>=3.8.16), version: 20230504.14.38.980559
2023-05-15T15:14:46,824   Skipping link: No binaries permitted for certora-cli-alpha-oz-docker-json5: https://files.pythonhosted.org/packages/46/27/82b27eb047972d7f8f7ce1eee68fda400285ef83144e1fe076f122bba38d/certora_cli_alpha_oz_docker_json5-20230504.14.38.980559-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-oz-docker-json5/) (requires-python:>=3.8.16)
2023-05-15T15:14:46,825   Found link https://files.pythonhosted.org/packages/a9/0d/5801e70b3530b7b7ee6b600db09873879f08e91474686b371ad6b82f1382/certora-cli-alpha-oz-docker-json5-20230504.15.35.189632.tar.gz (from https://pypi.org/simple/certora-cli-alpha-oz-docker-json5/) (requires-python:>=3.8.16), version: 20230504.15.35.189632
2023-05-15T15:14:46,825   Skipping link: No binaries permitted for certora-cli-alpha-oz-docker-json5: https://files.pythonhosted.org/packages/f7/ca/0904db16f207c5a5455e6e2de9fa881613d8bba692fcb06ad87f68b24da6/certora_cli_alpha_oz_docker_json5-20230504.15.35.189632-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-oz-docker-json5/) (requires-python:>=3.8.16)
2023-05-15T15:14:46,826   Found link https://files.pythonhosted.org/packages/5a/dd/97be69d644055320e41789931abcab630887bc8a4c2f9d3115b5a7714042/certora-cli-alpha-oz-docker-json5-20230504.17.20.90759.tar.gz (from https://pypi.org/simple/certora-cli-alpha-oz-docker-json5/) (requires-python:>=3.8.16), version: 20230504.17.20.90759
2023-05-15T15:14:46,826   Skipping link: No binaries permitted for certora-cli-alpha-oz-docker-json5: https://files.pythonhosted.org/packages/bb/b1/47b3f98942f837d424a1daa0d09be4ec0bfbaf97cd3e4b1e0f9b85c31eec/certora_cli_alpha_oz_docker_json5-20230504.17.20.90759-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-oz-docker-json5/) (requires-python:>=3.8.16)
2023-05-15T15:14:46,827   Found link https://files.pythonhosted.org/packages/df/a0/c355cd9f85b684b2ca6f3eaf6cd34784ca6443ff092bcde017d3ab8bb3e0/certora-cli-alpha-oz-docker-json5-20230504.17.58.502739.tar.gz (from https://pypi.org/simple/certora-cli-alpha-oz-docker-json5/) (requires-python:>=3.8.16), version: 20230504.17.58.502739
2023-05-15T15:14:46,827   Skipping link: No binaries permitted for certora-cli-alpha-oz-docker-json5: https://files.pythonhosted.org/packages/ef/26/59f419fb013c762eb44ca9813e894d5bd2eb2619187ea0cf1500d9356ee8/certora_cli_alpha_oz_docker_json5-20230504.17.58.502739-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-oz-docker-json5/) (requires-python:>=3.8.16)
2023-05-15T15:14:46,827   Found link https://files.pythonhosted.org/packages/d2/94/f5451c717a69d60505f7d6938b1a99706a42937cd9b08048f5264579102b/certora-cli-alpha-oz-docker-json5-20230504.18.44.719551.tar.gz (from https://pypi.org/simple/certora-cli-alpha-oz-docker-json5/) (requires-python:>=3.8.16), version: 20230504.18.44.719551
2023-05-15T15:14:46,828   Skipping link: No binaries permitted for certora-cli-alpha-oz-docker-json5: https://files.pythonhosted.org/packages/ee/2d/b2e16d679c43e9d851feb0f7dd06ae76aeb67404b4fc1c2502a3c4443b9f/certora_cli_alpha_oz_docker_json5-20230504.18.44.719551-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-oz-docker-json5/) (requires-python:>=3.8.16)
2023-05-15T15:14:46,828   Found link https://files.pythonhosted.org/packages/45/b4/19720855518f145b2c2a32810542cf7fd4784e695575533d150889ad18fb/certora-cli-alpha-oz-docker-json5-20230514.5.51.278588.tar.gz (from https://pypi.org/simple/certora-cli-alpha-oz-docker-json5/) (requires-python:>=3.8.16), version: 20230514.5.51.278588
2023-05-15T15:14:46,829   Skipping link: No binaries permitted for certora-cli-alpha-oz-docker-json5: https://files.pythonhosted.org/packages/2c/b2/7c1fa0c6d9c37bab234997bcd0e926e017f4e836433f110d7191d4069e7b/certora_cli_alpha_oz_docker_json5-20230514.5.51.278588-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-oz-docker-json5/) (requires-python:>=3.8.16)
2023-05-15T15:14:46,829   Found link https://files.pythonhosted.org/packages/60/ec/882c8b763e235ad470d1c34fb0f5f1cd10035fe1f18ad7f6e083b7ef5736/certora-cli-alpha-oz-docker-json5-20230514.14.24.681507.tar.gz (from https://pypi.org/simple/certora-cli-alpha-oz-docker-json5/) (requires-python:>=3.8.16), version: 20230514.14.24.681507
2023-05-15T15:14:46,829   Skipping link: No binaries permitted for certora-cli-alpha-oz-docker-json5: https://files.pythonhosted.org/packages/99/55/0ba393854ec51775093c27e87c9529915574ab048e10d3350481f9155f04/certora_cli_alpha_oz_docker_json5-20230514.14.24.681507-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-oz-docker-json5/) (requires-python:>=3.8.16)
2023-05-15T15:14:46,830   Found link https://files.pythonhosted.org/packages/32/1d/214ce35f2dc1d1743fc2300f50e3de11e54001005190ea26dd17a38352ac/certora-cli-alpha-oz-docker-json5-20230514.19.13.360396.tar.gz (from https://pypi.org/simple/certora-cli-alpha-oz-docker-json5/) (requires-python:>=3.8.16), version: 20230514.19.13.360396
2023-05-15T15:14:46,830   Skipping link: No binaries permitted for certora-cli-alpha-oz-docker-json5: https://files.pythonhosted.org/packages/26/8a/5d5c200e3e1d7a384ac8bb40df5fad661bc4a927da30f6b4f3b065ed6f87/certora_cli_alpha_oz_docker_json5-20230514.19.13.360396-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-oz-docker-json5/) (requires-python:>=3.8.16)
2023-05-15T15:14:46,831   Found link https://files.pythonhosted.org/packages/e9/e0/3b9f93a0b8b90fe8169a20004af82d72e92a93a2a116694a3b637a17e114/certora-cli-alpha-oz-docker-json5-20230515.6.54.219876.tar.gz (from https://pypi.org/simple/certora-cli-alpha-oz-docker-json5/) (requires-python:>=3.8.16), version: 20230515.6.54.219876
2023-05-15T15:14:46,831   Skipping link: No binaries permitted for certora-cli-alpha-oz-docker-json5: https://files.pythonhosted.org/packages/1d/7a/93b092adf7f822e95c8602ffa011b1c92302be29b837683a6c74b937db84/certora_cli_alpha_oz_docker_json5-20230515.6.54.219876-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-oz-docker-json5/) (requires-python:>=3.8.16)
2023-05-15T15:14:46,832   Found link https://files.pythonhosted.org/packages/2b/80/3eff425a278ef585e026f5c8b31289a4e43772c621151bd92581eca567b9/certora-cli-alpha-oz-docker-json5-20230515.10.31.651606.tar.gz (from https://pypi.org/simple/certora-cli-alpha-oz-docker-json5/) (requires-python:>=3.8.16), version: 20230515.10.31.651606
2023-05-15T15:14:46,832   Skipping link: No binaries permitted for certora-cli-alpha-oz-docker-json5: https://files.pythonhosted.org/packages/f2/79/6b0fb52df0640e696ee2cdc56faf82379a507324633da37c8a55ea557418/certora_cli_alpha_oz_docker_json5-20230515.10.31.651606-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-oz-docker-json5/) (requires-python:>=3.8.16)
2023-05-15T15:14:46,832   Found link https://files.pythonhosted.org/packages/4e/0b/604fafa7aceb6bd225b026a68be65fbdb3f13c6284f4c62d1082d9637b27/certora-cli-alpha-oz-docker-json5-20230515.11.28.890873.tar.gz (from https://pypi.org/simple/certora-cli-alpha-oz-docker-json5/) (requires-python:>=3.8.16), version: 20230515.11.28.890873
2023-05-15T15:14:46,833   Skipping link: No binaries permitted for certora-cli-alpha-oz-docker-json5: https://files.pythonhosted.org/packages/ce/25/5d276e0e2453f3cc4ace08902690b9d9c54d921abd391e703801e9179150/certora_cli_alpha_oz_docker_json5-20230515.11.28.890873-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-oz-docker-json5/) (requires-python:>=3.8.16)
2023-05-15T15:14:46,833   Found link https://files.pythonhosted.org/packages/42/6b/0ed9f5fe2ae0c8a896db89866cd5bfc283467865a1d68994466884714990/certora-cli-alpha-oz-docker-json5-20230515.12.22.699042.tar.gz (from https://pypi.org/simple/certora-cli-alpha-oz-docker-json5/) (requires-python:>=3.8.16), version: 20230515.12.22.699042
2023-05-15T15:14:46,834   Skipping link: No binaries permitted for certora-cli-alpha-oz-docker-json5: https://files.pythonhosted.org/packages/70/35/c22ba1f6a129b943e2d4896f862e7110d923d4a6a97145dcf89c08baddec/certora_cli_alpha_oz_docker_json5-20230515.12.22.699042-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-oz-docker-json5/) (requires-python:>=3.8.16)
2023-05-15T15:14:46,834 Fetching project page and analyzing links: https://www.piwheels.org/simple/certora-cli-alpha-oz-docker-json5/
2023-05-15T15:14:46,834 Getting page https://www.piwheels.org/simple/certora-cli-alpha-oz-docker-json5/
2023-05-15T15:14:46,835 Found index url https://www.piwheels.org/simple/
2023-05-15T15:14:46,999 Fetched page https://www.piwheels.org/simple/certora-cli-alpha-oz-docker-json5/ as text/html
2023-05-15T15:14:47,006   Skipping link: No binaries permitted for certora-cli-alpha-oz-docker-json5: https://www.piwheels.org/simple/certora-cli-alpha-oz-docker-json5/certora_cli_alpha_oz_docker_json5-20230515.10.31.651606-py3-none-any.whl#sha256=f6ec94d07d71265bedf177123c708d8421a0c882c12272ddce6ff45033a51a17 (from https://www.piwheels.org/simple/certora-cli-alpha-oz-docker-json5/) (requires-python:>=3.8.16)
2023-05-15T15:14:47,006   Skipping link: No binaries permitted for certora-cli-alpha-oz-docker-json5: https://www.piwheels.org/simple/certora-cli-alpha-oz-docker-json5/certora_cli_alpha_oz_docker_json5-20230515.6.54.219876-py3-none-any.whl#sha256=d84fd58979d9c6062a7a04429cd241ef9663e8b5906cb82606a480a97944788b (from https://www.piwheels.org/simple/certora-cli-alpha-oz-docker-json5/) (requires-python:>=3.8.16)
2023-05-15T15:14:47,006   Skipping link: No binaries permitted for certora-cli-alpha-oz-docker-json5: https://www.piwheels.org/simple/certora-cli-alpha-oz-docker-json5/certora_cli_alpha_oz_docker_json5-20230514.19.13.360396-py3-none-any.whl#sha256=38d2c0deb10e9f39ee4ad24a86c615dcc34c071f1aafb73b58be850452af7083 (from https://www.piwheels.org/simple/certora-cli-alpha-oz-docker-json5/) (requires-python:>=3.8.16)
2023-05-15T15:14:47,006   Skipping link: No binaries permitted for certora-cli-alpha-oz-docker-json5: https://www.piwheels.org/simple/certora-cli-alpha-oz-docker-json5/certora_cli_alpha_oz_docker_json5-20230514.14.24.681507-py3-none-any.whl#sha256=d001edaa14ffebb68dd54899d8bf97ee0af2109df2a733c23d2dade221301dce (from https://www.piwheels.org/simple/certora-cli-alpha-oz-docker-json5/) (requires-python:>=3.8.16)
2023-05-15T15:14:47,007   Skipping link: No binaries permitted for certora-cli-alpha-oz-docker-json5: https://www.piwheels.org/simple/certora-cli-alpha-oz-docker-json5/certora_cli_alpha_oz_docker_json5-20230514.5.51.278588-py3-none-any.whl#sha256=82bd4626c5acd6966b10b7a7a16c5b5275f16fc6bcb07a0b226c2fd28085ca8d (from https://www.piwheels.org/simple/certora-cli-alpha-oz-docker-json5/) (requires-python:>=3.8.16)
2023-05-15T15:14:47,007   Skipping link: No binaries permitted for certora-cli-alpha-oz-docker-json5: https://www.piwheels.org/simple/certora-cli-alpha-oz-docker-json5/certora_cli_alpha_oz_docker_json5-20230504.18.44.719551-py3-none-any.whl#sha256=d512df203787caaa6b2a59b3faef2c675551e2151618bb6180a2a909725cf190 (from https://www.piwheels.org/simple/certora-cli-alpha-oz-docker-json5/) (requires-python:>=3.8.16)
2023-05-15T15:14:47,007   Skipping link: No binaries permitted for certora-cli-alpha-oz-docker-json5: https://www.piwheels.org/simple/certora-cli-alpha-oz-docker-json5/certora_cli_alpha_oz_docker_json5-20230504.17.58.502739-py3-none-any.whl#sha256=8b25a38304f8237b996571452deefc02cd6fdd40e79755751f088f03771f0f4f (from https://www.piwheels.org/simple/certora-cli-alpha-oz-docker-json5/) (requires-python:>=3.8.16)
2023-05-15T15:14:47,007   Skipping link: No binaries permitted for certora-cli-alpha-oz-docker-json5: https://www.piwheels.org/simple/certora-cli-alpha-oz-docker-json5/certora_cli_alpha_oz_docker_json5-20230504.17.20.90759-py3-none-any.whl#sha256=9e8721d5d610ae34b726b2f37bab0b6bc3fc4b9e70f098594225d559a8297454 (from https://www.piwheels.org/simple/certora-cli-alpha-oz-docker-json5/) (requires-python:>=3.8.16)
2023-05-15T15:14:47,008   Skipping link: No binaries permitted for certora-cli-alpha-oz-docker-json5: https://www.piwheels.org/simple/certora-cli-alpha-oz-docker-json5/certora_cli_alpha_oz_docker_json5-20230504.15.35.189632-py3-none-any.whl#sha256=a80eee20beb205930c95a8752643c8d9dcb30d288d2b2823bf204222757dbd75 (from https://www.piwheels.org/simple/certora-cli-alpha-oz-docker-json5/) (requires-python:>=3.8.16)
2023-05-15T15:14:47,008   Skipping link: No binaries permitted for certora-cli-alpha-oz-docker-json5: https://www.piwheels.org/simple/certora-cli-alpha-oz-docker-json5/certora_cli_alpha_oz_docker_json5-20230504.14.38.980559-py3-none-any.whl#sha256=12897d1c92f1a89031d404c295feef369ef717c9094e53fded2810838818f9a9 (from https://www.piwheels.org/simple/certora-cli-alpha-oz-docker-json5/) (requires-python:>=3.8.16)
2023-05-15T15:14:47,008   Skipping link: No binaries permitted for certora-cli-alpha-oz-docker-json5: https://www.piwheels.org/simple/certora-cli-alpha-oz-docker-json5/certora_cli_alpha_oz_docker_json5-20230504.14.2.24180-py3-none-any.whl#sha256=09be89d4ddd231633d558b278e6b2c50d076f2d5f9e2c39bf2b2702870bf9655 (from https://www.piwheels.org/simple/certora-cli-alpha-oz-docker-json5/) (requires-python:>=3.8.16)
2023-05-15T15:14:47,008   Skipping link: No binaries permitted for certora-cli-alpha-oz-docker-json5: https://www.piwheels.org/simple/certora-cli-alpha-oz-docker-json5/certora_cli_alpha_oz_docker_json5-20230504.13.30.350201-py3-none-any.whl#sha256=d30a20aa1b32fae8ffba196ae9882fde2a6119c288f2e73d7b241955d07d6ed8 (from https://www.piwheels.org/simple/certora-cli-alpha-oz-docker-json5/) (requires-python:>=3.8.16)
2023-05-15T15:14:47,008   Skipping link: No binaries permitted for certora-cli-alpha-oz-docker-json5: https://www.piwheels.org/simple/certora-cli-alpha-oz-docker-json5/certora_cli_alpha_oz_docker_json5-20230504.12.39.10016-py3-none-any.whl#sha256=9ceae0b1cde62f33fbb5dc144b8194d647b11a082fae583806caf6201888ea2e (from https://www.piwheels.org/simple/certora-cli-alpha-oz-docker-json5/) (requires-python:>=3.8.16)
2023-05-15T15:14:47,009   Skipping link: No binaries permitted for certora-cli-alpha-oz-docker-json5: https://www.piwheels.org/simple/certora-cli-alpha-oz-docker-json5/certora_cli_alpha_oz_docker_json5-20230504.11.46.529156-py3-none-any.whl#sha256=767e18339a034b176cf76bd384b2ab8753397b38984ff9169425c4cd60f5a09c (from https://www.piwheels.org/simple/certora-cli-alpha-oz-docker-json5/) (requires-python:>=3.8.16)
2023-05-15T15:14:47,009   Skipping link: No binaries permitted for certora-cli-alpha-oz-docker-json5: https://www.piwheels.org/simple/certora-cli-alpha-oz-docker-json5/certora_cli_alpha_oz_docker_json5-20230504.10.57.548446-py3-none-any.whl#sha256=d133ffbb227d04b2a68fd262901016993cdc3d9713e3e0ed33204841f6dcf1d0 (from https://www.piwheels.org/simple/certora-cli-alpha-oz-docker-json5/) (requires-python:>=3.8.16)
2023-05-15T15:14:47,009   Skipping link: No binaries permitted for certora-cli-alpha-oz-docker-json5: https://www.piwheels.org/simple/certora-cli-alpha-oz-docker-json5/certora_cli_alpha_oz_docker_json5-20230504.10.8.680838-py3-none-any.whl#sha256=1bebb8a6999134854c53599e564b40d9e05b9b9f70f9d777d8708ee4a97b1aab (from https://www.piwheels.org/simple/certora-cli-alpha-oz-docker-json5/) (requires-python:>=3.8.16)
2023-05-15T15:14:47,009   Skipping link: No binaries permitted for certora-cli-alpha-oz-docker-json5: https://www.piwheels.org/simple/certora-cli-alpha-oz-docker-json5/certora_cli_alpha_oz_docker_json5-20230504.8.42.61246-py3-none-any.whl#sha256=a0ffee80e216876564ddb98cc739d3232075cd7d1977e6b430291ae0c12cb663 (from https://www.piwheels.org/simple/certora-cli-alpha-oz-docker-json5/) (requires-python:>=3.8.16)
2023-05-15T15:14:47,009   Skipping link: No binaries permitted for certora-cli-alpha-oz-docker-json5: https://www.piwheels.org/simple/certora-cli-alpha-oz-docker-json5/certora_cli_alpha_oz_docker_json5-20230503.11.53.297815-py3-none-any.whl#sha256=20630892d0fe1bae5b4a0c1a4c328c4a446fd00a894d7775112bcf35b8be8d99 (from https://www.piwheels.org/simple/certora-cli-alpha-oz-docker-json5/) (requires-python:>=3.8.16)
2023-05-15T15:14:47,010 Skipping link: not a file: https://www.piwheels.org/simple/certora-cli-alpha-oz-docker-json5/
2023-05-15T15:14:47,010 Skipping link: not a file: https://pypi.org/simple/certora-cli-alpha-oz-docker-json5/
2023-05-15T15:14:47,031 Given no hashes to check 1 links for project 'certora-cli-alpha-oz-docker-json5': discarding no candidates
2023-05-15T15:14:47,049 Collecting certora-cli-alpha-oz-docker-json5==20230515.11.28.890873
2023-05-15T15:14:47,051   Created temporary directory: /tmp/pip-unpack-9gqbg3ae
2023-05-15T15:14:47,182   Downloading certora-cli-alpha-oz-docker-json5-20230515.11.28.890873.tar.gz (39.4 MB)
2023-05-15T15:15:00,817   Added certora-cli-alpha-oz-docker-json5==20230515.11.28.890873 from https://files.pythonhosted.org/packages/4e/0b/604fafa7aceb6bd225b026a68be65fbdb3f13c6284f4c62d1082d9637b27/certora-cli-alpha-oz-docker-json5-20230515.11.28.890873.tar.gz to build tracker '/tmp/pip-build-tracker-hb39uwdq'
2023-05-15T15:15:00,819   Running setup.py (path:/tmp/pip-wheel-7g7vm1zl/certora-cli-alpha-oz-docker-json5_45cb3bf9ffa64da89edc08f40ebe664e/setup.py) egg_info for package certora-cli-alpha-oz-docker-json5
2023-05-15T15:15:00,820   Created temporary directory: /tmp/pip-pip-egg-info-nf3m5rgh
2023-05-15T15:15:00,821   Preparing metadata (setup.py): started
2023-05-15T15:15:00,822   Running command python setup.py egg_info
2023-05-15T15:15:01,457   running egg_info
2023-05-15T15:15:01,459   creating /tmp/pip-pip-egg-info-nf3m5rgh/certora_cli_alpha_oz_docker_json5.egg-info
2023-05-15T15:15:01,488   writing /tmp/pip-pip-egg-info-nf3m5rgh/certora_cli_alpha_oz_docker_json5.egg-info/PKG-INFO
2023-05-15T15:15:01,490   writing dependency_links to /tmp/pip-pip-egg-info-nf3m5rgh/certora_cli_alpha_oz_docker_json5.egg-info/dependency_links.txt
2023-05-15T15:15:01,493   writing entry points to /tmp/pip-pip-egg-info-nf3m5rgh/certora_cli_alpha_oz_docker_json5.egg-info/entry_points.txt
2023-05-15T15:15:01,494   writing requirements to /tmp/pip-pip-egg-info-nf3m5rgh/certora_cli_alpha_oz_docker_json5.egg-info/requires.txt
2023-05-15T15:15:01,495   writing top-level names to /tmp/pip-pip-egg-info-nf3m5rgh/certora_cli_alpha_oz_docker_json5.egg-info/top_level.txt
2023-05-15T15:15:01,497   writing manifest file '/tmp/pip-pip-egg-info-nf3m5rgh/certora_cli_alpha_oz_docker_json5.egg-info/SOURCES.txt'
2023-05-15T15:15:01,586   reading manifest file '/tmp/pip-pip-egg-info-nf3m5rgh/certora_cli_alpha_oz_docker_json5.egg-info/SOURCES.txt'
2023-05-15T15:15:01,588   reading manifest template 'MANIFEST.in'
2023-05-15T15:15:01,598   adding license file 'LICENSE'
2023-05-15T15:15:01,602   writing manifest file '/tmp/pip-pip-egg-info-nf3m5rgh/certora_cli_alpha_oz_docker_json5.egg-info/SOURCES.txt'
2023-05-15T15:15:01,661   Preparing metadata (setup.py): finished with status 'done'
2023-05-15T15:15:01,667   Source in /tmp/pip-wheel-7g7vm1zl/certora-cli-alpha-oz-docker-json5_45cb3bf9ffa64da89edc08f40ebe664e has version 20230515.11.28.890873, which satisfies requirement certora-cli-alpha-oz-docker-json5==20230515.11.28.890873 from https://files.pythonhosted.org/packages/4e/0b/604fafa7aceb6bd225b026a68be65fbdb3f13c6284f4c62d1082d9637b27/certora-cli-alpha-oz-docker-json5-20230515.11.28.890873.tar.gz
2023-05-15T15:15:01,668   Removed certora-cli-alpha-oz-docker-json5==20230515.11.28.890873 from https://files.pythonhosted.org/packages/4e/0b/604fafa7aceb6bd225b026a68be65fbdb3f13c6284f4c62d1082d9637b27/certora-cli-alpha-oz-docker-json5-20230515.11.28.890873.tar.gz from build tracker '/tmp/pip-build-tracker-hb39uwdq'
2023-05-15T15:15:01,675 Created temporary directory: /tmp/pip-unpack-d2hnxqyo
2023-05-15T15:15:01,675 Building wheels for collected packages: certora-cli-alpha-oz-docker-json5
2023-05-15T15:15:01,680   Created temporary directory: /tmp/pip-wheel-v5uy95q1
2023-05-15T15:15:01,681   Building wheel for certora-cli-alpha-oz-docker-json5 (setup.py): started
2023-05-15T15:15:01,682   Destination directory: /tmp/pip-wheel-v5uy95q1
2023-05-15T15:15:01,682   Running command python setup.py bdist_wheel
2023-05-15T15:15:02,770   running bdist_wheel
2023-05-15T15:15:03,085   running build
2023-05-15T15:15:03,086   running build_py
2023-05-15T15:15:03,120   creating build
2023-05-15T15:15:03,121   creating build/lib
2023-05-15T15:15:03,124   creating build/lib/certora_jars
2023-05-15T15:15:03,128   copying certora_jars/__init__.py -> build/lib/certora_jars
2023-05-15T15:15:03,134   creating build/lib/certora_cli
2023-05-15T15:15:03,136   copying certora_cli/__init__.py -> build/lib/certora_cli
2023-05-15T15:15:03,141   copying certora_cli/certoraRun.py -> build/lib/certora_cli
2023-05-15T15:15:03,147   copying certora_cli/certoraMutate.py -> build/lib/certora_cli
2023-05-15T15:15:03,155   creating build/lib/certora_cli/EVMVerifier
2023-05-15T15:15:03,157   copying certora_cli/EVMVerifier/__init__.py -> build/lib/certora_cli/EVMVerifier
2023-05-15T15:15:03,164   copying certora_cli/EVMVerifier/certoraBuild.py -> build/lib/certora_cli/EVMVerifier
2023-05-15T15:15:03,174   copying certora_cli/EVMVerifier/certoraConfigIO.py -> build/lib/certora_cli/EVMVerifier
2023-05-15T15:15:03,177   copying certora_cli/EVMVerifier/certoraContextAttribute.py -> build/lib/certora_cli/EVMVerifier
2023-05-15T15:15:03,181   copying certora_cli/EVMVerifier/certoraCloudIO.py -> build/lib/certora_cli/EVMVerifier
2023-05-15T15:15:03,187   copying certora_cli/EVMVerifier/certoraType.py -> build/lib/certora_cli/EVMVerifier
2023-05-15T15:15:03,193   copying certora_cli/EVMVerifier/certoraContext.py -> build/lib/certora_cli/EVMVerifier
2023-05-15T15:15:03,200   copying certora_cli/EVMVerifier/certoraExtensionInfo.py -> build/lib/certora_cli/EVMVerifier
2023-05-15T15:15:03,207   copying certora_cli/EVMVerifier/certoraNodeFilters.py -> build/lib/certora_cli/EVMVerifier
2023-05-15T15:15:03,414   copying certora_cli/EVMVerifier/certoraContextValidator.py -> build/lib/certora_cli/EVMVerifier
2023-05-15T15:15:03,418   copying certora_cli/EVMVerifier/certoraValidateFuncs.py -> build/lib/certora_cli/EVMVerifier
2023-05-15T15:15:03,420   copying certora_cli/EVMVerifier/certoraContextClass.py -> build/lib/certora_cli/EVMVerifier
2023-05-15T15:15:03,422   copying certora_cli/EVMVerifier/certoraCollectRunMetadata.py -> build/lib/certora_cli/EVMVerifier
2023-05-15T15:15:03,425   copying certora_cli/EVMVerifier/certoraJobList.py -> build/lib/certora_cli/EVMVerifier
2023-05-15T15:15:03,428   creating build/lib/certora_cli/Shared
2023-05-15T15:15:03,429   copying certora_cli/Shared/__init__.py -> build/lib/certora_cli/Shared
2023-05-15T15:15:03,431   copying certora_cli/Shared/certoraTester.py -> build/lib/certora_cli/Shared
2023-05-15T15:15:03,433   copying certora_cli/Shared/certoraUtils.py -> build/lib/certora_cli/Shared
2023-05-15T15:15:03,436   copying certora_cli/Shared/certoraLogging.py -> build/lib/certora_cli/Shared
2023-05-15T15:15:03,440   creating build/lib/certora_cli/EVMVerifier/Compiler
2023-05-15T15:15:03,441   copying certora_cli/EVMVerifier/Compiler/__init__.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-05-15T15:15:03,443   copying certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-05-15T15:15:03,445   copying certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-05-15T15:15:03,447   copying certora_cli/EVMVerifier/Compiler/CompilerCollector.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-05-15T15:15:03,450   copying certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-05-15T15:15:03,453   running egg_info
2023-05-15T15:15:03,519   writing certora_cli_alpha_oz_docker_json5.egg-info/PKG-INFO
2023-05-15T15:15:03,521   writing dependency_links to certora_cli_alpha_oz_docker_json5.egg-info/dependency_links.txt
2023-05-15T15:15:03,523   writing entry points to certora_cli_alpha_oz_docker_json5.egg-info/entry_points.txt
2023-05-15T15:15:03,525   writing requirements to certora_cli_alpha_oz_docker_json5.egg-info/requires.txt
2023-05-15T15:15:03,526   writing top-level names to certora_cli_alpha_oz_docker_json5.egg-info/top_level.txt
2023-05-15T15:15:03,559   reading manifest file 'certora_cli_alpha_oz_docker_json5.egg-info/SOURCES.txt'
2023-05-15T15:15:03,562   reading manifest template 'MANIFEST.in'
2023-05-15T15:15:03,572   adding license file 'LICENSE'
2023-05-15T15:15:03,576   writing manifest file 'certora_cli_alpha_oz_docker_json5.egg-info/SOURCES.txt'
2023-05-15T15:15:03,579   copying certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/lib/certora_jars
2023-05-15T15:15:03,582   copying certora_jars/MutationTest.jar -> build/lib/certora_jars
2023-05-15T15:15:03,802   copying certora_jars/Typechecker.3.6.5.jar -> build/lib/certora_jars
2023-05-15T15:15:03,975   copying certora_jars/Typechecker.jar -> build/lib/certora_jars
2023-05-15T15:15:04,198   copying certora_jars/gambit-linux -> build/lib/certora_jars
2023-05-15T15:15:04,318   copying certora_jars/gambit-macos -> build/lib/certora_jars
2023-05-15T15:15:04,456   /usr/local/lib/python3.9/dist-packages/setuptools/_distutils/cmd.py:66: SetuptoolsDeprecationWarning: setup.py install is deprecated.
2023-05-15T15:15:04,457   !!

2023-05-15T15:15:04,457           ********************************************************************************
2023-05-15T15:15:04,457           Please avoid running ``setup.py`` directly.
2023-05-15T15:15:04,457           Instead, use pypa/build, pypa/installer, pypa/build or
2023-05-15T15:15:04,457           other standards-based tools.

2023-05-15T15:15:04,458           See https://blog.ganssle.io/articles/2021/10/setup-py-deprecated.html for details.
2023-05-15T15:15:04,458           ********************************************************************************

2023-05-15T15:15:04,458   !!
2023-05-15T15:15:04,458     self.initialize_options()
2023-05-15T15:15:04,487   installing to build/bdist.linux-aarch64/wheel
2023-05-15T15:15:04,488   running install
2023-05-15T15:15:04,514   running install_lib
2023-05-15T15:15:04,543   creating build/bdist.linux-aarch64
2023-05-15T15:15:04,544   creating build/bdist.linux-aarch64/wheel
2023-05-15T15:15:04,545   creating build/bdist.linux-aarch64/wheel/certora_jars
2023-05-15T15:15:04,547   copying build/lib/certora_jars/__init__.py -> build/bdist.linux-aarch64/wheel/certora_jars
2023-05-15T15:15:04,549   copying build/lib/certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/bdist.linux-aarch64/wheel/certora_jars
2023-05-15T15:15:04,551   copying build/lib/certora_jars/Typechecker.jar -> build/bdist.linux-aarch64/wheel/certora_jars
2023-05-15T15:15:04,746   copying build/lib/certora_jars/gambit-linux -> build/bdist.linux-aarch64/wheel/certora_jars
2023-05-15T15:15:04,854   copying build/lib/certora_jars/Typechecker.3.6.5.jar -> build/bdist.linux-aarch64/wheel/certora_jars
2023-05-15T15:15:05,024   copying build/lib/certora_jars/MutationTest.jar -> build/bdist.linux-aarch64/wheel/certora_jars
2023-05-15T15:15:05,252   copying build/lib/certora_jars/gambit-macos -> build/bdist.linux-aarch64/wheel/certora_jars
2023-05-15T15:15:05,368   creating build/bdist.linux-aarch64/wheel/certora_cli
2023-05-15T15:15:05,369   copying build/lib/certora_cli/__init__.py -> build/bdist.linux-aarch64/wheel/certora_cli
2023-05-15T15:15:05,371   copying build/lib/certora_cli/certoraRun.py -> build/bdist.linux-aarch64/wheel/certora_cli
2023-05-15T15:15:05,374   copying build/lib/certora_cli/certoraMutate.py -> build/bdist.linux-aarch64/wheel/certora_cli
2023-05-15T15:15:05,376   creating build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-15T15:15:05,377   copying build/lib/certora_cli/EVMVerifier/__init__.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-15T15:15:05,380   copying build/lib/certora_cli/EVMVerifier/certoraBuild.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-15T15:15:05,399   copying build/lib/certora_cli/EVMVerifier/certoraConfigIO.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-15T15:15:05,402   copying build/lib/certora_cli/EVMVerifier/certoraContextAttribute.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-15T15:15:05,406   copying build/lib/certora_cli/EVMVerifier/certoraCloudIO.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-15T15:15:05,409   copying build/lib/certora_cli/EVMVerifier/certoraType.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-15T15:15:05,412   copying build/lib/certora_cli/EVMVerifier/certoraContext.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-15T15:15:05,416   copying build/lib/certora_cli/EVMVerifier/certoraExtensionInfo.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-15T15:15:05,418   copying build/lib/certora_cli/EVMVerifier/certoraNodeFilters.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-15T15:15:05,420   creating build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler
2023-05-15T15:15:05,421   copying build/lib/certora_cli/EVMVerifier/Compiler/__init__.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler
2023-05-15T15:15:05,423   copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler
2023-05-15T15:15:05,425   copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler
2023-05-15T15:15:05,427   copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollector.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler
2023-05-15T15:15:05,430   copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler
2023-05-15T15:15:05,433   copying build/lib/certora_cli/EVMVerifier/certoraContextValidator.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-15T15:15:05,437   copying build/lib/certora_cli/EVMVerifier/certoraValidateFuncs.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-15T15:15:05,439   copying build/lib/certora_cli/EVMVerifier/certoraContextClass.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-15T15:15:05,441   copying build/lib/certora_cli/EVMVerifier/certoraCollectRunMetadata.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-15T15:15:05,444   copying build/lib/certora_cli/EVMVerifier/certoraJobList.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-15T15:15:05,447   creating build/bdist.linux-aarch64/wheel/certora_cli/Shared
2023-05-15T15:15:05,448   copying build/lib/certora_cli/Shared/__init__.py -> build/bdist.linux-aarch64/wheel/certora_cli/Shared
2023-05-15T15:15:05,450   copying build/lib/certora_cli/Shared/certoraTester.py -> build/bdist.linux-aarch64/wheel/certora_cli/Shared
2023-05-15T15:15:05,453   copying build/lib/certora_cli/Shared/certoraUtils.py -> build/bdist.linux-aarch64/wheel/certora_cli/Shared
2023-05-15T15:15:05,456   copying build/lib/certora_cli/Shared/certoraLogging.py -> build/bdist.linux-aarch64/wheel/certora_cli/Shared
2023-05-15T15:15:05,459   running install_egg_info
2023-05-15T15:15:05,492   Copying certora_cli_alpha_oz_docker_json5.egg-info to build/bdist.linux-aarch64/wheel/certora_cli_alpha_oz_docker_json5-20230515.11.28.890873-py3.9.egg-info
2023-05-15T15:15:05,504   running install_scripts
2023-05-15T15:15:05,522   creating build/bdist.linux-aarch64/wheel/certora_cli_alpha_oz_docker_json5-20230515.11.28.890873.dist-info/WHEEL
2023-05-15T15:15:05,525   creating '/tmp/pip-wheel-v5uy95q1/certora_cli_alpha_oz_docker_json5-20230515.11.28.890873-py3-none-any.whl' and adding 'build/bdist.linux-aarch64/wheel' to it
2023-05-15T15:15:05,527   adding 'certora_cli/__init__.py'
2023-05-15T15:15:05,529   adding 'certora_cli/certoraMutate.py'
2023-05-15T15:15:05,531   adding 'certora_cli/certoraRun.py'
2023-05-15T15:15:05,533   adding 'certora_cli/EVMVerifier/__init__.py'
2023-05-15T15:15:05,555   adding 'certora_cli/EVMVerifier/certoraBuild.py'
2023-05-15T15:15:05,562   adding 'certora_cli/EVMVerifier/certoraCloudIO.py'
2023-05-15T15:15:05,564   adding 'certora_cli/EVMVerifier/certoraCollectRunMetadata.py'
2023-05-15T15:15:05,566   adding 'certora_cli/EVMVerifier/certoraConfigIO.py'
2023-05-15T15:15:05,570   adding 'certora_cli/EVMVerifier/certoraContext.py'
2023-05-15T15:15:05,574   adding 'certora_cli/EVMVerifier/certoraContextAttribute.py'
2023-05-15T15:15:05,575   adding 'certora_cli/EVMVerifier/certoraContextClass.py'
2023-05-15T15:15:05,581   adding 'certora_cli/EVMVerifier/certoraContextValidator.py'
2023-05-15T15:15:05,583   adding 'certora_cli/EVMVerifier/certoraExtensionInfo.py'
2023-05-15T15:15:05,585   adding 'certora_cli/EVMVerifier/certoraJobList.py'
2023-05-15T15:15:05,586   adding 'certora_cli/EVMVerifier/certoraNodeFilters.py'
2023-05-15T15:15:05,589   adding 'certora_cli/EVMVerifier/certoraType.py'
2023-05-15T15:15:05,593   adding 'certora_cli/EVMVerifier/certoraValidateFuncs.py'
2023-05-15T15:15:05,595   adding 'certora_cli/EVMVerifier/Compiler/CompilerCollector.py'
2023-05-15T15:15:05,597   adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py'
2023-05-15T15:15:05,599   adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py'
2023-05-15T15:15:05,603   adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py'
2023-05-15T15:15:05,605   adding 'certora_cli/EVMVerifier/Compiler/__init__.py'
2023-05-15T15:15:05,606   adding 'certora_cli/Shared/__init__.py'
2023-05-15T15:15:05,609   adding 'certora_cli/Shared/certoraLogging.py'
2023-05-15T15:15:05,610   adding 'certora_cli/Shared/certoraTester.py'
2023-05-15T15:15:05,617   adding 'certora_cli/Shared/certoraUtils.py'
2023-05-15T15:15:05,621   adding 'certora_jars/CERTORA-CLI-VERSION-METADATA.json'
2023-05-15T15:15:07,262   adding 'certora_jars/MutationTest.jar'
2023-05-15T15:15:08,575   adding 'certora_jars/Typechecker.3.6.5.jar'
2023-05-15T15:15:10,125   adding 'certora_jars/Typechecker.jar'
2023-05-15T15:15:10,209   adding 'certora_jars/__init__.py'
2023-05-15T15:15:11,062   adding 'certora_jars/gambit-linux'
2023-05-15T15:15:11,920   adding 'certora_jars/gambit-macos'
2023-05-15T15:15:11,956   adding 'certora_cli_alpha_oz_docker_json5-20230515.11.28.890873.dist-info/LICENSE'
2023-05-15T15:15:11,957   adding 'certora_cli_alpha_oz_docker_json5-20230515.11.28.890873.dist-info/METADATA'
2023-05-15T15:15:11,958   adding 'certora_cli_alpha_oz_docker_json5-20230515.11.28.890873.dist-info/WHEEL'
2023-05-15T15:15:11,959   adding 'certora_cli_alpha_oz_docker_json5-20230515.11.28.890873.dist-info/entry_points.txt'
2023-05-15T15:15:11,961   adding 'certora_cli_alpha_oz_docker_json5-20230515.11.28.890873.dist-info/top_level.txt'
2023-05-15T15:15:11,962   adding 'certora_cli_alpha_oz_docker_json5-20230515.11.28.890873.dist-info/RECORD'
2023-05-15T15:15:12,392   removing build/bdist.linux-aarch64/wheel
2023-05-15T15:15:12,509   Building wheel for certora-cli-alpha-oz-docker-json5 (setup.py): finished with status 'done'
2023-05-15T15:15:12,836   Created wheel for certora-cli-alpha-oz-docker-json5: filename=certora_cli_alpha_oz_docker_json5-20230515.11.28.890873-py3-none-any.whl size=39476633 sha256=8ebbdc82ed7c6f34ad7d2de13b51a47e7ad5c899f54f11a8eeb7c8da0e571263
2023-05-15T15:15:12,837   Stored in directory: /tmp/pip-ephem-wheel-cache-o5ezpdlb/wheels/35/2a/63/d4f143fe972bd6c98788f1801d1f72d2836597c4a6c884eb13
2023-05-15T15:15:12,867 Successfully built certora-cli-alpha-oz-docker-json5
2023-05-15T15:15:13,799 Removed build tracker: '/tmp/pip-build-tracker-hb39uwdq'