2023-05-14T14:51:24,723 Created temporary directory: /tmp/pip-build-tracker-3q9zl0tn 2023-05-14T14:51:24,726 Initialized build tracking at /tmp/pip-build-tracker-3q9zl0tn 2023-05-14T14:51:24,726 Created build tracker: /tmp/pip-build-tracker-3q9zl0tn 2023-05-14T14:51:24,726 Entered build tracker: /tmp/pip-build-tracker-3q9zl0tn 2023-05-14T14:51:24,728 Created temporary directory: /tmp/pip-wheel-k_uw9soi 2023-05-14T14:51:24,737 Created temporary directory: /tmp/pip-ephem-wheel-cache-i62n2ej5 2023-05-14T14:51:24,795 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple 2023-05-14T14:51:24,804 2 location(s) to search for versions of certora-cli-alpha-jtoman-try-catch: 2023-05-14T14:51:24,804 * https://pypi.org/simple/certora-cli-alpha-jtoman-try-catch/ 2023-05-14T14:51:24,804 * https://www.piwheels.org/simple/certora-cli-alpha-jtoman-try-catch/ 2023-05-14T14:51:24,805 Fetching project page and analyzing links: https://pypi.org/simple/certora-cli-alpha-jtoman-try-catch/ 2023-05-14T14:51:24,806 Getting page https://pypi.org/simple/certora-cli-alpha-jtoman-try-catch/ 2023-05-14T14:51:24,810 Found index url https://pypi.org/simple/ 2023-05-14T14:51:24,921 Fetched page https://pypi.org/simple/certora-cli-alpha-jtoman-try-catch/ as application/vnd.pypi.simple.v1+json 2023-05-14T14:51:24,937 Link requires a different Python (3.7.3 not in: '>=3.8.16'): https://files.pythonhosted.org/packages/12/ee/4cb6e7ddd5668402a1c7f602ce678e1a1a21c49ca2255c43ef9c72998753/certora-cli-alpha-jtoman-try-catch-20230510.20.59.361934.tar.gz (from https://pypi.org/simple/certora-cli-alpha-jtoman-try-catch/) (requires-python:>=3.8.16) 2023-05-14T14:51:24,938 Skipping link: 20230510.20.59.361934 Requires-Python >=3.8.16: https://files.pythonhosted.org/packages/12/ee/4cb6e7ddd5668402a1c7f602ce678e1a1a21c49ca2255c43ef9c72998753/certora-cli-alpha-jtoman-try-catch-20230510.20.59.361934.tar.gz (from https://pypi.org/simple/certora-cli-alpha-jtoman-try-catch/) (requires-python:>=3.8.16) 2023-05-14T14:51:24,938 Skipping link: No binaries permitted for certora-cli-alpha-jtoman-try-catch: https://files.pythonhosted.org/packages/17/4f/cf225b2c8144eacb203004fa8a8cf2bc073cae76bce1ff0642a1e6cdd49c/certora_cli_alpha_jtoman_try_catch-20230510.20.59.361934-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-jtoman-try-catch/) (requires-python:>=3.8.16) 2023-05-14T14:51:24,940 Link requires a different Python (3.7.3 not in: '>=3.8.16'): https://files.pythonhosted.org/packages/c5/9b/f328f0deea2baa1c1c08025dc2da8c863e155235e3f44fc53c072921dc5f/certora-cli-alpha-jtoman-try-catch-20230510.22.42.113214.tar.gz (from https://pypi.org/simple/certora-cli-alpha-jtoman-try-catch/) (requires-python:>=3.8.16) 2023-05-14T14:51:24,940 Skipping link: 20230510.22.42.113214 Requires-Python >=3.8.16: https://files.pythonhosted.org/packages/c5/9b/f328f0deea2baa1c1c08025dc2da8c863e155235e3f44fc53c072921dc5f/certora-cli-alpha-jtoman-try-catch-20230510.22.42.113214.tar.gz (from https://pypi.org/simple/certora-cli-alpha-jtoman-try-catch/) (requires-python:>=3.8.16) 2023-05-14T14:51:24,941 Skipping link: No binaries permitted for certora-cli-alpha-jtoman-try-catch: https://files.pythonhosted.org/packages/3b/7d/0a13173150d7f002c9c9ec34ca7c699cbd3f6d629555ce1179c587a350bd/certora_cli_alpha_jtoman_try_catch-20230510.22.42.113214-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-jtoman-try-catch/) (requires-python:>=3.8.16) 2023-05-14T14:51:24,942 Link requires a different Python (3.7.3 not in: '>=3.8.16'): https://files.pythonhosted.org/packages/f2/25/21945ada43578df2f772d0d36155a3a5a39305c14ad07159af47a5f48bd9/certora-cli-alpha-jtoman-try-catch-20230510.23.31.519293.tar.gz (from https://pypi.org/simple/certora-cli-alpha-jtoman-try-catch/) (requires-python:>=3.8.16) 2023-05-14T14:51:24,943 Skipping link: 20230510.23.31.519293 Requires-Python >=3.8.16: https://files.pythonhosted.org/packages/f2/25/21945ada43578df2f772d0d36155a3a5a39305c14ad07159af47a5f48bd9/certora-cli-alpha-jtoman-try-catch-20230510.23.31.519293.tar.gz (from https://pypi.org/simple/certora-cli-alpha-jtoman-try-catch/) (requires-python:>=3.8.16) 2023-05-14T14:51:24,943 Skipping link: No binaries permitted for certora-cli-alpha-jtoman-try-catch: https://files.pythonhosted.org/packages/0c/0a/2a3f4d89e638bf90f2f0c72b319af71fd011c1087a5664b40b78ff3dafd8/certora_cli_alpha_jtoman_try_catch-20230510.23.31.519293-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-jtoman-try-catch/) (requires-python:>=3.8.16) 2023-05-14T14:51:24,945 Link requires a different Python (3.7.3 not in: '>=3.8.16'): https://files.pythonhosted.org/packages/55/f1/cfe1e6e589ec57f284b8ed14feaf5b84d570ee6bb7d69fab28e73a698ecd/certora-cli-alpha-jtoman-try-catch-20230511.3.6.551125.tar.gz (from https://pypi.org/simple/certora-cli-alpha-jtoman-try-catch/) (requires-python:>=3.8.16) 2023-05-14T14:51:24,946 Skipping link: 20230511.3.6.551125 Requires-Python >=3.8.16: https://files.pythonhosted.org/packages/55/f1/cfe1e6e589ec57f284b8ed14feaf5b84d570ee6bb7d69fab28e73a698ecd/certora-cli-alpha-jtoman-try-catch-20230511.3.6.551125.tar.gz (from https://pypi.org/simple/certora-cli-alpha-jtoman-try-catch/) (requires-python:>=3.8.16) 2023-05-14T14:51:24,946 Skipping link: No binaries permitted for certora-cli-alpha-jtoman-try-catch: https://files.pythonhosted.org/packages/cc/56/347b3424cd23ffbce5214649c8ceb9df25e62555a5a14f33d138599684b8/certora_cli_alpha_jtoman_try_catch-20230511.3.6.551125-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-jtoman-try-catch/) (requires-python:>=3.8.16) 2023-05-14T14:51:24,947 Link requires a different Python (3.7.3 not in: '>=3.8.16'): https://files.pythonhosted.org/packages/e5/01/0bb9d07b64f3a6abbb7329978c0a9ce25b9db391d2020743889c819831f7/certora-cli-alpha-jtoman-try-catch-20230511.7.14.551287.tar.gz (from https://pypi.org/simple/certora-cli-alpha-jtoman-try-catch/) (requires-python:>=3.8.16) 2023-05-14T14:51:24,948 Skipping link: 20230511.7.14.551287 Requires-Python >=3.8.16: https://files.pythonhosted.org/packages/e5/01/0bb9d07b64f3a6abbb7329978c0a9ce25b9db391d2020743889c819831f7/certora-cli-alpha-jtoman-try-catch-20230511.7.14.551287.tar.gz (from https://pypi.org/simple/certora-cli-alpha-jtoman-try-catch/) (requires-python:>=3.8.16) 2023-05-14T14:51:24,948 Skipping link: No binaries permitted for certora-cli-alpha-jtoman-try-catch: https://files.pythonhosted.org/packages/5a/3f/76168ec37b80c3cf4ad9d3ff6da51d1f7cb0be3f370a24fa397526995007/certora_cli_alpha_jtoman_try_catch-20230511.7.14.551287-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-jtoman-try-catch/) (requires-python:>=3.8.16) 2023-05-14T14:51:24,950 Link requires a different Python (3.7.3 not in: '>=3.8.16'): https://files.pythonhosted.org/packages/1c/3d/01ad93b6c045cba479988b5f520c49ce82bddf507a3a71457d10e4fd1d50/certora-cli-alpha-jtoman-try-catch-20230511.16.8.395223.tar.gz (from https://pypi.org/simple/certora-cli-alpha-jtoman-try-catch/) (requires-python:>=3.8.16) 2023-05-14T14:51:24,950 Skipping link: 20230511.16.8.395223 Requires-Python >=3.8.16: https://files.pythonhosted.org/packages/1c/3d/01ad93b6c045cba479988b5f520c49ce82bddf507a3a71457d10e4fd1d50/certora-cli-alpha-jtoman-try-catch-20230511.16.8.395223.tar.gz (from https://pypi.org/simple/certora-cli-alpha-jtoman-try-catch/) (requires-python:>=3.8.16) 2023-05-14T14:51:24,951 Skipping link: No binaries permitted for certora-cli-alpha-jtoman-try-catch: https://files.pythonhosted.org/packages/e5/8d/482696135bee2217a8674042ed1c642acbb035b32d03d4458106d1c5bf4e/certora_cli_alpha_jtoman_try_catch-20230511.16.8.395223-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-jtoman-try-catch/) (requires-python:>=3.8.16) 2023-05-14T14:51:24,952 Link requires a different Python (3.7.3 not in: '>=3.8.16'): https://files.pythonhosted.org/packages/c4/dc/9c7f3897f02c7df928132c182097f10b0d05d221ea6afcd25e24abc2de6c/certora-cli-alpha-jtoman-try-catch-20230511.17.50.106489.tar.gz (from https://pypi.org/simple/certora-cli-alpha-jtoman-try-catch/) (requires-python:>=3.8.16) 2023-05-14T14:51:24,953 Skipping link: 20230511.17.50.106489 Requires-Python >=3.8.16: https://files.pythonhosted.org/packages/c4/dc/9c7f3897f02c7df928132c182097f10b0d05d221ea6afcd25e24abc2de6c/certora-cli-alpha-jtoman-try-catch-20230511.17.50.106489.tar.gz (from https://pypi.org/simple/certora-cli-alpha-jtoman-try-catch/) (requires-python:>=3.8.16) 2023-05-14T14:51:24,953 Skipping link: No binaries permitted for certora-cli-alpha-jtoman-try-catch: https://files.pythonhosted.org/packages/bf/17/621cec230f4cf41262657dbb03ff707b1d3125274b0aa0ec9f93b93d3dfc/certora_cli_alpha_jtoman_try_catch-20230511.17.50.106489-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-jtoman-try-catch/) (requires-python:>=3.8.16) 2023-05-14T14:51:24,955 Link requires a different Python (3.7.3 not in: '>=3.8.16'): https://files.pythonhosted.org/packages/04/24/fa830ea0fc9481c2966367bdb4c9471207571671738ccc9e94957e2ea4bf/certora-cli-alpha-jtoman-try-catch-20230511.18.38.630561.tar.gz (from https://pypi.org/simple/certora-cli-alpha-jtoman-try-catch/) (requires-python:>=3.8.16) 2023-05-14T14:51:24,955 Skipping link: 20230511.18.38.630561 Requires-Python >=3.8.16: https://files.pythonhosted.org/packages/04/24/fa830ea0fc9481c2966367bdb4c9471207571671738ccc9e94957e2ea4bf/certora-cli-alpha-jtoman-try-catch-20230511.18.38.630561.tar.gz (from https://pypi.org/simple/certora-cli-alpha-jtoman-try-catch/) (requires-python:>=3.8.16) 2023-05-14T14:51:24,956 Skipping link: No binaries permitted for certora-cli-alpha-jtoman-try-catch: https://files.pythonhosted.org/packages/19/2d/6bab1f047105aab22f223fc864fd790c23e0dd17e49cc4489aa764714cdd/certora_cli_alpha_jtoman_try_catch-20230511.18.38.630561-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-jtoman-try-catch/) (requires-python:>=3.8.16) 2023-05-14T14:51:24,957 Link requires a different Python (3.7.3 not in: '>=3.8.16'): https://files.pythonhosted.org/packages/85/2b/be45c2f685fcf18935d17d167d997acd5eb9150c33f7512533a49dc3421c/certora-cli-alpha-jtoman-try-catch-20230511.19.24.525411.tar.gz (from https://pypi.org/simple/certora-cli-alpha-jtoman-try-catch/) (requires-python:>=3.8.16) 2023-05-14T14:51:24,958 Skipping link: 20230511.19.24.525411 Requires-Python >=3.8.16: https://files.pythonhosted.org/packages/85/2b/be45c2f685fcf18935d17d167d997acd5eb9150c33f7512533a49dc3421c/certora-cli-alpha-jtoman-try-catch-20230511.19.24.525411.tar.gz (from https://pypi.org/simple/certora-cli-alpha-jtoman-try-catch/) (requires-python:>=3.8.16) 2023-05-14T14:51:24,958 Skipping link: No binaries permitted for certora-cli-alpha-jtoman-try-catch: https://files.pythonhosted.org/packages/ca/35/004cc8dd9da71bfb47840583d02a5d5682fda1af1603a664e08b99a94e38/certora_cli_alpha_jtoman_try_catch-20230511.19.24.525411-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-jtoman-try-catch/) (requires-python:>=3.8.16) 2023-05-14T14:51:24,960 Link requires a different Python (3.7.3 not in: '>=3.8.16'): https://files.pythonhosted.org/packages/2f/e7/e7fced32071c87a61e95a99e8920f0f486b1426cec898d8b8dffb8585c36/certora-cli-alpha-jtoman-try-catch-20230512.9.39.729450.tar.gz (from https://pypi.org/simple/certora-cli-alpha-jtoman-try-catch/) (requires-python:>=3.8.16) 2023-05-14T14:51:24,960 Skipping link: 20230512.9.39.729450 Requires-Python >=3.8.16: https://files.pythonhosted.org/packages/2f/e7/e7fced32071c87a61e95a99e8920f0f486b1426cec898d8b8dffb8585c36/certora-cli-alpha-jtoman-try-catch-20230512.9.39.729450.tar.gz (from https://pypi.org/simple/certora-cli-alpha-jtoman-try-catch/) (requires-python:>=3.8.16) 2023-05-14T14:51:24,961 Skipping link: No binaries permitted for certora-cli-alpha-jtoman-try-catch: https://files.pythonhosted.org/packages/fc/cc/bfc61c0f16b08b9f432cc6c44d10900dd85d4350f96a9454c63ecc249fea/certora_cli_alpha_jtoman_try_catch-20230512.9.39.729450-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-jtoman-try-catch/) (requires-python:>=3.8.16) 2023-05-14T14:51:24,962 Link requires a different Python (3.7.3 not in: '>=3.8.16'): https://files.pythonhosted.org/packages/44/14/da9a696b29c9df9e7045550a5343cf4545662b6b662568eb97ed1ab94834/certora-cli-alpha-jtoman-try-catch-20230512.20.44.92474.tar.gz (from https://pypi.org/simple/certora-cli-alpha-jtoman-try-catch/) (requires-python:>=3.8.16) 2023-05-14T14:51:24,963 Skipping link: 20230512.20.44.92474 Requires-Python >=3.8.16: https://files.pythonhosted.org/packages/44/14/da9a696b29c9df9e7045550a5343cf4545662b6b662568eb97ed1ab94834/certora-cli-alpha-jtoman-try-catch-20230512.20.44.92474.tar.gz (from https://pypi.org/simple/certora-cli-alpha-jtoman-try-catch/) (requires-python:>=3.8.16) 2023-05-14T14:51:24,963 Skipping link: No binaries permitted for certora-cli-alpha-jtoman-try-catch: https://files.pythonhosted.org/packages/54/03/7b99337d9d2ffd0aee7240ef631f6a3b23afc4a0e06f9a2e410cd906a818/certora_cli_alpha_jtoman_try_catch-20230512.20.44.92474-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-jtoman-try-catch/) (requires-python:>=3.8.16) 2023-05-14T14:51:24,965 Link requires a different Python (3.7.3 not in: '>=3.8.16'): https://files.pythonhosted.org/packages/69/07/76204fd49cd854b7c8b5377bec68ea9bc5ee9b174f89ec57e240d64eb7b2/certora-cli-alpha-jtoman-try-catch-20230514.9.42.407.tar.gz (from https://pypi.org/simple/certora-cli-alpha-jtoman-try-catch/) (requires-python:>=3.8.16) 2023-05-14T14:51:24,965 Skipping link: 20230514.9.42.407 Requires-Python >=3.8.16: https://files.pythonhosted.org/packages/69/07/76204fd49cd854b7c8b5377bec68ea9bc5ee9b174f89ec57e240d64eb7b2/certora-cli-alpha-jtoman-try-catch-20230514.9.42.407.tar.gz (from https://pypi.org/simple/certora-cli-alpha-jtoman-try-catch/) (requires-python:>=3.8.16) 2023-05-14T14:51:24,966 Skipping link: No binaries permitted for certora-cli-alpha-jtoman-try-catch: https://files.pythonhosted.org/packages/ad/3b/cfdf7bcde32516d25eb4ca3670d7e0eb90a65bd72f014b0a0eb980f2b1a0/certora_cli_alpha_jtoman_try_catch-20230514.9.42.407-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-jtoman-try-catch/) (requires-python:>=3.8.16) 2023-05-14T14:51:24,967 Link requires a different Python (3.7.3 not in: '>=3.8.16'): https://files.pythonhosted.org/packages/4c/5d/9eec18f04995d5d7289d297880e2ab5098e0d6872829544573fe2ccfc143/certora-cli-alpha-jtoman-try-catch-20230514.10.50.40584.tar.gz (from https://pypi.org/simple/certora-cli-alpha-jtoman-try-catch/) (requires-python:>=3.8.16) 2023-05-14T14:51:24,967 Skipping link: 20230514.10.50.40584 Requires-Python >=3.8.16: https://files.pythonhosted.org/packages/4c/5d/9eec18f04995d5d7289d297880e2ab5098e0d6872829544573fe2ccfc143/certora-cli-alpha-jtoman-try-catch-20230514.10.50.40584.tar.gz (from https://pypi.org/simple/certora-cli-alpha-jtoman-try-catch/) (requires-python:>=3.8.16) 2023-05-14T14:51:24,968 Skipping link: No binaries permitted for certora-cli-alpha-jtoman-try-catch: https://files.pythonhosted.org/packages/38/80/9bb6c80bf338c8c51cc43378852d48beb4a83c59ffcf363c8fb08272d717/certora_cli_alpha_jtoman_try_catch-20230514.10.50.40584-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-jtoman-try-catch/) (requires-python:>=3.8.16) 2023-05-14T14:51:24,969 Link requires a different Python (3.7.3 not in: '>=3.8.16'): https://files.pythonhosted.org/packages/33/47/9d5565fa104699de762bd594e38a0eec3127b7c8692fcb8383f38214d190/certora-cli-alpha-jtoman-try-catch-20230514.11.35.517833.tar.gz (from https://pypi.org/simple/certora-cli-alpha-jtoman-try-catch/) (requires-python:>=3.8.16) 2023-05-14T14:51:24,970 Skipping link: 20230514.11.35.517833 Requires-Python >=3.8.16: https://files.pythonhosted.org/packages/33/47/9d5565fa104699de762bd594e38a0eec3127b7c8692fcb8383f38214d190/certora-cli-alpha-jtoman-try-catch-20230514.11.35.517833.tar.gz (from https://pypi.org/simple/certora-cli-alpha-jtoman-try-catch/) (requires-python:>=3.8.16) 2023-05-14T14:51:24,970 Skipping link: No binaries permitted for certora-cli-alpha-jtoman-try-catch: https://files.pythonhosted.org/packages/98/b0/a764a0e7abdf55f19bb2f536588ece4e28f947239b9c9615a0e0332e26f3/certora_cli_alpha_jtoman_try_catch-20230514.11.35.517833-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-jtoman-try-catch/) (requires-python:>=3.8.16) 2023-05-14T14:51:24,971 Fetching project page and analyzing links: https://www.piwheels.org/simple/certora-cli-alpha-jtoman-try-catch/ 2023-05-14T14:51:24,972 Getting page https://www.piwheels.org/simple/certora-cli-alpha-jtoman-try-catch/ 2023-05-14T14:51:24,974 Found index url https://www.piwheels.org/simple/ 2023-05-14T14:51:25,215 Fetched page https://www.piwheels.org/simple/certora-cli-alpha-jtoman-try-catch/ as text/html 2023-05-14T14:51:25,221 Skipping link: No binaries permitted for certora-cli-alpha-jtoman-try-catch: https://www.piwheels.org/simple/certora-cli-alpha-jtoman-try-catch/certora_cli_alpha_jtoman_try_catch-20230511.7.14.551287-py3-none-any.whl#sha256=61eba3b2a3b3062238b75529f1b5d1aef0dccb3e34f9e47257b938f40978134c (from https://www.piwheels.org/simple/certora-cli-alpha-jtoman-try-catch/) (requires-python:>=3.8.16) 2023-05-14T14:51:25,221 Skipping link: No binaries permitted for certora-cli-alpha-jtoman-try-catch: https://www.piwheels.org/simple/certora-cli-alpha-jtoman-try-catch/certora_cli_alpha_jtoman_try_catch-20230511.3.6.551125-py3-none-any.whl#sha256=ebe660fa00b6d595b3ae90b79af3a7a8db11b0cf600a160b419dc33ab8afbd78 (from https://www.piwheels.org/simple/certora-cli-alpha-jtoman-try-catch/) (requires-python:>=3.8.16) 2023-05-14T14:51:25,222 Skipping link: No binaries permitted for certora-cli-alpha-jtoman-try-catch: https://www.piwheels.org/simple/certora-cli-alpha-jtoman-try-catch/certora_cli_alpha_jtoman_try_catch-20230510.23.31.519293-py3-none-any.whl#sha256=7c0ec4f4aa2080f9390309a25b4947243beb81a4ac4baf3dbcea319b07c9a881 (from https://www.piwheels.org/simple/certora-cli-alpha-jtoman-try-catch/) (requires-python:>=3.8.16) 2023-05-14T14:51:25,222 Skipping link: No binaries permitted for certora-cli-alpha-jtoman-try-catch: https://www.piwheels.org/simple/certora-cli-alpha-jtoman-try-catch/certora_cli_alpha_jtoman_try_catch-20230510.22.42.113214-py3-none-any.whl#sha256=5d8233b8353042c4b7b91c4f6ffc43042e74848c7abd1e93d9ac252464a7c483 (from https://www.piwheels.org/simple/certora-cli-alpha-jtoman-try-catch/) (requires-python:>=3.8.16) 2023-05-14T14:51:25,223 Skipping link: No binaries permitted for certora-cli-alpha-jtoman-try-catch: https://www.piwheels.org/simple/certora-cli-alpha-jtoman-try-catch/certora_cli_alpha_jtoman_try_catch-20230510.20.59.361934-py3-none-any.whl#sha256=4165cf036be150757e618eace4aec689bf905e676e7df28bc983410aa2129b31 (from https://www.piwheels.org/simple/certora-cli-alpha-jtoman-try-catch/) (requires-python:>=3.8.16) 2023-05-14T14:51:25,223 Skipping link: not a file: https://www.piwheels.org/simple/certora-cli-alpha-jtoman-try-catch/ 2023-05-14T14:51:25,224 Skipping link: not a file: https://pypi.org/simple/certora-cli-alpha-jtoman-try-catch/ 2023-05-14T14:51:25,252 Given no hashes to check 0 links for project 'certora-cli-alpha-jtoman-try-catch': discarding no candidates 2023-05-14T14:51:25,253 ERROR: Ignored the following versions that require a different python version: 20230510.20.59.361934 Requires-Python >=3.8.16; 20230510.22.42.113214 Requires-Python >=3.8.16; 20230510.23.31.519293 Requires-Python >=3.8.16; 20230511.16.8.395223 Requires-Python >=3.8.16; 20230511.17.50.106489 Requires-Python >=3.8.16; 20230511.18.38.630561 Requires-Python >=3.8.16; 20230511.19.24.525411 Requires-Python >=3.8.16; 20230511.3.6.551125 Requires-Python >=3.8.16; 20230511.7.14.551287 Requires-Python >=3.8.16; 20230512.20.44.92474 Requires-Python >=3.8.16; 20230512.9.39.729450 Requires-Python >=3.8.16; 20230514.10.50.40584 Requires-Python >=3.8.16; 20230514.11.35.517833 Requires-Python >=3.8.16; 20230514.9.42.407 Requires-Python >=3.8.16 2023-05-14T14:51:25,256 ERROR: Could not find a version that satisfies the requirement certora-cli-alpha-jtoman-try-catch==20230511.19.24.525411 (from versions: none) 2023-05-14T14:51:25,259 ERROR: No matching distribution found for certora-cli-alpha-jtoman-try-catch==20230511.19.24.525411 2023-05-14T14:51:25,261 Exception information: 2023-05-14T14:51:25,261 Traceback (most recent call last): 2023-05-14T14:51:25,261 File "/usr/local/lib/python3.7/dist-packages/pip/_vendor/resolvelib/resolvers.py", line 397, in resolve 2023-05-14T14:51:25,261 self._add_to_criteria(self.state.criteria, r, parent=None) 2023-05-14T14:51:25,261 File "/usr/local/lib/python3.7/dist-packages/pip/_vendor/resolvelib/resolvers.py", line 174, in _add_to_criteria 2023-05-14T14:51:25,261 raise RequirementsConflicted(criterion) 2023-05-14T14:51:25,261 pip._vendor.resolvelib.resolvers.RequirementsConflicted: Requirements conflict: SpecifierRequirement('certora-cli-alpha-jtoman-try-catch==20230511.19.24.525411') 2023-05-14T14:51:25,261 2023-05-14T14:51:25,261 During handling of the above exception, another exception occurred: 2023-05-14T14:51:25,261 2023-05-14T14:51:25,261 Traceback (most recent call last): 2023-05-14T14:51:25,261 File "/usr/local/lib/python3.7/dist-packages/pip/_internal/resolution/resolvelib/resolver.py", line 93, in resolve 2023-05-14T14:51:25,261 collected.requirements, max_rounds=limit_how_complex_resolution_can_be 2023-05-14T14:51:25,261 File "/usr/local/lib/python3.7/dist-packages/pip/_vendor/resolvelib/resolvers.py", line 546, in resolve 2023-05-14T14:51:25,261 state = resolution.resolve(requirements, max_rounds=max_rounds) 2023-05-14T14:51:25,261 File "/usr/local/lib/python3.7/dist-packages/pip/_vendor/resolvelib/resolvers.py", line 399, in resolve 2023-05-14T14:51:25,261 raise ResolutionImpossible(e.criterion.information) 2023-05-14T14:51:25,261 pip._vendor.resolvelib.resolvers.ResolutionImpossible: [RequirementInformation(requirement=SpecifierRequirement('certora-cli-alpha-jtoman-try-catch==20230511.19.24.525411'), parent=None)] 2023-05-14T14:51:25,261 2023-05-14T14:51:25,261 The above exception was the direct cause of the following exception: 2023-05-14T14:51:25,261 2023-05-14T14:51:25,261 Traceback (most recent call last): 2023-05-14T14:51:25,261 File "/usr/local/lib/python3.7/dist-packages/pip/_internal/cli/base_command.py", line 169, in exc_logging_wrapper 2023-05-14T14:51:25,261 status = run_func(*args) 2023-05-14T14:51:25,261 File "/usr/local/lib/python3.7/dist-packages/pip/_internal/cli/req_command.py", line 248, in wrapper 2023-05-14T14:51:25,261 return func(self, options, args) 2023-05-14T14:51:25,261 File "/usr/local/lib/python3.7/dist-packages/pip/_internal/commands/wheel.py", line 147, in run 2023-05-14T14:51:25,261 requirement_set = resolver.resolve(reqs, check_supported_wheels=True) 2023-05-14T14:51:25,261 File "/usr/local/lib/python3.7/dist-packages/pip/_internal/resolution/resolvelib/resolver.py", line 101, in resolve 2023-05-14T14:51:25,261 raise error from e 2023-05-14T14:51:25,261 pip._internal.exceptions.DistributionNotFound: No matching distribution found for certora-cli-alpha-jtoman-try-catch==20230511.19.24.525411 2023-05-14T14:51:25,269 Removed build tracker: '/tmp/pip-build-tracker-3q9zl0tn'