2023-02-24T08:36:32,586 Created temporary directory: /tmp/pip-ephem-wheel-cache-lxi9_x66
2023-02-24T08:36:32,592 Created temporary directory: /tmp/pip-build-tracker-amn7zz5f
2023-02-24T08:36:32,592 Initialized build tracking at /tmp/pip-build-tracker-amn7zz5f
2023-02-24T08:36:32,593 Created build tracker: /tmp/pip-build-tracker-amn7zz5f
2023-02-24T08:36:32,593 Entered build tracker: /tmp/pip-build-tracker-amn7zz5f
2023-02-24T08:36:32,594 Created temporary directory: /tmp/pip-wheel-66_7wtew
2023-02-24T08:36:32,605 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-24T08:36:32,611 Created temporary directory: /tmp/pip-ephem-wheel-cache-pq34uvbd
2023-02-24T08:36:32,676 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple
2023-02-24T08:36:32,684 2 location(s) to search for versions of certora-cli-alpha-cvl-rewrite:
2023-02-24T08:36:32,684 * https://pypi.org/simple/certora-cli-alpha-cvl-rewrite/
2023-02-24T08:36:32,684 * https://www.piwheels.org/simple/certora-cli-alpha-cvl-rewrite/
2023-02-24T08:36:32,686 Fetching project page and analyzing links: https://pypi.org/simple/certora-cli-alpha-cvl-rewrite/
2023-02-24T08:36:32,687 Getting page https://pypi.org/simple/certora-cli-alpha-cvl-rewrite/
2023-02-24T08:36:32,690 Found index url https://pypi.org/simple
2023-02-24T08:36:32,886 Fetched page https://pypi.org/simple/certora-cli-alpha-cvl-rewrite/ as application/vnd.pypi.simple.v1+json
2023-02-24T08:36:32,892   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-24T08:36:32,893   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-24T08:36:32,893   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-24T08:36:32,895   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-24T08:36:32,895   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-24T08:36:32,896   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-24T08:36:32,897   Link requires a different Python (3.7.3 not in: '>=3.8'): https://files.pythonhosted.org/packages/34/1a/5f9e4c4952d8d3ba4753fd402aeba87b129f4a76059a7a10ac6a4ea10343/certora-cli-alpha-CVL_rewrite-20230224.8.19.tar.gz (from https://pypi.org/simple/certora-cli-alpha-cvl-rewrite/) (requires-python:>=3.8)
2023-02-24T08:36:32,898   Skipping link: 20230224.8.19 Requires-Python >=3.8: https://files.pythonhosted.org/packages/34/1a/5f9e4c4952d8d3ba4753fd402aeba87b129f4a76059a7a10ac6a4ea10343/certora-cli-alpha-CVL_rewrite-20230224.8.19.tar.gz (from https://pypi.org/simple/certora-cli-alpha-cvl-rewrite/) (requires-python:>=3.8)
2023-02-24T08:36:32,898   Skipping link: No binaries permitted for certora-cli-alpha-cvl-rewrite: https://files.pythonhosted.org/packages/37/27/feee053f4475cb7d512cd14438ab98cdef5cfa33733387c1680dd331c005/certora_cli_alpha_CVL_rewrite-20230224.8.19-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-cvl-rewrite/) (requires-python:>=3.8)
2023-02-24T08:36:32,899 Fetching project page and analyzing links: https://www.piwheels.org/simple/certora-cli-alpha-cvl-rewrite/
2023-02-24T08:36:32,899 Getting page https://www.piwheels.org/simple/certora-cli-alpha-cvl-rewrite/
2023-02-24T08:36:32,902 Found index url https://www.piwheels.org/simple
2023-02-24T08:36:33,142 Fetched page https://www.piwheels.org/simple/certora-cli-alpha-cvl-rewrite/ as text/html
2023-02-24T08:36:33,145   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.21.30-py3-none-any.whl#sha256=e9350ecfca0d85bc6b7db0b632e7507a5916da4671c72f547819c688f30e3062 (from https://www.piwheels.org/simple/certora-cli-alpha-cvl-rewrite/) (requires-python:>=3.8)
2023-02-24T08:36:33,146   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-24T08:36:33,147 Skipping link: not a file: https://www.piwheels.org/simple/certora-cli-alpha-cvl-rewrite/
2023-02-24T08:36:33,147 Skipping link: not a file: https://pypi.org/simple/certora-cli-alpha-cvl-rewrite/
2023-02-24T08:36:33,176 Given no hashes to check 0 links for project 'certora-cli-alpha-cvl-rewrite': discarding no candidates
2023-02-24T08:36:33,177 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; 20230224.8.19 Requires-Python >=3.8
2023-02-24T08:36:33,180 ERROR: Could not find a version that satisfies the requirement certora-cli-alpha-cvl-rewrite==20230224.8.19 (from versions: none)
2023-02-24T08:36:33,182 ERROR: No matching distribution found for certora-cli-alpha-cvl-rewrite==20230224.8.19
2023-02-24T08:36:33,184 Exception information:
2023-02-24T08:36:33,184 Traceback (most recent call last):
2023-02-24T08:36:33,184   File "/usr/local/lib/python3.7/dist-packages/pip/_vendor/resolvelib/resolvers.py", line 348, in resolve
2023-02-24T08:36:33,184     self._add_to_criteria(self.state.criteria, r, parent=None)
2023-02-24T08:36:33,184   File "/usr/local/lib/python3.7/dist-packages/pip/_vendor/resolvelib/resolvers.py", line 173, in _add_to_criteria
2023-02-24T08:36:33,184     raise RequirementsConflicted(criterion)
2023-02-24T08:36:33,184 pip._vendor.resolvelib.resolvers.RequirementsConflicted: Requirements conflict: SpecifierRequirement('certora-cli-alpha-cvl-rewrite==20230224.8.19')
2023-02-24T08:36:33,184 
2023-02-24T08:36:33,184 During handling of the above exception, another exception occurred:
2023-02-24T08:36:33,184 
2023-02-24T08:36:33,184 Traceback (most recent call last):
2023-02-24T08:36:33,184   File "/usr/local/lib/python3.7/dist-packages/pip/_internal/resolution/resolvelib/resolver.py", line 93, in resolve
2023-02-24T08:36:33,184     collected.requirements, max_rounds=try_to_avoid_resolution_too_deep
2023-02-24T08:36:33,184   File "/usr/local/lib/python3.7/dist-packages/pip/_vendor/resolvelib/resolvers.py", line 481, in resolve
2023-02-24T08:36:33,184     state = resolution.resolve(requirements, max_rounds=max_rounds)
2023-02-24T08:36:33,184   File "/usr/local/lib/python3.7/dist-packages/pip/_vendor/resolvelib/resolvers.py", line 350, in resolve
2023-02-24T08:36:33,184     raise ResolutionImpossible(e.criterion.information)
2023-02-24T08:36:33,184 pip._vendor.resolvelib.resolvers.ResolutionImpossible: [RequirementInformation(requirement=SpecifierRequirement('certora-cli-alpha-cvl-rewrite==20230224.8.19'), parent=None)]
2023-02-24T08:36:33,184 
2023-02-24T08:36:33,184 The above exception was the direct cause of the following exception:
2023-02-24T08:36:33,184 
2023-02-24T08:36:33,184 Traceback (most recent call last):
2023-02-24T08:36:33,184   File "/usr/local/lib/python3.7/dist-packages/pip/_internal/cli/base_command.py", line 160, in exc_logging_wrapper
2023-02-24T08:36:33,184     status = run_func(*args)
2023-02-24T08:36:33,184   File "/usr/local/lib/python3.7/dist-packages/pip/_internal/cli/req_command.py", line 247, in wrapper
2023-02-24T08:36:33,184     return func(self, options, args)
2023-02-24T08:36:33,184   File "/usr/local/lib/python3.7/dist-packages/pip/_internal/commands/wheel.py", line 170, in run
2023-02-24T08:36:33,184     requirement_set = resolver.resolve(reqs, check_supported_wheels=True)
2023-02-24T08:36:33,184   File "/usr/local/lib/python3.7/dist-packages/pip/_internal/resolution/resolvelib/resolver.py", line 101, in resolve
2023-02-24T08:36:33,184     raise error from e
2023-02-24T08:36:33,184 pip._internal.exceptions.DistributionNotFound: No matching distribution found for certora-cli-alpha-cvl-rewrite==20230224.8.19
2023-02-24T08:36:33,193 Removed build tracker: '/tmp/pip-build-tracker-amn7zz5f'