2023-05-13T13:40:51,972 Created temporary directory: /tmp/pip-build-tracker-ogp3vrpq 2023-05-13T13:40:51,974 Initialized build tracking at /tmp/pip-build-tracker-ogp3vrpq 2023-05-13T13:40:51,974 Created build tracker: /tmp/pip-build-tracker-ogp3vrpq 2023-05-13T13:40:51,974 Entered build tracker: /tmp/pip-build-tracker-ogp3vrpq 2023-05-13T13:40:51,975 Created temporary directory: /tmp/pip-wheel-giu14j7h 2023-05-13T13:40:51,978 Created temporary directory: /tmp/pip-ephem-wheel-cache-eudfccy7 2023-05-13T13:40:52,002 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple 2023-05-13T13:40:52,006 2 location(s) to search for versions of certora-cli-alpha-roy-cert-1844-usage: 2023-05-13T13:40:52,006 * https://pypi.org/simple/certora-cli-alpha-roy-cert-1844-usage/ 2023-05-13T13:40:52,006 * https://www.piwheels.org/simple/certora-cli-alpha-roy-cert-1844-usage/ 2023-05-13T13:40:52,007 Fetching project page and analyzing links: https://pypi.org/simple/certora-cli-alpha-roy-cert-1844-usage/ 2023-05-13T13:40:52,007 Getting page https://pypi.org/simple/certora-cli-alpha-roy-cert-1844-usage/ 2023-05-13T13:40:52,009 Found index url https://pypi.org/simple/ 2023-05-13T13:40:52,060 Fetched page https://pypi.org/simple/certora-cli-alpha-roy-cert-1844-usage/ as application/vnd.pypi.simple.v1+json 2023-05-13T13:40:52,073 Found link https://files.pythonhosted.org/packages/15/16/d23cb838ad20729b31878042c732c77a1723c4c754af5f551b0931f91d30/certora-cli-alpha-roy-CERT-1844-usage-20230430.18.40.62439.tar.gz (from https://pypi.org/simple/certora-cli-alpha-roy-cert-1844-usage/) (requires-python:>=3.8.16), version: 20230430.18.40.62439 2023-05-13T13:40:52,073 Skipping link: No binaries permitted for certora-cli-alpha-roy-cert-1844-usage: https://files.pythonhosted.org/packages/a1/67/0530edb4d353b1a637d897892b307bf8015e1794ce5f6e4267a6d8e41461/certora_cli_alpha_roy_CERT_1844_usage-20230430.18.40.62439-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-roy-cert-1844-usage/) (requires-python:>=3.8.16) 2023-05-13T13:40:52,074 Found link https://files.pythonhosted.org/packages/a2/34/9bbf58912256440625604160120ba5c60afed6ad85588591bc5deaf2d0b6/certora-cli-alpha-roy-CERT-1844-usage-20230501.10.56.711782.tar.gz (from https://pypi.org/simple/certora-cli-alpha-roy-cert-1844-usage/) (requires-python:>=3.8.16), version: 20230501.10.56.711782 2023-05-13T13:40:52,074 Skipping link: No binaries permitted for certora-cli-alpha-roy-cert-1844-usage: https://files.pythonhosted.org/packages/bf/e2/2664e4496a86d55d23518f26e4bc5a6ffbeee686fbe50f10fecca0a48765/certora_cli_alpha_roy_CERT_1844_usage-20230501.10.56.711782-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-roy-cert-1844-usage/) (requires-python:>=3.8.16) 2023-05-13T13:40:52,074 Found link https://files.pythonhosted.org/packages/e8/a8/ee9be58a1284fcc9c74c355368964fc2397ed872a04082958d8af4cb47bd/certora-cli-alpha-roy-CERT-1844-usage-20230501.11.30.698619.tar.gz (from https://pypi.org/simple/certora-cli-alpha-roy-cert-1844-usage/) (requires-python:>=3.8.16), version: 20230501.11.30.698619 2023-05-13T13:40:52,075 Skipping link: No binaries permitted for certora-cli-alpha-roy-cert-1844-usage: https://files.pythonhosted.org/packages/9a/36/604a5902fd12bf2102a25570b0b17c395ae988ab91b089359e505d16c438/certora_cli_alpha_roy_CERT_1844_usage-20230501.11.30.698619-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-roy-cert-1844-usage/) (requires-python:>=3.8.16) 2023-05-13T13:40:52,075 Found link https://files.pythonhosted.org/packages/2b/db/0e80d3e960e6df5ef6eb4f39b9faa13cff266e960ed385a51ea7854ff2d1/certora-cli-alpha-roy-CERT-1844-usage-20230501.12.21.124466.tar.gz (from https://pypi.org/simple/certora-cli-alpha-roy-cert-1844-usage/) (requires-python:>=3.8.16), version: 20230501.12.21.124466 2023-05-13T13:40:52,076 Skipping link: No binaries permitted for certora-cli-alpha-roy-cert-1844-usage: https://files.pythonhosted.org/packages/4b/da/1350f9dc675c2fbaae93753ec5dc9b3f751cd7917e0146a83522aee5b439/certora_cli_alpha_roy_CERT_1844_usage-20230501.12.21.124466-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-roy-cert-1844-usage/) (requires-python:>=3.8.16) 2023-05-13T13:40:52,076 Found link https://files.pythonhosted.org/packages/36/3b/937423019d0ac13c002c277f238fac67d4aae2ccd46eb7dac15ca7fbd270/certora-cli-alpha-roy-CERT-1844-usage-20230501.15.50.742045.tar.gz (from https://pypi.org/simple/certora-cli-alpha-roy-cert-1844-usage/) (requires-python:>=3.8.16), version: 20230501.15.50.742045 2023-05-13T13:40:52,077 Skipping link: No binaries permitted for certora-cli-alpha-roy-cert-1844-usage: https://files.pythonhosted.org/packages/f7/e0/3ad04b290ff417dcd28f8f93cd6519519b0057305e99aa7d393d26dbc63f/certora_cli_alpha_roy_CERT_1844_usage-20230501.15.50.742045-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-roy-cert-1844-usage/) (requires-python:>=3.8.16) 2023-05-13T13:40:52,077 Found link https://files.pythonhosted.org/packages/70/61/5bd84628afc0467aa95917960b3082d2f61c9fc3566962f951ed904fe456/certora-cli-alpha-roy-CERT-1844-usage-20230501.16.34.128034.tar.gz (from https://pypi.org/simple/certora-cli-alpha-roy-cert-1844-usage/) (requires-python:>=3.8.16), version: 20230501.16.34.128034 2023-05-13T13:40:52,077 Skipping link: No binaries permitted for certora-cli-alpha-roy-cert-1844-usage: https://files.pythonhosted.org/packages/3e/96/a61a5f5c9f3840885f21d9535421a177188f94e974da6fac4e1ccdd5bcab/certora_cli_alpha_roy_CERT_1844_usage-20230501.16.34.128034-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-roy-cert-1844-usage/) (requires-python:>=3.8.16) 2023-05-13T13:40:52,078 Found link https://files.pythonhosted.org/packages/c5/68/e356cac2232be39e16464b9d087be8ae37cdb019a79c5303ff446e6a5852/certora-cli-alpha-roy-CERT-1844-usage-20230501.17.19.603152.tar.gz (from https://pypi.org/simple/certora-cli-alpha-roy-cert-1844-usage/) (requires-python:>=3.8.16), version: 20230501.17.19.603152 2023-05-13T13:40:52,078 Skipping link: No binaries permitted for certora-cli-alpha-roy-cert-1844-usage: https://files.pythonhosted.org/packages/69/04/440d6bfc59d15cd0a6046d21136a9196b99ba9ee8c7a4292d4fe3181a804/certora_cli_alpha_roy_CERT_1844_usage-20230501.17.19.603152-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-roy-cert-1844-usage/) (requires-python:>=3.8.16) 2023-05-13T13:40:52,079 Found link https://files.pythonhosted.org/packages/e2/42/7eba7ab54a67c18e9e88b821687c2ea941085fbcce67e6435112a140e338/certora-cli-alpha-roy-CERT-1844-usage-20230501.18.13.819788.tar.gz (from https://pypi.org/simple/certora-cli-alpha-roy-cert-1844-usage/) (requires-python:>=3.8.16), version: 20230501.18.13.819788 2023-05-13T13:40:52,079 Skipping link: No binaries permitted for certora-cli-alpha-roy-cert-1844-usage: https://files.pythonhosted.org/packages/9e/44/524876c8814f17c7fa715657297eef92bffc5e6fbb51ed11b41ce7f99ed2/certora_cli_alpha_roy_CERT_1844_usage-20230501.18.13.819788-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-roy-cert-1844-usage/) (requires-python:>=3.8.16) 2023-05-13T13:40:52,080 Found link https://files.pythonhosted.org/packages/e0/6c/a51f8caa2cd1476416cfe0cb53ba1186e84aec88e9e1d95afa687c5f1fc3/certora-cli-alpha-roy-CERT-1844-usage-20230501.21.0.355985.tar.gz (from https://pypi.org/simple/certora-cli-alpha-roy-cert-1844-usage/) (requires-python:>=3.8.16), version: 20230501.21.0.355985 2023-05-13T13:40:52,080 Skipping link: No binaries permitted for certora-cli-alpha-roy-cert-1844-usage: https://files.pythonhosted.org/packages/25/a0/e1998968d66c6ef354742e48236f9697fe8e1f16023c85d16747efd866cd/certora_cli_alpha_roy_CERT_1844_usage-20230501.21.0.355985-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-roy-cert-1844-usage/) (requires-python:>=3.8.16) 2023-05-13T13:40:52,080 Found link https://files.pythonhosted.org/packages/68/6c/adab5f33c18ba624e716a1eb2a831e0c82ab5e2a21e3b6b46b4fd9f47156/certora-cli-alpha-roy-CERT-1844-usage-20230501.21.45.837799.tar.gz (from https://pypi.org/simple/certora-cli-alpha-roy-cert-1844-usage/) (requires-python:>=3.8.16), version: 20230501.21.45.837799 2023-05-13T13:40:52,081 Skipping link: No binaries permitted for certora-cli-alpha-roy-cert-1844-usage: https://files.pythonhosted.org/packages/d6/cd/9991552a752831cf994caf173276b6e419827afcc1c71c30545984c928e9/certora_cli_alpha_roy_CERT_1844_usage-20230501.21.45.837799-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-roy-cert-1844-usage/) (requires-python:>=3.8.16) 2023-05-13T13:40:52,081 Found link https://files.pythonhosted.org/packages/3a/22/a76b5958796fd3431704c0a581d91b6cc984105c1f972a73663710ff18d5/certora-cli-alpha-roy-CERT-1844-usage-20230501.22.28.942167.tar.gz (from https://pypi.org/simple/certora-cli-alpha-roy-cert-1844-usage/) (requires-python:>=3.8.16), version: 20230501.22.28.942167 2023-05-13T13:40:52,082 Skipping link: No binaries permitted for certora-cli-alpha-roy-cert-1844-usage: https://files.pythonhosted.org/packages/c1/3f/0700dd582a1a6c7e4e1c3a7dbcf2e55aae01b599e3484d231f1c8ec1d63b/certora_cli_alpha_roy_CERT_1844_usage-20230501.22.28.942167-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-roy-cert-1844-usage/) (requires-python:>=3.8.16) 2023-05-13T13:40:52,082 Found link https://files.pythonhosted.org/packages/0c/2e/cd6113d5539551b42df1b8f871bc49b48e39d459d7ed9ec85c8aa6e409a8/certora-cli-alpha-roy-CERT-1844-usage-20230501.23.17.716.tar.gz (from https://pypi.org/simple/certora-cli-alpha-roy-cert-1844-usage/) (requires-python:>=3.8.16), version: 20230501.23.17.716 2023-05-13T13:40:52,082 Skipping link: No binaries permitted for certora-cli-alpha-roy-cert-1844-usage: https://files.pythonhosted.org/packages/ad/f2/9014c586406b46933f4dac81332775dbe283a7b40d7775a87f97c43310fd/certora_cli_alpha_roy_CERT_1844_usage-20230501.23.17.716-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-roy-cert-1844-usage/) (requires-python:>=3.8.16) 2023-05-13T13:40:52,083 Found link https://files.pythonhosted.org/packages/9b/fe/69d7127e10d516bb8e92f3bc40e6c75d5bcbea9b224bea817b909661acb0/certora-cli-alpha-roy-CERT-1844-usage-20230502.5.43.988532.tar.gz (from https://pypi.org/simple/certora-cli-alpha-roy-cert-1844-usage/) (requires-python:>=3.8.16), version: 20230502.5.43.988532 2023-05-13T13:40:52,083 Skipping link: No binaries permitted for certora-cli-alpha-roy-cert-1844-usage: https://files.pythonhosted.org/packages/b5/a6/34ee0de5191562c6444981643877cf114b62530ab00665cf71665e656d27/certora_cli_alpha_roy_CERT_1844_usage-20230502.5.43.988532-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-roy-cert-1844-usage/) (requires-python:>=3.8.16) 2023-05-13T13:40:52,084 Found link https://files.pythonhosted.org/packages/92/39/688135c9ada50fc0b701f8421291083e56bfc193f30e5f3a47e61476d4f1/certora-cli-alpha-roy-CERT-1844-usage-20230502.7.9.189440.tar.gz (from https://pypi.org/simple/certora-cli-alpha-roy-cert-1844-usage/) (requires-python:>=3.8.16), version: 20230502.7.9.189440 2023-05-13T13:40:52,084 Skipping link: No binaries permitted for certora-cli-alpha-roy-cert-1844-usage: https://files.pythonhosted.org/packages/63/8e/4bc40676c405a7bcaaef462070fbca1bbae6e1da55ddc4189a7dd9d7dac5/certora_cli_alpha_roy_CERT_1844_usage-20230502.7.9.189440-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-roy-cert-1844-usage/) (requires-python:>=3.8.16) 2023-05-13T13:40:52,085 Found link https://files.pythonhosted.org/packages/81/2e/c670e2321bd16cb28fc43dc45280c621fece12632eed1bb5b1a2539fdb5b/certora-cli-alpha-roy-CERT-1844-usage-20230502.8.13.343856.tar.gz (from https://pypi.org/simple/certora-cli-alpha-roy-cert-1844-usage/) (requires-python:>=3.8.16), version: 20230502.8.13.343856 2023-05-13T13:40:52,085 Skipping link: No binaries permitted for certora-cli-alpha-roy-cert-1844-usage: https://files.pythonhosted.org/packages/8b/12/e8d26c19a19980aa621d70b6ce65f3d396779cd7bff3d3a18c2b29ba15c0/certora_cli_alpha_roy_CERT_1844_usage-20230502.8.13.343856-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-roy-cert-1844-usage/) (requires-python:>=3.8.16) 2023-05-13T13:40:52,086 Found link https://files.pythonhosted.org/packages/92/72/0704ffcb8f430c43bfe5c467d9ec02f673d95b82a71f3ec3e784ac2275dc/certora-cli-alpha-roy-CERT-1844-usage-20230502.8.50.797734.tar.gz (from https://pypi.org/simple/certora-cli-alpha-roy-cert-1844-usage/) (requires-python:>=3.8.16), version: 20230502.8.50.797734 2023-05-13T13:40:52,086 Skipping link: No binaries permitted for certora-cli-alpha-roy-cert-1844-usage: https://files.pythonhosted.org/packages/81/bb/324a4ecf7c9bc72e1c1682a3fb1858f1cce6e420cb921870a98147829d4d/certora_cli_alpha_roy_CERT_1844_usage-20230502.8.50.797734-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-roy-cert-1844-usage/) (requires-python:>=3.8.16) 2023-05-13T13:40:52,086 Found link https://files.pythonhosted.org/packages/2e/72/5c467f693edfebd3b09e14c6d161b17e622864fb30e5fcc95f697e1a2d89/certora-cli-alpha-roy-CERT-1844-usage-20230502.14.17.563754.tar.gz (from https://pypi.org/simple/certora-cli-alpha-roy-cert-1844-usage/) (requires-python:>=3.8.16), version: 20230502.14.17.563754 2023-05-13T13:40:52,087 Skipping link: No binaries permitted for certora-cli-alpha-roy-cert-1844-usage: https://files.pythonhosted.org/packages/24/eb/c965fe2bcd3221655c7e370b1ddac0f47d0021900c134e3a6ebb774091a6/certora_cli_alpha_roy_CERT_1844_usage-20230502.14.17.563754-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-roy-cert-1844-usage/) (requires-python:>=3.8.16) 2023-05-13T13:40:52,087 Found link https://files.pythonhosted.org/packages/86/43/ef382c1b0b33c60141bd0f163ea6157adaea37413dff6f54284067499145/certora-cli-alpha-roy-CERT-1844-usage-20230502.17.27.343488.tar.gz (from https://pypi.org/simple/certora-cli-alpha-roy-cert-1844-usage/) (requires-python:>=3.8.16), version: 20230502.17.27.343488 2023-05-13T13:40:52,088 Skipping link: No binaries permitted for certora-cli-alpha-roy-cert-1844-usage: https://files.pythonhosted.org/packages/c2/f5/262d2c6397db42ce4df8c04024c6309f89058d1f2c3d9d4a3608d521d7e1/certora_cli_alpha_roy_CERT_1844_usage-20230502.17.27.343488-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-roy-cert-1844-usage/) (requires-python:>=3.8.16) 2023-05-13T13:40:52,088 Found link https://files.pythonhosted.org/packages/3d/bb/6b576552b8ae9e4fc146131c8cde8172477e1e7f1288f7bb9eac804c2f25/certora-cli-alpha-roy-CERT-1844-usage-20230502.18.9.631864.tar.gz (from https://pypi.org/simple/certora-cli-alpha-roy-cert-1844-usage/) (requires-python:>=3.8.16), version: 20230502.18.9.631864 2023-05-13T13:40:52,088 Skipping link: No binaries permitted for certora-cli-alpha-roy-cert-1844-usage: https://files.pythonhosted.org/packages/c1/e0/a9dfcf6705f4f47afd8a6d64de23c4863cc639fb61c5b36c480bcb3736f1/certora_cli_alpha_roy_CERT_1844_usage-20230502.18.9.631864-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-roy-cert-1844-usage/) (requires-python:>=3.8.16) 2023-05-13T13:40:52,089 Found link https://files.pythonhosted.org/packages/9b/2c/45e2c922f5037257610f368af096aa721b49944649a199c416b1c38c9d5b/certora-cli-alpha-roy-CERT-1844-usage-20230503.8.17.789702.tar.gz (from https://pypi.org/simple/certora-cli-alpha-roy-cert-1844-usage/) (requires-python:>=3.8.16), version: 20230503.8.17.789702 2023-05-13T13:40:52,089 Skipping link: No binaries permitted for certora-cli-alpha-roy-cert-1844-usage: https://files.pythonhosted.org/packages/fe/be/e12f36969dad252ee99f1ea2e2c7d6f635cf7a53574b34b508dee2faa9a9/certora_cli_alpha_roy_CERT_1844_usage-20230503.8.17.789702-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-roy-cert-1844-usage/) (requires-python:>=3.8.16) 2023-05-13T13:40:52,090 Found link https://files.pythonhosted.org/packages/ef/c5/f1464668f062118f4b0ac0b46b7a2fb09d3c4f8d047de227b02b3f13e36f/certora-cli-alpha-roy-CERT-1844-usage-20230503.8.53.104658.tar.gz (from https://pypi.org/simple/certora-cli-alpha-roy-cert-1844-usage/) (requires-python:>=3.8.16), version: 20230503.8.53.104658 2023-05-13T13:40:52,090 Skipping link: No binaries permitted for certora-cli-alpha-roy-cert-1844-usage: https://files.pythonhosted.org/packages/e3/fd/81cc70811849ee16c1b58243d8f882838fa53398f348044650cd364dadff/certora_cli_alpha_roy_CERT_1844_usage-20230503.8.53.104658-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-roy-cert-1844-usage/) (requires-python:>=3.8.16) 2023-05-13T13:40:52,091 Found link https://files.pythonhosted.org/packages/bf/9b/f25d3c36333fe6a0ca120e121f07da79c8236d9d34eae6f700ad09d683a0/certora-cli-alpha-roy-CERT-1844-usage-20230503.10.30.858784.tar.gz (from https://pypi.org/simple/certora-cli-alpha-roy-cert-1844-usage/) (requires-python:>=3.8.16), version: 20230503.10.30.858784 2023-05-13T13:40:52,091 Skipping link: No binaries permitted for certora-cli-alpha-roy-cert-1844-usage: https://files.pythonhosted.org/packages/f8/7a/fd05b0b132b1d641ca22a62706b72615ec87e8cb178d784b1487b51766ea/certora_cli_alpha_roy_CERT_1844_usage-20230503.10.30.858784-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-roy-cert-1844-usage/) (requires-python:>=3.8.16) 2023-05-13T13:40:52,091 Found link https://files.pythonhosted.org/packages/ca/22/77e43236fe494899f1d0425ab0c5ddb217b602efe280cc670ea237ce5297/certora-cli-alpha-roy-CERT-1844-usage-20230503.15.58.879686.tar.gz (from https://pypi.org/simple/certora-cli-alpha-roy-cert-1844-usage/) (requires-python:>=3.8.16), version: 20230503.15.58.879686 2023-05-13T13:40:52,092 Skipping link: No binaries permitted for certora-cli-alpha-roy-cert-1844-usage: https://files.pythonhosted.org/packages/4d/ac/a65bf8a214843c0bf4de8f5030b32e4380626016dacc79b0e7344d3a4239/certora_cli_alpha_roy_CERT_1844_usage-20230503.15.58.879686-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-roy-cert-1844-usage/) (requires-python:>=3.8.16) 2023-05-13T13:40:52,092 Found link https://files.pythonhosted.org/packages/be/57/02ae576d50c7641532f5f0810cf1bf97078eb08fb4a744dc087c455bc8fa/certora-cli-alpha-roy-CERT-1844-usage-20230503.17.59.177876.tar.gz (from https://pypi.org/simple/certora-cli-alpha-roy-cert-1844-usage/) (requires-python:>=3.8.16), version: 20230503.17.59.177876 2023-05-13T13:40:52,093 Skipping link: No binaries permitted for certora-cli-alpha-roy-cert-1844-usage: https://files.pythonhosted.org/packages/40/80/976167b25672dc93e0e53ccfb9a43089aadf8fde540eaf68542de6252e64/certora_cli_alpha_roy_CERT_1844_usage-20230503.17.59.177876-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-roy-cert-1844-usage/) (requires-python:>=3.8.16) 2023-05-13T13:40:52,093 Found link https://files.pythonhosted.org/packages/e2/80/c06f20fb3d37aaaf08507e15137349482d626ab9c8ddb166bfda2265bb62/certora-cli-alpha-roy-CERT-1844-usage-20230503.20.30.907788.tar.gz (from https://pypi.org/simple/certora-cli-alpha-roy-cert-1844-usage/) (requires-python:>=3.8.16), version: 20230503.20.30.907788 2023-05-13T13:40:52,093 Skipping link: No binaries permitted for certora-cli-alpha-roy-cert-1844-usage: https://files.pythonhosted.org/packages/9a/7e/0380274709abaee791c949193c989bd7374c1706e4a3fb1f96e7c8d14300/certora_cli_alpha_roy_CERT_1844_usage-20230503.20.30.907788-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-roy-cert-1844-usage/) (requires-python:>=3.8.16) 2023-05-13T13:40:52,094 Found link https://files.pythonhosted.org/packages/f6/85/86124eb7aae0b32db1328f7421f336473bd86f54053fb31306633279cb5d/certora-cli-alpha-roy-CERT-1844-usage-20230503.23.43.365671.tar.gz (from https://pypi.org/simple/certora-cli-alpha-roy-cert-1844-usage/) (requires-python:>=3.8.16), version: 20230503.23.43.365671 2023-05-13T13:40:52,094 Skipping link: No binaries permitted for certora-cli-alpha-roy-cert-1844-usage: https://files.pythonhosted.org/packages/c3/3c/8cf223f346e7622c3342c5061fa6bd070cc3d6225d144de58f4dd994ea2e/certora_cli_alpha_roy_CERT_1844_usage-20230503.23.43.365671-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-roy-cert-1844-usage/) (requires-python:>=3.8.16) 2023-05-13T13:40:52,095 Found link https://files.pythonhosted.org/packages/63/85/ee44a44f88e418c6095c80f00779d0c6f359193814e53f88e0350b35d255/certora-cli-alpha-roy-CERT-1844-usage-20230504.9.58.528177.tar.gz (from https://pypi.org/simple/certora-cli-alpha-roy-cert-1844-usage/) (requires-python:>=3.8.16), version: 20230504.9.58.528177 2023-05-13T13:40:52,095 Skipping link: No binaries permitted for certora-cli-alpha-roy-cert-1844-usage: https://files.pythonhosted.org/packages/2f/b9/75e70049eba7d124f19532931fc5b30759d8c9109a353145a00bd9b2b5f3/certora_cli_alpha_roy_CERT_1844_usage-20230504.9.58.528177-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-roy-cert-1844-usage/) (requires-python:>=3.8.16) 2023-05-13T13:40:52,096 Found link https://files.pythonhosted.org/packages/34/18/b8340e96e1f91cee79995238377c42e3b66ca5390a7f436ed8be9bd54d2f/certora-cli-alpha-roy-CERT-1844-usage-20230504.10.49.97340.tar.gz (from https://pypi.org/simple/certora-cli-alpha-roy-cert-1844-usage/) (requires-python:>=3.8.16), version: 20230504.10.49.97340 2023-05-13T13:40:52,096 Skipping link: No binaries permitted for certora-cli-alpha-roy-cert-1844-usage: https://files.pythonhosted.org/packages/0d/db/52b264b279e945f7434fbb520b4b77ab2d791a7381316b4757fce5f6fc75/certora_cli_alpha_roy_CERT_1844_usage-20230504.10.49.97340-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-roy-cert-1844-usage/) (requires-python:>=3.8.16) 2023-05-13T13:40:52,097 Found link https://files.pythonhosted.org/packages/ab/97/3e680e1cef732a13ce21d4a5ee00b932e6bf8bfdec1fb00d37f5331ac8ac/certora-cli-alpha-roy-CERT-1844-usage-20230504.11.52.251717.tar.gz (from https://pypi.org/simple/certora-cli-alpha-roy-cert-1844-usage/) (requires-python:>=3.8.16), version: 20230504.11.52.251717 2023-05-13T13:40:52,097 Skipping link: No binaries permitted for certora-cli-alpha-roy-cert-1844-usage: https://files.pythonhosted.org/packages/85/5c/7b70b913e2ca06b06c900215b2185654e22fc2bccc1b4599a0d167ced5d5/certora_cli_alpha_roy_CERT_1844_usage-20230504.11.52.251717-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-roy-cert-1844-usage/) (requires-python:>=3.8.16) 2023-05-13T13:40:52,097 Found link https://files.pythonhosted.org/packages/1b/83/127cba6e8ba08e8974eeabf6c6df2ce2b4e9c0550546cd32a04991f1c730/certora-cli-alpha-roy-CERT-1844-usage-20230504.12.23.939604.tar.gz (from https://pypi.org/simple/certora-cli-alpha-roy-cert-1844-usage/) (requires-python:>=3.8.16), version: 20230504.12.23.939604 2023-05-13T13:40:52,098 Skipping link: No binaries permitted for certora-cli-alpha-roy-cert-1844-usage: https://files.pythonhosted.org/packages/d1/59/8cd86d970d3cc919e0c10c928c195584ed33e555ab2faf48df7ba8d65dcf/certora_cli_alpha_roy_CERT_1844_usage-20230504.12.23.939604-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-roy-cert-1844-usage/) (requires-python:>=3.8.16) 2023-05-13T13:40:52,098 Fetching project page and analyzing links: https://www.piwheels.org/simple/certora-cli-alpha-roy-cert-1844-usage/ 2023-05-13T13:40:52,098 Getting page https://www.piwheels.org/simple/certora-cli-alpha-roy-cert-1844-usage/ 2023-05-13T13:40:52,099 Found index url https://www.piwheels.org/simple/ 2023-05-13T13:40:52,267 Fetched page https://www.piwheels.org/simple/certora-cli-alpha-roy-cert-1844-usage/ as text/html 2023-05-13T13:40:52,277 Skipping link: No binaries permitted for certora-cli-alpha-roy-cert-1844-usage: https://www.piwheels.org/simple/certora-cli-alpha-roy-cert-1844-usage/certora_cli_alpha_roy_CERT_1844_usage-20230504.12.23.939604-py3-none-any.whl#sha256=948c3606f30b9d1385782f31c98fd71aa535921963d52697a269c5b8f6904067 (from https://www.piwheels.org/simple/certora-cli-alpha-roy-cert-1844-usage/) (requires-python:>=3.8.16) 2023-05-13T13:40:52,277 Skipping link: No binaries permitted for certora-cli-alpha-roy-cert-1844-usage: https://www.piwheels.org/simple/certora-cli-alpha-roy-cert-1844-usage/certora_cli_alpha_roy_CERT_1844_usage-20230504.11.52.251717-py3-none-any.whl#sha256=e8600925de5877a72bcf8f14a76db2a7b3d030e8304fec827652a19e51051051 (from https://www.piwheels.org/simple/certora-cli-alpha-roy-cert-1844-usage/) (requires-python:>=3.8.16) 2023-05-13T13:40:52,277 Skipping link: No binaries permitted for certora-cli-alpha-roy-cert-1844-usage: https://www.piwheels.org/simple/certora-cli-alpha-roy-cert-1844-usage/certora_cli_alpha_roy_CERT_1844_usage-20230504.10.49.97340-py3-none-any.whl#sha256=75367402e5e926cb5f11428f92a8810515ee72bf9294c8d673c384596800ec53 (from https://www.piwheels.org/simple/certora-cli-alpha-roy-cert-1844-usage/) (requires-python:>=3.8.16) 2023-05-13T13:40:52,278 Skipping link: No binaries permitted for certora-cli-alpha-roy-cert-1844-usage: https://www.piwheels.org/simple/certora-cli-alpha-roy-cert-1844-usage/certora_cli_alpha_roy_CERT_1844_usage-20230504.9.58.528177-py3-none-any.whl#sha256=a6ee5b18cd960b4bd423fdf53ca9161d4d12226e7187f0c358a38bea5d9ccc75 (from https://www.piwheels.org/simple/certora-cli-alpha-roy-cert-1844-usage/) (requires-python:>=3.8.16) 2023-05-13T13:40:52,278 Skipping link: No binaries permitted for certora-cli-alpha-roy-cert-1844-usage: https://www.piwheels.org/simple/certora-cli-alpha-roy-cert-1844-usage/certora_cli_alpha_roy_CERT_1844_usage-20230503.23.43.365671-py3-none-any.whl#sha256=bdf10b5d12f8f1d227f6167f8ce9df7dee70e243641320a13932c72422e2885c (from https://www.piwheels.org/simple/certora-cli-alpha-roy-cert-1844-usage/) (requires-python:>=3.8.16) 2023-05-13T13:40:52,278 Skipping link: No binaries permitted for certora-cli-alpha-roy-cert-1844-usage: https://www.piwheels.org/simple/certora-cli-alpha-roy-cert-1844-usage/certora_cli_alpha_roy_CERT_1844_usage-20230503.20.30.907788-py3-none-any.whl#sha256=619c524d52389402f3e55672116000e16d2a15907c40ca985d16216875583389 (from https://www.piwheels.org/simple/certora-cli-alpha-roy-cert-1844-usage/) (requires-python:>=3.8.16) 2023-05-13T13:40:52,278 Skipping link: No binaries permitted for certora-cli-alpha-roy-cert-1844-usage: https://www.piwheels.org/simple/certora-cli-alpha-roy-cert-1844-usage/certora_cli_alpha_roy_CERT_1844_usage-20230503.17.59.177876-py3-none-any.whl#sha256=1bfa4b338859fe8c483164fabe1ec3484f00fee12085383c805d6fd749e6f2a9 (from https://www.piwheels.org/simple/certora-cli-alpha-roy-cert-1844-usage/) (requires-python:>=3.8.16) 2023-05-13T13:40:52,278 Skipping link: No binaries permitted for certora-cli-alpha-roy-cert-1844-usage: https://www.piwheels.org/simple/certora-cli-alpha-roy-cert-1844-usage/certora_cli_alpha_roy_CERT_1844_usage-20230503.15.58.879686-py3-none-any.whl#sha256=fb1bc4e58f90685d41b2727fb15d94ab8e6a2b0d72cf9e2f6d4529b0c3474b56 (from https://www.piwheels.org/simple/certora-cli-alpha-roy-cert-1844-usage/) (requires-python:>=3.8.16) 2023-05-13T13:40:52,279 Skipping link: No binaries permitted for certora-cli-alpha-roy-cert-1844-usage: https://www.piwheels.org/simple/certora-cli-alpha-roy-cert-1844-usage/certora_cli_alpha_roy_CERT_1844_usage-20230503.10.30.858784-py3-none-any.whl#sha256=a40fc72f1b85a25ae2a0e409a8cc918a77bd5654aa05a5f72de4a10407f87df8 (from https://www.piwheels.org/simple/certora-cli-alpha-roy-cert-1844-usage/) (requires-python:>=3.8.16) 2023-05-13T13:40:52,279 Skipping link: No binaries permitted for certora-cli-alpha-roy-cert-1844-usage: https://www.piwheels.org/simple/certora-cli-alpha-roy-cert-1844-usage/certora_cli_alpha_roy_CERT_1844_usage-20230503.8.53.104658-py3-none-any.whl#sha256=a8c49bde8a8ae89bdb41edfa76032819f8d56d369f539fe744011ea676b53d43 (from https://www.piwheels.org/simple/certora-cli-alpha-roy-cert-1844-usage/) (requires-python:>=3.8.16) 2023-05-13T13:40:52,279 Skipping link: No binaries permitted for certora-cli-alpha-roy-cert-1844-usage: https://www.piwheels.org/simple/certora-cli-alpha-roy-cert-1844-usage/certora_cli_alpha_roy_CERT_1844_usage-20230503.8.17.789702-py3-none-any.whl#sha256=52a2a765e1b0cbc865a7621bae20f248ad84e721e2ecacb502dbb0a87175e676 (from https://www.piwheels.org/simple/certora-cli-alpha-roy-cert-1844-usage/) (requires-python:>=3.8.16) 2023-05-13T13:40:52,279 Skipping link: No binaries permitted for certora-cli-alpha-roy-cert-1844-usage: https://www.piwheels.org/simple/certora-cli-alpha-roy-cert-1844-usage/certora_cli_alpha_roy_CERT_1844_usage-20230502.18.9.631864-py3-none-any.whl#sha256=31d7e98485946dff336f4704e9977f127afd822d65dbeaa1273ac07d04cc48cf (from https://www.piwheels.org/simple/certora-cli-alpha-roy-cert-1844-usage/) (requires-python:>=3.8.16) 2023-05-13T13:40:52,280 Skipping link: No binaries permitted for certora-cli-alpha-roy-cert-1844-usage: https://www.piwheels.org/simple/certora-cli-alpha-roy-cert-1844-usage/certora_cli_alpha_roy_CERT_1844_usage-20230502.17.27.343488-py3-none-any.whl#sha256=278c636e246d717631cccf5b2c971dd029aaa7b1fd55862f8679ad910692e19b (from https://www.piwheels.org/simple/certora-cli-alpha-roy-cert-1844-usage/) (requires-python:>=3.8.16) 2023-05-13T13:40:52,280 Skipping link: No binaries permitted for certora-cli-alpha-roy-cert-1844-usage: https://www.piwheels.org/simple/certora-cli-alpha-roy-cert-1844-usage/certora_cli_alpha_roy_CERT_1844_usage-20230502.14.17.563754-py3-none-any.whl#sha256=c32e59c4d16312b35e7b559d9b88e29653efc5e7d835c2f09420a57dffe12f38 (from https://www.piwheels.org/simple/certora-cli-alpha-roy-cert-1844-usage/) (requires-python:>=3.8.16) 2023-05-13T13:40:52,280 Skipping link: No binaries permitted for certora-cli-alpha-roy-cert-1844-usage: https://www.piwheels.org/simple/certora-cli-alpha-roy-cert-1844-usage/certora_cli_alpha_roy_CERT_1844_usage-20230502.8.50.797734-py3-none-any.whl#sha256=7b39e69a50dbd3a60b408ee9e42185c01ebcd488e9a591749ce2f245e748ec2a (from https://www.piwheels.org/simple/certora-cli-alpha-roy-cert-1844-usage/) (requires-python:>=3.8.16) 2023-05-13T13:40:52,280 Skipping link: No binaries permitted for certora-cli-alpha-roy-cert-1844-usage: https://www.piwheels.org/simple/certora-cli-alpha-roy-cert-1844-usage/certora_cli_alpha_roy_CERT_1844_usage-20230502.8.13.343856-py3-none-any.whl#sha256=35cdf7fb805c8124ca7c2f14752608cb93a36ab701d62740f065aec9bbc27d1f (from https://www.piwheels.org/simple/certora-cli-alpha-roy-cert-1844-usage/) (requires-python:>=3.8.16) 2023-05-13T13:40:52,280 Skipping link: No binaries permitted for certora-cli-alpha-roy-cert-1844-usage: https://www.piwheels.org/simple/certora-cli-alpha-roy-cert-1844-usage/certora_cli_alpha_roy_CERT_1844_usage-20230502.7.9.189440-py3-none-any.whl#sha256=c45e0c3a6b381509a393d302c27c4d69c1eb9b77b0703c5dec3cf5ead4fd9ba5 (from https://www.piwheels.org/simple/certora-cli-alpha-roy-cert-1844-usage/) (requires-python:>=3.8.16) 2023-05-13T13:40:52,281 Skipping link: No binaries permitted for certora-cli-alpha-roy-cert-1844-usage: https://www.piwheels.org/simple/certora-cli-alpha-roy-cert-1844-usage/certora_cli_alpha_roy_CERT_1844_usage-20230502.5.43.988532-py3-none-any.whl#sha256=108b05c28f94de48b965dcec8ae92b5c8ea0e7667831d0aa2b7f895244221da6 (from https://www.piwheels.org/simple/certora-cli-alpha-roy-cert-1844-usage/) (requires-python:>=3.8.16) 2023-05-13T13:40:52,281 Skipping link: No binaries permitted for certora-cli-alpha-roy-cert-1844-usage: https://www.piwheels.org/simple/certora-cli-alpha-roy-cert-1844-usage/certora_cli_alpha_roy_CERT_1844_usage-20230501.23.17.716-py3-none-any.whl#sha256=f86fbccc05c2dff6aabd6d8b7e76d3ccc06fe25923b793c2efb8479c57936915 (from https://www.piwheels.org/simple/certora-cli-alpha-roy-cert-1844-usage/) (requires-python:>=3.8.16) 2023-05-13T13:40:52,281 Skipping link: No binaries permitted for certora-cli-alpha-roy-cert-1844-usage: https://www.piwheels.org/simple/certora-cli-alpha-roy-cert-1844-usage/certora_cli_alpha_roy_CERT_1844_usage-20230501.22.28.942167-py3-none-any.whl#sha256=69c29b3585872550794159ea34ee5eb3c15ceb32a8c7344292961f370e2d6265 (from https://www.piwheels.org/simple/certora-cli-alpha-roy-cert-1844-usage/) (requires-python:>=3.8.16) 2023-05-13T13:40:52,281 Skipping link: No binaries permitted for certora-cli-alpha-roy-cert-1844-usage: https://www.piwheels.org/simple/certora-cli-alpha-roy-cert-1844-usage/certora_cli_alpha_roy_CERT_1844_usage-20230501.21.45.837799-py3-none-any.whl#sha256=6a06f13b36003064eb6556c9e1cf3519357481be6c536c51b9aeef9734943718 (from https://www.piwheels.org/simple/certora-cli-alpha-roy-cert-1844-usage/) (requires-python:>=3.8.16) 2023-05-13T13:40:52,281 Skipping link: No binaries permitted for certora-cli-alpha-roy-cert-1844-usage: https://www.piwheels.org/simple/certora-cli-alpha-roy-cert-1844-usage/certora_cli_alpha_roy_CERT_1844_usage-20230501.21.0.355985-py3-none-any.whl#sha256=4a0177c77b53cad367f81fc73ebcb37feb75828ce31e596bc24bf75d6ec0ec90 (from https://www.piwheels.org/simple/certora-cli-alpha-roy-cert-1844-usage/) (requires-python:>=3.8.16) 2023-05-13T13:40:52,282 Skipping link: No binaries permitted for certora-cli-alpha-roy-cert-1844-usage: https://www.piwheels.org/simple/certora-cli-alpha-roy-cert-1844-usage/certora_cli_alpha_roy_CERT_1844_usage-20230501.18.13.819788-py3-none-any.whl#sha256=53fc396dca83384bdfc4f4a8b4e671892ec2b44913bbc0011b78a30ee2b1d866 (from https://www.piwheels.org/simple/certora-cli-alpha-roy-cert-1844-usage/) (requires-python:>=3.8.16) 2023-05-13T13:40:52,282 Skipping link: No binaries permitted for certora-cli-alpha-roy-cert-1844-usage: https://www.piwheels.org/simple/certora-cli-alpha-roy-cert-1844-usage/certora_cli_alpha_roy_CERT_1844_usage-20230501.17.19.603152-py3-none-any.whl#sha256=3137c35777bfc956453b76891ceb1c7e982a9c2ddb9b049189cfec73c426de07 (from https://www.piwheels.org/simple/certora-cli-alpha-roy-cert-1844-usage/) (requires-python:>=3.8.16) 2023-05-13T13:40:52,282 Skipping link: No binaries permitted for certora-cli-alpha-roy-cert-1844-usage: https://www.piwheels.org/simple/certora-cli-alpha-roy-cert-1844-usage/certora_cli_alpha_roy_CERT_1844_usage-20230501.16.34.128034-py3-none-any.whl#sha256=1166a638218ac86c3d85e261eccf12863b189723a8e6242a19b36f1ea85d8653 (from https://www.piwheels.org/simple/certora-cli-alpha-roy-cert-1844-usage/) (requires-python:>=3.8.16) 2023-05-13T13:40:52,282 Skipping link: No binaries permitted for certora-cli-alpha-roy-cert-1844-usage: https://www.piwheels.org/simple/certora-cli-alpha-roy-cert-1844-usage/certora_cli_alpha_roy_CERT_1844_usage-20230501.15.50.742045-py3-none-any.whl#sha256=2b77c04dcb228c3d7930671d3e13a2f55900a21ee7a169c2fe2703c9b4c2bcc1 (from https://www.piwheels.org/simple/certora-cli-alpha-roy-cert-1844-usage/) (requires-python:>=3.8.16) 2023-05-13T13:40:52,282 Skipping link: No binaries permitted for certora-cli-alpha-roy-cert-1844-usage: https://www.piwheels.org/simple/certora-cli-alpha-roy-cert-1844-usage/certora_cli_alpha_roy_CERT_1844_usage-20230501.12.21.124466-py3-none-any.whl#sha256=7e6a872e6a296fdb6f1dfda1abf96945679bb26c7f0fb614fe33a220acbf3e65 (from https://www.piwheels.org/simple/certora-cli-alpha-roy-cert-1844-usage/) (requires-python:>=3.8.16) 2023-05-13T13:40:52,283 Skipping link: No binaries permitted for certora-cli-alpha-roy-cert-1844-usage: https://www.piwheels.org/simple/certora-cli-alpha-roy-cert-1844-usage/certora_cli_alpha_roy_CERT_1844_usage-20230501.11.30.698619-py3-none-any.whl#sha256=a0afdd1adf98c2981983e0a6ba2df181d35400c719d1b6cf8b7219fba17d9328 (from https://www.piwheels.org/simple/certora-cli-alpha-roy-cert-1844-usage/) (requires-python:>=3.8.16) 2023-05-13T13:40:52,283 Skipping link: No binaries permitted for certora-cli-alpha-roy-cert-1844-usage: https://www.piwheels.org/simple/certora-cli-alpha-roy-cert-1844-usage/certora_cli_alpha_roy_CERT_1844_usage-20230501.10.56.711782-py3-none-any.whl#sha256=689b5a259aafe4bce3426b8d568c018e084725638ea8d88fc3aba5b718fb5f13 (from https://www.piwheels.org/simple/certora-cli-alpha-roy-cert-1844-usage/) (requires-python:>=3.8.16) 2023-05-13T13:40:52,283 Skipping link: No binaries permitted for certora-cli-alpha-roy-cert-1844-usage: https://www.piwheels.org/simple/certora-cli-alpha-roy-cert-1844-usage/certora_cli_alpha_roy_CERT_1844_usage-20230430.18.40.62439-py3-none-any.whl#sha256=5038f8272bcef72098d80043295639d077b3b2260c509bbf5c0e6f8a42a139e7 (from https://www.piwheels.org/simple/certora-cli-alpha-roy-cert-1844-usage/) (requires-python:>=3.8.16) 2023-05-13T13:40:52,283 Skipping link: not a file: https://www.piwheels.org/simple/certora-cli-alpha-roy-cert-1844-usage/ 2023-05-13T13:40:52,283 Skipping link: not a file: https://pypi.org/simple/certora-cli-alpha-roy-cert-1844-usage/ 2023-05-13T13:40:52,304 Given no hashes to check 1 links for project 'certora-cli-alpha-roy-cert-1844-usage': discarding no candidates 2023-05-13T13:40:52,321 Collecting certora-cli-alpha-roy-cert-1844-usage==20230430.18.40.62439 2023-05-13T13:40:52,323 Created temporary directory: /tmp/pip-unpack-1wuh_t6j 2023-05-13T13:40:52,631 Downloading certora-cli-alpha-roy-CERT-1844-usage-20230430.18.40.62439.tar.gz (38.3 MB) 2023-05-13T13:41:02,662 Added certora-cli-alpha-roy-cert-1844-usage==20230430.18.40.62439 from https://files.pythonhosted.org/packages/15/16/d23cb838ad20729b31878042c732c77a1723c4c754af5f551b0931f91d30/certora-cli-alpha-roy-CERT-1844-usage-20230430.18.40.62439.tar.gz to build tracker '/tmp/pip-build-tracker-ogp3vrpq' 2023-05-13T13:41:02,664 Running setup.py (path:/tmp/pip-wheel-giu14j7h/certora-cli-alpha-roy-cert-1844-usage_5654d6c2b51043c9b695a80c953211fe/setup.py) egg_info for package certora-cli-alpha-roy-cert-1844-usage 2023-05-13T13:41:02,665 Created temporary directory: /tmp/pip-pip-egg-info-wfax6mh0 2023-05-13T13:41:02,665 Preparing metadata (setup.py): started 2023-05-13T13:41:02,666 Running command python setup.py egg_info 2023-05-13T13:41:03,247 /usr/local/lib/python3.9/dist-packages/setuptools/dist.py:519: InformationOnly: Normalizing '20230430.18.40.062439' to '20230430.18.40.62439' 2023-05-13T13:41:03,247 self.metadata.version = self._normalize_version( 2023-05-13T13:41:03,295 running egg_info 2023-05-13T13:41:03,297 creating /tmp/pip-pip-egg-info-wfax6mh0/certora_cli_alpha_roy_CERT_1844_usage.egg-info 2023-05-13T13:41:03,322 writing /tmp/pip-pip-egg-info-wfax6mh0/certora_cli_alpha_roy_CERT_1844_usage.egg-info/PKG-INFO 2023-05-13T13:41:03,324 writing dependency_links to /tmp/pip-pip-egg-info-wfax6mh0/certora_cli_alpha_roy_CERT_1844_usage.egg-info/dependency_links.txt 2023-05-13T13:41:03,326 writing entry points to /tmp/pip-pip-egg-info-wfax6mh0/certora_cli_alpha_roy_CERT_1844_usage.egg-info/entry_points.txt 2023-05-13T13:41:03,328 writing requirements to /tmp/pip-pip-egg-info-wfax6mh0/certora_cli_alpha_roy_CERT_1844_usage.egg-info/requires.txt 2023-05-13T13:41:03,329 writing top-level names to /tmp/pip-pip-egg-info-wfax6mh0/certora_cli_alpha_roy_CERT_1844_usage.egg-info/top_level.txt 2023-05-13T13:41:03,330 writing manifest file '/tmp/pip-pip-egg-info-wfax6mh0/certora_cli_alpha_roy_CERT_1844_usage.egg-info/SOURCES.txt' 2023-05-13T13:41:03,415 reading manifest file '/tmp/pip-pip-egg-info-wfax6mh0/certora_cli_alpha_roy_CERT_1844_usage.egg-info/SOURCES.txt' 2023-05-13T13:41:03,416 reading manifest template 'MANIFEST.in' 2023-05-13T13:41:03,426 adding license file 'LICENSE' 2023-05-13T13:41:03,430 writing manifest file '/tmp/pip-pip-egg-info-wfax6mh0/certora_cli_alpha_roy_CERT_1844_usage.egg-info/SOURCES.txt' 2023-05-13T13:41:03,493 Preparing metadata (setup.py): finished with status 'done' 2023-05-13T13:41:03,498 Source in /tmp/pip-wheel-giu14j7h/certora-cli-alpha-roy-cert-1844-usage_5654d6c2b51043c9b695a80c953211fe has version 20230430.18.40.62439, which satisfies requirement certora-cli-alpha-roy-cert-1844-usage==20230430.18.40.62439 from https://files.pythonhosted.org/packages/15/16/d23cb838ad20729b31878042c732c77a1723c4c754af5f551b0931f91d30/certora-cli-alpha-roy-CERT-1844-usage-20230430.18.40.62439.tar.gz 2023-05-13T13:41:03,499 Removed certora-cli-alpha-roy-cert-1844-usage==20230430.18.40.62439 from https://files.pythonhosted.org/packages/15/16/d23cb838ad20729b31878042c732c77a1723c4c754af5f551b0931f91d30/certora-cli-alpha-roy-CERT-1844-usage-20230430.18.40.62439.tar.gz from build tracker '/tmp/pip-build-tracker-ogp3vrpq' 2023-05-13T13:41:03,506 Created temporary directory: /tmp/pip-unpack-_2qt1c4l 2023-05-13T13:41:03,507 Building wheels for collected packages: certora-cli-alpha-roy-cert-1844-usage 2023-05-13T13:41:03,511 Created temporary directory: /tmp/pip-wheel-_igxmqf0 2023-05-13T13:41:03,511 Building wheel for certora-cli-alpha-roy-cert-1844-usage (setup.py): started 2023-05-13T13:41:03,512 Destination directory: /tmp/pip-wheel-_igxmqf0 2023-05-13T13:41:03,513 Running command python setup.py bdist_wheel 2023-05-13T13:41:04,068 /usr/local/lib/python3.9/dist-packages/setuptools/dist.py:519: InformationOnly: Normalizing '20230430.18.40.062439' to '20230430.18.40.62439' 2023-05-13T13:41:04,069 self.metadata.version = self._normalize_version( 2023-05-13T13:41:04,335 running bdist_wheel 2023-05-13T13:41:04,618 running build 2023-05-13T13:41:04,619 running build_py 2023-05-13T13:41:04,646 creating build 2023-05-13T13:41:04,647 creating build/lib 2023-05-13T13:41:04,647 creating build/lib/certora_jars 2023-05-13T13:41:04,649 copying certora_jars/__init__.py -> build/lib/certora_jars 2023-05-13T13:41:04,651 creating build/lib/certora_cli 2023-05-13T13:41:04,652 copying certora_cli/__init__.py -> build/lib/certora_cli 2023-05-13T13:41:04,654 copying certora_cli/certoraRun.py -> build/lib/certora_cli 2023-05-13T13:41:04,656 copying certora_cli/certoraMutate.py -> build/lib/certora_cli 2023-05-13T13:41:04,659 creating build/lib/certora_cli/Shared 2023-05-13T13:41:04,660 copying certora_cli/Shared/certoraTester.py -> build/lib/certora_cli/Shared 2023-05-13T13:41:04,663 copying certora_cli/Shared/__init__.py -> build/lib/certora_cli/Shared 2023-05-13T13:41:04,664 copying certora_cli/Shared/certoraLogging.py -> build/lib/certora_cli/Shared 2023-05-13T13:41:04,667 copying certora_cli/Shared/certoraUtils.py -> build/lib/certora_cli/Shared 2023-05-13T13:41:04,671 creating build/lib/certora_cli/EVMVerifier 2023-05-13T13:41:04,672 copying certora_cli/EVMVerifier/certoraContext.py -> build/lib/certora_cli/EVMVerifier 2023-05-13T13:41:04,675 copying certora_cli/EVMVerifier/certoraContextValidator.py -> build/lib/certora_cli/EVMVerifier 2023-05-13T13:41:04,679 copying certora_cli/EVMVerifier/certoraType.py -> build/lib/certora_cli/EVMVerifier 2023-05-13T13:41:04,681 copying certora_cli/EVMVerifier/__init__.py -> build/lib/certora_cli/EVMVerifier 2023-05-13T13:41:04,683 copying certora_cli/EVMVerifier/certoraContextAttribute.py -> build/lib/certora_cli/EVMVerifier 2023-05-13T13:41:04,686 copying certora_cli/EVMVerifier/certoraCollectRunMetadata.py -> build/lib/certora_cli/EVMVerifier 2023-05-13T13:41:04,689 copying certora_cli/EVMVerifier/certoraConfigIO.py -> build/lib/certora_cli/EVMVerifier 2023-05-13T13:41:04,691 copying certora_cli/EVMVerifier/certoraCloudIO.py -> build/lib/certora_cli/EVMVerifier 2023-05-13T13:41:04,695 copying certora_cli/EVMVerifier/certoraBuild.py -> build/lib/certora_cli/EVMVerifier 2023-05-13T13:41:04,703 copying certora_cli/EVMVerifier/certoraJobList.py -> build/lib/certora_cli/EVMVerifier 2023-05-13T13:41:04,706 copying certora_cli/EVMVerifier/certoraValidateFuncs.py -> build/lib/certora_cli/EVMVerifier 2023-05-13T13:41:04,709 copying certora_cli/EVMVerifier/certoraContextClass.py -> build/lib/certora_cli/EVMVerifier 2023-05-13T13:41:04,711 copying certora_cli/EVMVerifier/certoraNodeFilters.py -> build/lib/certora_cli/EVMVerifier 2023-05-13T13:41:04,714 creating build/lib/certora_cli/EVMVerifier/Compiler 2023-05-13T13:41:04,714 copying certora_cli/EVMVerifier/Compiler/CompilerCollector.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-05-13T13:41:04,717 copying certora_cli/EVMVerifier/Compiler/__init__.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-05-13T13:41:04,719 copying certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-05-13T13:41:04,722 copying certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-05-13T13:41:04,724 copying certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-05-13T13:41:04,726 running egg_info 2023-05-13T13:41:04,786 writing certora_cli_alpha_roy_CERT_1844_usage.egg-info/PKG-INFO 2023-05-13T13:41:04,788 writing dependency_links to certora_cli_alpha_roy_CERT_1844_usage.egg-info/dependency_links.txt 2023-05-13T13:41:04,790 writing entry points to certora_cli_alpha_roy_CERT_1844_usage.egg-info/entry_points.txt 2023-05-13T13:41:04,791 writing requirements to certora_cli_alpha_roy_CERT_1844_usage.egg-info/requires.txt 2023-05-13T13:41:04,792 writing top-level names to certora_cli_alpha_roy_CERT_1844_usage.egg-info/top_level.txt 2023-05-13T13:41:04,823 reading manifest file 'certora_cli_alpha_roy_CERT_1844_usage.egg-info/SOURCES.txt' 2023-05-13T13:41:04,826 reading manifest template 'MANIFEST.in' 2023-05-13T13:41:04,837 adding license file 'LICENSE' 2023-05-13T13:41:04,841 writing manifest file 'certora_cli_alpha_roy_CERT_1844_usage.egg-info/SOURCES.txt' 2023-05-13T13:41:04,844 copying certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/lib/certora_jars 2023-05-13T13:41:04,846 copying certora_jars/MutationTest.jar -> build/lib/certora_jars 2023-05-13T13:41:05,072 copying certora_jars/Typechecker.3.6.5.jar -> build/lib/certora_jars 2023-05-13T13:41:05,256 copying certora_jars/Typechecker.jar -> build/lib/certora_jars 2023-05-13T13:41:05,453 copying certora_jars/gambit-linux -> build/lib/certora_jars 2023-05-13T13:41:05,552 copying certora_jars/gambit-macos -> build/lib/certora_jars 2023-05-13T13:41:05,686 /usr/local/lib/python3.9/dist-packages/setuptools/_distutils/cmd.py:66: SetuptoolsDeprecationWarning: setup.py install is deprecated. 2023-05-13T13:41:05,686 !! 2023-05-13T13:41:05,687 ******************************************************************************** 2023-05-13T13:41:05,687 Please avoid running ``setup.py`` directly. 2023-05-13T13:41:05,687 Instead, use pypa/build, pypa/installer, pypa/build or 2023-05-13T13:41:05,687 other standards-based tools. 2023-05-13T13:41:05,687 See https://blog.ganssle.io/articles/2021/10/setup-py-deprecated.html for details. 2023-05-13T13:41:05,688 ******************************************************************************** 2023-05-13T13:41:05,688 !! 2023-05-13T13:41:05,688 self.initialize_options() 2023-05-13T13:41:05,713 installing to build/bdist.linux-aarch64/wheel 2023-05-13T13:41:05,713 running install 2023-05-13T13:41:05,739 running install_lib 2023-05-13T13:41:05,765 creating build/bdist.linux-aarch64 2023-05-13T13:41:05,766 creating build/bdist.linux-aarch64/wheel 2023-05-13T13:41:05,768 creating build/bdist.linux-aarch64/wheel/certora_jars 2023-05-13T13:41:05,769 copying build/lib/certora_jars/MutationTest.jar -> build/bdist.linux-aarch64/wheel/certora_jars 2023-05-13T13:41:06,069 copying build/lib/certora_jars/__init__.py -> build/bdist.linux-aarch64/wheel/certora_jars 2023-05-13T13:41:06,074 copying build/lib/certora_jars/Typechecker.jar -> build/bdist.linux-aarch64/wheel/certora_jars 2023-05-13T13:41:06,383 copying build/lib/certora_jars/gambit-macos -> build/bdist.linux-aarch64/wheel/certora_jars 2023-05-13T13:41:06,479 copying build/lib/certora_jars/gambit-linux -> build/bdist.linux-aarch64/wheel/certora_jars 2023-05-13T13:41:06,587 copying build/lib/certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/bdist.linux-aarch64/wheel/certora_jars 2023-05-13T13:41:06,589 copying build/lib/certora_jars/Typechecker.3.6.5.jar -> build/bdist.linux-aarch64/wheel/certora_jars 2023-05-13T13:41:06,746 creating build/bdist.linux-aarch64/wheel/certora_cli 2023-05-13T13:41:06,748 copying build/lib/certora_cli/__init__.py -> build/bdist.linux-aarch64/wheel/certora_cli 2023-05-13T13:41:06,750 creating build/bdist.linux-aarch64/wheel/certora_cli/Shared 2023-05-13T13:41:06,752 copying build/lib/certora_cli/Shared/certoraTester.py -> build/bdist.linux-aarch64/wheel/certora_cli/Shared 2023-05-13T13:41:06,754 copying build/lib/certora_cli/Shared/__init__.py -> build/bdist.linux-aarch64/wheel/certora_cli/Shared 2023-05-13T13:41:06,756 copying build/lib/certora_cli/Shared/certoraLogging.py -> build/bdist.linux-aarch64/wheel/certora_cli/Shared 2023-05-13T13:41:06,759 copying build/lib/certora_cli/Shared/certoraUtils.py -> build/bdist.linux-aarch64/wheel/certora_cli/Shared 2023-05-13T13:41:06,763 copying build/lib/certora_cli/certoraRun.py -> build/bdist.linux-aarch64/wheel/certora_cli 2023-05-13T13:41:06,765 copying build/lib/certora_cli/certoraMutate.py -> build/bdist.linux-aarch64/wheel/certora_cli 2023-05-13T13:41:06,768 creating build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-13T13:41:06,770 copying build/lib/certora_cli/EVMVerifier/certoraContext.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-13T13:41:06,773 copying build/lib/certora_cli/EVMVerifier/certoraContextValidator.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-13T13:41:06,777 copying build/lib/certora_cli/EVMVerifier/certoraType.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-13T13:41:06,780 copying build/lib/certora_cli/EVMVerifier/__init__.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-13T13:41:06,782 copying build/lib/certora_cli/EVMVerifier/certoraContextAttribute.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-13T13:41:06,785 copying build/lib/certora_cli/EVMVerifier/certoraCollectRunMetadata.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-13T13:41:06,788 copying build/lib/certora_cli/EVMVerifier/certoraConfigIO.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-13T13:41:06,791 copying build/lib/certora_cli/EVMVerifier/certoraCloudIO.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-13T13:41:06,795 creating build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler 2023-05-13T13:41:06,796 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollector.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler 2023-05-13T13:41:06,799 copying build/lib/certora_cli/EVMVerifier/Compiler/__init__.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler 2023-05-13T13:41:06,801 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler 2023-05-13T13:41:06,805 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler 2023-05-13T13:41:06,807 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler 2023-05-13T13:41:06,810 copying build/lib/certora_cli/EVMVerifier/certoraBuild.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-13T13:41:06,818 copying build/lib/certora_cli/EVMVerifier/certoraJobList.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-13T13:41:06,820 copying build/lib/certora_cli/EVMVerifier/certoraValidateFuncs.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-13T13:41:06,824 copying build/lib/certora_cli/EVMVerifier/certoraContextClass.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-13T13:41:06,826 copying build/lib/certora_cli/EVMVerifier/certoraNodeFilters.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-13T13:41:06,828 running install_egg_info 2023-05-13T13:41:06,859 Copying certora_cli_alpha_roy_CERT_1844_usage.egg-info to build/bdist.linux-aarch64/wheel/certora_cli_alpha_roy_CERT_1844_usage-20230430.18.40.62439-py3.9.egg-info 2023-05-13T13:41:06,871 running install_scripts 2023-05-13T13:41:06,889 adding license file "LICENSE" (matched pattern "LICEN[CS]E*") 2023-05-13T13:41:06,894 creating build/bdist.linux-aarch64/wheel/certora_cli_alpha_roy_CERT_1844_usage-20230430.18.40.62439.dist-info/WHEEL 2023-05-13T13:41:06,897 creating '/tmp/pip-wheel-_igxmqf0/certora_cli_alpha_roy_CERT_1844_usage-20230430.18.40.62439-py3-none-any.whl' and adding 'build/bdist.linux-aarch64/wheel' to it 2023-05-13T13:41:06,900 adding 'certora_cli/__init__.py' 2023-05-13T13:41:06,902 adding 'certora_cli/certoraMutate.py' 2023-05-13T13:41:06,905 adding 'certora_cli/certoraRun.py' 2023-05-13T13:41:06,907 adding 'certora_cli/EVMVerifier/__init__.py' 2023-05-13T13:41:06,929 adding 'certora_cli/EVMVerifier/certoraBuild.py' 2023-05-13T13:41:06,936 adding 'certora_cli/EVMVerifier/certoraCloudIO.py' 2023-05-13T13:41:06,939 adding 'certora_cli/EVMVerifier/certoraCollectRunMetadata.py' 2023-05-13T13:41:06,941 adding 'certora_cli/EVMVerifier/certoraConfigIO.py' 2023-05-13T13:41:06,946 adding 'certora_cli/EVMVerifier/certoraContext.py' 2023-05-13T13:41:06,950 adding 'certora_cli/EVMVerifier/certoraContextAttribute.py' 2023-05-13T13:41:06,952 adding 'certora_cli/EVMVerifier/certoraContextClass.py' 2023-05-13T13:41:06,958 adding 'certora_cli/EVMVerifier/certoraContextValidator.py' 2023-05-13T13:41:06,961 adding 'certora_cli/EVMVerifier/certoraJobList.py' 2023-05-13T13:41:06,962 adding 'certora_cli/EVMVerifier/certoraNodeFilters.py' 2023-05-13T13:41:06,965 adding 'certora_cli/EVMVerifier/certoraType.py' 2023-05-13T13:41:06,968 adding 'certora_cli/EVMVerifier/certoraValidateFuncs.py' 2023-05-13T13:41:06,971 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollector.py' 2023-05-13T13:41:06,973 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py' 2023-05-13T13:41:06,974 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py' 2023-05-13T13:41:06,978 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py' 2023-05-13T13:41:06,980 adding 'certora_cli/EVMVerifier/Compiler/__init__.py' 2023-05-13T13:41:06,982 adding 'certora_cli/Shared/__init__.py' 2023-05-13T13:41:06,984 adding 'certora_cli/Shared/certoraLogging.py' 2023-05-13T13:41:06,986 adding 'certora_cli/Shared/certoraTester.py' 2023-05-13T13:41:06,992 adding 'certora_cli/Shared/certoraUtils.py' 2023-05-13T13:41:06,995 adding 'certora_jars/CERTORA-CLI-VERSION-METADATA.json' 2023-05-13T13:41:08,566 adding 'certora_jars/MutationTest.jar' 2023-05-13T13:41:09,873 adding 'certora_jars/Typechecker.3.6.5.jar' 2023-05-13T13:41:11,353 adding 'certora_jars/Typechecker.jar' 2023-05-13T13:41:11,432 adding 'certora_jars/__init__.py' 2023-05-13T13:41:12,283 adding 'certora_jars/gambit-linux' 2023-05-13T13:41:13,137 adding 'certora_jars/gambit-macos' 2023-05-13T13:41:13,173 adding 'certora_cli_alpha_roy_CERT_1844_usage-20230430.18.40.62439.dist-info/LICENSE' 2023-05-13T13:41:13,174 adding 'certora_cli_alpha_roy_CERT_1844_usage-20230430.18.40.62439.dist-info/METADATA' 2023-05-13T13:41:13,175 adding 'certora_cli_alpha_roy_CERT_1844_usage-20230430.18.40.62439.dist-info/WHEEL' 2023-05-13T13:41:13,176 adding 'certora_cli_alpha_roy_CERT_1844_usage-20230430.18.40.62439.dist-info/entry_points.txt' 2023-05-13T13:41:13,178 adding 'certora_cli_alpha_roy_CERT_1844_usage-20230430.18.40.62439.dist-info/top_level.txt' 2023-05-13T13:41:13,179 adding 'certora_cli_alpha_roy_CERT_1844_usage-20230430.18.40.62439.dist-info/RECORD' 2023-05-13T13:41:13,766 removing build/bdist.linux-aarch64/wheel 2023-05-13T13:41:13,912 Building wheel for certora-cli-alpha-roy-cert-1844-usage (setup.py): finished with status 'done' 2023-05-13T13:41:14,234 Created wheel for certora-cli-alpha-roy-cert-1844-usage: filename=certora_cli_alpha_roy_CERT_1844_usage-20230430.18.40.62439-py3-none-any.whl size=38339709 sha256=15f4ad0275cdd145d757a8148fa02c01f625ff3244368824eb00e82632ba5ce1 2023-05-13T13:41:14,235 Stored in directory: /tmp/pip-ephem-wheel-cache-eudfccy7/wheels/c4/83/3a/689ae86b06256076073bf06126d74c6ca35e885ef235eeca2a 2023-05-13T13:41:14,264 Successfully built certora-cli-alpha-roy-cert-1844-usage 2023-05-13T13:41:15,189 Removed build tracker: '/tmp/pip-build-tracker-ogp3vrpq'