2023-02-23T21:47:37,198 Created temporary directory: /tmp/pip-ephem-wheel-cache-4rf7howu
2023-02-23T21:47:37,204 Created temporary directory: /tmp/pip-build-tracker-zwxvo39t
2023-02-23T21:47:37,204 Initialized build tracking at /tmp/pip-build-tracker-zwxvo39t
2023-02-23T21:47:37,205 Created build tracker: /tmp/pip-build-tracker-zwxvo39t
2023-02-23T21:47:37,205 Entered build tracker: /tmp/pip-build-tracker-zwxvo39t
2023-02-23T21:47:37,206 Created temporary directory: /tmp/pip-wheel-eaeyxkwv
2023-02-23T21:47:37,217 DEPRECATION: --no-binary currently disables reading from the cache of locally built wheels. In the future --no-binary will not influence the wheel cache. pip 23.1 will enforce this behaviour change. A possible replacement is to use the --no-cache-dir option. You can use the flag --use-feature=no-binary-enable-wheel-cache to test the upcoming behaviour. Discussion can be found at https://github.com/pypa/pip/issues/11453
2023-02-23T21:47:37,223 Created temporary directory: /tmp/pip-ephem-wheel-cache-8m_t1ri5
2023-02-23T21:47:37,277 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple
2023-02-23T21:47:37,285 2 location(s) to search for versions of certora-cli-alpha-cvl-rewrite:
2023-02-23T21:47:37,285 * https://pypi.org/simple/certora-cli-alpha-cvl-rewrite/
2023-02-23T21:47:37,285 * https://www.piwheels.org/simple/certora-cli-alpha-cvl-rewrite/
2023-02-23T21:47:37,286 Fetching project page and analyzing links: https://pypi.org/simple/certora-cli-alpha-cvl-rewrite/
2023-02-23T21:47:37,287 Getting page https://pypi.org/simple/certora-cli-alpha-cvl-rewrite/
2023-02-23T21:47:37,291 Found index url https://pypi.org/simple
2023-02-23T21:47:37,502 Fetched page https://pypi.org/simple/certora-cli-alpha-cvl-rewrite/ as application/vnd.pypi.simple.v1+json
2023-02-23T21:47:37,507   Link requires a different Python (3.7.3 not in: '>=3.8'): https://files.pythonhosted.org/packages/f1/01/d947c0a7bafb288ea4ec1c6d29cc67995dbb5dbdbefa51808471a0f9928a/certora-cli-alpha-CVL_rewrite-20230223.19.24.tar.gz (from https://pypi.org/simple/certora-cli-alpha-cvl-rewrite/) (requires-python:>=3.8)
2023-02-23T21:47:37,507   Skipping link: 20230223.19.24 Requires-Python >=3.8: https://files.pythonhosted.org/packages/f1/01/d947c0a7bafb288ea4ec1c6d29cc67995dbb5dbdbefa51808471a0f9928a/certora-cli-alpha-CVL_rewrite-20230223.19.24.tar.gz (from https://pypi.org/simple/certora-cli-alpha-cvl-rewrite/) (requires-python:>=3.8)
2023-02-23T21:47:37,508   Skipping link: No binaries permitted for certora-cli-alpha-cvl-rewrite: https://files.pythonhosted.org/packages/19/49/f3f03449c5e07cdf36161d3282695d59e54d026fdc9e7dbc32a14c18f163/certora_cli_alpha_CVL_rewrite-20230223.19.24-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-cvl-rewrite/) (requires-python:>=3.8)
2023-02-23T21:47:37,509   Link requires a different Python (3.7.3 not in: '>=3.8'): https://files.pythonhosted.org/packages/21/62/7cb1d54f09a10881c758d8ac8e4256fa08b478a0be7d5e462ffb8767a4e8/certora-cli-alpha-CVL_rewrite-20230223.21.30.tar.gz (from https://pypi.org/simple/certora-cli-alpha-cvl-rewrite/) (requires-python:>=3.8)
2023-02-23T21:47:37,510   Skipping link: 20230223.21.30 Requires-Python >=3.8: https://files.pythonhosted.org/packages/21/62/7cb1d54f09a10881c758d8ac8e4256fa08b478a0be7d5e462ffb8767a4e8/certora-cli-alpha-CVL_rewrite-20230223.21.30.tar.gz (from https://pypi.org/simple/certora-cli-alpha-cvl-rewrite/) (requires-python:>=3.8)
2023-02-23T21:47:37,510   Skipping link: No binaries permitted for certora-cli-alpha-cvl-rewrite: https://files.pythonhosted.org/packages/73/4e/b0b4f3cff94685d9f01663607c53fb280fcfaf57f6a4953518fa00e409b9/certora_cli_alpha_CVL_rewrite-20230223.21.30-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-cvl-rewrite/) (requires-python:>=3.8)
2023-02-23T21:47:37,511 Fetching project page and analyzing links: https://www.piwheels.org/simple/certora-cli-alpha-cvl-rewrite/
2023-02-23T21:47:37,512 Getting page https://www.piwheels.org/simple/certora-cli-alpha-cvl-rewrite/
2023-02-23T21:47:37,514 Found index url https://www.piwheels.org/simple
2023-02-23T21:47:37,764 Fetched page https://www.piwheels.org/simple/certora-cli-alpha-cvl-rewrite/ as text/html
2023-02-23T21:47:37,767   Skipping link: No binaries permitted for certora-cli-alpha-cvl-rewrite: https://www.piwheels.org/simple/certora-cli-alpha-cvl-rewrite/certora_cli_alpha_CVL_rewrite-20230223.19.24-py3-none-any.whl#sha256=b82cbff0fa4de867c37c02a2bf6ecae4720eff091616571af696b861cb89b419 (from https://www.piwheels.org/simple/certora-cli-alpha-cvl-rewrite/) (requires-python:>=3.8)
2023-02-23T21:47:37,768 Skipping link: not a file: https://www.piwheels.org/simple/certora-cli-alpha-cvl-rewrite/
2023-02-23T21:47:37,768 Skipping link: not a file: https://pypi.org/simple/certora-cli-alpha-cvl-rewrite/
2023-02-23T21:47:37,805 Given no hashes to check 0 links for project 'certora-cli-alpha-cvl-rewrite': discarding no candidates
2023-02-23T21:47:37,806 ERROR: Ignored the following versions that require a different python version: 20230223.19.24 Requires-Python >=3.8; 20230223.21.30 Requires-Python >=3.8
2023-02-23T21:47:37,808 ERROR: Could not find a version that satisfies the requirement certora-cli-alpha-cvl-rewrite==20230223.21.30 (from versions: none)
2023-02-23T21:47:37,811 ERROR: No matching distribution found for certora-cli-alpha-cvl-rewrite==20230223.21.30
2023-02-23T21:47:37,813 Exception information:
2023-02-23T21:47:37,813 Traceback (most recent call last):
2023-02-23T21:47:37,813   File "/usr/local/lib/python3.7/dist-packages/pip/_vendor/resolvelib/resolvers.py", line 348, in resolve
2023-02-23T21:47:37,813     self._add_to_criteria(self.state.criteria, r, parent=None)
2023-02-23T21:47:37,813   File "/usr/local/lib/python3.7/dist-packages/pip/_vendor/resolvelib/resolvers.py", line 173, in _add_to_criteria
2023-02-23T21:47:37,813     raise RequirementsConflicted(criterion)
2023-02-23T21:47:37,813 pip._vendor.resolvelib.resolvers.RequirementsConflicted: Requirements conflict: SpecifierRequirement('certora-cli-alpha-cvl-rewrite==20230223.21.30')
2023-02-23T21:47:37,813 
2023-02-23T21:47:37,813 During handling of the above exception, another exception occurred:
2023-02-23T21:47:37,813 
2023-02-23T21:47:37,813 Traceback (most recent call last):
2023-02-23T21:47:37,813   File "/usr/local/lib/python3.7/dist-packages/pip/_internal/resolution/resolvelib/resolver.py", line 93, in resolve
2023-02-23T21:47:37,813     collected.requirements, max_rounds=try_to_avoid_resolution_too_deep
2023-02-23T21:47:37,813   File "/usr/local/lib/python3.7/dist-packages/pip/_vendor/resolvelib/resolvers.py", line 481, in resolve
2023-02-23T21:47:37,813     state = resolution.resolve(requirements, max_rounds=max_rounds)
2023-02-23T21:47:37,813   File "/usr/local/lib/python3.7/dist-packages/pip/_vendor/resolvelib/resolvers.py", line 350, in resolve
2023-02-23T21:47:37,813     raise ResolutionImpossible(e.criterion.information)
2023-02-23T21:47:37,813 pip._vendor.resolvelib.resolvers.ResolutionImpossible: [RequirementInformation(requirement=SpecifierRequirement('certora-cli-alpha-cvl-rewrite==20230223.21.30'), parent=None)]
2023-02-23T21:47:37,813 
2023-02-23T21:47:37,813 The above exception was the direct cause of the following exception:
2023-02-23T21:47:37,813 
2023-02-23T21:47:37,813 Traceback (most recent call last):
2023-02-23T21:47:37,813   File "/usr/local/lib/python3.7/dist-packages/pip/_internal/cli/base_command.py", line 160, in exc_logging_wrapper
2023-02-23T21:47:37,813     status = run_func(*args)
2023-02-23T21:47:37,813   File "/usr/local/lib/python3.7/dist-packages/pip/_internal/cli/req_command.py", line 247, in wrapper
2023-02-23T21:47:37,813     return func(self, options, args)
2023-02-23T21:47:37,813   File "/usr/local/lib/python3.7/dist-packages/pip/_internal/commands/wheel.py", line 170, in run
2023-02-23T21:47:37,813     requirement_set = resolver.resolve(reqs, check_supported_wheels=True)
2023-02-23T21:47:37,813   File "/usr/local/lib/python3.7/dist-packages/pip/_internal/resolution/resolvelib/resolver.py", line 101, in resolve
2023-02-23T21:47:37,813     raise error from e
2023-02-23T21:47:37,813 pip._internal.exceptions.DistributionNotFound: No matching distribution found for certora-cli-alpha-cvl-rewrite==20230223.21.30
2023-02-23T21:47:37,821 Removed build tracker: '/tmp/pip-build-tracker-zwxvo39t'