2023-07-04T12:37:19,584 Created temporary directory: /tmp/pip-build-tracker-3c29re7h 2023-07-04T12:37:19,585 Initialized build tracking at /tmp/pip-build-tracker-3c29re7h 2023-07-04T12:37:19,585 Created build tracker: /tmp/pip-build-tracker-3c29re7h 2023-07-04T12:37:19,586 Entered build tracker: /tmp/pip-build-tracker-3c29re7h 2023-07-04T12:37:19,586 Created temporary directory: /tmp/pip-wheel-fe02yby8 2023-07-04T12:37:19,590 Created temporary directory: /tmp/pip-ephem-wheel-cache-cb01yma1 2023-07-04T12:37:19,613 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple 2023-07-04T12:37:19,617 2 location(s) to search for versions of certora-cli-alpha-oz-cli-by-os: 2023-07-04T12:37:19,617 * https://pypi.org/simple/certora-cli-alpha-oz-cli-by-os/ 2023-07-04T12:37:19,617 * https://www.piwheels.org/simple/certora-cli-alpha-oz-cli-by-os/ 2023-07-04T12:37:19,617 Fetching project page and analyzing links: https://pypi.org/simple/certora-cli-alpha-oz-cli-by-os/ 2023-07-04T12:37:19,618 Getting page https://pypi.org/simple/certora-cli-alpha-oz-cli-by-os/ 2023-07-04T12:37:19,620 Found index url https://pypi.org/simple/ 2023-07-04T12:37:19,672 Fetched page https://pypi.org/simple/certora-cli-alpha-oz-cli-by-os/ as application/vnd.pypi.simple.v1+json 2023-07-04T12:37:19,679 Skipping link: No binaries permitted for certora-cli-alpha-oz-cli-by-os: https://files.pythonhosted.org/packages/fa/7a/70decd2d60a9bf0c2b9dee747566e2459ac692d14b0354bbcc24b92d7690/certora_cli_alpha_oz_cli_by_os-20230627.9.44.450815-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-oz-cli-by-os/) (requires-python:>=3.8) 2023-07-04T12:37:19,679 Skipping link: No binaries permitted for certora-cli-alpha-oz-cli-by-os: https://files.pythonhosted.org/packages/7a/e9/4a59dc9623d54021296c59a73acffecb7a998738240865a0f203ae653ff1/certora_cli_alpha_oz_cli_by_os-20230627.10.49.768915-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-oz-cli-by-os/) (requires-python:>=3.8) 2023-07-04T12:37:19,679 Skipping link: No binaries permitted for certora-cli-alpha-oz-cli-by-os: https://files.pythonhosted.org/packages/e1/ce/1b7c367e0159f1bd51755d0a343ce0d17471219b78795a504760c83f1b18/certora_cli_alpha_oz_cli_by_os-20230627.11.22.385748-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-oz-cli-by-os/) (requires-python:>=3.8) 2023-07-04T12:37:19,679 Skipping link: No binaries permitted for certora-cli-alpha-oz-cli-by-os: https://files.pythonhosted.org/packages/37/e4/7ca02cb327403fd0baa340ec21f4a391dce475aeb52019298d1fbe706574/certora_cli_alpha_oz_cli_by_os-20230627.11.44.759810-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-oz-cli-by-os/) (requires-python:>=3.8) 2023-07-04T12:37:19,680 Skipping link: No binaries permitted for certora-cli-alpha-oz-cli-by-os: https://files.pythonhosted.org/packages/42/db/14e6572dc43870d09d3dc6e64655f465df28a84b4e6d8f8aaf70673b8d28/certora_cli_alpha_oz_cli_by_os-20230627.11.44.759810-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-oz-cli-by-os/) (requires-python:>=3.8) 2023-07-04T12:37:19,680 Found link https://files.pythonhosted.org/packages/ca/86/c98ab53b027cf7b8454af65a287275e3dc4fc4d9b8be14a10e67a0cfba85/certora-cli-alpha-oz-cli-by-os-20230627.12.3.846810.tar.gz (from https://pypi.org/simple/certora-cli-alpha-oz-cli-by-os/) (requires-python:>=3.8), version: 20230627.12.3.846810 2023-07-04T12:37:19,681 Skipping link: No binaries permitted for certora-cli-alpha-oz-cli-by-os: https://files.pythonhosted.org/packages/3c/87/8baf22cd94d96fae6f619051c5e88a02412599bdfe8da0d0ebb5d802f7ac/certora_cli_alpha_oz_cli_by_os-20230627.12.3.846810-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-oz-cli-by-os/) (requires-python:>=3.8) 2023-07-04T12:37:19,681 Skipping link: No binaries permitted for certora-cli-alpha-oz-cli-by-os: https://files.pythonhosted.org/packages/fc/42/a225eae9e07251487b785f9afbb833030697f64165c5473240104f0ac296/certora_cli_alpha_oz_cli_by_os-20230627.12.3.846810-py3-none-macosx_11_0_arm64.whl (from https://pypi.org/simple/certora-cli-alpha-oz-cli-by-os/) (requires-python:>=3.8) 2023-07-04T12:37:19,681 Skipping link: No binaries permitted for certora-cli-alpha-oz-cli-by-os: https://files.pythonhosted.org/packages/fd/fd/26c11af41625e73414de4d2f4f959d742cad9566f525e3d052102846ac4f/certora_cli_alpha_oz_cli_by_os-20230627.12.3.846810-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-oz-cli-by-os/) (requires-python:>=3.8) 2023-07-04T12:37:19,682 Found link https://files.pythonhosted.org/packages/5e/05/c12f726b8c2f75402512b79c4e053ee87a086d591b765b6e69edcfd121da/certora-cli-alpha-oz-cli-by-os-20230628.20.10.750292.tar.gz (from https://pypi.org/simple/certora-cli-alpha-oz-cli-by-os/) (requires-python:>=3.8), version: 20230628.20.10.750292 2023-07-04T12:37:19,682 Skipping link: No binaries permitted for certora-cli-alpha-oz-cli-by-os: https://files.pythonhosted.org/packages/d7/f9/4c3e018b7ea53c6afae1d24de9d750f42e70d191a642e99808fe413d3b3c/certora_cli_alpha_oz_cli_by_os-20230628.20.10.750292-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-oz-cli-by-os/) (requires-python:>=3.8) 2023-07-04T12:37:19,682 Skipping link: No binaries permitted for certora-cli-alpha-oz-cli-by-os: https://files.pythonhosted.org/packages/20/14/4a193a69531f49b034887bdba8e78aef6df78917761a3cb76844791ae3bb/certora_cli_alpha_oz_cli_by_os-20230628.20.10.750292-py3-none-macosx_11_0_arm64.whl (from https://pypi.org/simple/certora-cli-alpha-oz-cli-by-os/) (requires-python:>=3.8) 2023-07-04T12:37:19,682 Skipping link: No binaries permitted for certora-cli-alpha-oz-cli-by-os: https://files.pythonhosted.org/packages/fd/61/79c061544cbd897c6eaf4862da6c24e79913fdb605d4c5d6af0d73aa3d0a/certora_cli_alpha_oz_cli_by_os-20230628.20.10.750292-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-oz-cli-by-os/) (requires-python:>=3.8) 2023-07-04T12:37:19,683 Found link https://files.pythonhosted.org/packages/8f/1f/32f9202a6354f6664c5439a8aa2504f4a6b3709544e9f61a65b83bcba3d6/certora-cli-alpha-oz-cli-by-os-20230702.9.1.737018.tar.gz (from https://pypi.org/simple/certora-cli-alpha-oz-cli-by-os/) (requires-python:>=3.8), version: 20230702.9.1.737018 2023-07-04T12:37:19,683 Skipping link: No binaries permitted for certora-cli-alpha-oz-cli-by-os: https://files.pythonhosted.org/packages/e7/4a/02c85ffb377ab6c69b4b5e3122c423be6529932d5f1b0e4836687b09d328/certora_cli_alpha_oz_cli_by_os-20230702.9.1.737018-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-oz-cli-by-os/) (requires-python:>=3.8) 2023-07-04T12:37:19,684 Skipping link: No binaries permitted for certora-cli-alpha-oz-cli-by-os: https://files.pythonhosted.org/packages/53/0d/250e8c3e4f5492d605b23aa7b7b536532d87292701b9dd991f43b9fd5681/certora_cli_alpha_oz_cli_by_os-20230702.9.1.737018-py3-none-macosx_11_0_arm64.whl (from https://pypi.org/simple/certora-cli-alpha-oz-cli-by-os/) (requires-python:>=3.8) 2023-07-04T12:37:19,684 Skipping link: No binaries permitted for certora-cli-alpha-oz-cli-by-os: https://files.pythonhosted.org/packages/d4/13/8fabf5e81c4bb4a3c81872a85d8d3fac9603c2184d6be4907089de584352/certora_cli_alpha_oz_cli_by_os-20230702.9.1.737018-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-oz-cli-by-os/) (requires-python:>=3.8) 2023-07-04T12:37:19,684 Found link https://files.pythonhosted.org/packages/21/36/511fc6fb3d7ab27fe25c4a95b5d3db32edcb0511c3cb9b4842539ca82e1f/certora-cli-alpha-oz-cli-by-os-20230703.13.32.625504.tar.gz (from https://pypi.org/simple/certora-cli-alpha-oz-cli-by-os/) (requires-python:>=3.8), version: 20230703.13.32.625504 2023-07-04T12:37:19,685 Skipping link: No binaries permitted for certora-cli-alpha-oz-cli-by-os: https://files.pythonhosted.org/packages/14/3e/94fe83392974ab41e72a6da97f90b9d59d389780086389e47d1e6af0614c/certora_cli_alpha_oz_cli_by_os-20230703.13.32.625504-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-oz-cli-by-os/) (requires-python:>=3.8) 2023-07-04T12:37:19,685 Skipping link: No binaries permitted for certora-cli-alpha-oz-cli-by-os: https://files.pythonhosted.org/packages/01/b5/9f298f1cb1b7a2ed1e931d59c9b5af66bb82c71cc11c0af948a8b7c9ebe0/certora_cli_alpha_oz_cli_by_os-20230703.13.32.625504-py3-none-macosx_11_0_arm64.whl (from https://pypi.org/simple/certora-cli-alpha-oz-cli-by-os/) (requires-python:>=3.8) 2023-07-04T12:37:19,685 Skipping link: No binaries permitted for certora-cli-alpha-oz-cli-by-os: https://files.pythonhosted.org/packages/c0/71/82aff33980342a4ded7082301c1f3e156e7c2781dca4b26a9142eae0b770/certora_cli_alpha_oz_cli_by_os-20230703.13.32.625504-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-oz-cli-by-os/) (requires-python:>=3.8) 2023-07-04T12:37:19,686 Found link https://files.pythonhosted.org/packages/ed/d1/6963fac142c6f6767a1268f51cc3d6362d1355fa93e9d75334587462c593/certora-cli-alpha-oz-cli-by-os-20230704.11.42.540592.tar.gz (from https://pypi.org/simple/certora-cli-alpha-oz-cli-by-os/) (requires-python:>=3.8), version: 20230704.11.42.540592 2023-07-04T12:37:19,686 Skipping link: No binaries permitted for certora-cli-alpha-oz-cli-by-os: https://files.pythonhosted.org/packages/65/5a/e9f6d77932fbad892b59157df58edb6fc6686c7e2f45d0a440b2e319343b/certora_cli_alpha_oz_cli_by_os-20230704.11.42.540592-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-oz-cli-by-os/) (requires-python:>=3.8) 2023-07-04T12:37:19,686 Skipping link: No binaries permitted for certora-cli-alpha-oz-cli-by-os: https://files.pythonhosted.org/packages/0d/50/f87f312f7a5b570de488cf4bb837e283b6025ac01956afa28d429228f0d4/certora_cli_alpha_oz_cli_by_os-20230704.11.42.540592-py3-none-macosx_10_0_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-oz-cli-by-os/) (requires-python:>=3.8) 2023-07-04T12:37:19,686 Skipping link: No binaries permitted for certora-cli-alpha-oz-cli-by-os: https://files.pythonhosted.org/packages/11/d3/33ffbaf3a5c2b8f8d1d0bbd1ec7e46e3f92d908474294258894d0fc0f2e7/certora_cli_alpha_oz_cli_by_os-20230704.11.42.540592-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-oz-cli-by-os/) (requires-python:>=3.8) 2023-07-04T12:37:19,687 Found link https://files.pythonhosted.org/packages/10/33/78e6e6760d8e6af486d7ac3d07bdefe6baed47dca4a4537979d27cae6733/certora-cli-alpha-oz-cli-by-os-20230704.12.14.654666.tar.gz (from https://pypi.org/simple/certora-cli-alpha-oz-cli-by-os/) (requires-python:>=3.8), version: 20230704.12.14.654666 2023-07-04T12:37:19,687 Skipping link: No binaries permitted for certora-cli-alpha-oz-cli-by-os: https://files.pythonhosted.org/packages/80/99/d5958f7d6ed79e17dbe4e1be271000785a5d632ff9001719817c3945485f/certora_cli_alpha_oz_cli_by_os-20230704.12.14.654666-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-oz-cli-by-os/) (requires-python:>=3.8) 2023-07-04T12:37:19,688 Skipping link: No binaries permitted for certora-cli-alpha-oz-cli-by-os: https://files.pythonhosted.org/packages/3b/1a/945b957e196eb172e5a6de7f5da6a10ca9c2c51d8cc1e07c2a8a547d4af2/certora_cli_alpha_oz_cli_by_os-20230704.12.14.654666-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-oz-cli-by-os/) (requires-python:>=3.8) 2023-07-04T12:37:19,688 Skipping link: No binaries permitted for certora-cli-alpha-oz-cli-by-os: https://files.pythonhosted.org/packages/49/e0/9c293a0405ffc6ab6793085eec0716ebd55c749606951dd2fcecda07d35a/certora_cli_alpha_oz_cli_by_os-20230704.12.14.654666-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-oz-cli-by-os/) (requires-python:>=3.8) 2023-07-04T12:37:19,688 Fetching project page and analyzing links: https://www.piwheels.org/simple/certora-cli-alpha-oz-cli-by-os/ 2023-07-04T12:37:19,688 Getting page https://www.piwheels.org/simple/certora-cli-alpha-oz-cli-by-os/ 2023-07-04T12:37:19,690 Found index url https://www.piwheels.org/simple/ 2023-07-04T12:37:19,859 Fetched page https://www.piwheels.org/simple/certora-cli-alpha-oz-cli-by-os/ as text/html 2023-07-04T12:37:19,862 Skipping link: No binaries permitted for certora-cli-alpha-oz-cli-by-os: https://www.piwheels.org/simple/certora-cli-alpha-oz-cli-by-os/certora_cli_alpha_oz_cli_by_os-20230704.11.42.540592-py3-none-any.whl#sha256=00503004edec026f52e99c02f758aaef65df5d24c5e7841f289a7bfae2226e35 (from https://www.piwheels.org/simple/certora-cli-alpha-oz-cli-by-os/) (requires-python:>=3.8) 2023-07-04T12:37:19,862 Skipping link: No binaries permitted for certora-cli-alpha-oz-cli-by-os: https://www.piwheels.org/simple/certora-cli-alpha-oz-cli-by-os/certora_cli_alpha_oz_cli_by_os-20230703.13.32.625504-py3-none-any.whl#sha256=4eacb57c23cf6c5d2e1f928f2dbe8426f65bfec0122b13a65c1ff5431049fe69 (from https://www.piwheels.org/simple/certora-cli-alpha-oz-cli-by-os/) (requires-python:>=3.8) 2023-07-04T12:37:19,862 Skipping link: No binaries permitted for certora-cli-alpha-oz-cli-by-os: https://www.piwheels.org/simple/certora-cli-alpha-oz-cli-by-os/certora_cli_alpha_oz_cli_by_os-20230702.9.1.737018-py3-none-any.whl#sha256=ac13853c5bec4272a072e1b63c5d1d5fa4baaecde4632703c4571a14fd47778e (from https://www.piwheels.org/simple/certora-cli-alpha-oz-cli-by-os/) (requires-python:>=3.8) 2023-07-04T12:37:19,862 Skipping link: No binaries permitted for certora-cli-alpha-oz-cli-by-os: https://www.piwheels.org/simple/certora-cli-alpha-oz-cli-by-os/certora_cli_alpha_oz_cli_by_os-20230628.20.10.750292-py3-none-any.whl#sha256=a865bda6c4331b8b8a35892c039d1b71ebb032e81f09929e67c9f413482eaa09 (from https://www.piwheels.org/simple/certora-cli-alpha-oz-cli-by-os/) (requires-python:>=3.8) 2023-07-04T12:37:19,863 Skipping link: No binaries permitted for certora-cli-alpha-oz-cli-by-os: https://www.piwheels.org/simple/certora-cli-alpha-oz-cli-by-os/certora_cli_alpha_oz_cli_by_os-20230627.12.3.846810-py3-none-any.whl#sha256=06a613c9e2ad2d4c35ff0b45671b9208a3fc052b207223c8ce7cc4ca41fcbaa0 (from https://www.piwheels.org/simple/certora-cli-alpha-oz-cli-by-os/) (requires-python:>=3.8) 2023-07-04T12:37:19,863 Skipping link: not a file: https://www.piwheels.org/simple/certora-cli-alpha-oz-cli-by-os/ 2023-07-04T12:37:19,863 Skipping link: not a file: https://pypi.org/simple/certora-cli-alpha-oz-cli-by-os/ 2023-07-04T12:37:19,881 Given no hashes to check 1 links for project 'certora-cli-alpha-oz-cli-by-os': discarding no candidates 2023-07-04T12:37:19,898 Collecting certora-cli-alpha-oz-cli-by-os==20230704.12.14.654666 2023-07-04T12:37:19,900 Created temporary directory: /tmp/pip-unpack-5t7t60hp 2023-07-04T12:37:20,210 Downloading certora-cli-alpha-oz-cli-by-os-20230704.12.14.654666.tar.gz (37.4 MB) 2023-07-04T12:37:29,808 Added certora-cli-alpha-oz-cli-by-os==20230704.12.14.654666 from https://files.pythonhosted.org/packages/10/33/78e6e6760d8e6af486d7ac3d07bdefe6baed47dca4a4537979d27cae6733/certora-cli-alpha-oz-cli-by-os-20230704.12.14.654666.tar.gz to build tracker '/tmp/pip-build-tracker-3c29re7h' 2023-07-04T12:37:29,810 Running setup.py (path:/tmp/pip-wheel-fe02yby8/certora-cli-alpha-oz-cli-by-os_f58be2dc096d40788d9ebc87f3874672/setup.py) egg_info for package certora-cli-alpha-oz-cli-by-os 2023-07-04T12:37:29,810 Created temporary directory: /tmp/pip-pip-egg-info-j9ffy3_l 2023-07-04T12:37:29,811 Preparing metadata (setup.py): started 2023-07-04T12:37:29,812 Running command python setup.py egg_info 2023-07-04T12:37:30,437 running egg_info 2023-07-04T12:37:30,438 creating /tmp/pip-pip-egg-info-j9ffy3_l/certora_cli_alpha_oz_cli_by_os.egg-info 2023-07-04T12:37:30,466 writing /tmp/pip-pip-egg-info-j9ffy3_l/certora_cli_alpha_oz_cli_by_os.egg-info/PKG-INFO 2023-07-04T12:37:30,468 writing dependency_links to /tmp/pip-pip-egg-info-j9ffy3_l/certora_cli_alpha_oz_cli_by_os.egg-info/dependency_links.txt 2023-07-04T12:37:30,470 writing entry points to /tmp/pip-pip-egg-info-j9ffy3_l/certora_cli_alpha_oz_cli_by_os.egg-info/entry_points.txt 2023-07-04T12:37:30,471 writing requirements to /tmp/pip-pip-egg-info-j9ffy3_l/certora_cli_alpha_oz_cli_by_os.egg-info/requires.txt 2023-07-04T12:37:30,472 writing top-level names to /tmp/pip-pip-egg-info-j9ffy3_l/certora_cli_alpha_oz_cli_by_os.egg-info/top_level.txt 2023-07-04T12:37:30,474 writing manifest file '/tmp/pip-pip-egg-info-j9ffy3_l/certora_cli_alpha_oz_cli_by_os.egg-info/SOURCES.txt' 2023-07-04T12:37:30,557 reading manifest file '/tmp/pip-pip-egg-info-j9ffy3_l/certora_cli_alpha_oz_cli_by_os.egg-info/SOURCES.txt' 2023-07-04T12:37:30,558 reading manifest template 'MANIFEST.in' 2023-07-04T12:37:30,563 warning: no files found matching 'gambit' under directory 'certora_bins' 2023-07-04T12:37:30,607 adding license file 'LICENSE' 2023-07-04T12:37:30,611 writing manifest file '/tmp/pip-pip-egg-info-j9ffy3_l/certora_cli_alpha_oz_cli_by_os.egg-info/SOURCES.txt' 2023-07-04T12:37:30,671 Preparing metadata (setup.py): finished with status 'done' 2023-07-04T12:37:30,676 Source in /tmp/pip-wheel-fe02yby8/certora-cli-alpha-oz-cli-by-os_f58be2dc096d40788d9ebc87f3874672 has version 20230704.12.14.654666, which satisfies requirement certora-cli-alpha-oz-cli-by-os==20230704.12.14.654666 from https://files.pythonhosted.org/packages/10/33/78e6e6760d8e6af486d7ac3d07bdefe6baed47dca4a4537979d27cae6733/certora-cli-alpha-oz-cli-by-os-20230704.12.14.654666.tar.gz 2023-07-04T12:37:30,677 Removed certora-cli-alpha-oz-cli-by-os==20230704.12.14.654666 from https://files.pythonhosted.org/packages/10/33/78e6e6760d8e6af486d7ac3d07bdefe6baed47dca4a4537979d27cae6733/certora-cli-alpha-oz-cli-by-os-20230704.12.14.654666.tar.gz from build tracker '/tmp/pip-build-tracker-3c29re7h' 2023-07-04T12:37:30,683 Created temporary directory: /tmp/pip-unpack-stg9w1ff 2023-07-04T12:37:30,684 Building wheels for collected packages: certora-cli-alpha-oz-cli-by-os 2023-07-04T12:37:30,688 Created temporary directory: /tmp/pip-wheel-r5uvpect 2023-07-04T12:37:30,688 Building wheel for certora-cli-alpha-oz-cli-by-os (setup.py): started 2023-07-04T12:37:30,689 Destination directory: /tmp/pip-wheel-r5uvpect 2023-07-04T12:37:30,690 Running command python setup.py bdist_wheel 2023-07-04T12:37:31,329 running bdist_wheel 2023-07-04T12:37:31,610 running build 2023-07-04T12:37:31,611 running build_py 2023-07-04T12:37:31,640 creating build 2023-07-04T12:37:31,640 creating build/lib 2023-07-04T12:37:31,641 creating build/lib/certora_jars 2023-07-04T12:37:31,642 copying certora_jars/__init__.py -> build/lib/certora_jars 2023-07-04T12:37:31,644 creating build/lib/certora_bins 2023-07-04T12:37:31,644 copying certora_bins/__init__.py -> build/lib/certora_bins 2023-07-04T12:37:31,646 creating build/lib/certora_cli 2023-07-04T12:37:31,647 copying certora_cli/certoraMutate.py -> build/lib/certora_cli 2023-07-04T12:37:31,649 copying certora_cli/certoraRun.py -> build/lib/certora_cli 2023-07-04T12:37:31,651 copying certora_cli/__init__.py -> build/lib/certora_cli 2023-07-04T12:37:31,652 copying certora_cli/certoraEqCheck.py -> build/lib/certora_cli 2023-07-04T12:37:31,654 creating build/lib/certora_cli/Shared 2023-07-04T12:37:31,655 copying certora_cli/Shared/certoraUtils.py -> build/lib/certora_cli/Shared 2023-07-04T12:37:31,658 copying certora_cli/Shared/__init__.py -> build/lib/certora_cli/Shared 2023-07-04T12:37:31,659 copying certora_cli/Shared/certoraLogging.py -> build/lib/certora_cli/Shared 2023-07-04T12:37:31,661 copying certora_cli/Shared/certoraTester.py -> build/lib/certora_cli/Shared 2023-07-04T12:37:31,664 creating build/lib/certora_cli/EVMVerifier 2023-07-04T12:37:31,665 copying certora_cli/EVMVerifier/certoraBuild.py -> build/lib/certora_cli/EVMVerifier 2023-07-04T12:37:31,671 copying certora_cli/EVMVerifier/certoraType.py -> build/lib/certora_cli/EVMVerifier 2023-07-04T12:37:31,673 copying certora_cli/EVMVerifier/certoraExtensionInfo.py -> build/lib/certora_cli/EVMVerifier 2023-07-04T12:37:31,675 copying certora_cli/EVMVerifier/certoraContextAttribute.py -> build/lib/certora_cli/EVMVerifier 2023-07-04T12:37:31,677 copying certora_cli/EVMVerifier/certoraContextClass.py -> build/lib/certora_cli/EVMVerifier 2023-07-04T12:37:31,679 copying certora_cli/EVMVerifier/certoraJobList.py -> build/lib/certora_cli/EVMVerifier 2023-07-04T12:37:31,681 copying certora_cli/EVMVerifier/__init__.py -> build/lib/certora_cli/EVMVerifier 2023-07-04T12:37:31,682 copying certora_cli/EVMVerifier/certoraValidateFuncs.py -> build/lib/certora_cli/EVMVerifier 2023-07-04T12:37:31,685 copying certora_cli/EVMVerifier/certoraNodeFilters.py -> build/lib/certora_cli/EVMVerifier 2023-07-04T12:37:31,686 copying certora_cli/EVMVerifier/certoraContextValidator.py -> build/lib/certora_cli/EVMVerifier 2023-07-04T12:37:31,689 copying certora_cli/EVMVerifier/certoraContext.py -> build/lib/certora_cli/EVMVerifier 2023-07-04T12:37:31,691 copying certora_cli/EVMVerifier/certoraCloudIO.py -> build/lib/certora_cli/EVMVerifier 2023-07-04T12:37:31,694 copying certora_cli/EVMVerifier/certoraConfigIO.py -> build/lib/certora_cli/EVMVerifier 2023-07-04T12:37:31,696 copying certora_cli/EVMVerifier/certoraCollectRunMetadata.py -> build/lib/certora_cli/EVMVerifier 2023-07-04T12:37:31,699 creating build/lib/certora_cli/EquivalenceCheck 2023-07-04T12:37:31,700 copying certora_cli/EquivalenceCheck/equivCheck.py -> build/lib/certora_cli/EquivalenceCheck 2023-07-04T12:37:31,703 copying certora_cli/EquivalenceCheck/__init__.py -> build/lib/certora_cli/EquivalenceCheck 2023-07-04T12:37:31,705 creating build/lib/certora_cli/EVMVerifier/Compiler 2023-07-04T12:37:31,706 copying certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-07-04T12:37:31,709 copying certora_cli/EVMVerifier/Compiler/__init__.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-07-04T12:37:31,711 copying certora_cli/EVMVerifier/Compiler/CompilerCollector.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-07-04T12:37:31,713 copying certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-07-04T12:37:31,715 copying certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-07-04T12:37:31,716 running egg_info 2023-07-04T12:37:31,777 writing certora_cli_alpha_oz_cli_by_os.egg-info/PKG-INFO 2023-07-04T12:37:31,779 writing dependency_links to certora_cli_alpha_oz_cli_by_os.egg-info/dependency_links.txt 2023-07-04T12:37:31,781 writing entry points to certora_cli_alpha_oz_cli_by_os.egg-info/entry_points.txt 2023-07-04T12:37:31,782 writing requirements to certora_cli_alpha_oz_cli_by_os.egg-info/requires.txt 2023-07-04T12:37:31,783 writing top-level names to certora_cli_alpha_oz_cli_by_os.egg-info/top_level.txt 2023-07-04T12:37:31,814 reading manifest file 'certora_cli_alpha_oz_cli_by_os.egg-info/SOURCES.txt' 2023-07-04T12:37:31,817 reading manifest template 'MANIFEST.in' 2023-07-04T12:37:31,822 warning: no files found matching 'gambit' under directory 'certora_bins' 2023-07-04T12:37:31,863 adding license file 'LICENSE' 2023-07-04T12:37:31,867 writing manifest file 'certora_cli_alpha_oz_cli_by_os.egg-info/SOURCES.txt' 2023-07-04T12:37:31,871 copying certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/lib/certora_jars 2023-07-04T12:37:31,873 copying certora_jars/MutationTest.jar -> build/lib/certora_jars 2023-07-04T12:37:32,097 copying certora_jars/Typechecker.3.6.5.jar -> build/lib/certora_jars 2023-07-04T12:37:32,256 copying certora_jars/Typechecker.jar -> build/lib/certora_jars 2023-07-04T12:37:32,459 copying certora_cli/EquivalenceCheck/Eq_default.conf -> build/lib/certora_cli/EquivalenceCheck 2023-07-04T12:37:32,461 copying certora_cli/EquivalenceCheck/Eq_mc_template.spec -> build/lib/certora_cli/EquivalenceCheck 2023-07-04T12:37:32,463 copying certora_cli/EquivalenceCheck/Eq_sanity.conf -> build/lib/certora_cli/EquivalenceCheck 2023-07-04T12:37:32,465 copying certora_cli/EquivalenceCheck/Eq_template.spec -> build/lib/certora_cli/EquivalenceCheck 2023-07-04T12:37:32,467 copying certora_cli/EquivalenceCheck/sanity.spec -> build/lib/certora_cli/EquivalenceCheck 2023-07-04T12:37:32,501 /home/piwheels/.local/lib/python3.9/site-packages/setuptools/_distutils/cmd.py:66: SetuptoolsDeprecationWarning: setup.py install is deprecated. 2023-07-04T12:37:32,502 !! 2023-07-04T12:37:32,502 ******************************************************************************** 2023-07-04T12:37:32,502 Please avoid running ``setup.py`` directly. 2023-07-04T12:37:32,502 Instead, use pypa/build, pypa/installer, pypa/build or 2023-07-04T12:37:32,503 other standards-based tools. 2023-07-04T12:37:32,503 See https://blog.ganssle.io/articles/2021/10/setup-py-deprecated.html for details. 2023-07-04T12:37:32,503 ******************************************************************************** 2023-07-04T12:37:32,503 !! 2023-07-04T12:37:32,503 self.initialize_options() 2023-07-04T12:37:32,529 installing to build/bdist.linux-armv7l/wheel 2023-07-04T12:37:32,529 running install 2023-07-04T12:37:32,553 running install_lib 2023-07-04T12:37:32,580 creating build/bdist.linux-armv7l 2023-07-04T12:37:32,581 creating build/bdist.linux-armv7l/wheel 2023-07-04T12:37:32,582 creating build/bdist.linux-armv7l/wheel/certora_jars 2023-07-04T12:37:32,583 copying build/lib/certora_jars/Typechecker.jar -> build/bdist.linux-armv7l/wheel/certora_jars 2023-07-04T12:37:32,803 copying build/lib/certora_jars/Typechecker.3.6.5.jar -> build/bdist.linux-armv7l/wheel/certora_jars 2023-07-04T12:37:32,970 copying build/lib/certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/bdist.linux-armv7l/wheel/certora_jars 2023-07-04T12:37:32,972 copying build/lib/certora_jars/__init__.py -> build/bdist.linux-armv7l/wheel/certora_jars 2023-07-04T12:37:32,973 copying build/lib/certora_jars/MutationTest.jar -> build/bdist.linux-armv7l/wheel/certora_jars 2023-07-04T12:37:33,211 creating build/bdist.linux-armv7l/wheel/certora_bins 2023-07-04T12:37:33,212 copying build/lib/certora_bins/__init__.py -> build/bdist.linux-armv7l/wheel/certora_bins 2023-07-04T12:37:33,214 creating build/bdist.linux-armv7l/wheel/certora_cli 2023-07-04T12:37:33,215 copying build/lib/certora_cli/certoraMutate.py -> build/bdist.linux-armv7l/wheel/certora_cli 2023-07-04T12:37:33,217 copying build/lib/certora_cli/certoraRun.py -> build/bdist.linux-armv7l/wheel/certora_cli 2023-07-04T12:37:33,219 copying build/lib/certora_cli/__init__.py -> build/bdist.linux-armv7l/wheel/certora_cli 2023-07-04T12:37:33,220 copying build/lib/certora_cli/certoraEqCheck.py -> build/bdist.linux-armv7l/wheel/certora_cli 2023-07-04T12:37:33,222 creating build/bdist.linux-armv7l/wheel/certora_cli/Shared 2023-07-04T12:37:33,223 copying build/lib/certora_cli/Shared/certoraUtils.py -> build/bdist.linux-armv7l/wheel/certora_cli/Shared 2023-07-04T12:37:33,226 copying build/lib/certora_cli/Shared/__init__.py -> build/bdist.linux-armv7l/wheel/certora_cli/Shared 2023-07-04T12:37:33,228 copying build/lib/certora_cli/Shared/certoraLogging.py -> build/bdist.linux-armv7l/wheel/certora_cli/Shared 2023-07-04T12:37:33,230 copying build/lib/certora_cli/Shared/certoraTester.py -> build/bdist.linux-armv7l/wheel/certora_cli/Shared 2023-07-04T12:37:33,233 creating build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-07-04T12:37:33,234 copying build/lib/certora_cli/EVMVerifier/certoraBuild.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-07-04T12:37:33,239 copying build/lib/certora_cli/EVMVerifier/certoraType.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-07-04T12:37:33,242 copying build/lib/certora_cli/EVMVerifier/certoraExtensionInfo.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-07-04T12:37:33,244 copying build/lib/certora_cli/EVMVerifier/certoraContextAttribute.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-07-04T12:37:33,246 copying build/lib/certora_cli/EVMVerifier/certoraContextClass.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-07-04T12:37:33,249 copying build/lib/certora_cli/EVMVerifier/certoraJobList.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-07-04T12:37:33,252 copying build/lib/certora_cli/EVMVerifier/__init__.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-07-04T12:37:33,253 copying build/lib/certora_cli/EVMVerifier/certoraValidateFuncs.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-07-04T12:37:33,256 copying build/lib/certora_cli/EVMVerifier/certoraNodeFilters.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-07-04T12:37:33,258 copying build/lib/certora_cli/EVMVerifier/certoraContextValidator.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-07-04T12:37:33,261 copying build/lib/certora_cli/EVMVerifier/certoraContext.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-07-04T12:37:33,265 creating build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler 2023-07-04T12:37:33,266 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler 2023-07-04T12:37:33,269 copying build/lib/certora_cli/EVMVerifier/Compiler/__init__.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler 2023-07-04T12:37:33,271 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollector.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler 2023-07-04T12:37:33,273 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler 2023-07-04T12:37:33,275 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler 2023-07-04T12:37:33,277 copying build/lib/certora_cli/EVMVerifier/certoraCloudIO.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-07-04T12:37:33,280 copying build/lib/certora_cli/EVMVerifier/certoraConfigIO.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-07-04T12:37:33,283 copying build/lib/certora_cli/EVMVerifier/certoraCollectRunMetadata.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-07-04T12:37:33,285 creating build/bdist.linux-armv7l/wheel/certora_cli/EquivalenceCheck 2023-07-04T12:37:33,286 copying build/lib/certora_cli/EquivalenceCheck/sanity.spec -> build/bdist.linux-armv7l/wheel/certora_cli/EquivalenceCheck 2023-07-04T12:37:33,288 copying build/lib/certora_cli/EquivalenceCheck/Eq_default.conf -> build/bdist.linux-armv7l/wheel/certora_cli/EquivalenceCheck 2023-07-04T12:37:33,290 copying build/lib/certora_cli/EquivalenceCheck/equivCheck.py -> build/bdist.linux-armv7l/wheel/certora_cli/EquivalenceCheck 2023-07-04T12:37:33,293 copying build/lib/certora_cli/EquivalenceCheck/Eq_template.spec -> build/bdist.linux-armv7l/wheel/certora_cli/EquivalenceCheck 2023-07-04T12:37:33,294 copying build/lib/certora_cli/EquivalenceCheck/Eq_mc_template.spec -> build/bdist.linux-armv7l/wheel/certora_cli/EquivalenceCheck 2023-07-04T12:37:33,296 copying build/lib/certora_cli/EquivalenceCheck/__init__.py -> build/bdist.linux-armv7l/wheel/certora_cli/EquivalenceCheck 2023-07-04T12:37:33,297 copying build/lib/certora_cli/EquivalenceCheck/Eq_sanity.conf -> build/bdist.linux-armv7l/wheel/certora_cli/EquivalenceCheck 2023-07-04T12:37:33,299 running install_egg_info 2023-07-04T12:37:33,330 Copying certora_cli_alpha_oz_cli_by_os.egg-info to build/bdist.linux-armv7l/wheel/certora_cli_alpha_oz_cli_by_os-20230704.12.14.654666-py3.9.egg-info 2023-07-04T12:37:33,342 running install_scripts 2023-07-04T12:37:33,357 creating build/bdist.linux-armv7l/wheel/certora_cli_alpha_oz_cli_by_os-20230704.12.14.654666.dist-info/WHEEL 2023-07-04T12:37:33,360 creating '/tmp/pip-wheel-r5uvpect/certora_cli_alpha_oz_cli_by_os-20230704.12.14.654666-py3-none-any.whl' and adding 'build/bdist.linux-armv7l/wheel' to it 2023-07-04T12:37:33,362 adding 'certora_bins/__init__.py' 2023-07-04T12:37:33,364 adding 'certora_cli/__init__.py' 2023-07-04T12:37:33,365 adding 'certora_cli/certoraEqCheck.py' 2023-07-04T12:37:33,367 adding 'certora_cli/certoraMutate.py' 2023-07-04T12:37:33,369 adding 'certora_cli/certoraRun.py' 2023-07-04T12:37:33,371 adding 'certora_cli/EVMVerifier/__init__.py' 2023-07-04T12:37:33,394 adding 'certora_cli/EVMVerifier/certoraBuild.py' 2023-07-04T12:37:33,401 adding 'certora_cli/EVMVerifier/certoraCloudIO.py' 2023-07-04T12:37:33,403 adding 'certora_cli/EVMVerifier/certoraCollectRunMetadata.py' 2023-07-04T12:37:33,405 adding 'certora_cli/EVMVerifier/certoraConfigIO.py' 2023-07-04T12:37:33,409 adding 'certora_cli/EVMVerifier/certoraContext.py' 2023-07-04T12:37:33,413 adding 'certora_cli/EVMVerifier/certoraContextAttribute.py' 2023-07-04T12:37:33,415 adding 'certora_cli/EVMVerifier/certoraContextClass.py' 2023-07-04T12:37:33,420 adding 'certora_cli/EVMVerifier/certoraContextValidator.py' 2023-07-04T12:37:33,422 adding 'certora_cli/EVMVerifier/certoraExtensionInfo.py' 2023-07-04T12:37:33,424 adding 'certora_cli/EVMVerifier/certoraJobList.py' 2023-07-04T12:37:33,425 adding 'certora_cli/EVMVerifier/certoraNodeFilters.py' 2023-07-04T12:37:33,428 adding 'certora_cli/EVMVerifier/certoraType.py' 2023-07-04T12:37:33,431 adding 'certora_cli/EVMVerifier/certoraValidateFuncs.py' 2023-07-04T12:37:33,434 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollector.py' 2023-07-04T12:37:33,435 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py' 2023-07-04T12:37:33,437 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py' 2023-07-04T12:37:33,441 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py' 2023-07-04T12:37:33,442 adding 'certora_cli/EVMVerifier/Compiler/__init__.py' 2023-07-04T12:37:33,444 adding 'certora_cli/EquivalenceCheck/Eq_default.conf' 2023-07-04T12:37:33,446 adding 'certora_cli/EquivalenceCheck/Eq_mc_template.spec' 2023-07-04T12:37:33,447 adding 'certora_cli/EquivalenceCheck/Eq_sanity.conf' 2023-07-04T12:37:33,448 adding 'certora_cli/EquivalenceCheck/Eq_template.spec' 2023-07-04T12:37:33,449 adding 'certora_cli/EquivalenceCheck/__init__.py' 2023-07-04T12:37:33,452 adding 'certora_cli/EquivalenceCheck/equivCheck.py' 2023-07-04T12:37:33,453 adding 'certora_cli/EquivalenceCheck/sanity.spec' 2023-07-04T12:37:33,455 adding 'certora_cli/Shared/__init__.py' 2023-07-04T12:37:33,457 adding 'certora_cli/Shared/certoraLogging.py' 2023-07-04T12:37:33,459 adding 'certora_cli/Shared/certoraTester.py' 2023-07-04T12:37:33,465 adding 'certora_cli/Shared/certoraUtils.py' 2023-07-04T12:37:33,469 adding 'certora_jars/CERTORA-CLI-VERSION-METADATA.json' 2023-07-04T12:37:35,277 adding 'certora_jars/MutationTest.jar' 2023-07-04T12:37:36,630 adding 'certora_jars/Typechecker.3.6.5.jar' 2023-07-04T12:37:38,340 adding 'certora_jars/Typechecker.jar' 2023-07-04T12:37:38,428 adding 'certora_jars/__init__.py' 2023-07-04T12:37:38,429 adding 'certora_cli_alpha_oz_cli_by_os-20230704.12.14.654666.dist-info/LICENSE' 2023-07-04T12:37:38,431 adding 'certora_cli_alpha_oz_cli_by_os-20230704.12.14.654666.dist-info/METADATA' 2023-07-04T12:37:38,431 adding 'certora_cli_alpha_oz_cli_by_os-20230704.12.14.654666.dist-info/WHEEL' 2023-07-04T12:37:38,432 adding 'certora_cli_alpha_oz_cli_by_os-20230704.12.14.654666.dist-info/entry_points.txt' 2023-07-04T12:37:38,433 adding 'certora_cli_alpha_oz_cli_by_os-20230704.12.14.654666.dist-info/top_level.txt' 2023-07-04T12:37:38,435 adding 'certora_cli_alpha_oz_cli_by_os-20230704.12.14.654666.dist-info/RECORD' 2023-07-04T12:37:38,827 removing build/bdist.linux-armv7l/wheel 2023-07-04T12:37:38,935 Building wheel for certora-cli-alpha-oz-cli-by-os (setup.py): finished with status 'done' 2023-07-04T12:37:39,304 Created wheel for certora-cli-alpha-oz-cli-by-os: filename=certora_cli_alpha_oz_cli_by_os-20230704.12.14.654666-py3-none-any.whl size=37451238 sha256=2193621ed23e3dca2476de8cdc2114c1fe5b3d1fff80c1e9d79807f49e6f2b50 2023-07-04T12:37:39,306 Stored in directory: /tmp/pip-ephem-wheel-cache-cb01yma1/wheels/bb/41/34/0ab2b1453ce637d9b38e37afc66487945e11cdfbb9be996785 2023-07-04T12:37:39,329 Successfully built certora-cli-alpha-oz-cli-by-os 2023-07-04T12:37:40,229 Removed build tracker: '/tmp/pip-build-tracker-3c29re7h'