2023-05-13T22:47:47,544 Created temporary directory: /tmp/pip-build-tracker-uo4zl2hk
2023-05-13T22:47:47,548 Initialized build tracking at /tmp/pip-build-tracker-uo4zl2hk
2023-05-13T22:47:47,548 Created build tracker: /tmp/pip-build-tracker-uo4zl2hk
2023-05-13T22:47:47,548 Entered build tracker: /tmp/pip-build-tracker-uo4zl2hk
2023-05-13T22:47:47,550 Created temporary directory: /tmp/pip-wheel-vupebv6b
2023-05-13T22:47:47,560 Created temporary directory: /tmp/pip-ephem-wheel-cache-3v4km28q
2023-05-13T22:47:47,617 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple
2023-05-13T22:47:47,627 2 location(s) to search for versions of certora-cli-alpha-oz-docker-json5:
2023-05-13T22:47:47,627 * https://pypi.org/simple/certora-cli-alpha-oz-docker-json5/
2023-05-13T22:47:47,627 * https://www.piwheels.org/simple/certora-cli-alpha-oz-docker-json5/
2023-05-13T22:47:47,628 Fetching project page and analyzing links: https://pypi.org/simple/certora-cli-alpha-oz-docker-json5/
2023-05-13T22:47:47,629 Getting page https://pypi.org/simple/certora-cli-alpha-oz-docker-json5/
2023-05-13T22:47:47,634 Found index url https://pypi.org/simple/
2023-05-13T22:47:47,743 Fetched page https://pypi.org/simple/certora-cli-alpha-oz-docker-json5/ as application/vnd.pypi.simple.v1+json
2023-05-13T22:47:47,759   Link requires a different Python (3.7.3 not in: '>=3.8.16'): https://files.pythonhosted.org/packages/16/f7/8309c6a7a049961380cdca419fe03ef0ccfcc1077421a0442de7d418d9cb/certora-cli-alpha-oz-docker-json5-20230503.11.53.297815.tar.gz (from https://pypi.org/simple/certora-cli-alpha-oz-docker-json5/) (requires-python:>=3.8.16)
2023-05-13T22:47:47,760   Skipping link: 20230503.11.53.297815 Requires-Python >=3.8.16: https://files.pythonhosted.org/packages/16/f7/8309c6a7a049961380cdca419fe03ef0ccfcc1077421a0442de7d418d9cb/certora-cli-alpha-oz-docker-json5-20230503.11.53.297815.tar.gz (from https://pypi.org/simple/certora-cli-alpha-oz-docker-json5/) (requires-python:>=3.8.16)
2023-05-13T22:47:47,760   Skipping link: No binaries permitted for certora-cli-alpha-oz-docker-json5: https://files.pythonhosted.org/packages/5e/4f/f034fe6a6daa589ad11614538cd3c3fad06ae2d2c3422449c4751dca4b0f/certora_cli_alpha_oz_docker_json5-20230503.11.53.297815-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-oz-docker-json5/) (requires-python:>=3.8.16)
2023-05-13T22:47:47,762   Link requires a different Python (3.7.3 not in: '>=3.8.16'): https://files.pythonhosted.org/packages/79/26/d51a2b1e418053427e21f511a66b09a88bec611ffb68adaede7dbd12151d/certora-cli-alpha-oz-docker-json5-20230504.8.42.61246.tar.gz (from https://pypi.org/simple/certora-cli-alpha-oz-docker-json5/) (requires-python:>=3.8.16)
2023-05-13T22:47:47,763   Skipping link: 20230504.8.42.61246 Requires-Python >=3.8.16: https://files.pythonhosted.org/packages/79/26/d51a2b1e418053427e21f511a66b09a88bec611ffb68adaede7dbd12151d/certora-cli-alpha-oz-docker-json5-20230504.8.42.61246.tar.gz (from https://pypi.org/simple/certora-cli-alpha-oz-docker-json5/) (requires-python:>=3.8.16)
2023-05-13T22:47:47,763   Skipping link: No binaries permitted for certora-cli-alpha-oz-docker-json5: https://files.pythonhosted.org/packages/4c/87/d671be7a676ead2667d6249686c643148cf6f3a9733d9f69e863dc2d38e1/certora_cli_alpha_oz_docker_json5-20230504.8.42.61246-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-oz-docker-json5/) (requires-python:>=3.8.16)
2023-05-13T22:47:47,765   Link requires a different Python (3.7.3 not in: '>=3.8.16'): https://files.pythonhosted.org/packages/e0/05/c567e7b2c9594fe0689462037131e9ffba5f5786a75a5a8086dcc2392b50/certora-cli-alpha-oz-docker-json5-20230504.10.8.680838.tar.gz (from https://pypi.org/simple/certora-cli-alpha-oz-docker-json5/) (requires-python:>=3.8.16)
2023-05-13T22:47:47,766   Skipping link: 20230504.10.8.680838 Requires-Python >=3.8.16: https://files.pythonhosted.org/packages/e0/05/c567e7b2c9594fe0689462037131e9ffba5f5786a75a5a8086dcc2392b50/certora-cli-alpha-oz-docker-json5-20230504.10.8.680838.tar.gz (from https://pypi.org/simple/certora-cli-alpha-oz-docker-json5/) (requires-python:>=3.8.16)
2023-05-13T22:47:47,766   Skipping link: No binaries permitted for certora-cli-alpha-oz-docker-json5: https://files.pythonhosted.org/packages/6d/1c/84929d11cb86f4391e240de597331e3a946d47b19158b1c37bc4fe0e8886/certora_cli_alpha_oz_docker_json5-20230504.10.8.680838-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-oz-docker-json5/) (requires-python:>=3.8.16)
2023-05-13T22:47:47,768   Link requires a different Python (3.7.3 not in: '>=3.8.16'): https://files.pythonhosted.org/packages/c0/c9/9378ccc304f5c91aaa9c49d3c90d7f80777751db865d1bc5d647f486f95c/certora-cli-alpha-oz-docker-json5-20230504.10.57.548446.tar.gz (from https://pypi.org/simple/certora-cli-alpha-oz-docker-json5/) (requires-python:>=3.8.16)
2023-05-13T22:47:47,769   Skipping link: 20230504.10.57.548446 Requires-Python >=3.8.16: https://files.pythonhosted.org/packages/c0/c9/9378ccc304f5c91aaa9c49d3c90d7f80777751db865d1bc5d647f486f95c/certora-cli-alpha-oz-docker-json5-20230504.10.57.548446.tar.gz (from https://pypi.org/simple/certora-cli-alpha-oz-docker-json5/) (requires-python:>=3.8.16)
2023-05-13T22:47:47,769   Skipping link: No binaries permitted for certora-cli-alpha-oz-docker-json5: https://files.pythonhosted.org/packages/22/2c/7883e756932389b670074170467d506d7e405ef59abad4aa17f90467000f/certora_cli_alpha_oz_docker_json5-20230504.10.57.548446-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-oz-docker-json5/) (requires-python:>=3.8.16)
2023-05-13T22:47:47,771   Link requires a different Python (3.7.3 not in: '>=3.8.16'): https://files.pythonhosted.org/packages/77/6a/088a0f5f24c05dbed89c0995e11abb95536e38b4403b65d6ef99b54d4d1e/certora-cli-alpha-oz-docker-json5-20230504.11.46.529156.tar.gz (from https://pypi.org/simple/certora-cli-alpha-oz-docker-json5/) (requires-python:>=3.8.16)
2023-05-13T22:47:47,771   Skipping link: 20230504.11.46.529156 Requires-Python >=3.8.16: https://files.pythonhosted.org/packages/77/6a/088a0f5f24c05dbed89c0995e11abb95536e38b4403b65d6ef99b54d4d1e/certora-cli-alpha-oz-docker-json5-20230504.11.46.529156.tar.gz (from https://pypi.org/simple/certora-cli-alpha-oz-docker-json5/) (requires-python:>=3.8.16)
2023-05-13T22:47:47,772   Skipping link: No binaries permitted for certora-cli-alpha-oz-docker-json5: https://files.pythonhosted.org/packages/43/e2/021d4d8d2f55a6ffbaa6df971c7e573760500b56cb0d49b90ebb2b0270f0/certora_cli_alpha_oz_docker_json5-20230504.11.46.529156-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-oz-docker-json5/) (requires-python:>=3.8.16)
2023-05-13T22:47:47,774   Link requires a different Python (3.7.3 not in: '>=3.8.16'): https://files.pythonhosted.org/packages/80/b4/a7143f92e20898ae08eec60063577b2e7e384f4eb540fc78334ad739555a/certora-cli-alpha-oz-docker-json5-20230504.12.39.10016.tar.gz (from https://pypi.org/simple/certora-cli-alpha-oz-docker-json5/) (requires-python:>=3.8.16)
2023-05-13T22:47:47,774   Skipping link: 20230504.12.39.10016 Requires-Python >=3.8.16: https://files.pythonhosted.org/packages/80/b4/a7143f92e20898ae08eec60063577b2e7e384f4eb540fc78334ad739555a/certora-cli-alpha-oz-docker-json5-20230504.12.39.10016.tar.gz (from https://pypi.org/simple/certora-cli-alpha-oz-docker-json5/) (requires-python:>=3.8.16)
2023-05-13T22:47:47,775   Skipping link: No binaries permitted for certora-cli-alpha-oz-docker-json5: https://files.pythonhosted.org/packages/fd/42/df417521f7927dfc6c5164ead8ccfbad3f9dcdac9e18981d93eef914501d/certora_cli_alpha_oz_docker_json5-20230504.12.39.10016-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-oz-docker-json5/) (requires-python:>=3.8.16)
2023-05-13T22:47:47,777   Link requires a different Python (3.7.3 not in: '>=3.8.16'): https://files.pythonhosted.org/packages/72/b2/55bf26d48411afa131e2ddca80103abc0b59a6a0303672fdced32b70ecb5/certora-cli-alpha-oz-docker-json5-20230504.13.30.350201.tar.gz (from https://pypi.org/simple/certora-cli-alpha-oz-docker-json5/) (requires-python:>=3.8.16)
2023-05-13T22:47:47,777   Skipping link: 20230504.13.30.350201 Requires-Python >=3.8.16: https://files.pythonhosted.org/packages/72/b2/55bf26d48411afa131e2ddca80103abc0b59a6a0303672fdced32b70ecb5/certora-cli-alpha-oz-docker-json5-20230504.13.30.350201.tar.gz (from https://pypi.org/simple/certora-cli-alpha-oz-docker-json5/) (requires-python:>=3.8.16)
2023-05-13T22:47:47,778   Skipping link: No binaries permitted for certora-cli-alpha-oz-docker-json5: https://files.pythonhosted.org/packages/03/34/a60f0bef0423e021a5d721e04159412a00b51fc95ca4d44e26c2beadfc3f/certora_cli_alpha_oz_docker_json5-20230504.13.30.350201-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-oz-docker-json5/) (requires-python:>=3.8.16)
2023-05-13T22:47:47,779   Link requires a different Python (3.7.3 not in: '>=3.8.16'): https://files.pythonhosted.org/packages/16/cf/37bc672ef108f436f84df1d1ac29ea0f393b2364e033516d1bcf286b1432/certora-cli-alpha-oz-docker-json5-20230504.14.2.24180.tar.gz (from https://pypi.org/simple/certora-cli-alpha-oz-docker-json5/) (requires-python:>=3.8.16)
2023-05-13T22:47:47,780   Skipping link: 20230504.14.2.24180 Requires-Python >=3.8.16: https://files.pythonhosted.org/packages/16/cf/37bc672ef108f436f84df1d1ac29ea0f393b2364e033516d1bcf286b1432/certora-cli-alpha-oz-docker-json5-20230504.14.2.24180.tar.gz (from https://pypi.org/simple/certora-cli-alpha-oz-docker-json5/) (requires-python:>=3.8.16)
2023-05-13T22:47:47,781   Skipping link: No binaries permitted for certora-cli-alpha-oz-docker-json5: https://files.pythonhosted.org/packages/a2/c2/b5781ec7d33034418ff8e7d63f41b5480134aecd17e1e562ebbf776061dc/certora_cli_alpha_oz_docker_json5-20230504.14.2.24180-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-oz-docker-json5/) (requires-python:>=3.8.16)
2023-05-13T22:47:47,782   Link requires a different Python (3.7.3 not in: '>=3.8.16'): https://files.pythonhosted.org/packages/95/d3/dde2b233596d467dfd42d78ad4547a1e09ec189e869db3e6f2e96740f2c1/certora-cli-alpha-oz-docker-json5-20230504.14.38.980559.tar.gz (from https://pypi.org/simple/certora-cli-alpha-oz-docker-json5/) (requires-python:>=3.8.16)
2023-05-13T22:47:47,783   Skipping link: 20230504.14.38.980559 Requires-Python >=3.8.16: https://files.pythonhosted.org/packages/95/d3/dde2b233596d467dfd42d78ad4547a1e09ec189e869db3e6f2e96740f2c1/certora-cli-alpha-oz-docker-json5-20230504.14.38.980559.tar.gz (from https://pypi.org/simple/certora-cli-alpha-oz-docker-json5/) (requires-python:>=3.8.16)
2023-05-13T22:47:47,784   Skipping link: No binaries permitted for certora-cli-alpha-oz-docker-json5: https://files.pythonhosted.org/packages/46/27/82b27eb047972d7f8f7ce1eee68fda400285ef83144e1fe076f122bba38d/certora_cli_alpha_oz_docker_json5-20230504.14.38.980559-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-oz-docker-json5/) (requires-python:>=3.8.16)
2023-05-13T22:47:47,785   Link requires a different Python (3.7.3 not in: '>=3.8.16'): https://files.pythonhosted.org/packages/a9/0d/5801e70b3530b7b7ee6b600db09873879f08e91474686b371ad6b82f1382/certora-cli-alpha-oz-docker-json5-20230504.15.35.189632.tar.gz (from https://pypi.org/simple/certora-cli-alpha-oz-docker-json5/) (requires-python:>=3.8.16)
2023-05-13T22:47:47,786   Skipping link: 20230504.15.35.189632 Requires-Python >=3.8.16: https://files.pythonhosted.org/packages/a9/0d/5801e70b3530b7b7ee6b600db09873879f08e91474686b371ad6b82f1382/certora-cli-alpha-oz-docker-json5-20230504.15.35.189632.tar.gz (from https://pypi.org/simple/certora-cli-alpha-oz-docker-json5/) (requires-python:>=3.8.16)
2023-05-13T22:47:47,787   Skipping link: No binaries permitted for certora-cli-alpha-oz-docker-json5: https://files.pythonhosted.org/packages/f7/ca/0904db16f207c5a5455e6e2de9fa881613d8bba692fcb06ad87f68b24da6/certora_cli_alpha_oz_docker_json5-20230504.15.35.189632-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-oz-docker-json5/) (requires-python:>=3.8.16)
2023-05-13T22:47:47,788   Link requires a different Python (3.7.3 not in: '>=3.8.16'): https://files.pythonhosted.org/packages/5a/dd/97be69d644055320e41789931abcab630887bc8a4c2f9d3115b5a7714042/certora-cli-alpha-oz-docker-json5-20230504.17.20.90759.tar.gz (from https://pypi.org/simple/certora-cli-alpha-oz-docker-json5/) (requires-python:>=3.8.16)
2023-05-13T22:47:47,789   Skipping link: 20230504.17.20.90759 Requires-Python >=3.8.16: https://files.pythonhosted.org/packages/5a/dd/97be69d644055320e41789931abcab630887bc8a4c2f9d3115b5a7714042/certora-cli-alpha-oz-docker-json5-20230504.17.20.90759.tar.gz (from https://pypi.org/simple/certora-cli-alpha-oz-docker-json5/) (requires-python:>=3.8.16)
2023-05-13T22:47:47,790   Skipping link: No binaries permitted for certora-cli-alpha-oz-docker-json5: https://files.pythonhosted.org/packages/bb/b1/47b3f98942f837d424a1daa0d09be4ec0bfbaf97cd3e4b1e0f9b85c31eec/certora_cli_alpha_oz_docker_json5-20230504.17.20.90759-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-oz-docker-json5/) (requires-python:>=3.8.16)
2023-05-13T22:47:47,791   Link requires a different Python (3.7.3 not in: '>=3.8.16'): https://files.pythonhosted.org/packages/df/a0/c355cd9f85b684b2ca6f3eaf6cd34784ca6443ff092bcde017d3ab8bb3e0/certora-cli-alpha-oz-docker-json5-20230504.17.58.502739.tar.gz (from https://pypi.org/simple/certora-cli-alpha-oz-docker-json5/) (requires-python:>=3.8.16)
2023-05-13T22:47:47,792   Skipping link: 20230504.17.58.502739 Requires-Python >=3.8.16: https://files.pythonhosted.org/packages/df/a0/c355cd9f85b684b2ca6f3eaf6cd34784ca6443ff092bcde017d3ab8bb3e0/certora-cli-alpha-oz-docker-json5-20230504.17.58.502739.tar.gz (from https://pypi.org/simple/certora-cli-alpha-oz-docker-json5/) (requires-python:>=3.8.16)
2023-05-13T22:47:47,793   Skipping link: No binaries permitted for certora-cli-alpha-oz-docker-json5: https://files.pythonhosted.org/packages/ef/26/59f419fb013c762eb44ca9813e894d5bd2eb2619187ea0cf1500d9356ee8/certora_cli_alpha_oz_docker_json5-20230504.17.58.502739-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-oz-docker-json5/) (requires-python:>=3.8.16)
2023-05-13T22:47:47,794   Link requires a different Python (3.7.3 not in: '>=3.8.16'): https://files.pythonhosted.org/packages/d2/94/f5451c717a69d60505f7d6938b1a99706a42937cd9b08048f5264579102b/certora-cli-alpha-oz-docker-json5-20230504.18.44.719551.tar.gz (from https://pypi.org/simple/certora-cli-alpha-oz-docker-json5/) (requires-python:>=3.8.16)
2023-05-13T22:47:47,795   Skipping link: 20230504.18.44.719551 Requires-Python >=3.8.16: https://files.pythonhosted.org/packages/d2/94/f5451c717a69d60505f7d6938b1a99706a42937cd9b08048f5264579102b/certora-cli-alpha-oz-docker-json5-20230504.18.44.719551.tar.gz (from https://pypi.org/simple/certora-cli-alpha-oz-docker-json5/) (requires-python:>=3.8.16)
2023-05-13T22:47:47,795   Skipping link: No binaries permitted for certora-cli-alpha-oz-docker-json5: https://files.pythonhosted.org/packages/ee/2d/b2e16d679c43e9d851feb0f7dd06ae76aeb67404b4fc1c2502a3c4443b9f/certora_cli_alpha_oz_docker_json5-20230504.18.44.719551-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-oz-docker-json5/) (requires-python:>=3.8.16)
2023-05-13T22:47:47,796 Fetching project page and analyzing links: https://www.piwheels.org/simple/certora-cli-alpha-oz-docker-json5/
2023-05-13T22:47:47,797 Getting page https://www.piwheels.org/simple/certora-cli-alpha-oz-docker-json5/
2023-05-13T22:47:47,800 Found index url https://www.piwheels.org/simple/
2023-05-13T22:47:48,021 Fetched page https://www.piwheels.org/simple/certora-cli-alpha-oz-docker-json5/ as text/html
2023-05-13T22:47:48,026   Skipping link: No binaries permitted for certora-cli-alpha-oz-docker-json5: https://www.piwheels.org/simple/certora-cli-alpha-oz-docker-json5/certora_cli_alpha_oz_docker_json5-20230504.10.57.548446-py3-none-any.whl#sha256=d133ffbb227d04b2a68fd262901016993cdc3d9713e3e0ed33204841f6dcf1d0 (from https://www.piwheels.org/simple/certora-cli-alpha-oz-docker-json5/) (requires-python:>=3.8.16)
2023-05-13T22:47:48,027   Skipping link: No binaries permitted for certora-cli-alpha-oz-docker-json5: https://www.piwheels.org/simple/certora-cli-alpha-oz-docker-json5/certora_cli_alpha_oz_docker_json5-20230504.10.8.680838-py3-none-any.whl#sha256=1bebb8a6999134854c53599e564b40d9e05b9b9f70f9d777d8708ee4a97b1aab (from https://www.piwheels.org/simple/certora-cli-alpha-oz-docker-json5/) (requires-python:>=3.8.16)
2023-05-13T22:47:48,028   Skipping link: No binaries permitted for certora-cli-alpha-oz-docker-json5: https://www.piwheels.org/simple/certora-cli-alpha-oz-docker-json5/certora_cli_alpha_oz_docker_json5-20230504.8.42.61246-py3-none-any.whl#sha256=a0ffee80e216876564ddb98cc739d3232075cd7d1977e6b430291ae0c12cb663 (from https://www.piwheels.org/simple/certora-cli-alpha-oz-docker-json5/) (requires-python:>=3.8.16)
2023-05-13T22:47:48,028   Skipping link: No binaries permitted for certora-cli-alpha-oz-docker-json5: https://www.piwheels.org/simple/certora-cli-alpha-oz-docker-json5/certora_cli_alpha_oz_docker_json5-20230503.11.53.297815-py3-none-any.whl#sha256=20630892d0fe1bae5b4a0c1a4c328c4a446fd00a894d7775112bcf35b8be8d99 (from https://www.piwheels.org/simple/certora-cli-alpha-oz-docker-json5/) (requires-python:>=3.8.16)
2023-05-13T22:47:48,029 Skipping link: not a file: https://www.piwheels.org/simple/certora-cli-alpha-oz-docker-json5/
2023-05-13T22:47:48,030 Skipping link: not a file: https://pypi.org/simple/certora-cli-alpha-oz-docker-json5/
2023-05-13T22:47:48,063 Given no hashes to check 0 links for project 'certora-cli-alpha-oz-docker-json5': discarding no candidates
2023-05-13T22:47:48,064 ERROR: Ignored the following versions that require a different python version: 20230503.11.53.297815 Requires-Python >=3.8.16; 20230504.10.57.548446 Requires-Python >=3.8.16; 20230504.10.8.680838 Requires-Python >=3.8.16; 20230504.11.46.529156 Requires-Python >=3.8.16; 20230504.12.39.10016 Requires-Python >=3.8.16; 20230504.13.30.350201 Requires-Python >=3.8.16; 20230504.14.2.24180 Requires-Python >=3.8.16; 20230504.14.38.980559 Requires-Python >=3.8.16; 20230504.15.35.189632 Requires-Python >=3.8.16; 20230504.17.20.90759 Requires-Python >=3.8.16; 20230504.17.58.502739 Requires-Python >=3.8.16; 20230504.18.44.719551 Requires-Python >=3.8.16; 20230504.8.42.61246 Requires-Python >=3.8.16
2023-05-13T22:47:48,067 ERROR: Could not find a version that satisfies the requirement certora-cli-alpha-oz-docker-json5==20230504.17.58.502739 (from versions: none)
2023-05-13T22:47:48,070 ERROR: No matching distribution found for certora-cli-alpha-oz-docker-json5==20230504.17.58.502739
2023-05-13T22:47:48,073 Exception information:
2023-05-13T22:47:48,073 Traceback (most recent call last):
2023-05-13T22:47:48,073   File "/home/piwheels/.local/lib/python3.7/site-packages/pip/_vendor/resolvelib/resolvers.py", line 397, in resolve
2023-05-13T22:47:48,073     self._add_to_criteria(self.state.criteria, r, parent=None)
2023-05-13T22:47:48,073   File "/home/piwheels/.local/lib/python3.7/site-packages/pip/_vendor/resolvelib/resolvers.py", line 174, in _add_to_criteria
2023-05-13T22:47:48,073     raise RequirementsConflicted(criterion)
2023-05-13T22:47:48,073 pip._vendor.resolvelib.resolvers.RequirementsConflicted: Requirements conflict: SpecifierRequirement('certora-cli-alpha-oz-docker-json5==20230504.17.58.502739')
2023-05-13T22:47:48,073 
2023-05-13T22:47:48,073 During handling of the above exception, another exception occurred:
2023-05-13T22:47:48,073 
2023-05-13T22:47:48,073 Traceback (most recent call last):
2023-05-13T22:47:48,073   File "/home/piwheels/.local/lib/python3.7/site-packages/pip/_internal/resolution/resolvelib/resolver.py", line 93, in resolve
2023-05-13T22:47:48,073     collected.requirements, max_rounds=limit_how_complex_resolution_can_be
2023-05-13T22:47:48,073   File "/home/piwheels/.local/lib/python3.7/site-packages/pip/_vendor/resolvelib/resolvers.py", line 546, in resolve
2023-05-13T22:47:48,073     state = resolution.resolve(requirements, max_rounds=max_rounds)
2023-05-13T22:47:48,073   File "/home/piwheels/.local/lib/python3.7/site-packages/pip/_vendor/resolvelib/resolvers.py", line 399, in resolve
2023-05-13T22:47:48,073     raise ResolutionImpossible(e.criterion.information)
2023-05-13T22:47:48,073 pip._vendor.resolvelib.resolvers.ResolutionImpossible: [RequirementInformation(requirement=SpecifierRequirement('certora-cli-alpha-oz-docker-json5==20230504.17.58.502739'), parent=None)]
2023-05-13T22:47:48,073 
2023-05-13T22:47:48,073 The above exception was the direct cause of the following exception:
2023-05-13T22:47:48,073 
2023-05-13T22:47:48,073 Traceback (most recent call last):
2023-05-13T22:47:48,073   File "/home/piwheels/.local/lib/python3.7/site-packages/pip/_internal/cli/base_command.py", line 169, in exc_logging_wrapper
2023-05-13T22:47:48,073     status = run_func(*args)
2023-05-13T22:47:48,073   File "/home/piwheels/.local/lib/python3.7/site-packages/pip/_internal/cli/req_command.py", line 248, in wrapper
2023-05-13T22:47:48,073     return func(self, options, args)
2023-05-13T22:47:48,073   File "/home/piwheels/.local/lib/python3.7/site-packages/pip/_internal/commands/wheel.py", line 147, in run
2023-05-13T22:47:48,073     requirement_set = resolver.resolve(reqs, check_supported_wheels=True)
2023-05-13T22:47:48,073   File "/home/piwheels/.local/lib/python3.7/site-packages/pip/_internal/resolution/resolvelib/resolver.py", line 101, in resolve
2023-05-13T22:47:48,073     raise error from e
2023-05-13T22:47:48,073 pip._internal.exceptions.DistributionNotFound: No matching distribution found for certora-cli-alpha-oz-docker-json5==20230504.17.58.502739
2023-05-13T22:47:48,082 Removed build tracker: '/tmp/pip-build-tracker-uo4zl2hk'