2023-05-19T09:23:47,288 Created temporary directory: /tmp/pip-build-tracker-pgt8iokr
2023-05-19T09:23:47,292 Initialized build tracking at /tmp/pip-build-tracker-pgt8iokr
2023-05-19T09:23:47,292 Created build tracker: /tmp/pip-build-tracker-pgt8iokr
2023-05-19T09:23:47,292 Entered build tracker: /tmp/pip-build-tracker-pgt8iokr
2023-05-19T09:23:47,294 Created temporary directory: /tmp/pip-wheel-a0hf7g0a
2023-05-19T09:23:47,304 Created temporary directory: /tmp/pip-ephem-wheel-cache-2j0uq35p
2023-05-19T09:23:47,356 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple
2023-05-19T09:23:47,366 2 location(s) to search for versions of certora-cli-alpha-dominik-change-mus-enumeration-solver:
2023-05-19T09:23:47,366 * https://pypi.org/simple/certora-cli-alpha-dominik-change-mus-enumeration-solver/
2023-05-19T09:23:47,366 * https://www.piwheels.org/simple/certora-cli-alpha-dominik-change-mus-enumeration-solver/
2023-05-19T09:23:47,367 Fetching project page and analyzing links: https://pypi.org/simple/certora-cli-alpha-dominik-change-mus-enumeration-solver/
2023-05-19T09:23:47,368 Getting page https://pypi.org/simple/certora-cli-alpha-dominik-change-mus-enumeration-solver/
2023-05-19T09:23:47,373 Found index url https://pypi.org/simple/
2023-05-19T09:23:47,560 Fetched page https://pypi.org/simple/certora-cli-alpha-dominik-change-mus-enumeration-solver/ as application/vnd.pypi.simple.v1+json
2023-05-19T09:23:47,564   Link requires a different Python (3.7.3 not in: '>=3.8'): https://files.pythonhosted.org/packages/1e/50/9b81c4bc38a3d8e1fa50c11f4c9152d0ac1314b1de15cd30521100262501/certora-cli-alpha-dominik-change_mus_enumeration_solver-20230519.9.3.809548.tar.gz (from https://pypi.org/simple/certora-cli-alpha-dominik-change-mus-enumeration-solver/) (requires-python:>=3.8)
2023-05-19T09:23:47,565   Skipping link: 20230519.9.3.809548 Requires-Python >=3.8: https://files.pythonhosted.org/packages/1e/50/9b81c4bc38a3d8e1fa50c11f4c9152d0ac1314b1de15cd30521100262501/certora-cli-alpha-dominik-change_mus_enumeration_solver-20230519.9.3.809548.tar.gz (from https://pypi.org/simple/certora-cli-alpha-dominik-change-mus-enumeration-solver/) (requires-python:>=3.8)
2023-05-19T09:23:47,565   Skipping link: No binaries permitted for certora-cli-alpha-dominik-change-mus-enumeration-solver: https://files.pythonhosted.org/packages/00/1e/effff71a39a6a21e0811756a58755c0164611597c706c4932a5067116a3f/certora_cli_alpha_dominik_change_mus_enumeration_solver-20230519.9.3.809548-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-dominik-change-mus-enumeration-solver/) (requires-python:>=3.8)
2023-05-19T09:23:47,566 Fetching project page and analyzing links: https://www.piwheels.org/simple/certora-cli-alpha-dominik-change-mus-enumeration-solver/
2023-05-19T09:23:47,567 Getting page https://www.piwheels.org/simple/certora-cli-alpha-dominik-change-mus-enumeration-solver/
2023-05-19T09:23:47,569 Found index url https://www.piwheels.org/simple/
2023-05-19T09:23:47,784 Fetched page https://www.piwheels.org/simple/certora-cli-alpha-dominik-change-mus-enumeration-solver/ as text/html
2023-05-19T09:23:47,786 Skipping link: not a file: https://www.piwheels.org/simple/certora-cli-alpha-dominik-change-mus-enumeration-solver/
2023-05-19T09:23:47,787 Skipping link: not a file: https://pypi.org/simple/certora-cli-alpha-dominik-change-mus-enumeration-solver/
2023-05-19T09:23:47,818 Given no hashes to check 0 links for project 'certora-cli-alpha-dominik-change-mus-enumeration-solver': discarding no candidates
2023-05-19T09:23:47,819 ERROR: Ignored the following versions that require a different python version: 20230519.9.3.809548 Requires-Python >=3.8
2023-05-19T09:23:47,822 ERROR: Could not find a version that satisfies the requirement certora-cli-alpha-dominik-change-mus-enumeration-solver==20230519.9.3.809548 (from versions: none)
2023-05-19T09:23:47,825 ERROR: No matching distribution found for certora-cli-alpha-dominik-change-mus-enumeration-solver==20230519.9.3.809548
2023-05-19T09:23:47,827 Exception information:
2023-05-19T09:23:47,827 Traceback (most recent call last):
2023-05-19T09:23:47,827   File "/usr/local/lib/python3.7/dist-packages/pip/_vendor/resolvelib/resolvers.py", line 397, in resolve
2023-05-19T09:23:47,827     self._add_to_criteria(self.state.criteria, r, parent=None)
2023-05-19T09:23:47,827   File "/usr/local/lib/python3.7/dist-packages/pip/_vendor/resolvelib/resolvers.py", line 174, in _add_to_criteria
2023-05-19T09:23:47,827     raise RequirementsConflicted(criterion)
2023-05-19T09:23:47,827 pip._vendor.resolvelib.resolvers.RequirementsConflicted: Requirements conflict: SpecifierRequirement('certora-cli-alpha-dominik-change-mus-enumeration-solver==20230519.9.3.809548')
2023-05-19T09:23:47,827 
2023-05-19T09:23:47,827 During handling of the above exception, another exception occurred:
2023-05-19T09:23:47,827 
2023-05-19T09:23:47,827 Traceback (most recent call last):
2023-05-19T09:23:47,827   File "/usr/local/lib/python3.7/dist-packages/pip/_internal/resolution/resolvelib/resolver.py", line 93, in resolve
2023-05-19T09:23:47,827     collected.requirements, max_rounds=limit_how_complex_resolution_can_be
2023-05-19T09:23:47,827   File "/usr/local/lib/python3.7/dist-packages/pip/_vendor/resolvelib/resolvers.py", line 546, in resolve
2023-05-19T09:23:47,827     state = resolution.resolve(requirements, max_rounds=max_rounds)
2023-05-19T09:23:47,827   File "/usr/local/lib/python3.7/dist-packages/pip/_vendor/resolvelib/resolvers.py", line 399, in resolve
2023-05-19T09:23:47,827     raise ResolutionImpossible(e.criterion.information)
2023-05-19T09:23:47,827 pip._vendor.resolvelib.resolvers.ResolutionImpossible: [RequirementInformation(requirement=SpecifierRequirement('certora-cli-alpha-dominik-change-mus-enumeration-solver==20230519.9.3.809548'), parent=None)]
2023-05-19T09:23:47,827 
2023-05-19T09:23:47,827 The above exception was the direct cause of the following exception:
2023-05-19T09:23:47,827 
2023-05-19T09:23:47,827 Traceback (most recent call last):
2023-05-19T09:23:47,827   File "/usr/local/lib/python3.7/dist-packages/pip/_internal/cli/base_command.py", line 169, in exc_logging_wrapper
2023-05-19T09:23:47,827     status = run_func(*args)
2023-05-19T09:23:47,827   File "/usr/local/lib/python3.7/dist-packages/pip/_internal/cli/req_command.py", line 248, in wrapper
2023-05-19T09:23:47,827     return func(self, options, args)
2023-05-19T09:23:47,827   File "/usr/local/lib/python3.7/dist-packages/pip/_internal/commands/wheel.py", line 147, in run
2023-05-19T09:23:47,827     requirement_set = resolver.resolve(reqs, check_supported_wheels=True)
2023-05-19T09:23:47,827   File "/usr/local/lib/python3.7/dist-packages/pip/_internal/resolution/resolvelib/resolver.py", line 101, in resolve
2023-05-19T09:23:47,827     raise error from e
2023-05-19T09:23:47,827 pip._internal.exceptions.DistributionNotFound: No matching distribution found for certora-cli-alpha-dominik-change-mus-enumeration-solver==20230519.9.3.809548
2023-05-19T09:23:47,836 Removed build tracker: '/tmp/pip-build-tracker-pgt8iokr'