2023-05-13T14:35:51,398 Created temporary directory: /tmp/pip-build-tracker-x30papft 2023-05-13T14:35:51,400 Initialized build tracking at /tmp/pip-build-tracker-x30papft 2023-05-13T14:35:51,401 Created build tracker: /tmp/pip-build-tracker-x30papft 2023-05-13T14:35:51,401 Entered build tracker: /tmp/pip-build-tracker-x30papft 2023-05-13T14:35:51,402 Created temporary directory: /tmp/pip-wheel-0gr702dx 2023-05-13T14:35:51,412 Created temporary directory: /tmp/pip-ephem-wheel-cache-35c5ofj4 2023-05-13T14:35:51,463 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple 2023-05-13T14:35:51,472 2 location(s) to search for versions of certora-cli-alpha-rahav-cert-1849: 2023-05-13T14:35:51,472 * https://pypi.org/simple/certora-cli-alpha-rahav-cert-1849/ 2023-05-13T14:35:51,472 * https://www.piwheels.org/simple/certora-cli-alpha-rahav-cert-1849/ 2023-05-13T14:35:51,473 Fetching project page and analyzing links: https://pypi.org/simple/certora-cli-alpha-rahav-cert-1849/ 2023-05-13T14:35:51,474 Getting page https://pypi.org/simple/certora-cli-alpha-rahav-cert-1849/ 2023-05-13T14:35:51,479 Found index url https://pypi.org/simple/ 2023-05-13T14:35:51,586 Fetched page https://pypi.org/simple/certora-cli-alpha-rahav-cert-1849/ as application/vnd.pypi.simple.v1+json 2023-05-13T14:35:51,592 Link requires a different Python (3.7.3 not in: '>=3.8.16'): https://files.pythonhosted.org/packages/fb/2d/b6f601bbdbd48e71e9f8329b4932f82ae7ad90ea7dbe2005cd2113c025ef/certora-cli-alpha-rahav-CERT-1849-20230501.9.3.679493.tar.gz (from https://pypi.org/simple/certora-cli-alpha-rahav-cert-1849/) (requires-python:>=3.8.16) 2023-05-13T14:35:51,592 Skipping link: 20230501.9.3.679493 Requires-Python >=3.8.16: https://files.pythonhosted.org/packages/fb/2d/b6f601bbdbd48e71e9f8329b4932f82ae7ad90ea7dbe2005cd2113c025ef/certora-cli-alpha-rahav-CERT-1849-20230501.9.3.679493.tar.gz (from https://pypi.org/simple/certora-cli-alpha-rahav-cert-1849/) (requires-python:>=3.8.16) 2023-05-13T14:35:51,593 Skipping link: No binaries permitted for certora-cli-alpha-rahav-cert-1849: https://files.pythonhosted.org/packages/60/73/4b8facbe57543279e23999d2a5b497a600a94b499295be6c4b027d934369/certora_cli_alpha_rahav_CERT_1849-20230501.9.3.679493-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-rahav-cert-1849/) (requires-python:>=3.8.16) 2023-05-13T14:35:51,594 Link requires a different Python (3.7.3 not in: '>=3.8.16'): https://files.pythonhosted.org/packages/ff/10/ba762e39fe81bb2d6ff4f25c2d2e84b372b9a6d9075bb81f5756b1e4e612/certora-cli-alpha-rahav-CERT-1849-20230501.11.3.354497.tar.gz (from https://pypi.org/simple/certora-cli-alpha-rahav-cert-1849/) (requires-python:>=3.8.16) 2023-05-13T14:35:51,595 Skipping link: 20230501.11.3.354497 Requires-Python >=3.8.16: https://files.pythonhosted.org/packages/ff/10/ba762e39fe81bb2d6ff4f25c2d2e84b372b9a6d9075bb81f5756b1e4e612/certora-cli-alpha-rahav-CERT-1849-20230501.11.3.354497.tar.gz (from https://pypi.org/simple/certora-cli-alpha-rahav-cert-1849/) (requires-python:>=3.8.16) 2023-05-13T14:35:51,595 Skipping link: No binaries permitted for certora-cli-alpha-rahav-cert-1849: https://files.pythonhosted.org/packages/39/e1/741363d85c0acc1a2e72f59b885e0b1f68adcfe1f40518b1a91769ced736/certora_cli_alpha_rahav_CERT_1849-20230501.11.3.354497-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-rahav-cert-1849/) (requires-python:>=3.8.16) 2023-05-13T14:35:51,597 Link requires a different Python (3.7.3 not in: '>=3.8.16'): https://files.pythonhosted.org/packages/69/01/acd3033df60ac7344cb2ec6a8c74f42c97ab6e74f1c6c264b6f1c05ed3b6/certora-cli-alpha-rahav-CERT-1849-20230501.11.34.215275.tar.gz (from https://pypi.org/simple/certora-cli-alpha-rahav-cert-1849/) (requires-python:>=3.8.16) 2023-05-13T14:35:51,597 Skipping link: 20230501.11.34.215275 Requires-Python >=3.8.16: https://files.pythonhosted.org/packages/69/01/acd3033df60ac7344cb2ec6a8c74f42c97ab6e74f1c6c264b6f1c05ed3b6/certora-cli-alpha-rahav-CERT-1849-20230501.11.34.215275.tar.gz (from https://pypi.org/simple/certora-cli-alpha-rahav-cert-1849/) (requires-python:>=3.8.16) 2023-05-13T14:35:51,598 Skipping link: No binaries permitted for certora-cli-alpha-rahav-cert-1849: https://files.pythonhosted.org/packages/5c/24/25d17ed7e7c8ce290db16820c03210e4baa6abdf34319313d7c6cacbf063/certora_cli_alpha_rahav_CERT_1849-20230501.11.34.215275-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-rahav-cert-1849/) (requires-python:>=3.8.16) 2023-05-13T14:35:51,599 Fetching project page and analyzing links: https://www.piwheels.org/simple/certora-cli-alpha-rahav-cert-1849/ 2023-05-13T14:35:51,599 Getting page https://www.piwheels.org/simple/certora-cli-alpha-rahav-cert-1849/ 2023-05-13T14:35:51,602 Found index url https://www.piwheels.org/simple/ 2023-05-13T14:35:52,147 Fetched page https://www.piwheels.org/simple/certora-cli-alpha-rahav-cert-1849/ as text/html 2023-05-13T14:35:52,151 Skipping link: No binaries permitted for certora-cli-alpha-rahav-cert-1849: https://www.piwheels.org/simple/certora-cli-alpha-rahav-cert-1849/certora_cli_alpha_rahav_CERT_1849-20230501.11.34.215275-py3-none-any.whl#sha256=cda759e55e25ad455cafc57892cf779260ca9299a514a825b7bffc059ed732ad (from https://www.piwheels.org/simple/certora-cli-alpha-rahav-cert-1849/) (requires-python:>=3.8.16) 2023-05-13T14:35:52,152 Skipping link: No binaries permitted for certora-cli-alpha-rahav-cert-1849: https://www.piwheels.org/simple/certora-cli-alpha-rahav-cert-1849/certora_cli_alpha_rahav_CERT_1849-20230501.11.3.354497-py3-none-any.whl#sha256=4a0cb0e2a3336c3ccc520ce37bd37826b2bddb6562fe3c56964430b0c36988c6 (from https://www.piwheels.org/simple/certora-cli-alpha-rahav-cert-1849/) (requires-python:>=3.8.16) 2023-05-13T14:35:52,152 Skipping link: No binaries permitted for certora-cli-alpha-rahav-cert-1849: https://www.piwheels.org/simple/certora-cli-alpha-rahav-cert-1849/certora_cli_alpha_rahav_CERT_1849-20230501.9.3.679493-py3-none-any.whl#sha256=b3ad4cc6018c538c315197b5ec8589c463bbae7fcc79b3e79ac0f130ce93ffd7 (from https://www.piwheels.org/simple/certora-cli-alpha-rahav-cert-1849/) (requires-python:>=3.8.16) 2023-05-13T14:35:52,153 Skipping link: not a file: https://www.piwheels.org/simple/certora-cli-alpha-rahav-cert-1849/ 2023-05-13T14:35:52,153 Skipping link: not a file: https://pypi.org/simple/certora-cli-alpha-rahav-cert-1849/ 2023-05-13T14:35:52,182 Given no hashes to check 0 links for project 'certora-cli-alpha-rahav-cert-1849': discarding no candidates 2023-05-13T14:35:52,183 ERROR: Ignored the following versions that require a different python version: 20230501.11.3.354497 Requires-Python >=3.8.16; 20230501.11.34.215275 Requires-Python >=3.8.16; 20230501.9.3.679493 Requires-Python >=3.8.16 2023-05-13T14:35:52,186 ERROR: Could not find a version that satisfies the requirement certora-cli-alpha-rahav-cert-1849==20230501.11.34.215275 (from versions: none) 2023-05-13T14:35:52,189 ERROR: No matching distribution found for certora-cli-alpha-rahav-cert-1849==20230501.11.34.215275 2023-05-13T14:35:52,191 Exception information: 2023-05-13T14:35:52,191 Traceback (most recent call last): 2023-05-13T14:35:52,191 File "/usr/local/lib/python3.7/dist-packages/pip/_vendor/resolvelib/resolvers.py", line 397, in resolve 2023-05-13T14:35:52,191 self._add_to_criteria(self.state.criteria, r, parent=None) 2023-05-13T14:35:52,191 File "/usr/local/lib/python3.7/dist-packages/pip/_vendor/resolvelib/resolvers.py", line 174, in _add_to_criteria 2023-05-13T14:35:52,191 raise RequirementsConflicted(criterion) 2023-05-13T14:35:52,191 pip._vendor.resolvelib.resolvers.RequirementsConflicted: Requirements conflict: SpecifierRequirement('certora-cli-alpha-rahav-cert-1849==20230501.11.34.215275') 2023-05-13T14:35:52,191 2023-05-13T14:35:52,191 During handling of the above exception, another exception occurred: 2023-05-13T14:35:52,191 2023-05-13T14:35:52,191 Traceback (most recent call last): 2023-05-13T14:35:52,191 File "/usr/local/lib/python3.7/dist-packages/pip/_internal/resolution/resolvelib/resolver.py", line 93, in resolve 2023-05-13T14:35:52,191 collected.requirements, max_rounds=limit_how_complex_resolution_can_be 2023-05-13T14:35:52,191 File "/usr/local/lib/python3.7/dist-packages/pip/_vendor/resolvelib/resolvers.py", line 546, in resolve 2023-05-13T14:35:52,191 state = resolution.resolve(requirements, max_rounds=max_rounds) 2023-05-13T14:35:52,191 File "/usr/local/lib/python3.7/dist-packages/pip/_vendor/resolvelib/resolvers.py", line 399, in resolve 2023-05-13T14:35:52,191 raise ResolutionImpossible(e.criterion.information) 2023-05-13T14:35:52,191 pip._vendor.resolvelib.resolvers.ResolutionImpossible: [RequirementInformation(requirement=SpecifierRequirement('certora-cli-alpha-rahav-cert-1849==20230501.11.34.215275'), parent=None)] 2023-05-13T14:35:52,191 2023-05-13T14:35:52,191 The above exception was the direct cause of the following exception: 2023-05-13T14:35:52,191 2023-05-13T14:35:52,191 Traceback (most recent call last): 2023-05-13T14:35:52,191 File "/usr/local/lib/python3.7/dist-packages/pip/_internal/cli/base_command.py", line 169, in exc_logging_wrapper 2023-05-13T14:35:52,191 status = run_func(*args) 2023-05-13T14:35:52,191 File "/usr/local/lib/python3.7/dist-packages/pip/_internal/cli/req_command.py", line 248, in wrapper 2023-05-13T14:35:52,191 return func(self, options, args) 2023-05-13T14:35:52,191 File "/usr/local/lib/python3.7/dist-packages/pip/_internal/commands/wheel.py", line 147, in run 2023-05-13T14:35:52,191 requirement_set = resolver.resolve(reqs, check_supported_wheels=True) 2023-05-13T14:35:52,191 File "/usr/local/lib/python3.7/dist-packages/pip/_internal/resolution/resolvelib/resolver.py", line 101, in resolve 2023-05-13T14:35:52,191 raise error from e 2023-05-13T14:35:52,191 pip._internal.exceptions.DistributionNotFound: No matching distribution found for certora-cli-alpha-rahav-cert-1849==20230501.11.34.215275 2023-05-13T14:35:52,199 Removed build tracker: '/tmp/pip-build-tracker-x30papft'