2023-05-13T20:02:29,403 Created temporary directory: /tmp/pip-build-tracker-s4b27r4g 2023-05-13T20:02:29,404 Initialized build tracking at /tmp/pip-build-tracker-s4b27r4g 2023-05-13T20:02:29,404 Created build tracker: /tmp/pip-build-tracker-s4b27r4g 2023-05-13T20:02:29,404 Entered build tracker: /tmp/pip-build-tracker-s4b27r4g 2023-05-13T20:02:29,405 Created temporary directory: /tmp/pip-wheel-s99dxw2r 2023-05-13T20:02:29,409 Created temporary directory: /tmp/pip-ephem-wheel-cache-kvh8xnbq 2023-05-13T20:02:29,433 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple 2023-05-13T20:02:29,437 2 location(s) to search for versions of certora-cli-alpha-oz-docker-json5: 2023-05-13T20:02:29,437 * https://pypi.org/simple/certora-cli-alpha-oz-docker-json5/ 2023-05-13T20:02:29,437 * https://www.piwheels.org/simple/certora-cli-alpha-oz-docker-json5/ 2023-05-13T20:02:29,437 Fetching project page and analyzing links: https://pypi.org/simple/certora-cli-alpha-oz-docker-json5/ 2023-05-13T20:02:29,438 Getting page https://pypi.org/simple/certora-cli-alpha-oz-docker-json5/ 2023-05-13T20:02:29,440 Found index url https://pypi.org/simple/ 2023-05-13T20:02:29,490 Fetched page https://pypi.org/simple/certora-cli-alpha-oz-docker-json5/ as application/vnd.pypi.simple.v1+json 2023-05-13T20:02:29,495 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-13T20:02:29,496 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-13T20:02:29,497 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-13T20:02:29,497 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-13T20:02:29,498 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-13T20:02:29,498 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-13T20:02:29,498 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-13T20:02:29,499 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-13T20:02:29,499 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-13T20:02:29,500 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-13T20:02:29,500 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-13T20:02:29,501 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-13T20:02:29,501 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-13T20:02:29,501 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-13T20:02:29,502 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-13T20:02:29,502 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-13T20:02:29,503 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-13T20:02:29,503 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-13T20:02:29,504 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-13T20:02:29,504 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-13T20:02:29,504 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-13T20:02:29,505 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-13T20:02:29,505 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-13T20:02:29,506 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-13T20:02:29,506 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-13T20:02:29,506 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-13T20:02:29,507 Fetching project page and analyzing links: https://www.piwheels.org/simple/certora-cli-alpha-oz-docker-json5/ 2023-05-13T20:02:29,507 Getting page https://www.piwheels.org/simple/certora-cli-alpha-oz-docker-json5/ 2023-05-13T20:02:29,508 Found index url https://www.piwheels.org/simple/ 2023-05-13T20:02:29,681 Fetched page https://www.piwheels.org/simple/certora-cli-alpha-oz-docker-json5/ as text/html 2023-05-13T20:02:29,686 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=5f66cb8db7b0b91c69a3f08a5c3a8e5c8b5de2b56755b03b19ccf31cee13ec6f (from https://www.piwheels.org/simple/certora-cli-alpha-oz-docker-json5/) (requires-python:>=3.8.16) 2023-05-13T20:02:29,687 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=4584a5e2bd3fee83cddc4ecd0ebe93778411c6185232fb68c17aad5c50411fd4 (from https://www.piwheels.org/simple/certora-cli-alpha-oz-docker-json5/) (requires-python:>=3.8.16) 2023-05-13T20:02:29,687 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=315f2ce207a8b366e534ea31c295fbdb22cb3fb1e9ddc9ea806f4c205ac49545 (from https://www.piwheels.org/simple/certora-cli-alpha-oz-docker-json5/) (requires-python:>=3.8.16) 2023-05-13T20:02:29,687 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=5e645bb7d7c466f61bbc1616c3edf1521883e91c4bfffbaad339bab521875f63 (from https://www.piwheels.org/simple/certora-cli-alpha-oz-docker-json5/) (requires-python:>=3.8.16) 2023-05-13T20:02:29,687 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=1b64a5045789a7812534d5d264b19def99b886b202c090a93935cab0173e5fd6 (from https://www.piwheels.org/simple/certora-cli-alpha-oz-docker-json5/) (requires-python:>=3.8.16) 2023-05-13T20:02:29,688 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=3408121836f37d697c6db447f11023e34cdf8f31dc29997e5f90aa47b334a3c4 (from https://www.piwheels.org/simple/certora-cli-alpha-oz-docker-json5/) (requires-python:>=3.8.16) 2023-05-13T20:02:29,688 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=f7b956e16b26f679e09d915f2817917d97601c7f2fa8c8e666d6ef97a7372612 (from https://www.piwheels.org/simple/certora-cli-alpha-oz-docker-json5/) (requires-python:>=3.8.16) 2023-05-13T20:02:29,688 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=1b8a18285ebdb1a3b10a058cf2f5bb16ea813d28ca40c7279e7252c56683bf58 (from https://www.piwheels.org/simple/certora-cli-alpha-oz-docker-json5/) (requires-python:>=3.8.16) 2023-05-13T20:02:29,688 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=c4263c24cbd9376934eb50bb7f607f7ce57c697d57caf79306c0a9b883aeb33f (from https://www.piwheels.org/simple/certora-cli-alpha-oz-docker-json5/) (requires-python:>=3.8.16) 2023-05-13T20:02:29,688 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=c0748d5a62d1ca735daffe330463bf38c6a1e98da0041997b8585f57492cee8f (from https://www.piwheels.org/simple/certora-cli-alpha-oz-docker-json5/) (requires-python:>=3.8.16) 2023-05-13T20:02:29,689 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=be24618e0ffb292452efbe53eec1b2bc2ca27a4c6984885d0155ead37be8c576 (from https://www.piwheels.org/simple/certora-cli-alpha-oz-docker-json5/) (requires-python:>=3.8.16) 2023-05-13T20:02:29,689 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=7728c21c4c2e8332daa320b869e256581933cad9f509e84a18ca1a90156de538 (from https://www.piwheels.org/simple/certora-cli-alpha-oz-docker-json5/) (requires-python:>=3.8.16) 2023-05-13T20:02:29,689 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=92ab4c9319d9f465eb207a48d9511e7385908520ef326cf010d31985dfa5f4c3 (from https://www.piwheels.org/simple/certora-cli-alpha-oz-docker-json5/) (requires-python:>=3.8.16) 2023-05-13T20:02:29,689 Skipping link: not a file: https://www.piwheels.org/simple/certora-cli-alpha-oz-docker-json5/ 2023-05-13T20:02:29,690 Skipping link: not a file: https://pypi.org/simple/certora-cli-alpha-oz-docker-json5/ 2023-05-13T20:02:29,710 Given no hashes to check 1 links for project 'certora-cli-alpha-oz-docker-json5': discarding no candidates 2023-05-13T20:02:29,727 Collecting certora-cli-alpha-oz-docker-json5==20230503.11.53.297815 2023-05-13T20:02:29,730 Created temporary directory: /tmp/pip-unpack-syqvui5_ 2023-05-13T20:02:29,899 Downloading certora-cli-alpha-oz-docker-json5-20230503.11.53.297815.tar.gz (38.4 MB) 2023-05-13T20:02:40,043 Added certora-cli-alpha-oz-docker-json5==20230503.11.53.297815 from https://files.pythonhosted.org/packages/16/f7/8309c6a7a049961380cdca419fe03ef0ccfcc1077421a0442de7d418d9cb/certora-cli-alpha-oz-docker-json5-20230503.11.53.297815.tar.gz to build tracker '/tmp/pip-build-tracker-s4b27r4g' 2023-05-13T20:02:40,045 Running setup.py (path:/tmp/pip-wheel-s99dxw2r/certora-cli-alpha-oz-docker-json5_64038e1f2da24768a6ea51ad643942e9/setup.py) egg_info for package certora-cli-alpha-oz-docker-json5 2023-05-13T20:02:40,046 Created temporary directory: /tmp/pip-pip-egg-info-jhrj2o0r 2023-05-13T20:02:40,046 Preparing metadata (setup.py): started 2023-05-13T20:02:40,048 Running command python setup.py egg_info 2023-05-13T20:02:40,677 running egg_info 2023-05-13T20:02:40,679 creating /tmp/pip-pip-egg-info-jhrj2o0r/certora_cli_alpha_oz_docker_json5.egg-info 2023-05-13T20:02:40,708 writing /tmp/pip-pip-egg-info-jhrj2o0r/certora_cli_alpha_oz_docker_json5.egg-info/PKG-INFO 2023-05-13T20:02:40,710 writing dependency_links to /tmp/pip-pip-egg-info-jhrj2o0r/certora_cli_alpha_oz_docker_json5.egg-info/dependency_links.txt 2023-05-13T20:02:40,712 writing entry points to /tmp/pip-pip-egg-info-jhrj2o0r/certora_cli_alpha_oz_docker_json5.egg-info/entry_points.txt 2023-05-13T20:02:40,713 writing requirements to /tmp/pip-pip-egg-info-jhrj2o0r/certora_cli_alpha_oz_docker_json5.egg-info/requires.txt 2023-05-13T20:02:40,714 writing top-level names to /tmp/pip-pip-egg-info-jhrj2o0r/certora_cli_alpha_oz_docker_json5.egg-info/top_level.txt 2023-05-13T20:02:40,716 writing manifest file '/tmp/pip-pip-egg-info-jhrj2o0r/certora_cli_alpha_oz_docker_json5.egg-info/SOURCES.txt' 2023-05-13T20:02:40,805 reading manifest file '/tmp/pip-pip-egg-info-jhrj2o0r/certora_cli_alpha_oz_docker_json5.egg-info/SOURCES.txt' 2023-05-13T20:02:40,807 reading manifest template 'MANIFEST.in' 2023-05-13T20:02:40,816 adding license file 'LICENSE' 2023-05-13T20:02:40,820 writing manifest file '/tmp/pip-pip-egg-info-jhrj2o0r/certora_cli_alpha_oz_docker_json5.egg-info/SOURCES.txt' 2023-05-13T20:02:40,880 Preparing metadata (setup.py): finished with status 'done' 2023-05-13T20:02:40,886 Source in /tmp/pip-wheel-s99dxw2r/certora-cli-alpha-oz-docker-json5_64038e1f2da24768a6ea51ad643942e9 has version 20230503.11.53.297815, which satisfies requirement certora-cli-alpha-oz-docker-json5==20230503.11.53.297815 from https://files.pythonhosted.org/packages/16/f7/8309c6a7a049961380cdca419fe03ef0ccfcc1077421a0442de7d418d9cb/certora-cli-alpha-oz-docker-json5-20230503.11.53.297815.tar.gz 2023-05-13T20:02:40,887 Removed certora-cli-alpha-oz-docker-json5==20230503.11.53.297815 from https://files.pythonhosted.org/packages/16/f7/8309c6a7a049961380cdca419fe03ef0ccfcc1077421a0442de7d418d9cb/certora-cli-alpha-oz-docker-json5-20230503.11.53.297815.tar.gz from build tracker '/tmp/pip-build-tracker-s4b27r4g' 2023-05-13T20:02:40,894 Created temporary directory: /tmp/pip-unpack-5ftrjap6 2023-05-13T20:02:40,894 Building wheels for collected packages: certora-cli-alpha-oz-docker-json5 2023-05-13T20:02:40,899 Created temporary directory: /tmp/pip-wheel-omv2j2hn 2023-05-13T20:02:40,899 Building wheel for certora-cli-alpha-oz-docker-json5 (setup.py): started 2023-05-13T20:02:40,900 Destination directory: /tmp/pip-wheel-omv2j2hn 2023-05-13T20:02:40,900 Running command python setup.py bdist_wheel 2023-05-13T20:02:41,557 running bdist_wheel 2023-05-13T20:02:41,853 running build 2023-05-13T20:02:41,853 running build_py 2023-05-13T20:02:41,883 creating build 2023-05-13T20:02:41,884 creating build/lib 2023-05-13T20:02:41,885 creating build/lib/certora_jars 2023-05-13T20:02:41,886 copying certora_jars/__init__.py -> build/lib/certora_jars 2023-05-13T20:02:41,889 creating build/lib/certora_cli 2023-05-13T20:02:41,889 copying certora_cli/__init__.py -> build/lib/certora_cli 2023-05-13T20:02:41,891 copying certora_cli/certoraMutate.py -> build/lib/certora_cli 2023-05-13T20:02:41,893 copying certora_cli/certoraRun.py -> build/lib/certora_cli 2023-05-13T20:02:41,897 creating build/lib/certora_cli/EVMVerifier 2023-05-13T20:02:41,898 copying certora_cli/EVMVerifier/certoraConfigIO.py -> build/lib/certora_cli/EVMVerifier 2023-05-13T20:02:41,900 copying certora_cli/EVMVerifier/certoraCollectRunMetadata.py -> build/lib/certora_cli/EVMVerifier 2023-05-13T20:02:41,902 copying certora_cli/EVMVerifier/certoraCloudIO.py -> build/lib/certora_cli/EVMVerifier 2023-05-13T20:02:41,905 copying certora_cli/EVMVerifier/certoraBuild.py -> build/lib/certora_cli/EVMVerifier 2023-05-13T20:02:41,913 copying certora_cli/EVMVerifier/certoraJobList.py -> build/lib/certora_cli/EVMVerifier 2023-05-13T20:02:41,915 copying certora_cli/EVMVerifier/certoraValidateFuncs.py -> build/lib/certora_cli/EVMVerifier 2023-05-13T20:02:41,918 copying certora_cli/EVMVerifier/certoraContextClass.py -> build/lib/certora_cli/EVMVerifier 2023-05-13T20:02:41,920 copying certora_cli/EVMVerifier/certoraType.py -> build/lib/certora_cli/EVMVerifier 2023-05-13T20:02:41,923 copying certora_cli/EVMVerifier/certoraContext.py -> build/lib/certora_cli/EVMVerifier 2023-05-13T20:02:41,926 copying certora_cli/EVMVerifier/__init__.py -> build/lib/certora_cli/EVMVerifier 2023-05-13T20:02:41,928 copying certora_cli/EVMVerifier/certoraContextValidator.py -> build/lib/certora_cli/EVMVerifier 2023-05-13T20:02:41,932 copying certora_cli/EVMVerifier/certoraContextAttribute.py -> build/lib/certora_cli/EVMVerifier 2023-05-13T20:02:41,935 copying certora_cli/EVMVerifier/certoraNodeFilters.py -> build/lib/certora_cli/EVMVerifier 2023-05-13T20:02:41,938 creating build/lib/certora_cli/Shared 2023-05-13T20:02:41,939 copying certora_cli/Shared/certoraTester.py -> build/lib/certora_cli/Shared 2023-05-13T20:02:41,941 copying certora_cli/Shared/__init__.py -> build/lib/certora_cli/Shared 2023-05-13T20:02:41,943 copying certora_cli/Shared/certoraUtils.py -> build/lib/certora_cli/Shared 2023-05-13T20:02:41,946 copying certora_cli/Shared/certoraLogging.py -> build/lib/certora_cli/Shared 2023-05-13T20:02:41,950 creating build/lib/certora_cli/EVMVerifier/Compiler 2023-05-13T20:02:41,950 copying certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-05-13T20:02:41,953 copying certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-05-13T20:02:41,956 copying certora_cli/EVMVerifier/Compiler/CompilerCollector.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-05-13T20:02:41,958 copying certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-05-13T20:02:41,960 copying certora_cli/EVMVerifier/Compiler/__init__.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-05-13T20:02:41,962 running egg_info 2023-05-13T20:02:42,024 writing certora_cli_alpha_oz_docker_json5.egg-info/PKG-INFO 2023-05-13T20:02:42,026 writing dependency_links to certora_cli_alpha_oz_docker_json5.egg-info/dependency_links.txt 2023-05-13T20:02:42,028 writing entry points to certora_cli_alpha_oz_docker_json5.egg-info/entry_points.txt 2023-05-13T20:02:42,030 writing requirements to certora_cli_alpha_oz_docker_json5.egg-info/requires.txt 2023-05-13T20:02:42,032 writing top-level names to certora_cli_alpha_oz_docker_json5.egg-info/top_level.txt 2023-05-13T20:02:42,063 reading manifest file 'certora_cli_alpha_oz_docker_json5.egg-info/SOURCES.txt' 2023-05-13T20:02:42,066 reading manifest template 'MANIFEST.in' 2023-05-13T20:02:42,076 adding license file 'LICENSE' 2023-05-13T20:02:42,080 writing manifest file 'certora_cli_alpha_oz_docker_json5.egg-info/SOURCES.txt' 2023-05-13T20:02:42,084 copying certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/lib/certora_jars 2023-05-13T20:02:42,086 copying certora_jars/MutationTest.jar -> build/lib/certora_jars 2023-05-13T20:02:42,313 copying certora_jars/Typechecker.3.6.5.jar -> build/lib/certora_jars 2023-05-13T20:02:42,463 copying certora_jars/Typechecker.jar -> build/lib/certora_jars 2023-05-13T20:02:42,717 copying certora_jars/gambit-linux -> build/lib/certora_jars 2023-05-13T20:02:42,833 copying certora_jars/gambit-macos -> build/lib/certora_jars 2023-05-13T20:02:42,947 /usr/local/lib/python3.9/dist-packages/setuptools/_distutils/cmd.py:66: SetuptoolsDeprecationWarning: setup.py install is deprecated. 2023-05-13T20:02:42,948 !! 2023-05-13T20:02:42,948 ******************************************************************************** 2023-05-13T20:02:42,948 Please avoid running ``setup.py`` directly. 2023-05-13T20:02:42,948 Instead, use pypa/build, pypa/installer, pypa/build or 2023-05-13T20:02:42,948 other standards-based tools. 2023-05-13T20:02:42,949 See https://blog.ganssle.io/articles/2021/10/setup-py-deprecated.html for details. 2023-05-13T20:02:42,949 ******************************************************************************** 2023-05-13T20:02:42,949 !! 2023-05-13T20:02:42,949 self.initialize_options() 2023-05-13T20:02:42,975 installing to build/bdist.linux-aarch64/wheel 2023-05-13T20:02:42,976 running install 2023-05-13T20:02:43,001 running install_lib 2023-05-13T20:02:43,029 creating build/bdist.linux-aarch64 2023-05-13T20:02:43,030 creating build/bdist.linux-aarch64/wheel 2023-05-13T20:02:43,031 creating build/bdist.linux-aarch64/wheel/certora_jars 2023-05-13T20:02:43,033 copying build/lib/certora_jars/MutationTest.jar -> build/bdist.linux-aarch64/wheel/certora_jars 2023-05-13T20:02:43,246 copying build/lib/certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/bdist.linux-aarch64/wheel/certora_jars 2023-05-13T20:02:43,249 copying build/lib/certora_jars/gambit-linux -> build/bdist.linux-aarch64/wheel/certora_jars 2023-05-13T20:02:43,394 copying build/lib/certora_jars/gambit-macos -> build/bdist.linux-aarch64/wheel/certora_jars 2023-05-13T20:02:43,504 copying build/lib/certora_jars/Typechecker.jar -> build/bdist.linux-aarch64/wheel/certora_jars 2023-05-13T20:02:43,688 copying build/lib/certora_jars/__init__.py -> build/bdist.linux-aarch64/wheel/certora_jars 2023-05-13T20:02:43,690 copying build/lib/certora_jars/Typechecker.3.6.5.jar -> build/bdist.linux-aarch64/wheel/certora_jars 2023-05-13T20:02:43,851 creating build/bdist.linux-aarch64/wheel/certora_cli 2023-05-13T20:02:43,852 creating build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-13T20:02:43,853 copying build/lib/certora_cli/EVMVerifier/certoraConfigIO.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-13T20:02:43,856 copying build/lib/certora_cli/EVMVerifier/certoraCollectRunMetadata.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-13T20:02:43,858 copying build/lib/certora_cli/EVMVerifier/certoraCloudIO.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-13T20:02:43,861 copying build/lib/certora_cli/EVMVerifier/certoraBuild.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-13T20:02:43,868 creating build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler 2023-05-13T20:02:43,869 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler 2023-05-13T20:02:43,871 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler 2023-05-13T20:02:43,874 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollector.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler 2023-05-13T20:02:43,876 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler 2023-05-13T20:02:43,879 copying build/lib/certora_cli/EVMVerifier/Compiler/__init__.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler 2023-05-13T20:02:43,881 copying build/lib/certora_cli/EVMVerifier/certoraJobList.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-13T20:02:43,884 copying build/lib/certora_cli/EVMVerifier/certoraValidateFuncs.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-13T20:02:43,887 copying build/lib/certora_cli/EVMVerifier/certoraContextClass.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-13T20:02:43,889 copying build/lib/certora_cli/EVMVerifier/certoraType.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-13T20:02:43,892 copying build/lib/certora_cli/EVMVerifier/certoraContext.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-13T20:02:43,895 copying build/lib/certora_cli/EVMVerifier/__init__.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-13T20:02:43,897 copying build/lib/certora_cli/EVMVerifier/certoraContextValidator.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-13T20:02:43,900 copying build/lib/certora_cli/EVMVerifier/certoraContextAttribute.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-13T20:02:43,903 copying build/lib/certora_cli/EVMVerifier/certoraNodeFilters.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-13T20:02:43,905 creating build/bdist.linux-aarch64/wheel/certora_cli/Shared 2023-05-13T20:02:43,906 copying build/lib/certora_cli/Shared/certoraTester.py -> build/bdist.linux-aarch64/wheel/certora_cli/Shared 2023-05-13T20:02:43,909 copying build/lib/certora_cli/Shared/__init__.py -> build/bdist.linux-aarch64/wheel/certora_cli/Shared 2023-05-13T20:02:43,911 copying build/lib/certora_cli/Shared/certoraUtils.py -> build/bdist.linux-aarch64/wheel/certora_cli/Shared 2023-05-13T20:02:43,914 copying build/lib/certora_cli/Shared/certoraLogging.py -> build/bdist.linux-aarch64/wheel/certora_cli/Shared 2023-05-13T20:02:43,917 copying build/lib/certora_cli/__init__.py -> build/bdist.linux-aarch64/wheel/certora_cli 2023-05-13T20:02:43,918 copying build/lib/certora_cli/certoraMutate.py -> build/bdist.linux-aarch64/wheel/certora_cli 2023-05-13T20:02:43,920 copying build/lib/certora_cli/certoraRun.py -> build/bdist.linux-aarch64/wheel/certora_cli 2023-05-13T20:02:43,922 running install_egg_info 2023-05-13T20:02:43,955 Copying certora_cli_alpha_oz_docker_json5.egg-info to build/bdist.linux-aarch64/wheel/certora_cli_alpha_oz_docker_json5-20230503.11.53.297815-py3.9.egg-info 2023-05-13T20:02:43,966 running install_scripts 2023-05-13T20:02:43,983 creating build/bdist.linux-aarch64/wheel/certora_cli_alpha_oz_docker_json5-20230503.11.53.297815.dist-info/WHEEL 2023-05-13T20:02:43,986 creating '/tmp/pip-wheel-omv2j2hn/certora_cli_alpha_oz_docker_json5-20230503.11.53.297815-py3-none-any.whl' and adding 'build/bdist.linux-aarch64/wheel' to it 2023-05-13T20:02:43,988 adding 'certora_cli/__init__.py' 2023-05-13T20:02:43,990 adding 'certora_cli/certoraMutate.py' 2023-05-13T20:02:43,992 adding 'certora_cli/certoraRun.py' 2023-05-13T20:02:43,994 adding 'certora_cli/EVMVerifier/__init__.py' 2023-05-13T20:02:44,015 adding 'certora_cli/EVMVerifier/certoraBuild.py' 2023-05-13T20:02:44,022 adding 'certora_cli/EVMVerifier/certoraCloudIO.py' 2023-05-13T20:02:44,025 adding 'certora_cli/EVMVerifier/certoraCollectRunMetadata.py' 2023-05-13T20:02:44,026 adding 'certora_cli/EVMVerifier/certoraConfigIO.py' 2023-05-13T20:02:44,031 adding 'certora_cli/EVMVerifier/certoraContext.py' 2023-05-13T20:02:44,034 adding 'certora_cli/EVMVerifier/certoraContextAttribute.py' 2023-05-13T20:02:44,036 adding 'certora_cli/EVMVerifier/certoraContextClass.py' 2023-05-13T20:02:44,042 adding 'certora_cli/EVMVerifier/certoraContextValidator.py' 2023-05-13T20:02:44,044 adding 'certora_cli/EVMVerifier/certoraJobList.py' 2023-05-13T20:02:44,046 adding 'certora_cli/EVMVerifier/certoraNodeFilters.py' 2023-05-13T20:02:44,049 adding 'certora_cli/EVMVerifier/certoraType.py' 2023-05-13T20:02:44,053 adding 'certora_cli/EVMVerifier/certoraValidateFuncs.py' 2023-05-13T20:02:44,055 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollector.py' 2023-05-13T20:02:44,057 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py' 2023-05-13T20:02:44,058 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py' 2023-05-13T20:02:44,063 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py' 2023-05-13T20:02:44,064 adding 'certora_cli/EVMVerifier/Compiler/__init__.py' 2023-05-13T20:02:44,066 adding 'certora_cli/Shared/__init__.py' 2023-05-13T20:02:44,069 adding 'certora_cli/Shared/certoraLogging.py' 2023-05-13T20:02:44,070 adding 'certora_cli/Shared/certoraTester.py' 2023-05-13T20:02:44,077 adding 'certora_cli/Shared/certoraUtils.py' 2023-05-13T20:02:44,080 adding 'certora_jars/CERTORA-CLI-VERSION-METADATA.json' 2023-05-13T20:02:45,667 adding 'certora_jars/MutationTest.jar' 2023-05-13T20:02:46,975 adding 'certora_jars/Typechecker.3.6.5.jar' 2023-05-13T20:02:48,455 adding 'certora_jars/Typechecker.jar' 2023-05-13T20:02:48,535 adding 'certora_jars/__init__.py' 2023-05-13T20:02:49,387 adding 'certora_jars/gambit-linux' 2023-05-13T20:02:50,241 adding 'certora_jars/gambit-macos' 2023-05-13T20:02:50,277 adding 'certora_cli_alpha_oz_docker_json5-20230503.11.53.297815.dist-info/LICENSE' 2023-05-13T20:02:50,278 adding 'certora_cli_alpha_oz_docker_json5-20230503.11.53.297815.dist-info/METADATA' 2023-05-13T20:02:50,279 adding 'certora_cli_alpha_oz_docker_json5-20230503.11.53.297815.dist-info/WHEEL' 2023-05-13T20:02:50,280 adding 'certora_cli_alpha_oz_docker_json5-20230503.11.53.297815.dist-info/entry_points.txt' 2023-05-13T20:02:50,281 adding 'certora_cli_alpha_oz_docker_json5-20230503.11.53.297815.dist-info/top_level.txt' 2023-05-13T20:02:50,282 adding 'certora_cli_alpha_oz_docker_json5-20230503.11.53.297815.dist-info/RECORD' 2023-05-13T20:02:50,794 removing build/bdist.linux-aarch64/wheel 2023-05-13T20:02:50,914 Building wheel for certora-cli-alpha-oz-docker-json5 (setup.py): finished with status 'done' 2023-05-13T20:02:51,235 Created wheel for certora-cli-alpha-oz-docker-json5: filename=certora_cli_alpha_oz_docker_json5-20230503.11.53.297815-py3-none-any.whl size=38420478 sha256=20630892d0fe1bae5b4a0c1a4c328c4a446fd00a894d7775112bcf35b8be8d99 2023-05-13T20:02:51,236 Stored in directory: /tmp/pip-ephem-wheel-cache-kvh8xnbq/wheels/ee/2f/8b/98dee8f5ecb45369fc5059587845eabc087d82d571764139f8 2023-05-13T20:02:51,267 Successfully built certora-cli-alpha-oz-docker-json5 2023-05-13T20:02:52,259 Removed build tracker: '/tmp/pip-build-tracker-s4b27r4g'