2023-05-16T21:31:12,350 Created temporary directory: /tmp/pip-build-tracker-xeu6e238 2023-05-16T21:31:12,353 Initialized build tracking at /tmp/pip-build-tracker-xeu6e238 2023-05-16T21:31:12,354 Created build tracker: /tmp/pip-build-tracker-xeu6e238 2023-05-16T21:31:12,354 Entered build tracker: /tmp/pip-build-tracker-xeu6e238 2023-05-16T21:31:12,355 Created temporary directory: /tmp/pip-wheel-6g88owua 2023-05-16T21:31:12,365 Created temporary directory: /tmp/pip-ephem-wheel-cache-cjvyn5yv 2023-05-16T21:31:12,419 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple 2023-05-16T21:31:12,428 2 location(s) to search for versions of certora-cli-alpha-uri-broaden-server: 2023-05-16T21:31:12,428 * https://pypi.org/simple/certora-cli-alpha-uri-broaden-server/ 2023-05-16T21:31:12,428 * https://www.piwheels.org/simple/certora-cli-alpha-uri-broaden-server/ 2023-05-16T21:31:12,429 Fetching project page and analyzing links: https://pypi.org/simple/certora-cli-alpha-uri-broaden-server/ 2023-05-16T21:31:12,431 Getting page https://pypi.org/simple/certora-cli-alpha-uri-broaden-server/ 2023-05-16T21:31:12,435 Found index url https://pypi.org/simple/ 2023-05-16T21:31:12,543 Fetched page https://pypi.org/simple/certora-cli-alpha-uri-broaden-server/ as application/vnd.pypi.simple.v1+json 2023-05-16T21:31:12,553 Link requires a different Python (3.7.3 not in: '>=3.8.16'): https://files.pythonhosted.org/packages/46/52/a79d7eea65ed4f07e028b4c9648f83f3222c6da99f1175f0d2e1a872c08d/certora-cli-alpha-uri-broaden_server-20230510.21.4.35636.tar.gz (from https://pypi.org/simple/certora-cli-alpha-uri-broaden-server/) (requires-python:>=3.8.16) 2023-05-16T21:31:12,553 Skipping link: 20230510.21.4.35636 Requires-Python >=3.8.16: https://files.pythonhosted.org/packages/46/52/a79d7eea65ed4f07e028b4c9648f83f3222c6da99f1175f0d2e1a872c08d/certora-cli-alpha-uri-broaden_server-20230510.21.4.35636.tar.gz (from https://pypi.org/simple/certora-cli-alpha-uri-broaden-server/) (requires-python:>=3.8.16) 2023-05-16T21:31:12,554 Skipping link: No binaries permitted for certora-cli-alpha-uri-broaden-server: https://files.pythonhosted.org/packages/eb/60/6c0f90e9e6efd60f268da78f72737477ca63d51e5d73f626aac88a27f81d/certora_cli_alpha_uri_broaden_server-20230510.21.4.35636-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-uri-broaden-server/) (requires-python:>=3.8.16) 2023-05-16T21:31:12,555 Link requires a different Python (3.7.3 not in: '>=3.8.16'): https://files.pythonhosted.org/packages/44/78/6af44b1d8150d48a3463c16d53280d3cb192e5f405abdb66696e3639e7bc/certora-cli-alpha-uri-broaden_server-20230511.7.23.881884.tar.gz (from https://pypi.org/simple/certora-cli-alpha-uri-broaden-server/) (requires-python:>=3.8.16) 2023-05-16T21:31:12,556 Skipping link: 20230511.7.23.881884 Requires-Python >=3.8.16: https://files.pythonhosted.org/packages/44/78/6af44b1d8150d48a3463c16d53280d3cb192e5f405abdb66696e3639e7bc/certora-cli-alpha-uri-broaden_server-20230511.7.23.881884.tar.gz (from https://pypi.org/simple/certora-cli-alpha-uri-broaden-server/) (requires-python:>=3.8.16) 2023-05-16T21:31:12,556 Skipping link: No binaries permitted for certora-cli-alpha-uri-broaden-server: https://files.pythonhosted.org/packages/3f/77/75ddc3949e60db3549cb29a75289a919b3a048ac5a269311c1db2dbe48a8/certora_cli_alpha_uri_broaden_server-20230511.7.23.881884-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-uri-broaden-server/) (requires-python:>=3.8.16) 2023-05-16T21:31:12,558 Link requires a different Python (3.7.3 not in: '>=3.8.16'): https://files.pythonhosted.org/packages/13/c5/2751c4205ab0130a28a9ee8954df376d55f9fec7b50814957db993d3c19e/certora-cli-alpha-uri-broaden_server-20230511.16.10.287047.tar.gz (from https://pypi.org/simple/certora-cli-alpha-uri-broaden-server/) (requires-python:>=3.8.16) 2023-05-16T21:31:12,558 Skipping link: 20230511.16.10.287047 Requires-Python >=3.8.16: https://files.pythonhosted.org/packages/13/c5/2751c4205ab0130a28a9ee8954df376d55f9fec7b50814957db993d3c19e/certora-cli-alpha-uri-broaden_server-20230511.16.10.287047.tar.gz (from https://pypi.org/simple/certora-cli-alpha-uri-broaden-server/) (requires-python:>=3.8.16) 2023-05-16T21:31:12,559 Skipping link: No binaries permitted for certora-cli-alpha-uri-broaden-server: https://files.pythonhosted.org/packages/16/ea/cc76925ecaa3c91d5391f6940c7e41f896be8da73c7ea8e6638a830bfe36/certora_cli_alpha_uri_broaden_server-20230511.16.10.287047-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-uri-broaden-server/) (requires-python:>=3.8.16) 2023-05-16T21:31:12,560 Link requires a different Python (3.7.3 not in: '>=3.8.16'): https://files.pythonhosted.org/packages/80/e7/3df6881da749519722324d21b01938abe8c1ab68bacaaa5ef0932a92eb72/certora-cli-alpha-uri-broaden_server-20230516.8.44.57245.tar.gz (from https://pypi.org/simple/certora-cli-alpha-uri-broaden-server/) (requires-python:>=3.8.16) 2023-05-16T21:31:12,561 Skipping link: 20230516.8.44.57245 Requires-Python >=3.8.16: https://files.pythonhosted.org/packages/80/e7/3df6881da749519722324d21b01938abe8c1ab68bacaaa5ef0932a92eb72/certora-cli-alpha-uri-broaden_server-20230516.8.44.57245.tar.gz (from https://pypi.org/simple/certora-cli-alpha-uri-broaden-server/) (requires-python:>=3.8.16) 2023-05-16T21:31:12,561 Skipping link: No binaries permitted for certora-cli-alpha-uri-broaden-server: https://files.pythonhosted.org/packages/85/db/705736a801cac0222641ba12fe8c2b87ee0047501b8cd511eb6d17db7ab1/certora_cli_alpha_uri_broaden_server-20230516.8.44.57245-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-uri-broaden-server/) (requires-python:>=3.8.16) 2023-05-16T21:31:12,563 Link requires a different Python (3.7.3 not in: '>=3.8.16'): https://files.pythonhosted.org/packages/2f/1e/6ab038070de64743819909ee157306dc7f565258236ae3ca66376bfcfc1f/certora-cli-alpha-uri-broaden_server-20230516.10.42.493463.tar.gz (from https://pypi.org/simple/certora-cli-alpha-uri-broaden-server/) (requires-python:>=3.8.16) 2023-05-16T21:31:12,563 Skipping link: 20230516.10.42.493463 Requires-Python >=3.8.16: https://files.pythonhosted.org/packages/2f/1e/6ab038070de64743819909ee157306dc7f565258236ae3ca66376bfcfc1f/certora-cli-alpha-uri-broaden_server-20230516.10.42.493463.tar.gz (from https://pypi.org/simple/certora-cli-alpha-uri-broaden-server/) (requires-python:>=3.8.16) 2023-05-16T21:31:12,564 Skipping link: No binaries permitted for certora-cli-alpha-uri-broaden-server: https://files.pythonhosted.org/packages/84/2e/6fa6202967300940513174d3237a04c19975d5dcf16467af7269d4791967/certora_cli_alpha_uri_broaden_server-20230516.10.42.493463-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-uri-broaden-server/) (requires-python:>=3.8.16) 2023-05-16T21:31:12,565 Link requires a different Python (3.7.3 not in: '>=3.8.16'): https://files.pythonhosted.org/packages/f8/60/5115f204ddf4ca0a03a4ecabf6ce85b240f910aef0d25427c6bc8df72eda/certora-cli-alpha-uri-broaden_server-20230516.11.5.786137.tar.gz (from https://pypi.org/simple/certora-cli-alpha-uri-broaden-server/) (requires-python:>=3.8.16) 2023-05-16T21:31:12,566 Skipping link: 20230516.11.5.786137 Requires-Python >=3.8.16: https://files.pythonhosted.org/packages/f8/60/5115f204ddf4ca0a03a4ecabf6ce85b240f910aef0d25427c6bc8df72eda/certora-cli-alpha-uri-broaden_server-20230516.11.5.786137.tar.gz (from https://pypi.org/simple/certora-cli-alpha-uri-broaden-server/) (requires-python:>=3.8.16) 2023-05-16T21:31:12,566 Skipping link: No binaries permitted for certora-cli-alpha-uri-broaden-server: https://files.pythonhosted.org/packages/14/04/a0ba5d71510476a799e78481c50cc66ffacfa51df375c907b10af6caa02b/certora_cli_alpha_uri_broaden_server-20230516.11.5.786137-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-uri-broaden-server/) (requires-python:>=3.8.16) 2023-05-16T21:31:12,567 Link requires a different Python (3.7.3 not in: '>=3.8.16'): https://files.pythonhosted.org/packages/8b/b6/dc333c96b814d2ca7410da9ca52c33068cfb2b3d5989227bf8a58dd39d70/certora-cli-alpha-uri-broaden_server-20230516.12.38.185464.tar.gz (from https://pypi.org/simple/certora-cli-alpha-uri-broaden-server/) (requires-python:>=3.8.16) 2023-05-16T21:31:12,568 Skipping link: 20230516.12.38.185464 Requires-Python >=3.8.16: https://files.pythonhosted.org/packages/8b/b6/dc333c96b814d2ca7410da9ca52c33068cfb2b3d5989227bf8a58dd39d70/certora-cli-alpha-uri-broaden_server-20230516.12.38.185464.tar.gz (from https://pypi.org/simple/certora-cli-alpha-uri-broaden-server/) (requires-python:>=3.8.16) 2023-05-16T21:31:12,568 Skipping link: No binaries permitted for certora-cli-alpha-uri-broaden-server: https://files.pythonhosted.org/packages/58/07/1652c52e9471430485004609fe71d2f615c19f08fac450d6b22b07017948/certora_cli_alpha_uri_broaden_server-20230516.12.38.185464-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-uri-broaden-server/) (requires-python:>=3.8.16) 2023-05-16T21:31:12,569 Fetching project page and analyzing links: https://www.piwheels.org/simple/certora-cli-alpha-uri-broaden-server/ 2023-05-16T21:31:12,570 Getting page https://www.piwheels.org/simple/certora-cli-alpha-uri-broaden-server/ 2023-05-16T21:31:12,572 Found index url https://www.piwheels.org/simple/ 2023-05-16T21:31:12,797 Fetched page https://www.piwheels.org/simple/certora-cli-alpha-uri-broaden-server/ as text/html 2023-05-16T21:31:12,802 Skipping link: No binaries permitted for certora-cli-alpha-uri-broaden-server: https://www.piwheels.org/simple/certora-cli-alpha-uri-broaden-server/certora_cli_alpha_uri_broaden_server-20230511.16.10.287047-py3-none-any.whl#sha256=b06c424ffe708acdd02e862b4ba90fe60ae284c235eb109c9968aeb0a6cbe696 (from https://www.piwheels.org/simple/certora-cli-alpha-uri-broaden-server/) (requires-python:>=3.8.16) 2023-05-16T21:31:12,802 Skipping link: No binaries permitted for certora-cli-alpha-uri-broaden-server: https://www.piwheels.org/simple/certora-cli-alpha-uri-broaden-server/certora_cli_alpha_uri_broaden_server-20230511.7.23.881884-py3-none-any.whl#sha256=31c0973b33dd15d892a09c46dc5c8ebd91c99d54b2d21036b40ddde7d7773912 (from https://www.piwheels.org/simple/certora-cli-alpha-uri-broaden-server/) (requires-python:>=3.8.16) 2023-05-16T21:31:12,803 Skipping link: No binaries permitted for certora-cli-alpha-uri-broaden-server: https://www.piwheels.org/simple/certora-cli-alpha-uri-broaden-server/certora_cli_alpha_uri_broaden_server-20230510.21.4.35636-py3-none-any.whl#sha256=ae9bffa035c5a7146c9edf280c0008b3180924d40d43656ddf15a772f8649732 (from https://www.piwheels.org/simple/certora-cli-alpha-uri-broaden-server/) (requires-python:>=3.8.16) 2023-05-16T21:31:12,803 Skipping link: not a file: https://www.piwheels.org/simple/certora-cli-alpha-uri-broaden-server/ 2023-05-16T21:31:12,804 Skipping link: not a file: https://pypi.org/simple/certora-cli-alpha-uri-broaden-server/ 2023-05-16T21:31:12,836 Given no hashes to check 0 links for project 'certora-cli-alpha-uri-broaden-server': discarding no candidates 2023-05-16T21:31:12,837 ERROR: Ignored the following versions that require a different python version: 20230510.21.4.35636 Requires-Python >=3.8.16; 20230511.16.10.287047 Requires-Python >=3.8.16; 20230511.7.23.881884 Requires-Python >=3.8.16; 20230516.10.42.493463 Requires-Python >=3.8.16; 20230516.11.5.786137 Requires-Python >=3.8.16; 20230516.12.38.185464 Requires-Python >=3.8.16; 20230516.8.44.57245 Requires-Python >=3.8.16 2023-05-16T21:31:12,840 ERROR: Could not find a version that satisfies the requirement certora-cli-alpha-uri-broaden-server==20230516.10.42.493463 (from versions: none) 2023-05-16T21:31:12,842 ERROR: No matching distribution found for certora-cli-alpha-uri-broaden-server==20230516.10.42.493463 2023-05-16T21:31:12,844 Exception information: 2023-05-16T21:31:12,844 Traceback (most recent call last): 2023-05-16T21:31:12,844 File "/usr/local/lib/python3.7/dist-packages/pip/_vendor/resolvelib/resolvers.py", line 397, in resolve 2023-05-16T21:31:12,844 self._add_to_criteria(self.state.criteria, r, parent=None) 2023-05-16T21:31:12,844 File "/usr/local/lib/python3.7/dist-packages/pip/_vendor/resolvelib/resolvers.py", line 174, in _add_to_criteria 2023-05-16T21:31:12,844 raise RequirementsConflicted(criterion) 2023-05-16T21:31:12,844 pip._vendor.resolvelib.resolvers.RequirementsConflicted: Requirements conflict: SpecifierRequirement('certora-cli-alpha-uri-broaden-server==20230516.10.42.493463') 2023-05-16T21:31:12,844 2023-05-16T21:31:12,844 During handling of the above exception, another exception occurred: 2023-05-16T21:31:12,844 2023-05-16T21:31:12,844 Traceback (most recent call last): 2023-05-16T21:31:12,844 File "/usr/local/lib/python3.7/dist-packages/pip/_internal/resolution/resolvelib/resolver.py", line 93, in resolve 2023-05-16T21:31:12,844 collected.requirements, max_rounds=limit_how_complex_resolution_can_be 2023-05-16T21:31:12,844 File "/usr/local/lib/python3.7/dist-packages/pip/_vendor/resolvelib/resolvers.py", line 546, in resolve 2023-05-16T21:31:12,844 state = resolution.resolve(requirements, max_rounds=max_rounds) 2023-05-16T21:31:12,844 File "/usr/local/lib/python3.7/dist-packages/pip/_vendor/resolvelib/resolvers.py", line 399, in resolve 2023-05-16T21:31:12,844 raise ResolutionImpossible(e.criterion.information) 2023-05-16T21:31:12,844 pip._vendor.resolvelib.resolvers.ResolutionImpossible: [RequirementInformation(requirement=SpecifierRequirement('certora-cli-alpha-uri-broaden-server==20230516.10.42.493463'), parent=None)] 2023-05-16T21:31:12,844 2023-05-16T21:31:12,844 The above exception was the direct cause of the following exception: 2023-05-16T21:31:12,844 2023-05-16T21:31:12,844 Traceback (most recent call last): 2023-05-16T21:31:12,844 File "/usr/local/lib/python3.7/dist-packages/pip/_internal/cli/base_command.py", line 169, in exc_logging_wrapper 2023-05-16T21:31:12,844 status = run_func(*args) 2023-05-16T21:31:12,844 File "/usr/local/lib/python3.7/dist-packages/pip/_internal/cli/req_command.py", line 248, in wrapper 2023-05-16T21:31:12,844 return func(self, options, args) 2023-05-16T21:31:12,844 File "/usr/local/lib/python3.7/dist-packages/pip/_internal/commands/wheel.py", line 147, in run 2023-05-16T21:31:12,844 requirement_set = resolver.resolve(reqs, check_supported_wheels=True) 2023-05-16T21:31:12,844 File "/usr/local/lib/python3.7/dist-packages/pip/_internal/resolution/resolvelib/resolver.py", line 101, in resolve 2023-05-16T21:31:12,844 raise error from e 2023-05-16T21:31:12,844 pip._internal.exceptions.DistributionNotFound: No matching distribution found for certora-cli-alpha-uri-broaden-server==20230516.10.42.493463 2023-05-16T21:31:12,853 Removed build tracker: '/tmp/pip-build-tracker-xeu6e238'