2023-03-03T14:35:42,738 Created temporary directory: /tmp/pip-ephem-wheel-cache-0j1jwjlr 2023-03-03T14:35:42,741 Created temporary directory: /tmp/pip-build-tracker-fk4chqzk 2023-03-03T14:35:42,741 Initialized build tracking at /tmp/pip-build-tracker-fk4chqzk 2023-03-03T14:35:42,741 Created build tracker: /tmp/pip-build-tracker-fk4chqzk 2023-03-03T14:35:42,742 Entered build tracker: /tmp/pip-build-tracker-fk4chqzk 2023-03-03T14:35:42,742 Created temporary directory: /tmp/pip-wheel-09d7amya 2023-03-03T14:35:42,747 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-03-03T14:35:42,750 Created temporary directory: /tmp/pip-ephem-wheel-cache-e7uifqp8 2023-03-03T14:35:42,774 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple 2023-03-03T14:35:42,778 2 location(s) to search for versions of certora-cli-alpha-cvl-rewrite: 2023-03-03T14:35:42,778 * https://pypi.org/simple/certora-cli-alpha-cvl-rewrite/ 2023-03-03T14:35:42,778 * https://www.piwheels.org/simple/certora-cli-alpha-cvl-rewrite/ 2023-03-03T14:35:42,778 Fetching project page and analyzing links: https://pypi.org/simple/certora-cli-alpha-cvl-rewrite/ 2023-03-03T14:35:42,779 Getting page https://pypi.org/simple/certora-cli-alpha-cvl-rewrite/ 2023-03-03T14:35:42,781 Found index url https://pypi.org/simple 2023-03-03T14:35:42,853 Fetched page https://pypi.org/simple/certora-cli-alpha-cvl-rewrite/ as application/vnd.pypi.simple.v1+json 2023-03-03T14:35:42,864 Found link 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), version: 20230223.19.24 2023-03-03T14:35:42,864 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-03-03T14:35:42,865 Found link https://files.pythonhosted.org/packages/21/62/7cb1d54f09a10881c758d8ac8e4256fa08b478a0be7d5e462ffb8767a4e8/certora-cli-alpha-CVL_rewrite-20230223.21.30.tar.gz (from https://pypi.org/simple/certora-cli-alpha-cvl-rewrite/) (requires-python:>=3.8), version: 20230223.21.30 2023-03-03T14:35:42,866 Skipping link: No binaries permitted for certora-cli-alpha-cvl-rewrite: https://files.pythonhosted.org/packages/73/4e/b0b4f3cff94685d9f01663607c53fb280fcfaf57f6a4953518fa00e409b9/certora_cli_alpha_CVL_rewrite-20230223.21.30-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-cvl-rewrite/) (requires-python:>=3.8) 2023-03-03T14:35:42,866 Found link https://files.pythonhosted.org/packages/34/1a/5f9e4c4952d8d3ba4753fd402aeba87b129f4a76059a7a10ac6a4ea10343/certora-cli-alpha-CVL_rewrite-20230224.8.19.tar.gz (from https://pypi.org/simple/certora-cli-alpha-cvl-rewrite/) (requires-python:>=3.8), version: 20230224.8.19 2023-03-03T14:35:42,867 Skipping link: No binaries permitted for certora-cli-alpha-cvl-rewrite: https://files.pythonhosted.org/packages/37/27/feee053f4475cb7d512cd14438ab98cdef5cfa33733387c1680dd331c005/certora_cli_alpha_CVL_rewrite-20230224.8.19-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-cvl-rewrite/) (requires-python:>=3.8) 2023-03-03T14:35:42,868 Found link https://files.pythonhosted.org/packages/05/ff/7e4d79b7b5307c5d4e81f8067de5d94ccbe9c3a34a59d8c336269ed20517/certora-cli-alpha-CVL_rewrite-20230227.18.35.tar.gz (from https://pypi.org/simple/certora-cli-alpha-cvl-rewrite/) (requires-python:>=3.8), version: 20230227.18.35 2023-03-03T14:35:42,868 Skipping link: No binaries permitted for certora-cli-alpha-cvl-rewrite: https://files.pythonhosted.org/packages/de/23/a805e009f330c312fc00030222706af5c3d102e3feaf624c9b385d2ce4d2/certora_cli_alpha_CVL_rewrite-20230227.18.35-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-cvl-rewrite/) (requires-python:>=3.8) 2023-03-03T14:35:42,869 Found link https://files.pythonhosted.org/packages/5e/e9/664df52e25ed2f52d0be49a6f328f5b569cf62efbd464ecaaaf0e5947e96/certora-cli-alpha-CVL_rewrite-20230227.19.39.tar.gz (from https://pypi.org/simple/certora-cli-alpha-cvl-rewrite/) (requires-python:>=3.8), version: 20230227.19.39 2023-03-03T14:35:42,869 Skipping link: No binaries permitted for certora-cli-alpha-cvl-rewrite: https://files.pythonhosted.org/packages/ba/62/60ffd1fdaca8ee5d197581e8897b1b371a6c5ea285ecc35b2077c6b6aa1a/certora_cli_alpha_CVL_rewrite-20230227.19.39-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-cvl-rewrite/) (requires-python:>=3.8) 2023-03-03T14:35:42,870 Found link https://files.pythonhosted.org/packages/a1/32/49c11fc13a49eb14d70fb2467b631ce34f9bcf8fb2638d4e62dcf2271d78/certora-cli-alpha-CVL_rewrite-20230228.9.5.tar.gz (from https://pypi.org/simple/certora-cli-alpha-cvl-rewrite/) (requires-python:>=3.8), version: 20230228.9.5 2023-03-03T14:35:42,871 Skipping link: No binaries permitted for certora-cli-alpha-cvl-rewrite: https://files.pythonhosted.org/packages/76/34/5285f083eda8dcdc0152c440f783fdaf84fb8269ed73b31cfc6c0064724d/certora_cli_alpha_CVL_rewrite-20230228.9.5-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-cvl-rewrite/) (requires-python:>=3.8) 2023-03-03T14:35:42,872 Found link https://files.pythonhosted.org/packages/55/bc/67ff50923df4916d1eb66ff9995104d9be42ff8d3b6e9405432b9ce7a04d/certora-cli-alpha-CVL_rewrite-20230228.10.26.tar.gz (from https://pypi.org/simple/certora-cli-alpha-cvl-rewrite/) (requires-python:>=3.8), version: 20230228.10.26 2023-03-03T14:35:42,872 Skipping link: No binaries permitted for certora-cli-alpha-cvl-rewrite: https://files.pythonhosted.org/packages/ae/66/9443551cde8b49e8abd6ce6cbeabcf54c9b86cb70018eb1a968110410897/certora_cli_alpha_CVL_rewrite-20230228.10.26-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-cvl-rewrite/) (requires-python:>=3.8) 2023-03-03T14:35:42,873 Found link https://files.pythonhosted.org/packages/d4/c6/70a8d09c92678d0bb97fc98b47531b9ade02e0e390301b8e7390da9255ee/certora-cli-alpha-CVL_rewrite-20230228.18.9.tar.gz (from https://pypi.org/simple/certora-cli-alpha-cvl-rewrite/) (requires-python:>=3.8), version: 20230228.18.9 2023-03-03T14:35:42,873 Skipping link: No binaries permitted for certora-cli-alpha-cvl-rewrite: https://files.pythonhosted.org/packages/11/bd/e58ba296259d0179ac279a2d258808831963c180c6967033a2779531220b/certora_cli_alpha_CVL_rewrite-20230228.18.9-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-cvl-rewrite/) (requires-python:>=3.8) 2023-03-03T14:35:42,874 Found link https://files.pythonhosted.org/packages/87/bb/2f2c82fe43eed4bffb54184e1f1d2bca5371683ff6292548da6165fa4959/certora-cli-alpha-CVL_rewrite-20230228.18.50.tar.gz (from https://pypi.org/simple/certora-cli-alpha-cvl-rewrite/) (requires-python:>=3.8), version: 20230228.18.50 2023-03-03T14:35:42,874 Skipping link: No binaries permitted for certora-cli-alpha-cvl-rewrite: https://files.pythonhosted.org/packages/bf/7a/164e0b4c7e2911ca753629234abc7817f1f43f0ffb58c3519ed6f1645f61/certora_cli_alpha_CVL_rewrite-20230228.18.50-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-cvl-rewrite/) (requires-python:>=3.8) 2023-03-03T14:35:42,875 Found link https://files.pythonhosted.org/packages/34/65/b54c93f37121f07796d2f78520eed3ef836d2c4379a7e1c9d0bd7c489d7a/certora-cli-alpha-CVL_rewrite-20230228.22.8.tar.gz (from https://pypi.org/simple/certora-cli-alpha-cvl-rewrite/) (requires-python:>=3.8), version: 20230228.22.8 2023-03-03T14:35:42,876 Skipping link: No binaries permitted for certora-cli-alpha-cvl-rewrite: https://files.pythonhosted.org/packages/0d/02/1adb35987b45edcb2e0cf5eeea5cc4fdf81e95eb85e702d75e52c58708ed/certora_cli_alpha_CVL_rewrite-20230228.22.8-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-cvl-rewrite/) (requires-python:>=3.8) 2023-03-03T14:35:42,876 Found link https://files.pythonhosted.org/packages/92/2f/00e9bbb6ef6bda06e1fe0e70fa2361e5299aeebc23d5c6ad0bbdbfc3475c/certora-cli-alpha-CVL_rewrite-20230301.1.4.tar.gz (from https://pypi.org/simple/certora-cli-alpha-cvl-rewrite/) (requires-python:>=3.8), version: 20230301.1.4 2023-03-03T14:35:42,877 Skipping link: No binaries permitted for certora-cli-alpha-cvl-rewrite: https://files.pythonhosted.org/packages/19/dc/5883c19a3d61665e1c5c0401fbf5ba2c797641c7e1ff5df794b0b301b3b7/certora_cli_alpha_CVL_rewrite-20230301.1.4-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-cvl-rewrite/) (requires-python:>=3.8) 2023-03-03T14:35:42,878 Found link https://files.pythonhosted.org/packages/55/6a/ec3082844514e6f870ec57a150f0cfc2af450f1a927605222f8345855fed/certora-cli-alpha-CVL_rewrite-20230301.11.39.tar.gz (from https://pypi.org/simple/certora-cli-alpha-cvl-rewrite/) (requires-python:>=3.8), version: 20230301.11.39 2023-03-03T14:35:42,878 Skipping link: No binaries permitted for certora-cli-alpha-cvl-rewrite: https://files.pythonhosted.org/packages/55/8b/8882fb6394fc9f3013c489705bb6a45e64062de652c6ef0576880a874c09/certora_cli_alpha_CVL_rewrite-20230301.11.39-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-cvl-rewrite/) (requires-python:>=3.8) 2023-03-03T14:35:42,879 Found link https://files.pythonhosted.org/packages/e4/0f/7a0fb2c590204fb49d70f337dc994b722edbe7d5940bb696948a73d955ce/certora-cli-alpha-CVL_rewrite-20230301.20.9.tar.gz (from https://pypi.org/simple/certora-cli-alpha-cvl-rewrite/) (requires-python:>=3.8), version: 20230301.20.9 2023-03-03T14:35:42,879 Skipping link: No binaries permitted for certora-cli-alpha-cvl-rewrite: https://files.pythonhosted.org/packages/41/4c/15a0899d67c2ce565d72c2b95c7b5fd582400baf57f355f965ed9ba3be7a/certora_cli_alpha_CVL_rewrite-20230301.20.9-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-cvl-rewrite/) (requires-python:>=3.8) 2023-03-03T14:35:42,880 Found link https://files.pythonhosted.org/packages/5f/30/2ecc441216070fb0a1d2040b95688b8d81402d27ac3e51ea6624bbe525ea/certora-cli-alpha-CVL_rewrite-20230301.23.20.tar.gz (from https://pypi.org/simple/certora-cli-alpha-cvl-rewrite/) (requires-python:>=3.8), version: 20230301.23.20 2023-03-03T14:35:42,880 Skipping link: No binaries permitted for certora-cli-alpha-cvl-rewrite: https://files.pythonhosted.org/packages/12/17/fe8415b4955179e8c7a19a464bc52d3904e830b7f0af5685caa3f3f2ca98/certora_cli_alpha_CVL_rewrite-20230301.23.20-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-cvl-rewrite/) (requires-python:>=3.8) 2023-03-03T14:35:42,881 Found link https://files.pythonhosted.org/packages/a5/34/3abee384a538bd7978dd428cee7f1ae54f7cd810088c9d2a963ffd29c0ef/certora-cli-alpha-CVL_rewrite-20230302.15.2.tar.gz (from https://pypi.org/simple/certora-cli-alpha-cvl-rewrite/) (requires-python:>=3.8), version: 20230302.15.2 2023-03-03T14:35:42,882 Skipping link: No binaries permitted for certora-cli-alpha-cvl-rewrite: https://files.pythonhosted.org/packages/d1/78/c3452e814f348a707a304e7162fcdd91178788443056238cdd1cde0d404f/certora_cli_alpha_CVL_rewrite-20230302.15.2-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-cvl-rewrite/) (requires-python:>=3.8) 2023-03-03T14:35:42,882 Found link https://files.pythonhosted.org/packages/a9/b1/3bb1db67d23cf1c07d38023cf654dab70216286ce71b8d7329300cce6335/certora-cli-alpha-CVL_rewrite-20230302.21.6.tar.gz (from https://pypi.org/simple/certora-cli-alpha-cvl-rewrite/) (requires-python:>=3.8), version: 20230302.21.6 2023-03-03T14:35:42,883 Skipping link: No binaries permitted for certora-cli-alpha-cvl-rewrite: https://files.pythonhosted.org/packages/17/39/a28fcf87f3257b83258214563923585a2aabf317bbdcade4d1aee531349b/certora_cli_alpha_CVL_rewrite-20230302.21.6-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-cvl-rewrite/) (requires-python:>=3.8) 2023-03-03T14:35:42,883 Found link https://files.pythonhosted.org/packages/a1/53/4fb538d9a74ba469bdf2816989c00cec03a0d4cabdfb6d398a63ca6a70b2/certora-cli-alpha-CVL_rewrite-20230303.14.17.tar.gz (from https://pypi.org/simple/certora-cli-alpha-cvl-rewrite/) (requires-python:>=3.8), version: 20230303.14.17 2023-03-03T14:35:42,884 Skipping link: No binaries permitted for certora-cli-alpha-cvl-rewrite: https://files.pythonhosted.org/packages/63/01/108b573616c553fcbe6da675d7f9e3e13c425034367a8ac17f99d866b166/certora_cli_alpha_CVL_rewrite-20230303.14.17-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-cvl-rewrite/) (requires-python:>=3.8) 2023-03-03T14:35:42,884 Fetching project page and analyzing links: https://www.piwheels.org/simple/certora-cli-alpha-cvl-rewrite/ 2023-03-03T14:35:42,885 Getting page https://www.piwheels.org/simple/certora-cli-alpha-cvl-rewrite/ 2023-03-03T14:35:42,886 Found index url https://www.piwheels.org/simple 2023-03-03T14:35:43,196 Fetched page https://www.piwheels.org/simple/certora-cli-alpha-cvl-rewrite/ as text/html 2023-03-03T14:35:43,202 Skipping link: No binaries permitted for certora-cli-alpha-cvl-rewrite: https://www.piwheels.org/simple/certora-cli-alpha-cvl-rewrite/certora_cli_alpha_CVL_rewrite-20230302.21.6-py3-none-any.whl#sha256=14cd7d63a46e7e865fdf017cc271f089c842766d699c7d0653e74d28af424c6a (from https://www.piwheels.org/simple/certora-cli-alpha-cvl-rewrite/) (requires-python:>=3.8) 2023-03-03T14:35:43,202 Skipping link: No binaries permitted for certora-cli-alpha-cvl-rewrite: https://www.piwheels.org/simple/certora-cli-alpha-cvl-rewrite/certora_cli_alpha_CVL_rewrite-20230302.15.2-py3-none-any.whl#sha256=6e8e5a326d2d50c0d66b32c86ffcc2530636a565644a6540732dbd8e9626b276 (from https://www.piwheels.org/simple/certora-cli-alpha-cvl-rewrite/) (requires-python:>=3.8) 2023-03-03T14:35:43,202 Skipping link: No binaries permitted for certora-cli-alpha-cvl-rewrite: https://www.piwheels.org/simple/certora-cli-alpha-cvl-rewrite/certora_cli_alpha_CVL_rewrite-20230301.23.20-py3-none-any.whl#sha256=a0bbfd26134073ba7c30b568f13172c1bb0efad2dd97f5c7a635002170496511 (from https://www.piwheels.org/simple/certora-cli-alpha-cvl-rewrite/) (requires-python:>=3.8) 2023-03-03T14:35:43,203 Skipping link: No binaries permitted for certora-cli-alpha-cvl-rewrite: https://www.piwheels.org/simple/certora-cli-alpha-cvl-rewrite/certora_cli_alpha_CVL_rewrite-20230301.20.9-py3-none-any.whl#sha256=fd0eaf6116988c10ebaf2d68f2aa0a9651846dac107efe80584c4fba2d363d81 (from https://www.piwheels.org/simple/certora-cli-alpha-cvl-rewrite/) (requires-python:>=3.8) 2023-03-03T14:35:43,203 Skipping link: No binaries permitted for certora-cli-alpha-cvl-rewrite: https://www.piwheels.org/simple/certora-cli-alpha-cvl-rewrite/certora_cli_alpha_CVL_rewrite-20230301.11.39-py3-none-any.whl#sha256=c0487a60f350429ab8a3409146ff07d1b4c3cd1883604f9d08d05d11d80556c3 (from https://www.piwheels.org/simple/certora-cli-alpha-cvl-rewrite/) (requires-python:>=3.8) 2023-03-03T14:35:43,203 Skipping link: No binaries permitted for certora-cli-alpha-cvl-rewrite: https://www.piwheels.org/simple/certora-cli-alpha-cvl-rewrite/certora_cli_alpha_CVL_rewrite-20230301.1.4-py3-none-any.whl#sha256=7affc2a1f478c69256977a77ca9c81eafb8d945b9b6b53fc139a1e547fe71a9d (from https://www.piwheels.org/simple/certora-cli-alpha-cvl-rewrite/) (requires-python:>=3.8) 2023-03-03T14:35:43,203 Skipping link: No binaries permitted for certora-cli-alpha-cvl-rewrite: https://www.piwheels.org/simple/certora-cli-alpha-cvl-rewrite/certora_cli_alpha_CVL_rewrite-20230228.22.8-py3-none-any.whl#sha256=4cfd9b4c9efba746091b7c06c257b327a458fa54c130dd5d474aa9617716e2df (from https://www.piwheels.org/simple/certora-cli-alpha-cvl-rewrite/) (requires-python:>=3.8) 2023-03-03T14:35:43,203 Skipping link: No binaries permitted for certora-cli-alpha-cvl-rewrite: https://www.piwheels.org/simple/certora-cli-alpha-cvl-rewrite/certora_cli_alpha_CVL_rewrite-20230228.18.50-py3-none-any.whl#sha256=c18657f57251a1c7763c26310f88cdab5876e755683158efcdf45ae62f8eb12f (from https://www.piwheels.org/simple/certora-cli-alpha-cvl-rewrite/) (requires-python:>=3.8) 2023-03-03T14:35:43,204 Skipping link: No binaries permitted for certora-cli-alpha-cvl-rewrite: https://www.piwheels.org/simple/certora-cli-alpha-cvl-rewrite/certora_cli_alpha_CVL_rewrite-20230228.18.9-py3-none-any.whl#sha256=ff3d109b99303da83e5a7d9c8a66d06564aeb90c8c10bd7c333d8b6a586a5e95 (from https://www.piwheels.org/simple/certora-cli-alpha-cvl-rewrite/) (requires-python:>=3.8) 2023-03-03T14:35:43,204 Skipping link: No binaries permitted for certora-cli-alpha-cvl-rewrite: https://www.piwheels.org/simple/certora-cli-alpha-cvl-rewrite/certora_cli_alpha_CVL_rewrite-20230228.10.26-py3-none-any.whl#sha256=7220eca831e2daad196702c1fc6598ce4ec0315f04ade2d3690c5eb01ebabf11 (from https://www.piwheels.org/simple/certora-cli-alpha-cvl-rewrite/) (requires-python:>=3.8) 2023-03-03T14:35:43,204 Skipping link: No binaries permitted for certora-cli-alpha-cvl-rewrite: https://www.piwheels.org/simple/certora-cli-alpha-cvl-rewrite/certora_cli_alpha_CVL_rewrite-20230228.9.5-py3-none-any.whl#sha256=0a4ac90ca10f6e9a04b32ce6d672bb744d2f5d33ad41ce0d50c594e82b991db7 (from https://www.piwheels.org/simple/certora-cli-alpha-cvl-rewrite/) (requires-python:>=3.8) 2023-03-03T14:35:43,204 Skipping link: No binaries permitted for certora-cli-alpha-cvl-rewrite: https://www.piwheels.org/simple/certora-cli-alpha-cvl-rewrite/certora_cli_alpha_CVL_rewrite-20230227.19.39-py3-none-any.whl#sha256=41e6edfb2100e636b7c877cf817a2a62f119d852d9f14093b15873089082a530 (from https://www.piwheels.org/simple/certora-cli-alpha-cvl-rewrite/) (requires-python:>=3.8) 2023-03-03T14:35:43,204 Skipping link: No binaries permitted for certora-cli-alpha-cvl-rewrite: https://www.piwheels.org/simple/certora-cli-alpha-cvl-rewrite/certora_cli_alpha_CVL_rewrite-20230227.18.35-py3-none-any.whl#sha256=4f28605feff84fe1dbd66afc095f297dff66e3488342aa0e06be42af69a6f1e2 (from https://www.piwheels.org/simple/certora-cli-alpha-cvl-rewrite/) (requires-python:>=3.8) 2023-03-03T14:35:43,205 Skipping link: No binaries permitted for certora-cli-alpha-cvl-rewrite: https://www.piwheels.org/simple/certora-cli-alpha-cvl-rewrite/certora_cli_alpha_CVL_rewrite-20230224.8.19-py3-none-any.whl#sha256=ed5e2bd1261672ef241ca32b0bfec1973aea52526f12470c86df904a77c5595c (from https://www.piwheels.org/simple/certora-cli-alpha-cvl-rewrite/) (requires-python:>=3.8) 2023-03-03T14:35:43,205 Skipping link: No binaries permitted for certora-cli-alpha-cvl-rewrite: https://www.piwheels.org/simple/certora-cli-alpha-cvl-rewrite/certora_cli_alpha_CVL_rewrite-20230223.21.30-py3-none-any.whl#sha256=e9350ecfca0d85bc6b7db0b632e7507a5916da4671c72f547819c688f30e3062 (from https://www.piwheels.org/simple/certora-cli-alpha-cvl-rewrite/) (requires-python:>=3.8) 2023-03-03T14:35:43,205 Skipping link: No binaries permitted for certora-cli-alpha-cvl-rewrite: https://www.piwheels.org/simple/certora-cli-alpha-cvl-rewrite/certora_cli_alpha_CVL_rewrite-20230223.19.24-py3-none-any.whl#sha256=b82cbff0fa4de867c37c02a2bf6ecae4720eff091616571af696b861cb89b419 (from https://www.piwheels.org/simple/certora-cli-alpha-cvl-rewrite/) (requires-python:>=3.8) 2023-03-03T14:35:43,205 Skipping link: not a file: https://www.piwheels.org/simple/certora-cli-alpha-cvl-rewrite/ 2023-03-03T14:35:43,205 Skipping link: not a file: https://pypi.org/simple/certora-cli-alpha-cvl-rewrite/ 2023-03-03T14:35:43,227 Given no hashes to check 1 links for project 'certora-cli-alpha-cvl-rewrite': discarding no candidates 2023-03-03T14:35:43,244 Collecting certora-cli-alpha-cvl-rewrite==20230303.14.17 2023-03-03T14:35:43,246 Created temporary directory: /tmp/pip-unpack-xzvm2b73 2023-03-03T14:35:43,888 Downloading certora-cli-alpha-CVL_rewrite-20230303.14.17.tar.gz (10.9 MB) 2023-03-03T14:35:46,836 Added certora-cli-alpha-cvl-rewrite==20230303.14.17 from https://files.pythonhosted.org/packages/a1/53/4fb538d9a74ba469bdf2816989c00cec03a0d4cabdfb6d398a63ca6a70b2/certora-cli-alpha-CVL_rewrite-20230303.14.17.tar.gz to build tracker '/tmp/pip-build-tracker-fk4chqzk' 2023-03-03T14:35:46,839 Running setup.py (path:/tmp/pip-wheel-09d7amya/certora-cli-alpha-cvl-rewrite_4a09d6ac0d6b4466b85f75aa521bc414/setup.py) egg_info for package certora-cli-alpha-cvl-rewrite 2023-03-03T14:35:46,840 Created temporary directory: /tmp/pip-pip-egg-info-ya7flic4 2023-03-03T14:35:46,840 Preparing metadata (setup.py): started 2023-03-03T14:35:46,841 Running command python setup.py egg_info 2023-03-03T14:35:47,490 running egg_info 2023-03-03T14:35:47,492 creating /tmp/pip-pip-egg-info-ya7flic4/certora_cli_alpha_CVL_rewrite.egg-info 2023-03-03T14:35:47,516 writing /tmp/pip-pip-egg-info-ya7flic4/certora_cli_alpha_CVL_rewrite.egg-info/PKG-INFO 2023-03-03T14:35:47,519 writing dependency_links to /tmp/pip-pip-egg-info-ya7flic4/certora_cli_alpha_CVL_rewrite.egg-info/dependency_links.txt 2023-03-03T14:35:47,521 writing entry points to /tmp/pip-pip-egg-info-ya7flic4/certora_cli_alpha_CVL_rewrite.egg-info/entry_points.txt 2023-03-03T14:35:47,523 writing requirements to /tmp/pip-pip-egg-info-ya7flic4/certora_cli_alpha_CVL_rewrite.egg-info/requires.txt 2023-03-03T14:35:47,524 writing top-level names to /tmp/pip-pip-egg-info-ya7flic4/certora_cli_alpha_CVL_rewrite.egg-info/top_level.txt 2023-03-03T14:35:47,525 writing manifest file '/tmp/pip-pip-egg-info-ya7flic4/certora_cli_alpha_CVL_rewrite.egg-info/SOURCES.txt' 2023-03-03T14:35:47,606 reading manifest file '/tmp/pip-pip-egg-info-ya7flic4/certora_cli_alpha_CVL_rewrite.egg-info/SOURCES.txt' 2023-03-03T14:35:47,608 reading manifest template 'MANIFEST.in' 2023-03-03T14:35:47,611 adding license file 'LICENSE' 2023-03-03T14:35:47,615 writing manifest file '/tmp/pip-pip-egg-info-ya7flic4/certora_cli_alpha_CVL_rewrite.egg-info/SOURCES.txt' 2023-03-03T14:35:47,675 Preparing metadata (setup.py): finished with status 'done' 2023-03-03T14:35:47,681 Source in /tmp/pip-wheel-09d7amya/certora-cli-alpha-cvl-rewrite_4a09d6ac0d6b4466b85f75aa521bc414 has version 20230303.14.17, which satisfies requirement certora-cli-alpha-cvl-rewrite==20230303.14.17 from https://files.pythonhosted.org/packages/a1/53/4fb538d9a74ba469bdf2816989c00cec03a0d4cabdfb6d398a63ca6a70b2/certora-cli-alpha-CVL_rewrite-20230303.14.17.tar.gz 2023-03-03T14:35:47,682 Removed certora-cli-alpha-cvl-rewrite==20230303.14.17 from https://files.pythonhosted.org/packages/a1/53/4fb538d9a74ba469bdf2816989c00cec03a0d4cabdfb6d398a63ca6a70b2/certora-cli-alpha-CVL_rewrite-20230303.14.17.tar.gz from build tracker '/tmp/pip-build-tracker-fk4chqzk' 2023-03-03T14:35:47,689 Created temporary directory: /tmp/pip-unpack-ktxfmb0m 2023-03-03T14:35:47,690 Building wheels for collected packages: certora-cli-alpha-cvl-rewrite 2023-03-03T14:35:47,694 Created temporary directory: /tmp/pip-wheel-fe5jyoio 2023-03-03T14:35:47,695 Building wheel for certora-cli-alpha-cvl-rewrite (setup.py): started 2023-03-03T14:35:47,696 Destination directory: /tmp/pip-wheel-fe5jyoio 2023-03-03T14:35:47,696 Running command python setup.py bdist_wheel 2023-03-03T14:35:48,547 running bdist_wheel 2023-03-03T14:35:48,831 running build 2023-03-03T14:35:48,831 running build_py 2023-03-03T14:35:48,857 creating build 2023-03-03T14:35:48,858 creating build/lib 2023-03-03T14:35:48,858 creating build/lib/certora_cli 2023-03-03T14:35:48,860 copying certora_cli/certoraRun.py -> build/lib/certora_cli 2023-03-03T14:35:48,862 copying certora_cli/__init__.py -> build/lib/certora_cli 2023-03-03T14:35:48,864 creating build/lib/certora_jars 2023-03-03T14:35:48,865 copying certora_jars/__init__.py -> build/lib/certora_jars 2023-03-03T14:35:48,868 creating build/lib/certora_cli/Shared 2023-03-03T14:35:48,869 copying certora_cli/Shared/certoraLogging.py -> build/lib/certora_cli/Shared 2023-03-03T14:35:48,871 copying certora_cli/Shared/__init__.py -> build/lib/certora_cli/Shared 2023-03-03T14:35:48,873 copying certora_cli/Shared/certoraUtils.py -> build/lib/certora_cli/Shared 2023-03-03T14:35:48,876 copying certora_cli/Shared/certoraTester.py -> build/lib/certora_cli/Shared 2023-03-03T14:35:48,880 creating build/lib/certora_cli/EVMVerifier 2023-03-03T14:35:48,881 copying certora_cli/EVMVerifier/certoraContextClass.py -> build/lib/certora_cli/EVMVerifier 2023-03-03T14:35:48,883 copying certora_cli/EVMVerifier/certoraValidateFuncs.py -> build/lib/certora_cli/EVMVerifier 2023-03-03T14:35:48,885 copying certora_cli/EVMVerifier/certoraContextValidator.py -> build/lib/certora_cli/EVMVerifier 2023-03-03T14:35:48,889 copying certora_cli/EVMVerifier/certoraBuild.py -> build/lib/certora_cli/EVMVerifier 2023-03-03T14:35:48,897 copying certora_cli/EVMVerifier/certoraCloudIO.py -> build/lib/certora_cli/EVMVerifier 2023-03-03T14:35:48,900 copying certora_cli/EVMVerifier/certoraContext.py -> build/lib/certora_cli/EVMVerifier 2023-03-03T14:35:48,903 copying certora_cli/EVMVerifier/certoraContextAttribute.py -> build/lib/certora_cli/EVMVerifier 2023-03-03T14:35:48,906 copying certora_cli/EVMVerifier/certoraType.py -> build/lib/certora_cli/EVMVerifier 2023-03-03T14:35:48,909 copying certora_cli/EVMVerifier/certoraCollectRunMetadata.py -> build/lib/certora_cli/EVMVerifier 2023-03-03T14:35:48,912 copying certora_cli/EVMVerifier/__init__.py -> build/lib/certora_cli/EVMVerifier 2023-03-03T14:35:48,913 copying certora_cli/EVMVerifier/certoraNodeFilters.py -> build/lib/certora_cli/EVMVerifier 2023-03-03T14:35:48,915 copying certora_cli/EVMVerifier/certoraConfigIO.py -> build/lib/certora_cli/EVMVerifier 2023-03-03T14:35:48,918 copying certora_cli/EVMVerifier/certoraJobList.py -> build/lib/certora_cli/EVMVerifier 2023-03-03T14:35:48,921 creating build/lib/certora_cli/EVMVerifier/Compiler 2023-03-03T14:35:48,922 copying certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-03-03T14:35:48,924 copying certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-03-03T14:35:48,927 copying certora_cli/EVMVerifier/Compiler/__init__.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-03-03T14:35:48,929 copying certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-03-03T14:35:48,931 copying certora_cli/EVMVerifier/Compiler/CompilerCollector.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-03-03T14:35:48,933 running egg_info 2023-03-03T14:35:48,989 writing certora_cli_alpha_CVL_rewrite.egg-info/PKG-INFO 2023-03-03T14:35:48,991 writing dependency_links to certora_cli_alpha_CVL_rewrite.egg-info/dependency_links.txt 2023-03-03T14:35:48,993 writing entry points to certora_cli_alpha_CVL_rewrite.egg-info/entry_points.txt 2023-03-03T14:35:48,994 writing requirements to certora_cli_alpha_CVL_rewrite.egg-info/requires.txt 2023-03-03T14:35:48,996 writing top-level names to certora_cli_alpha_CVL_rewrite.egg-info/top_level.txt 2023-03-03T14:35:49,023 reading manifest file 'certora_cli_alpha_CVL_rewrite.egg-info/SOURCES.txt' 2023-03-03T14:35:49,026 reading manifest template 'MANIFEST.in' 2023-03-03T14:35:49,029 adding license file 'LICENSE' 2023-03-03T14:35:49,032 writing manifest file 'certora_cli_alpha_CVL_rewrite.egg-info/SOURCES.txt' 2023-03-03T14:35:49,035 copying certora_jars/Typechecker.jar -> build/lib/certora_jars 2023-03-03T14:35:49,313 /usr/local/lib/python3.9/dist-packages/setuptools/command/install.py:34: SetuptoolsDeprecationWarning: setup.py install is deprecated. Use build and pip and other standards-based tools. 2023-03-03T14:35:49,313 warnings.warn( 2023-03-03T14:35:49,337 installing to build/bdist.linux-armv7l/wheel 2023-03-03T14:35:49,337 running install 2023-03-03T14:35:49,362 running install_lib 2023-03-03T14:35:49,386 creating build/bdist.linux-armv7l 2023-03-03T14:35:49,386 creating build/bdist.linux-armv7l/wheel 2023-03-03T14:35:49,388 creating build/bdist.linux-armv7l/wheel/certora_cli 2023-03-03T14:35:49,390 creating build/bdist.linux-armv7l/wheel/certora_cli/Shared 2023-03-03T14:35:49,391 copying build/lib/certora_cli/Shared/certoraLogging.py -> build/bdist.linux-armv7l/wheel/certora_cli/Shared 2023-03-03T14:35:49,394 copying build/lib/certora_cli/Shared/__init__.py -> build/bdist.linux-armv7l/wheel/certora_cli/Shared 2023-03-03T14:35:49,396 copying build/lib/certora_cli/Shared/certoraUtils.py -> build/bdist.linux-armv7l/wheel/certora_cli/Shared 2023-03-03T14:35:49,399 copying build/lib/certora_cli/Shared/certoraTester.py -> build/bdist.linux-armv7l/wheel/certora_cli/Shared 2023-03-03T14:35:49,401 copying build/lib/certora_cli/certoraRun.py -> build/bdist.linux-armv7l/wheel/certora_cli 2023-03-03T14:35:49,404 copying build/lib/certora_cli/__init__.py -> build/bdist.linux-armv7l/wheel/certora_cli 2023-03-03T14:35:49,406 creating build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-03-03T14:35:49,407 copying build/lib/certora_cli/EVMVerifier/certoraContextClass.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-03-03T14:35:49,409 copying build/lib/certora_cli/EVMVerifier/certoraValidateFuncs.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-03-03T14:35:49,412 copying build/lib/certora_cli/EVMVerifier/certoraContextValidator.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-03-03T14:35:49,416 creating build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler 2023-03-03T14:35:49,417 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler 2023-03-03T14:35:49,419 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler 2023-03-03T14:35:49,421 copying build/lib/certora_cli/EVMVerifier/Compiler/__init__.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler 2023-03-03T14:35:49,423 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler 2023-03-03T14:35:49,425 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollector.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler 2023-03-03T14:35:49,427 copying build/lib/certora_cli/EVMVerifier/certoraBuild.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-03-03T14:35:49,433 copying build/lib/certora_cli/EVMVerifier/certoraCloudIO.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-03-03T14:35:49,436 copying build/lib/certora_cli/EVMVerifier/certoraContext.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-03-03T14:35:49,439 copying build/lib/certora_cli/EVMVerifier/certoraContextAttribute.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-03-03T14:35:49,442 copying build/lib/certora_cli/EVMVerifier/certoraType.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-03-03T14:35:49,445 copying build/lib/certora_cli/EVMVerifier/certoraCollectRunMetadata.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-03-03T14:35:49,447 copying build/lib/certora_cli/EVMVerifier/__init__.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-03-03T14:35:49,449 copying build/lib/certora_cli/EVMVerifier/certoraNodeFilters.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-03-03T14:35:49,451 copying build/lib/certora_cli/EVMVerifier/certoraConfigIO.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-03-03T14:35:49,452 copying build/lib/certora_cli/EVMVerifier/certoraJobList.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-03-03T14:35:49,456 creating build/bdist.linux-armv7l/wheel/certora_jars 2023-03-03T14:35:49,456 copying build/lib/certora_jars/Typechecker.jar -> build/bdist.linux-armv7l/wheel/certora_jars 2023-03-03T14:35:49,698 copying build/lib/certora_jars/__init__.py -> build/bdist.linux-armv7l/wheel/certora_jars 2023-03-03T14:35:49,700 running install_egg_info 2023-03-03T14:35:49,727 Copying certora_cli_alpha_CVL_rewrite.egg-info to build/bdist.linux-armv7l/wheel/certora_cli_alpha_CVL_rewrite-20230303.14.17-py3.9.egg-info 2023-03-03T14:35:49,740 running install_scripts 2023-03-03T14:35:49,759 adding license file "LICENSE" (matched pattern "LICEN[CS]E*") 2023-03-03T14:35:49,763 creating build/bdist.linux-armv7l/wheel/certora_cli_alpha_CVL_rewrite-20230303.14.17.dist-info/WHEEL 2023-03-03T14:35:49,766 creating '/tmp/pip-wheel-fe5jyoio/certora_cli_alpha_CVL_rewrite-20230303.14.17-py3-none-any.whl' and adding 'build/bdist.linux-armv7l/wheel' to it 2023-03-03T14:35:49,768 adding 'certora_cli/__init__.py' 2023-03-03T14:35:49,771 adding 'certora_cli/certoraRun.py' 2023-03-03T14:35:49,773 adding 'certora_cli/EVMVerifier/__init__.py' 2023-03-03T14:35:49,794 adding 'certora_cli/EVMVerifier/certoraBuild.py' 2023-03-03T14:35:49,801 adding 'certora_cli/EVMVerifier/certoraCloudIO.py' 2023-03-03T14:35:49,803 adding 'certora_cli/EVMVerifier/certoraCollectRunMetadata.py' 2023-03-03T14:35:49,804 adding 'certora_cli/EVMVerifier/certoraConfigIO.py' 2023-03-03T14:35:49,808 adding 'certora_cli/EVMVerifier/certoraContext.py' 2023-03-03T14:35:49,811 adding 'certora_cli/EVMVerifier/certoraContextAttribute.py' 2023-03-03T14:35:49,812 adding 'certora_cli/EVMVerifier/certoraContextClass.py' 2023-03-03T14:35:49,818 adding 'certora_cli/EVMVerifier/certoraContextValidator.py' 2023-03-03T14:35:49,821 adding 'certora_cli/EVMVerifier/certoraJobList.py' 2023-03-03T14:35:49,822 adding 'certora_cli/EVMVerifier/certoraNodeFilters.py' 2023-03-03T14:35:49,825 adding 'certora_cli/EVMVerifier/certoraType.py' 2023-03-03T14:35:49,829 adding 'certora_cli/EVMVerifier/certoraValidateFuncs.py' 2023-03-03T14:35:49,831 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollector.py' 2023-03-03T14:35:49,833 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py' 2023-03-03T14:35:49,834 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py' 2023-03-03T14:35:49,836 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py' 2023-03-03T14:35:49,838 adding 'certora_cli/EVMVerifier/Compiler/__init__.py' 2023-03-03T14:35:49,840 adding 'certora_cli/Shared/__init__.py' 2023-03-03T14:35:49,842 adding 'certora_cli/Shared/certoraLogging.py' 2023-03-03T14:35:49,844 adding 'certora_cli/Shared/certoraTester.py' 2023-03-03T14:35:49,849 adding 'certora_cli/Shared/certoraUtils.py' 2023-03-03T14:35:51,247 adding 'certora_jars/Typechecker.jar' 2023-03-03T14:35:51,321 adding 'certora_jars/__init__.py' 2023-03-03T14:35:51,323 adding 'certora_cli_alpha_CVL_rewrite-20230303.14.17.dist-info/LICENSE' 2023-03-03T14:35:51,324 adding 'certora_cli_alpha_CVL_rewrite-20230303.14.17.dist-info/METADATA' 2023-03-03T14:35:51,325 adding 'certora_cli_alpha_CVL_rewrite-20230303.14.17.dist-info/WHEEL' 2023-03-03T14:35:51,327 adding 'certora_cli_alpha_CVL_rewrite-20230303.14.17.dist-info/entry_points.txt' 2023-03-03T14:35:51,328 adding 'certora_cli_alpha_CVL_rewrite-20230303.14.17.dist-info/top_level.txt' 2023-03-03T14:35:51,330 adding 'certora_cli_alpha_CVL_rewrite-20230303.14.17.dist-info/RECORD' 2023-03-03T14:35:51,501 removing build/bdist.linux-armv7l/wheel 2023-03-03T14:35:51,604 Building wheel for certora-cli-alpha-cvl-rewrite (setup.py): finished with status 'done' 2023-03-03T14:35:51,724 Created wheel for certora-cli-alpha-cvl-rewrite: filename=certora_cli_alpha_CVL_rewrite-20230303.14.17-py3-none-any.whl size=10873906 sha256=fef4425939d5e9ee61b4a4484932a3eaa0085e7e2df46401322e37f66cc1b3cf 2023-03-03T14:35:51,725 Stored in directory: /tmp/pip-ephem-wheel-cache-e7uifqp8/wheels/50/03/85/bb0d26c1b0ba14ed4bde641c98fb97f4348bb16d10027e892a 2023-03-03T14:35:51,743 Successfully built certora-cli-alpha-cvl-rewrite 2023-03-03T14:35:52,077 Removed build tracker: '/tmp/pip-build-tracker-fk4chqzk'