2023-05-17T10:20:34,878 Created temporary directory: /tmp/pip-build-tracker-kvkb0el8
2023-05-17T10:20:34,881 Initialized build tracking at /tmp/pip-build-tracker-kvkb0el8
2023-05-17T10:20:34,881 Created build tracker: /tmp/pip-build-tracker-kvkb0el8
2023-05-17T10:20:34,882 Entered build tracker: /tmp/pip-build-tracker-kvkb0el8
2023-05-17T10:20:34,883 Created temporary directory: /tmp/pip-wheel-bcng__4c
2023-05-17T10:20:34,892 Created temporary directory: /tmp/pip-ephem-wheel-cache-5guxn703
2023-05-17T10:20:34,944 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple
2023-05-17T10:20:34,953 2 location(s) to search for versions of certora-cli-alpha-antti-prefer-cvc5:
2023-05-17T10:20:34,953 * https://pypi.org/simple/certora-cli-alpha-antti-prefer-cvc5/
2023-05-17T10:20:34,953 * https://www.piwheels.org/simple/certora-cli-alpha-antti-prefer-cvc5/
2023-05-17T10:20:34,954 Fetching project page and analyzing links: https://pypi.org/simple/certora-cli-alpha-antti-prefer-cvc5/
2023-05-17T10:20:34,955 Getting page https://pypi.org/simple/certora-cli-alpha-antti-prefer-cvc5/
2023-05-17T10:20:34,960 Found index url https://pypi.org/simple/
2023-05-17T10:20:35,168 Fetched page https://pypi.org/simple/certora-cli-alpha-antti-prefer-cvc5/ as application/vnd.pypi.simple.v1+json
2023-05-17T10:20:35,173   Link requires a different Python (3.7.3 not in: '>=3.8.16'): https://files.pythonhosted.org/packages/89/01/db078bb37ba39feff6b9466e8c242dfab3374ccbfda8ee965346ff5a3f29/certora-cli-alpha-antti-prefer-cvc5-20230516.8.4.14252.tar.gz (from https://pypi.org/simple/certora-cli-alpha-antti-prefer-cvc5/) (requires-python:>=3.8.16)
2023-05-17T10:20:35,173   Skipping link: 20230516.8.4.14252 Requires-Python >=3.8.16: https://files.pythonhosted.org/packages/89/01/db078bb37ba39feff6b9466e8c242dfab3374ccbfda8ee965346ff5a3f29/certora-cli-alpha-antti-prefer-cvc5-20230516.8.4.14252.tar.gz (from https://pypi.org/simple/certora-cli-alpha-antti-prefer-cvc5/) (requires-python:>=3.8.16)
2023-05-17T10:20:35,174   Skipping link: No binaries permitted for certora-cli-alpha-antti-prefer-cvc5: https://files.pythonhosted.org/packages/2c/93/417e6baf26847685028e8dbf86efe524202845fe35696cd7b69005ff34d8/certora_cli_alpha_antti_prefer_cvc5-20230516.8.4.14252-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-antti-prefer-cvc5/) (requires-python:>=3.8.16)
2023-05-17T10:20:35,175   Link requires a different Python (3.7.3 not in: '>=3.8.16'): https://files.pythonhosted.org/packages/b4/6e/eb636d780219cb0c930b302f7037d8538bf101df61483a8c907707cc0771/certora-cli-alpha-antti-prefer-cvc5-20230517.9.51.374495.tar.gz (from https://pypi.org/simple/certora-cli-alpha-antti-prefer-cvc5/) (requires-python:>=3.8.16)
2023-05-17T10:20:35,176   Skipping link: 20230517.9.51.374495 Requires-Python >=3.8.16: https://files.pythonhosted.org/packages/b4/6e/eb636d780219cb0c930b302f7037d8538bf101df61483a8c907707cc0771/certora-cli-alpha-antti-prefer-cvc5-20230517.9.51.374495.tar.gz (from https://pypi.org/simple/certora-cli-alpha-antti-prefer-cvc5/) (requires-python:>=3.8.16)
2023-05-17T10:20:35,176   Skipping link: No binaries permitted for certora-cli-alpha-antti-prefer-cvc5: https://files.pythonhosted.org/packages/28/7f/b767ef559cbd99ba1d513e1f74a731b205741828e01baf90599d36011528/certora_cli_alpha_antti_prefer_cvc5-20230517.9.51.374495-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-antti-prefer-cvc5/) (requires-python:>=3.8.16)
2023-05-17T10:20:35,177 Fetching project page and analyzing links: https://www.piwheels.org/simple/certora-cli-alpha-antti-prefer-cvc5/
2023-05-17T10:20:35,178 Getting page https://www.piwheels.org/simple/certora-cli-alpha-antti-prefer-cvc5/
2023-05-17T10:20:35,180 Found index url https://www.piwheels.org/simple/
2023-05-17T10:20:35,401 Fetched page https://www.piwheels.org/simple/certora-cli-alpha-antti-prefer-cvc5/ as text/html
2023-05-17T10:20:35,404   Skipping link: No binaries permitted for certora-cli-alpha-antti-prefer-cvc5: https://www.piwheels.org/simple/certora-cli-alpha-antti-prefer-cvc5/certora_cli_alpha_antti_prefer_cvc5-20230516.8.4.14252-py3-none-any.whl#sha256=e10de8c93e3d6e3ecf00424ce205861fed37e084e005ed039e465a3bf3ad74c4 (from https://www.piwheels.org/simple/certora-cli-alpha-antti-prefer-cvc5/) (requires-python:>=3.8.16)
2023-05-17T10:20:35,405 Skipping link: not a file: https://www.piwheels.org/simple/certora-cli-alpha-antti-prefer-cvc5/
2023-05-17T10:20:35,405 Skipping link: not a file: https://pypi.org/simple/certora-cli-alpha-antti-prefer-cvc5/
2023-05-17T10:20:35,437 Given no hashes to check 0 links for project 'certora-cli-alpha-antti-prefer-cvc5': discarding no candidates
2023-05-17T10:20:35,438 ERROR: Ignored the following versions that require a different python version: 20230516.8.4.14252 Requires-Python >=3.8.16; 20230517.9.51.374495 Requires-Python >=3.8.16
2023-05-17T10:20:35,441 ERROR: Could not find a version that satisfies the requirement certora-cli-alpha-antti-prefer-cvc5==20230517.9.51.374495 (from versions: none)
2023-05-17T10:20:35,443 ERROR: No matching distribution found for certora-cli-alpha-antti-prefer-cvc5==20230517.9.51.374495
2023-05-17T10:20:35,445 Exception information:
2023-05-17T10:20:35,445 Traceback (most recent call last):
2023-05-17T10:20:35,445   File "/home/piwheels/.local/lib/python3.7/site-packages/pip/_vendor/resolvelib/resolvers.py", line 397, in resolve
2023-05-17T10:20:35,445     self._add_to_criteria(self.state.criteria, r, parent=None)
2023-05-17T10:20:35,445   File "/home/piwheels/.local/lib/python3.7/site-packages/pip/_vendor/resolvelib/resolvers.py", line 174, in _add_to_criteria
2023-05-17T10:20:35,445     raise RequirementsConflicted(criterion)
2023-05-17T10:20:35,445 pip._vendor.resolvelib.resolvers.RequirementsConflicted: Requirements conflict: SpecifierRequirement('certora-cli-alpha-antti-prefer-cvc5==20230517.9.51.374495')
2023-05-17T10:20:35,445 
2023-05-17T10:20:35,445 During handling of the above exception, another exception occurred:
2023-05-17T10:20:35,445 
2023-05-17T10:20:35,445 Traceback (most recent call last):
2023-05-17T10:20:35,445   File "/home/piwheels/.local/lib/python3.7/site-packages/pip/_internal/resolution/resolvelib/resolver.py", line 93, in resolve
2023-05-17T10:20:35,445     collected.requirements, max_rounds=limit_how_complex_resolution_can_be
2023-05-17T10:20:35,445   File "/home/piwheels/.local/lib/python3.7/site-packages/pip/_vendor/resolvelib/resolvers.py", line 546, in resolve
2023-05-17T10:20:35,445     state = resolution.resolve(requirements, max_rounds=max_rounds)
2023-05-17T10:20:35,445   File "/home/piwheels/.local/lib/python3.7/site-packages/pip/_vendor/resolvelib/resolvers.py", line 399, in resolve
2023-05-17T10:20:35,445     raise ResolutionImpossible(e.criterion.information)
2023-05-17T10:20:35,445 pip._vendor.resolvelib.resolvers.ResolutionImpossible: [RequirementInformation(requirement=SpecifierRequirement('certora-cli-alpha-antti-prefer-cvc5==20230517.9.51.374495'), parent=None)]
2023-05-17T10:20:35,445 
2023-05-17T10:20:35,445 The above exception was the direct cause of the following exception:
2023-05-17T10:20:35,445 
2023-05-17T10:20:35,445 Traceback (most recent call last):
2023-05-17T10:20:35,445   File "/home/piwheels/.local/lib/python3.7/site-packages/pip/_internal/cli/base_command.py", line 169, in exc_logging_wrapper
2023-05-17T10:20:35,445     status = run_func(*args)
2023-05-17T10:20:35,445   File "/home/piwheels/.local/lib/python3.7/site-packages/pip/_internal/cli/req_command.py", line 248, in wrapper
2023-05-17T10:20:35,445     return func(self, options, args)
2023-05-17T10:20:35,445   File "/home/piwheels/.local/lib/python3.7/site-packages/pip/_internal/commands/wheel.py", line 147, in run
2023-05-17T10:20:35,445     requirement_set = resolver.resolve(reqs, check_supported_wheels=True)
2023-05-17T10:20:35,445   File "/home/piwheels/.local/lib/python3.7/site-packages/pip/_internal/resolution/resolvelib/resolver.py", line 101, in resolve
2023-05-17T10:20:35,445     raise error from e
2023-05-17T10:20:35,445 pip._internal.exceptions.DistributionNotFound: No matching distribution found for certora-cli-alpha-antti-prefer-cvc5==20230517.9.51.374495
2023-05-17T10:20:35,453 Removed build tracker: '/tmp/pip-build-tracker-kvkb0el8'