2023-05-16T20:18:57,807 Created temporary directory: /tmp/pip-build-tracker-7lq4xlns
2023-05-16T20:18:57,810 Initialized build tracking at /tmp/pip-build-tracker-7lq4xlns
2023-05-16T20:18:57,810 Created build tracker: /tmp/pip-build-tracker-7lq4xlns
2023-05-16T20:18:57,810 Entered build tracker: /tmp/pip-build-tracker-7lq4xlns
2023-05-16T20:18:57,812 Created temporary directory: /tmp/pip-wheel-j6tpjsyt
2023-05-16T20:18:57,821 Created temporary directory: /tmp/pip-ephem-wheel-cache-lzqr63dy
2023-05-16T20:18:57,876 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple
2023-05-16T20:18:57,885 2 location(s) to search for versions of certora-cli-alpha-antti-prefer-cvc5:
2023-05-16T20:18:57,885 * https://pypi.org/simple/certora-cli-alpha-antti-prefer-cvc5/
2023-05-16T20:18:57,885 * https://www.piwheels.org/simple/certora-cli-alpha-antti-prefer-cvc5/
2023-05-16T20:18:57,887 Fetching project page and analyzing links: https://pypi.org/simple/certora-cli-alpha-antti-prefer-cvc5/
2023-05-16T20:18:57,888 Getting page https://pypi.org/simple/certora-cli-alpha-antti-prefer-cvc5/
2023-05-16T20:18:57,892 Found index url https://pypi.org/simple/
2023-05-16T20:18:58,077 Fetched page https://pypi.org/simple/certora-cli-alpha-antti-prefer-cvc5/ as application/vnd.pypi.simple.v1+json
2023-05-16T20:18:58,081   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-16T20:18:58,081   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-16T20:18:58,082   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-16T20:18:58,083 Fetching project page and analyzing links: https://www.piwheels.org/simple/certora-cli-alpha-antti-prefer-cvc5/
2023-05-16T20:18:58,083 Getting page https://www.piwheels.org/simple/certora-cli-alpha-antti-prefer-cvc5/
2023-05-16T20:18:58,086 Found index url https://www.piwheels.org/simple/
2023-05-16T20:18:58,306 Fetched page https://www.piwheels.org/simple/certora-cli-alpha-antti-prefer-cvc5/ as text/html
2023-05-16T20:18:58,308 Skipping link: not a file: https://www.piwheels.org/simple/certora-cli-alpha-antti-prefer-cvc5/
2023-05-16T20:18:58,309 Skipping link: not a file: https://pypi.org/simple/certora-cli-alpha-antti-prefer-cvc5/
2023-05-16T20:18:58,341 Given no hashes to check 0 links for project 'certora-cli-alpha-antti-prefer-cvc5': discarding no candidates
2023-05-16T20:18:58,341 ERROR: Ignored the following versions that require a different python version: 20230516.8.4.14252 Requires-Python >=3.8.16
2023-05-16T20:18:58,344 ERROR: Could not find a version that satisfies the requirement certora-cli-alpha-antti-prefer-cvc5==20230516.8.4.14252 (from versions: none)
2023-05-16T20:18:58,347 ERROR: No matching distribution found for certora-cli-alpha-antti-prefer-cvc5==20230516.8.4.14252
2023-05-16T20:18:58,349 Exception information:
2023-05-16T20:18:58,349 Traceback (most recent call last):
2023-05-16T20:18:58,349   File "/home/piwheels/.local/lib/python3.7/site-packages/pip/_vendor/resolvelib/resolvers.py", line 397, in resolve
2023-05-16T20:18:58,349     self._add_to_criteria(self.state.criteria, r, parent=None)
2023-05-16T20:18:58,349   File "/home/piwheels/.local/lib/python3.7/site-packages/pip/_vendor/resolvelib/resolvers.py", line 174, in _add_to_criteria
2023-05-16T20:18:58,349     raise RequirementsConflicted(criterion)
2023-05-16T20:18:58,349 pip._vendor.resolvelib.resolvers.RequirementsConflicted: Requirements conflict: SpecifierRequirement('certora-cli-alpha-antti-prefer-cvc5==20230516.8.4.14252')
2023-05-16T20:18:58,349 
2023-05-16T20:18:58,349 During handling of the above exception, another exception occurred:
2023-05-16T20:18:58,349 
2023-05-16T20:18:58,349 Traceback (most recent call last):
2023-05-16T20:18:58,349   File "/home/piwheels/.local/lib/python3.7/site-packages/pip/_internal/resolution/resolvelib/resolver.py", line 93, in resolve
2023-05-16T20:18:58,349     collected.requirements, max_rounds=limit_how_complex_resolution_can_be
2023-05-16T20:18:58,349   File "/home/piwheels/.local/lib/python3.7/site-packages/pip/_vendor/resolvelib/resolvers.py", line 546, in resolve
2023-05-16T20:18:58,349     state = resolution.resolve(requirements, max_rounds=max_rounds)
2023-05-16T20:18:58,349   File "/home/piwheels/.local/lib/python3.7/site-packages/pip/_vendor/resolvelib/resolvers.py", line 399, in resolve
2023-05-16T20:18:58,349     raise ResolutionImpossible(e.criterion.information)
2023-05-16T20:18:58,349 pip._vendor.resolvelib.resolvers.ResolutionImpossible: [RequirementInformation(requirement=SpecifierRequirement('certora-cli-alpha-antti-prefer-cvc5==20230516.8.4.14252'), parent=None)]
2023-05-16T20:18:58,349 
2023-05-16T20:18:58,349 The above exception was the direct cause of the following exception:
2023-05-16T20:18:58,349 
2023-05-16T20:18:58,349 Traceback (most recent call last):
2023-05-16T20:18:58,349   File "/home/piwheels/.local/lib/python3.7/site-packages/pip/_internal/cli/base_command.py", line 169, in exc_logging_wrapper
2023-05-16T20:18:58,349     status = run_func(*args)
2023-05-16T20:18:58,349   File "/home/piwheels/.local/lib/python3.7/site-packages/pip/_internal/cli/req_command.py", line 248, in wrapper
2023-05-16T20:18:58,349     return func(self, options, args)
2023-05-16T20:18:58,349   File "/home/piwheels/.local/lib/python3.7/site-packages/pip/_internal/commands/wheel.py", line 147, in run
2023-05-16T20:18:58,349     requirement_set = resolver.resolve(reqs, check_supported_wheels=True)
2023-05-16T20:18:58,349   File "/home/piwheels/.local/lib/python3.7/site-packages/pip/_internal/resolution/resolvelib/resolver.py", line 101, in resolve
2023-05-16T20:18:58,349     raise error from e
2023-05-16T20:18:58,349 pip._internal.exceptions.DistributionNotFound: No matching distribution found for certora-cli-alpha-antti-prefer-cvc5==20230516.8.4.14252
2023-05-16T20:18:58,357 Removed build tracker: '/tmp/pip-build-tracker-7lq4xlns'