2023-02-23T19:53:41,265 Created temporary directory: /tmp/pip-ephem-wheel-cache-zjntj8kh
2023-02-23T19:53:41,270 Created temporary directory: /tmp/pip-build-tracker-hrp3p07g
2023-02-23T19:53:41,271 Initialized build tracking at /tmp/pip-build-tracker-hrp3p07g
2023-02-23T19:53:41,271 Created build tracker: /tmp/pip-build-tracker-hrp3p07g
2023-02-23T19:53:41,272 Entered build tracker: /tmp/pip-build-tracker-hrp3p07g
2023-02-23T19:53:41,273 Created temporary directory: /tmp/pip-wheel-9lhepdj7
2023-02-23T19:53:41,284 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-23T19:53:41,290 Created temporary directory: /tmp/pip-ephem-wheel-cache-csz49ilw
2023-02-23T19:53:41,350 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple
2023-02-23T19:53:41,358 2 location(s) to search for versions of certora-cli-alpha-cvl-rewrite:
2023-02-23T19:53:41,358 * https://pypi.org/simple/certora-cli-alpha-cvl-rewrite/
2023-02-23T19:53:41,358 * https://www.piwheels.org/simple/certora-cli-alpha-cvl-rewrite/
2023-02-23T19:53:41,360 Fetching project page and analyzing links: https://pypi.org/simple/certora-cli-alpha-cvl-rewrite/
2023-02-23T19:53:41,361 Getting page https://pypi.org/simple/certora-cli-alpha-cvl-rewrite/
2023-02-23T19:53:41,364 Found index url https://pypi.org/simple
2023-02-23T19:53:41,549 Fetched page https://pypi.org/simple/certora-cli-alpha-cvl-rewrite/ as application/vnd.pypi.simple.v1+json
2023-02-23T19:53:41,553   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-23T19:53:41,553   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-23T19:53:41,554   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-23T19:53:41,555 Fetching project page and analyzing links: https://www.piwheels.org/simple/certora-cli-alpha-cvl-rewrite/
2023-02-23T19:53:41,555 Getting page https://www.piwheels.org/simple/certora-cli-alpha-cvl-rewrite/
2023-02-23T19:53:41,557 Found index url https://www.piwheels.org/simple
2023-02-23T19:53:44,770 Fetched page https://www.piwheels.org/simple/certora-cli-alpha-cvl-rewrite/ as text/html
2023-02-23T19:53:44,772 Skipping link: not a file: https://www.piwheels.org/simple/certora-cli-alpha-cvl-rewrite/
2023-02-23T19:53:44,773 Skipping link: not a file: https://pypi.org/simple/certora-cli-alpha-cvl-rewrite/
2023-02-23T19:53:44,814 Given no hashes to check 0 links for project 'certora-cli-alpha-cvl-rewrite': discarding no candidates
2023-02-23T19:53:44,815 ERROR: Ignored the following versions that require a different python version: 20230223.19.24 Requires-Python >=3.8
2023-02-23T19:53:44,817 ERROR: Could not find a version that satisfies the requirement certora-cli-alpha-cvl-rewrite==20230223.19.24 (from versions: none)
2023-02-23T19:53:44,819 ERROR: No matching distribution found for certora-cli-alpha-cvl-rewrite==20230223.19.24
2023-02-23T19:53:44,821 Exception information:
2023-02-23T19:53:44,821 Traceback (most recent call last):
2023-02-23T19:53:44,821   File "/usr/local/lib/python3.7/dist-packages/pip/_vendor/resolvelib/resolvers.py", line 348, in resolve
2023-02-23T19:53:44,821     self._add_to_criteria(self.state.criteria, r, parent=None)
2023-02-23T19:53:44,821   File "/usr/local/lib/python3.7/dist-packages/pip/_vendor/resolvelib/resolvers.py", line 173, in _add_to_criteria
2023-02-23T19:53:44,821     raise RequirementsConflicted(criterion)
2023-02-23T19:53:44,821 pip._vendor.resolvelib.resolvers.RequirementsConflicted: Requirements conflict: SpecifierRequirement('certora-cli-alpha-cvl-rewrite==20230223.19.24')
2023-02-23T19:53:44,821 
2023-02-23T19:53:44,821 During handling of the above exception, another exception occurred:
2023-02-23T19:53:44,821 
2023-02-23T19:53:44,821 Traceback (most recent call last):
2023-02-23T19:53:44,821   File "/usr/local/lib/python3.7/dist-packages/pip/_internal/resolution/resolvelib/resolver.py", line 93, in resolve
2023-02-23T19:53:44,821     collected.requirements, max_rounds=try_to_avoid_resolution_too_deep
2023-02-23T19:53:44,821   File "/usr/local/lib/python3.7/dist-packages/pip/_vendor/resolvelib/resolvers.py", line 481, in resolve
2023-02-23T19:53:44,821     state = resolution.resolve(requirements, max_rounds=max_rounds)
2023-02-23T19:53:44,821   File "/usr/local/lib/python3.7/dist-packages/pip/_vendor/resolvelib/resolvers.py", line 350, in resolve
2023-02-23T19:53:44,821     raise ResolutionImpossible(e.criterion.information)
2023-02-23T19:53:44,821 pip._vendor.resolvelib.resolvers.ResolutionImpossible: [RequirementInformation(requirement=SpecifierRequirement('certora-cli-alpha-cvl-rewrite==20230223.19.24'), parent=None)]
2023-02-23T19:53:44,821 
2023-02-23T19:53:44,821 The above exception was the direct cause of the following exception:
2023-02-23T19:53:44,821 
2023-02-23T19:53:44,821 Traceback (most recent call last):
2023-02-23T19:53:44,821   File "/usr/local/lib/python3.7/dist-packages/pip/_internal/cli/base_command.py", line 160, in exc_logging_wrapper
2023-02-23T19:53:44,821     status = run_func(*args)
2023-02-23T19:53:44,821   File "/usr/local/lib/python3.7/dist-packages/pip/_internal/cli/req_command.py", line 247, in wrapper
2023-02-23T19:53:44,821     return func(self, options, args)
2023-02-23T19:53:44,821   File "/usr/local/lib/python3.7/dist-packages/pip/_internal/commands/wheel.py", line 170, in run
2023-02-23T19:53:44,821     requirement_set = resolver.resolve(reqs, check_supported_wheels=True)
2023-02-23T19:53:44,821   File "/usr/local/lib/python3.7/dist-packages/pip/_internal/resolution/resolvelib/resolver.py", line 101, in resolve
2023-02-23T19:53:44,821     raise error from e
2023-02-23T19:53:44,821 pip._internal.exceptions.DistributionNotFound: No matching distribution found for certora-cli-alpha-cvl-rewrite==20230223.19.24
2023-02-23T19:53:44,830 Removed build tracker: '/tmp/pip-build-tracker-hrp3p07g'