2025-09-04T20:27:14,771 Created temporary directory: /tmp/pip-build-tracker-omxuwwpx 2025-09-04T20:27:14,772 Initialized build tracking at /tmp/pip-build-tracker-omxuwwpx 2025-09-04T20:27:14,772 Created build tracker: /tmp/pip-build-tracker-omxuwwpx 2025-09-04T20:27:14,772 Entered build tracker: /tmp/pip-build-tracker-omxuwwpx 2025-09-04T20:27:14,773 Created temporary directory: /tmp/pip-wheel-g7n_4eso 2025-09-04T20:27:14,776 Created temporary directory: /tmp/pip-ephem-wheel-cache-sna87b1h 2025-09-04T20:27:14,833 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple 2025-09-04T20:27:14,835 2 location(s) to search for versions of provers: 2025-09-04T20:27:14,835 * https://pypi.org/simple/provers/ 2025-09-04T20:27:14,835 * https://www.piwheels.org/simple/provers/ 2025-09-04T20:27:14,836 Fetching project page and analyzing links: https://pypi.org/simple/provers/ 2025-09-04T20:27:14,836 Getting page https://pypi.org/simple/provers/ 2025-09-04T20:27:14,837 Found index url https://pypi.org/simple/ 2025-09-04T20:27:14,908 Fetched page https://pypi.org/simple/provers/ as application/vnd.pypi.simple.v1+json 2025-09-04T20:27:14,911 Found link https://files.pythonhosted.org/packages/9c/2a/34e84f0e9a19a0a28fb985741f8ff0e3ff42a6887f2b1e306d4d2c5a7cb2/provers-0.1.0.tar.gz (from https://pypi.org/simple/provers/) (requires-python:>=3.5), version: 0.1.0 2025-09-04T20:27:14,911 Found link https://files.pythonhosted.org/packages/db/5c/44b88300b40492b44b32adb37841ea78df228f2e8b023687548efa9a1378/provers-0.1.1.tar.gz (from https://pypi.org/simple/provers/) (requires-python:>=3.5), version: 0.1.1 2025-09-04T20:27:14,911 Found link https://files.pythonhosted.org/packages/66/b7/390874f5097e1c489987f4a14e6e9eefd3d1696b28470b2754522da7ac1f/provers-0.1.2.tar.gz (from https://pypi.org/simple/provers/) (requires-python:>=3.5), version: 0.1.2 2025-09-04T20:27:14,912 Found link https://files.pythonhosted.org/packages/20/f7/860c8ab6d5ff16515c13321bfccaca1badfae760e121690ff026aa486e33/provers-0.1.3.tar.gz (from https://pypi.org/simple/provers/) (requires-python:>=3.5), version: 0.1.3 2025-09-04T20:27:14,912 Found link https://files.pythonhosted.org/packages/ea/7a/93829c01dc0a2b18d001223dc690cd53a9aa5ca7fd96c7db0bd9ebabce08/provers-0.1.4.tar.gz (from https://pypi.org/simple/provers/) (requires-python:>=3.5), version: 0.1.4 2025-09-04T20:27:14,912 Found link https://files.pythonhosted.org/packages/07/d6/c8f93376ab01e0db11b9230a5e111261d4684a5637a426b330167337be09/provers-0.1.5.tar.gz (from https://pypi.org/simple/provers/) (requires-python:>=3.5), version: 0.1.5 2025-09-04T20:27:14,912 Found link https://files.pythonhosted.org/packages/fb/54/b1a0ce5f20d3de1a01c34eaae867d69b99f808338edae45b26089dc0fecd/provers-0.1.6.tar.gz (from https://pypi.org/simple/provers/) (requires-python:>=3.5), version: 0.1.6 2025-09-04T20:27:14,912 Found link https://files.pythonhosted.org/packages/14/99/bebfa9b54de540bb79cbaec3e55a215c3f53a629f669d1173ea64257c0d9/provers-0.1.7.tar.gz (from https://pypi.org/simple/provers/) (requires-python:>=3.5), version: 0.1.7 2025-09-04T20:27:14,913 Found link https://files.pythonhosted.org/packages/0a/37/f9cb6a6184f7c4d014183d250ae490c38411009f4a28231b20011386a122/provers-0.1.8.tar.gz (from https://pypi.org/simple/provers/) (requires-python:>=3.5), version: 0.1.8 2025-09-04T20:27:14,913 Found link https://files.pythonhosted.org/packages/d6/e2/7c55cecd9a72bf4614488178a122f091149bca11a14039b5366e577cd3f2/provers-0.1.9.tar.gz (from https://pypi.org/simple/provers/) (requires-python:>=3.5), version: 0.1.9 2025-09-04T20:27:14,913 Found link https://files.pythonhosted.org/packages/ab/41/23ba8749948e2d599358b2775bb8d8f146012e3c889a58e34a42f88582d2/provers-0.1.10.tar.gz (from https://pypi.org/simple/provers/) (requires-python:>=3.5), version: 0.1.10 2025-09-04T20:27:14,913 Found link https://files.pythonhosted.org/packages/32/3b/4729c0ef9ac3613f1277d311210a2e4d12f8eca72c34ad66c8ba6c4008bd/provers-0.1.11.tar.gz (from https://pypi.org/simple/provers/) (requires-python:>=3.5), version: 0.1.11 2025-09-04T20:27:14,913 Found link https://files.pythonhosted.org/packages/36/64/37fdbfb859f41be3c0e014cedea06d40299561b18338914b46c37a3c6e8e/provers-0.1.12.tar.gz (from https://pypi.org/simple/provers/) (requires-python:>=3.5), version: 0.1.12 2025-09-04T20:27:14,914 Found link https://files.pythonhosted.org/packages/5d/12/1ac658701229edbbc7750a84825e47dbc728667b771d3320dd59c30567e8/provers-0.1.13.tar.gz (from https://pypi.org/simple/provers/) (requires-python:>=3.5), version: 0.1.13 2025-09-04T20:27:14,914 Found link https://files.pythonhosted.org/packages/dd/88/50ee969ef8e3407f7d4f5041452d679024bf83d84f4cfca670c30a6238c2/provers-0.1.15.tar.gz (from https://pypi.org/simple/provers/) (requires-python:>=3.5), version: 0.1.15 2025-09-04T20:27:14,914 Found link https://files.pythonhosted.org/packages/a2/a4/6f49b7fc5fe5c23acd354f35f32324b719a217c724870ea0c46b2960a547/provers-0.1.16.tar.gz (from https://pypi.org/simple/provers/) (requires-python:>=3.5), version: 0.1.16 2025-09-04T20:27:14,914 Found link https://files.pythonhosted.org/packages/22/b0/7bc22319c2dd0ac1ca9aeeb3d8ed4f912a68b70e88568114fbdcf100a167/provers-0.1.17.tar.gz (from https://pypi.org/simple/provers/) (requires-python:>=3.5), version: 0.1.17 2025-09-04T20:27:14,914 Found link https://files.pythonhosted.org/packages/a0/83/53fa97757df59f24e7504b841e0b4c92a557eab3f1e330de827521279acf/provers-0.1.18.tar.gz (from https://pypi.org/simple/provers/) (requires-python:>=3.5), version: 0.1.18 2025-09-04T20:27:14,915 Fetching project page and analyzing links: https://www.piwheels.org/simple/provers/ 2025-09-04T20:27:14,915 Getting page https://www.piwheels.org/simple/provers/ 2025-09-04T20:27:14,916 Found index url https://www.piwheels.org/simple/ 2025-09-04T20:27:15,010 Fetched page https://www.piwheels.org/simple/provers/ as text/html 2025-09-04T20:27:15,024 Skipping link: No binaries permitted for provers: https://archive1.piwheels.org/simple/provers/provers-0.1.18-cp35-cp35m-linux_armv6l.whl#sha256=fb3160fd1ca5db45dcd1a2d9548472a03309322eed90237c32b190f798a01bb0 (from https://www.piwheels.org/simple/provers/) (requires-python:>=3.5) 2025-09-04T20:27:15,025 Skipping link: No binaries permitted for provers: https://archive1.piwheels.org/simple/provers/provers-0.1.18-cp35-cp35m-linux_armv7l.whl#sha256=fb3160fd1ca5db45dcd1a2d9548472a03309322eed90237c32b190f798a01bb0 (from https://www.piwheels.org/simple/provers/) (requires-python:>=3.5) 2025-09-04T20:27:15,025 Skipping link: No binaries permitted for provers: https://archive1.piwheels.org/simple/provers/provers-0.1.18-cp37-cp37m-linux_armv6l.whl#sha256=a0c150503452bc8329e4dd1a63b662654332f097db759b0a72612bf315eff923 (from https://www.piwheels.org/simple/provers/) (requires-python:>=3.5) 2025-09-04T20:27:15,025 Skipping link: No binaries permitted for provers: https://archive1.piwheels.org/simple/provers/provers-0.1.18-cp37-cp37m-linux_armv7l.whl#sha256=a0c150503452bc8329e4dd1a63b662654332f097db759b0a72612bf315eff923 (from https://www.piwheels.org/simple/provers/) (requires-python:>=3.5) 2025-09-04T20:27:15,025 Skipping link: No binaries permitted for provers: https://archive1.piwheels.org/simple/provers/provers-0.1.18-cp311-cp311-linux_armv6l.whl#sha256=114a248773f1f59139ca1c88f09ea7875a6b291d3b172e3838be68584e5407a5 (from https://www.piwheels.org/simple/provers/) (requires-python:>=3.5) 2025-09-04T20:27:15,025 Skipping link: No binaries permitted for provers: https://archive1.piwheels.org/simple/provers/provers-0.1.18-cp311-cp311-linux_armv7l.whl#sha256=114a248773f1f59139ca1c88f09ea7875a6b291d3b172e3838be68584e5407a5 (from https://www.piwheels.org/simple/provers/) (requires-python:>=3.5) 2025-09-04T20:27:15,025 Skipping link: No binaries permitted for provers: https://archive1.piwheels.org/simple/provers/provers-0.1.18-cp39-cp39-linux_armv6l.whl#sha256=1e438aa03145d8fdf9be152a34eb97ff277ea3714b3de18f2b80ac6d088de0a4 (from https://www.piwheels.org/simple/provers/) (requires-python:>=3.5) 2025-09-04T20:27:15,026 Skipping link: No binaries permitted for provers: https://archive1.piwheels.org/simple/provers/provers-0.1.18-cp39-cp39-linux_armv7l.whl#sha256=1e438aa03145d8fdf9be152a34eb97ff277ea3714b3de18f2b80ac6d088de0a4 (from https://www.piwheels.org/simple/provers/) (requires-python:>=3.5) 2025-09-04T20:27:15,026 Skipping link: No binaries permitted for provers: https://archive1.piwheels.org/simple/provers/provers-0.1.17-cp35-cp35m-linux_armv6l.whl#sha256=e6c7da01b62c9c60304d60f120b36d92591302098a6a651b23fba15871e59e9f (from https://www.piwheels.org/simple/provers/) (requires-python:>=3.5) 2025-09-04T20:27:15,026 Skipping link: No binaries permitted for provers: https://archive1.piwheels.org/simple/provers/provers-0.1.17-cp35-cp35m-linux_armv7l.whl#sha256=e6c7da01b62c9c60304d60f120b36d92591302098a6a651b23fba15871e59e9f (from https://www.piwheels.org/simple/provers/) (requires-python:>=3.5) 2025-09-04T20:27:15,026 Skipping link: No binaries permitted for provers: https://archive1.piwheels.org/simple/provers/provers-0.1.17-cp37-cp37m-linux_armv6l.whl#sha256=88d8e62525789ff5f0d5b9a6e0899efdccc36bd3eb6910806146da71bf24bb52 (from https://www.piwheels.org/simple/provers/) (requires-python:>=3.5) 2025-09-04T20:27:15,026 Skipping link: No binaries permitted for provers: https://archive1.piwheels.org/simple/provers/provers-0.1.17-cp37-cp37m-linux_armv7l.whl#sha256=88d8e62525789ff5f0d5b9a6e0899efdccc36bd3eb6910806146da71bf24bb52 (from https://www.piwheels.org/simple/provers/) (requires-python:>=3.5) 2025-09-04T20:27:15,026 Skipping link: No binaries permitted for provers: https://archive1.piwheels.org/simple/provers/provers-0.1.17-cp39-cp39-linux_armv6l.whl#sha256=c64979834955b982e81a99f5538d2f25e38a150d45891018a4cbb855b86f2cc1 (from https://www.piwheels.org/simple/provers/) (requires-python:>=3.5) 2025-09-04T20:27:15,027 Skipping link: No binaries permitted for provers: https://archive1.piwheels.org/simple/provers/provers-0.1.17-cp39-cp39-linux_armv7l.whl#sha256=c64979834955b982e81a99f5538d2f25e38a150d45891018a4cbb855b86f2cc1 (from https://www.piwheels.org/simple/provers/) (requires-python:>=3.5) 2025-09-04T20:27:15,027 Skipping link: No binaries permitted for provers: https://archive1.piwheels.org/simple/provers/provers-0.1.17-cp311-cp311-linux_armv6l.whl#sha256=1dccab1c49bd7f26dd9a1c2d6f15389ca8e3cbb25dd64122f7cbe1a2589ce7e1 (from https://www.piwheels.org/simple/provers/) (requires-python:>=3.5) 2025-09-04T20:27:15,027 Skipping link: No binaries permitted for provers: https://archive1.piwheels.org/simple/provers/provers-0.1.17-cp311-cp311-linux_armv7l.whl#sha256=1dccab1c49bd7f26dd9a1c2d6f15389ca8e3cbb25dd64122f7cbe1a2589ce7e1 (from https://www.piwheels.org/simple/provers/) (requires-python:>=3.5) 2025-09-04T20:27:15,027 Skipping link: No binaries permitted for provers: https://archive1.piwheels.org/simple/provers/provers-0.1.16-cp35-cp35m-linux_armv7l.whl#sha256=736255accd938063e0aa8218f0d3ee060badb15658c394421f7ed5d24b5761a1 (from https://www.piwheels.org/simple/provers/) (requires-python:>=3.5) 2025-09-04T20:27:15,027 Skipping link: No binaries permitted for provers: https://archive1.piwheels.org/simple/provers/provers-0.1.16-cp35-cp35m-linux_armv6l.whl#sha256=736255accd938063e0aa8218f0d3ee060badb15658c394421f7ed5d24b5761a1 (from https://www.piwheels.org/simple/provers/) (requires-python:>=3.5) 2025-09-04T20:27:15,027 Skipping link: No binaries permitted for provers: https://archive1.piwheels.org/simple/provers/provers-0.1.16-cp37-cp37m-linux_armv7l.whl#sha256=6f0a26f4ad90fa7b018dca881263233cc4ddc6c1404d86e7e10910860592264e (from https://www.piwheels.org/simple/provers/) (requires-python:>=3.5) 2025-09-04T20:27:15,028 Skipping link: No binaries permitted for provers: https://archive1.piwheels.org/simple/provers/provers-0.1.16-cp37-cp37m-linux_armv6l.whl#sha256=6f0a26f4ad90fa7b018dca881263233cc4ddc6c1404d86e7e10910860592264e (from https://www.piwheels.org/simple/provers/) (requires-python:>=3.5) 2025-09-04T20:27:15,028 Skipping link: No binaries permitted for provers: https://archive1.piwheels.org/simple/provers/provers-0.1.16-cp39-cp39-linux_armv6l.whl#sha256=d8636b365bb41f482b8ee215f603d3d897313f799cf7ce0716e5d4f0c2fa68d9 (from https://www.piwheels.org/simple/provers/) (requires-python:>=3.5) 2025-09-04T20:27:15,028 Skipping link: No binaries permitted for provers: https://archive1.piwheels.org/simple/provers/provers-0.1.16-cp39-cp39-linux_armv7l.whl#sha256=d8636b365bb41f482b8ee215f603d3d897313f799cf7ce0716e5d4f0c2fa68d9 (from https://www.piwheels.org/simple/provers/) (requires-python:>=3.5) 2025-09-04T20:27:15,028 Skipping link: No binaries permitted for provers: https://archive1.piwheels.org/simple/provers/provers-0.1.16-cp311-cp311-linux_armv6l.whl#sha256=eea5d4929ac28dc67c7c06cdf4d4cbd9d080b5aa32440aa76a39eda04ec5a328 (from https://www.piwheels.org/simple/provers/) (requires-python:>=3.5) 2025-09-04T20:27:15,028 Skipping link: No binaries permitted for provers: https://archive1.piwheels.org/simple/provers/provers-0.1.16-cp311-cp311-linux_armv7l.whl#sha256=eea5d4929ac28dc67c7c06cdf4d4cbd9d080b5aa32440aa76a39eda04ec5a328 (from https://www.piwheels.org/simple/provers/) (requires-python:>=3.5) 2025-09-04T20:27:15,028 Skipping link: No binaries permitted for provers: https://archive1.piwheels.org/simple/provers/provers-0.1.15-cp39-cp39-linux_armv6l.whl#sha256=d18d911462bf1f105bdd7acdcb4c3cf88a63cd773c3027a197c940fe14194a1e (from https://www.piwheels.org/simple/provers/) (requires-python:>=3.5) 2025-09-04T20:27:15,028 Skipping link: No binaries permitted for provers: https://archive1.piwheels.org/simple/provers/provers-0.1.15-cp39-cp39-linux_armv7l.whl#sha256=d18d911462bf1f105bdd7acdcb4c3cf88a63cd773c3027a197c940fe14194a1e (from https://www.piwheels.org/simple/provers/) (requires-python:>=3.5) 2025-09-04T20:27:15,029 Skipping link: No binaries permitted for provers: https://archive1.piwheels.org/simple/provers/provers-0.1.15-cp35-cp35m-linux_armv7l.whl#sha256=e8c62da70e857b55ea1fee84f8f21b558d6dcf01093bea2328caa43403bb62da (from https://www.piwheels.org/simple/provers/) (requires-python:>=3.5) 2025-09-04T20:27:15,029 Skipping link: No binaries permitted for provers: https://archive1.piwheels.org/simple/provers/provers-0.1.15-cp35-cp35m-linux_armv6l.whl#sha256=e8c62da70e857b55ea1fee84f8f21b558d6dcf01093bea2328caa43403bb62da (from https://www.piwheels.org/simple/provers/) (requires-python:>=3.5) 2025-09-04T20:27:15,029 Skipping link: No binaries permitted for provers: https://archive1.piwheels.org/simple/provers/provers-0.1.15-cp37-cp37m-linux_armv7l.whl#sha256=b7530687e7453cd413f2058d89818be56dca3ffb07457e364b6733b18df0e0b4 (from https://www.piwheels.org/simple/provers/) (requires-python:>=3.5) 2025-09-04T20:27:15,029 Skipping link: No binaries permitted for provers: https://archive1.piwheels.org/simple/provers/provers-0.1.15-cp37-cp37m-linux_armv6l.whl#sha256=b7530687e7453cd413f2058d89818be56dca3ffb07457e364b6733b18df0e0b4 (from https://www.piwheels.org/simple/provers/) (requires-python:>=3.5) 2025-09-04T20:27:15,029 Skipping link: No binaries permitted for provers: https://archive1.piwheels.org/simple/provers/provers-0.1.15-cp311-cp311-linux_armv6l.whl#sha256=9980f7a8a05388fb55151f42811121545dc27a5363b0e4f5575705e978e8d1d9 (from https://www.piwheels.org/simple/provers/) (requires-python:>=3.5) 2025-09-04T20:27:15,029 Skipping link: No binaries permitted for provers: https://archive1.piwheels.org/simple/provers/provers-0.1.15-cp311-cp311-linux_armv7l.whl#sha256=9980f7a8a05388fb55151f42811121545dc27a5363b0e4f5575705e978e8d1d9 (from https://www.piwheels.org/simple/provers/) (requires-python:>=3.5) 2025-09-04T20:27:15,029 Skipping link: No binaries permitted for provers: https://archive1.piwheels.org/simple/provers/provers-0.1.13-cp39-cp39-linux_armv6l.whl#sha256=d6c739a246a58ff4c3785797598e296aafb30737a0f86e6d83281391a75bbd60 (from https://www.piwheels.org/simple/provers/) (requires-python:>=3.5) 2025-09-04T20:27:15,030 Skipping link: No binaries permitted for provers: https://archive1.piwheels.org/simple/provers/provers-0.1.13-cp39-cp39-linux_armv7l.whl#sha256=d6c739a246a58ff4c3785797598e296aafb30737a0f86e6d83281391a75bbd60 (from https://www.piwheels.org/simple/provers/) (requires-python:>=3.5) 2025-09-04T20:27:15,030 Skipping link: No binaries permitted for provers: https://archive1.piwheels.org/simple/provers/provers-0.1.13-cp37-cp37m-linux_armv7l.whl#sha256=f0163b0ae359807080fb898284d8c30a56c6341cbdb45a22aaaa0efc9f5adb56 (from https://www.piwheels.org/simple/provers/) (requires-python:>=3.5) 2025-09-04T20:27:15,030 Skipping link: No binaries permitted for provers: https://archive1.piwheels.org/simple/provers/provers-0.1.13-cp37-cp37m-linux_armv6l.whl#sha256=f0163b0ae359807080fb898284d8c30a56c6341cbdb45a22aaaa0efc9f5adb56 (from https://www.piwheels.org/simple/provers/) (requires-python:>=3.5) 2025-09-04T20:27:15,030 Skipping link: No binaries permitted for provers: https://archive1.piwheels.org/simple/provers/provers-0.1.13-cp35-cp35m-linux_armv6l.whl#sha256=ddc2bdff2e7bf1ff258e8cfb2b271bb8f78880298d23d631d8a351a233b202e2 (from https://www.piwheels.org/simple/provers/) (requires-python:>=3.5) 2025-09-04T20:27:15,030 Skipping link: No binaries permitted for provers: https://archive1.piwheels.org/simple/provers/provers-0.1.13-cp35-cp35m-linux_armv7l.whl#sha256=ddc2bdff2e7bf1ff258e8cfb2b271bb8f78880298d23d631d8a351a233b202e2 (from https://www.piwheels.org/simple/provers/) (requires-python:>=3.5) 2025-09-04T20:27:15,030 Skipping link: No binaries permitted for provers: https://archive1.piwheels.org/simple/provers/provers-0.1.13-cp311-cp311-linux_armv6l.whl#sha256=54a0a61e9481cceadb5402fecbaf66d9ca1b8afdcc2a2fa9eff8b563b28664cc (from https://www.piwheels.org/simple/provers/) (requires-python:>=3.5) 2025-09-04T20:27:15,030 Skipping link: No binaries permitted for provers: https://archive1.piwheels.org/simple/provers/provers-0.1.13-cp311-cp311-linux_armv7l.whl#sha256=54a0a61e9481cceadb5402fecbaf66d9ca1b8afdcc2a2fa9eff8b563b28664cc (from https://www.piwheels.org/simple/provers/) (requires-python:>=3.5) 2025-09-04T20:27:15,031 Skipping link: No binaries permitted for provers: https://archive1.piwheels.org/simple/provers/provers-0.1.12-cp39-cp39-linux_armv6l.whl#sha256=d3e055d488a4a76d4c909f6866bb01e21e4c9d13d15aaa69f6f5f59d2dd7e69f (from https://www.piwheels.org/simple/provers/) (requires-python:>=3.5) 2025-09-04T20:27:15,031 Skipping link: No binaries permitted for provers: https://archive1.piwheels.org/simple/provers/provers-0.1.12-cp39-cp39-linux_armv7l.whl#sha256=d3e055d488a4a76d4c909f6866bb01e21e4c9d13d15aaa69f6f5f59d2dd7e69f (from https://www.piwheels.org/simple/provers/) (requires-python:>=3.5) 2025-09-04T20:27:15,031 Skipping link: No binaries permitted for provers: https://archive1.piwheels.org/simple/provers/provers-0.1.12-cp35-cp35m-linux_armv7l.whl#sha256=3fae08d7d56887e73ef55137fd96a707eada7bba7926a05368c00cdddf778c4f (from https://www.piwheels.org/simple/provers/) (requires-python:>=3.5) 2025-09-04T20:27:15,031 Skipping link: No binaries permitted for provers: https://archive1.piwheels.org/simple/provers/provers-0.1.12-cp35-cp35m-linux_armv6l.whl#sha256=3fae08d7d56887e73ef55137fd96a707eada7bba7926a05368c00cdddf778c4f (from https://www.piwheels.org/simple/provers/) (requires-python:>=3.5) 2025-09-04T20:27:15,031 Skipping link: No binaries permitted for provers: https://archive1.piwheels.org/simple/provers/provers-0.1.12-cp37-cp37m-linux_armv7l.whl#sha256=8bf8d6798e74f19ac168ff416a7c89a0dede1d4a37f00ecc5c21d7f6be52bf97 (from https://www.piwheels.org/simple/provers/) (requires-python:>=3.5) 2025-09-04T20:27:15,031 Skipping link: No binaries permitted for provers: https://archive1.piwheels.org/simple/provers/provers-0.1.12-cp37-cp37m-linux_armv6l.whl#sha256=8bf8d6798e74f19ac168ff416a7c89a0dede1d4a37f00ecc5c21d7f6be52bf97 (from https://www.piwheels.org/simple/provers/) (requires-python:>=3.5) 2025-09-04T20:27:15,032 Skipping link: No binaries permitted for provers: https://archive1.piwheels.org/simple/provers/provers-0.1.12-cp311-cp311-linux_armv6l.whl#sha256=9f136d333df9bd177c235e02e18df097913bd2c5f22a48a7b66277339a53ecba (from https://www.piwheels.org/simple/provers/) (requires-python:>=3.5) 2025-09-04T20:27:15,032 Skipping link: No binaries permitted for provers: https://archive1.piwheels.org/simple/provers/provers-0.1.12-cp311-cp311-linux_armv7l.whl#sha256=9f136d333df9bd177c235e02e18df097913bd2c5f22a48a7b66277339a53ecba (from https://www.piwheels.org/simple/provers/) (requires-python:>=3.5) 2025-09-04T20:27:15,032 Skipping link: No binaries permitted for provers: https://archive1.piwheels.org/simple/provers/provers-0.1.4-cp39-cp39-linux_armv6l.whl#sha256=1735822d9e0e18dda0a32b9c4da30cfead5cb8090e1194d42f691fe1d2031ab1 (from https://www.piwheels.org/simple/provers/) (requires-python:>=3.5) 2025-09-04T20:27:15,032 Skipping link: No binaries permitted for provers: https://archive1.piwheels.org/simple/provers/provers-0.1.4-cp39-cp39-linux_armv7l.whl#sha256=1735822d9e0e18dda0a32b9c4da30cfead5cb8090e1194d42f691fe1d2031ab1 (from https://www.piwheels.org/simple/provers/) (requires-python:>=3.5) 2025-09-04T20:27:15,032 Skipping link: No binaries permitted for provers: https://archive1.piwheels.org/simple/provers/provers-0.1.4-cp35-cp35m-linux_armv6l.whl#sha256=5959efdd724a4bea2935bd798accaf7afc5fb6d2198a3f88e749068534d27aa6 (from https://www.piwheels.org/simple/provers/) (requires-python:>=3.5) 2025-09-04T20:27:15,032 Skipping link: No binaries permitted for provers: https://archive1.piwheels.org/simple/provers/provers-0.1.4-cp35-cp35m-linux_armv7l.whl#sha256=5959efdd724a4bea2935bd798accaf7afc5fb6d2198a3f88e749068534d27aa6 (from https://www.piwheels.org/simple/provers/) (requires-python:>=3.5) 2025-09-04T20:27:15,032 Skipping link: No binaries permitted for provers: https://archive1.piwheels.org/simple/provers/provers-0.1.4-cp37-cp37m-linux_armv6l.whl#sha256=a5372955b1cff238a2e18caefa381ee2e0d3bc99212470af397a4a5b4fe77b48 (from https://www.piwheels.org/simple/provers/) (requires-python:>=3.5) 2025-09-04T20:27:15,033 Skipping link: No binaries permitted for provers: https://archive1.piwheels.org/simple/provers/provers-0.1.4-cp37-cp37m-linux_armv7l.whl#sha256=a5372955b1cff238a2e18caefa381ee2e0d3bc99212470af397a4a5b4fe77b48 (from https://www.piwheels.org/simple/provers/) (requires-python:>=3.5) 2025-09-04T20:27:15,033 Skipping link: No binaries permitted for provers: https://archive1.piwheels.org/simple/provers/provers-0.1.4-cp311-cp311-linux_armv6l.whl#sha256=0d9d651ba5a848df405d592cb70ca0ccf8622afdbca80791526e5e1313b32f9d (from https://www.piwheels.org/simple/provers/) (requires-python:>=3.5) 2025-09-04T20:27:15,033 Skipping link: No binaries permitted for provers: https://archive1.piwheels.org/simple/provers/provers-0.1.4-cp311-cp311-linux_armv7l.whl#sha256=0d9d651ba5a848df405d592cb70ca0ccf8622afdbca80791526e5e1313b32f9d (from https://www.piwheels.org/simple/provers/) (requires-python:>=3.5) 2025-09-04T20:27:15,033 Skipping link: No binaries permitted for provers: https://archive1.piwheels.org/simple/provers/provers-0.1.3-py3-none-any.whl#sha256=f49e5283cdfec90379f9db05e908b1effb4b1cb892bac656305df578b1e46b35 (from https://www.piwheels.org/simple/provers/) (requires-python:>=3.5) 2025-09-04T20:27:15,033 Skipping link: No binaries permitted for provers: https://archive1.piwheels.org/simple/provers/provers-0.1.2-py3-none-any.whl#sha256=8113415d85631769830d3065e440daafb94526f1e07fab9108c3376ec2e7a83a (from https://www.piwheels.org/simple/provers/) (requires-python:>=3.5) 2025-09-04T20:27:15,033 Skipping link: No binaries permitted for provers: https://archive1.piwheels.org/simple/provers/provers-0.0.0-py3-none-any.whl#sha256=2b6401a015f9339d47a44c6727d44b6722f93271ca63ad98f80aa51019274445 (from https://www.piwheels.org/simple/provers/) (requires-python:>=3.5) 2025-09-04T20:27:15,033 Skipping link: No binaries permitted for provers: https://archive1.piwheels.org/simple/provers/provers-0.1.0-py3-none-any.whl#sha256=0fe13627ac43c9265cab689feb720eb375bb27305aafb187486477272eaa43d4 (from https://www.piwheels.org/simple/provers/) (requires-python:>=3.5) 2025-09-04T20:27:15,033 Skipping link: not a file: https://www.piwheels.org/simple/provers/ 2025-09-04T20:27:15,034 Skipping link: not a file: https://pypi.org/simple/provers/ 2025-09-04T20:27:15,057 Given no hashes to check 1 links for project 'provers': discarding no candidates 2025-09-04T20:27:15,058 Collecting provers==0.1.5 2025-09-04T20:27:15,059 Created temporary directory: /tmp/pip-unpack-iq39hvgq 2025-09-04T20:27:15,197 Downloading provers-0.1.5.tar.gz (14 kB) 2025-09-04T20:27:15,215 Added provers==0.1.5 from https://files.pythonhosted.org/packages/07/d6/c8f93376ab01e0db11b9230a5e111261d4684a5637a426b330167337be09/provers-0.1.5.tar.gz to build tracker '/tmp/pip-build-tracker-omxuwwpx' 2025-09-04T20:27:15,216 Running setup.py (path:/tmp/pip-wheel-g7n_4eso/provers_7dd04fb7824b451894a645f1c4365250/setup.py) egg_info for package provers 2025-09-04T20:27:15,216 Created temporary directory: /tmp/pip-pip-egg-info-k851bkmt 2025-09-04T20:27:15,217 Preparing metadata (setup.py): started 2025-09-04T20:27:15,217 Running command python setup.py egg_info 2025-09-04T20:27:15,863 /usr/local/lib/python3.13/dist-packages/setuptools/__init__.py:92: _DeprecatedInstaller: setuptools.installer and fetch_build_eggs are deprecated. 2025-09-04T20:27:15,863 !! 2025-09-04T20:27:15,863 ******************************************************************************** 2025-09-04T20:27:15,864 Requirements should be satisfied by a PEP 517 installer. 2025-09-04T20:27:15,864 If you are using pip, you can try `pip install --use-pep517`. 2025-09-04T20:27:15,864 By 2025-Oct-31, you need to update your project and remove deprecated calls 2025-09-04T20:27:15,864 or your builds will no longer be supported. 2025-09-04T20:27:15,864 ******************************************************************************** 2025-09-04T20:27:15,864 !! 2025-09-04T20:27:15,864 dist.fetch_build_eggs(dist.setup_requires) 2025-09-04T20:27:19,448 running egg_info 2025-09-04T20:27:19,522 creating /tmp/pip-pip-egg-info-k851bkmt/provers.egg-info 2025-09-04T20:27:19,523 writing /tmp/pip-pip-egg-info-k851bkmt/provers.egg-info/PKG-INFO 2025-09-04T20:27:19,524 writing dependency_links to /tmp/pip-pip-egg-info-k851bkmt/provers.egg-info/dependency_links.txt 2025-09-04T20:27:19,524 writing entry points to /tmp/pip-pip-egg-info-k851bkmt/provers.egg-info/entry_points.txt 2025-09-04T20:27:19,525 writing top-level names to /tmp/pip-pip-egg-info-k851bkmt/provers.egg-info/top_level.txt 2025-09-04T20:27:19,525 writing manifest file '/tmp/pip-pip-egg-info-k851bkmt/provers.egg-info/SOURCES.txt' 2025-09-04T20:27:19,917 listing git files failed - pretending there aren't any 2025-09-04T20:27:19,930 reading manifest file '/tmp/pip-pip-egg-info-k851bkmt/provers.egg-info/SOURCES.txt' 2025-09-04T20:27:19,930 reading manifest template 'MANIFEST.in' 2025-09-04T20:27:19,931 warning: no previously-included files found matching 'provers/bin/*' 2025-09-04T20:27:19,932 adding license file 'LICENSE' 2025-09-04T20:27:19,934 writing manifest file '/tmp/pip-pip-egg-info-k851bkmt/provers.egg-info/SOURCES.txt' 2025-09-04T20:27:20,055 Preparing metadata (setup.py): finished with status 'done' 2025-09-04T20:27:20,060 Source in /tmp/pip-wheel-g7n_4eso/provers_7dd04fb7824b451894a645f1c4365250 has version 0.1.5, which satisfies requirement provers==0.1.5 from https://files.pythonhosted.org/packages/07/d6/c8f93376ab01e0db11b9230a5e111261d4684a5637a426b330167337be09/provers-0.1.5.tar.gz 2025-09-04T20:27:20,060 Removed provers==0.1.5 from https://files.pythonhosted.org/packages/07/d6/c8f93376ab01e0db11b9230a5e111261d4684a5637a426b330167337be09/provers-0.1.5.tar.gz from build tracker '/tmp/pip-build-tracker-omxuwwpx' 2025-09-04T20:27:20,064 Created temporary directory: /tmp/pip-unpack-4vzv8aa9 2025-09-04T20:27:20,064 Created temporary directory: /tmp/pip-unpack-sayfwonr 2025-09-04T20:27:20,064 Building wheels for collected packages: provers 2025-09-04T20:27:20,065 Created temporary directory: /tmp/pip-wheel-5v62mi_k 2025-09-04T20:27:20,066 DEPRECATION: Building 'provers' using the legacy setup.py bdist_wheel mechanism, which will be removed in a future version. pip 25.3 will enforce this behaviour change. A possible replacement is to use the standardized build interface by setting the `--use-pep517` option, (possibly combined with `--no-build-isolation`), or adding a `pyproject.toml` file to the source tree of 'provers'. Discussion can be found at https://github.com/pypa/pip/issues/6334 2025-09-04T20:27:20,067 Building wheel for provers (setup.py): started 2025-09-04T20:27:20,068 Destination directory: /tmp/pip-wheel-5v62mi_k 2025-09-04T20:27:20,068 Running command python setup.py bdist_wheel 2025-09-04T20:27:20,716 /usr/local/lib/python3.13/dist-packages/setuptools/__init__.py:92: _DeprecatedInstaller: setuptools.installer and fetch_build_eggs are deprecated. 2025-09-04T20:27:20,716 !! 2025-09-04T20:27:20,716 ******************************************************************************** 2025-09-04T20:27:20,716 Requirements should be satisfied by a PEP 517 installer. 2025-09-04T20:27:20,716 If you are using pip, you can try `pip install --use-pep517`. 2025-09-04T20:27:20,716 By 2025-Oct-31, you need to update your project and remove deprecated calls 2025-09-04T20:27:20,717 or your builds will no longer be supported. 2025-09-04T20:27:20,717 ******************************************************************************** 2025-09-04T20:27:20,717 !! 2025-09-04T20:27:20,717 dist.fetch_build_eggs(dist.setup_requires) 2025-09-04T20:27:21,816 running bdist_wheel 2025-09-04T20:27:22,204 running build 2025-09-04T20:27:22,204 running build_py 2025-09-04T20:27:22,212 mkdir tmp || true 2025-09-04T20:27:22,221 cd tmp && wget https://www.cs.unm.edu/~mccune/mace4/download/LADR-2009-11A.tar.gz 2025-09-04T20:27:22,257 --2025-09-04 20:27:22-- https://www.cs.unm.edu/~mccune/mace4/download/LADR-2009-11A.tar.gz 2025-09-04T20:27:22,303 Resolving www.cs.unm.edu (www.cs.unm.edu)... 64:ff9b::406a:144c, 64.106.20.76 2025-09-04T20:27:22,436 Connecting to www.cs.unm.edu (www.cs.unm.edu)|64:ff9b::406a:144c|:443... connected. 2025-09-04T20:27:22,844 HTTP request sent, awaiting response... 200 OK 2025-09-04T20:27:22,844 Length: 1795750 (1.7M) [application/x-gzip] 2025-09-04T20:27:22,844 Saving to: ‘LADR-2009-11A.tar.gz’ 2025-09-04T20:27:23,111 0K .......... .......... .......... .......... .......... 2% 187K 9s 2025-09-04T20:27:23,240 50K .......... .......... .......... .......... .......... 5% 389K 7s 2025-09-04T20:27:23,372 100K .......... .......... .......... .......... .......... 8% 376K 6s 2025-09-04T20:27:23,385 150K .......... .......... .......... .......... .......... 11% 3.90M 4s 2025-09-04T20:27:23,394 200K .......... .......... .......... .......... .......... 14% 4.86M 3s 2025-09-04T20:27:23,398 250K .......... .......... .......... .......... .......... 17% 12.6M 3s 2025-09-04T20:27:23,510 300K .......... .......... .......... .......... .......... 19% 450K 3s 2025-09-04T20:27:23,521 350K .......... .......... .......... .......... .......... 22% 4.44M 2s 2025-09-04T20:27:23,527 400K .......... .......... .......... .......... .......... 25% 7.57M 2s 2025-09-04T20:27:23,534 450K .......... .......... .......... .......... .......... 28% 7.10M 2s 2025-09-04T20:27:23,538 500K .......... .......... .......... .......... .......... 31% 12.7M 2s 2025-09-04T20:27:23,542 550K .......... .......... .......... .......... .......... 34% 12.5M 1s 2025-09-04T20:27:23,546 600K .......... .......... .......... .......... .......... 37% 10.8M 1s 2025-09-04T20:27:23,659 650K .......... .......... .......... .......... .......... 39% 444K 1s 2025-09-04T20:27:23,667 700K .......... .......... .......... .......... .......... 42% 5.78M 1s 2025-09-04T20:27:23,671 750K .......... .......... .......... .......... .......... 45% 12.6M 1s 2025-09-04T20:27:23,675 800K .......... .......... .......... .......... .......... 48% 12.6M 1s 2025-09-04T20:27:23,679 850K .......... .......... .......... .......... .......... 51% 10.9M 1s 2025-09-04T20:27:23,683 900K .......... .......... .......... .......... .......... 54% 12.6M 1s 2025-09-04T20:27:23,688 950K .......... .......... .......... .......... .......... 57% 10.9M 1s 2025-09-04T20:27:23,692 1000K .......... .......... .......... .......... .......... 59% 12.6M 1s 2025-09-04T20:27:23,696 1050K .......... .......... .......... .......... .......... 62% 12.4M 1s 2025-09-04T20:27:23,700 1100K .......... .......... .......... .......... .......... 65% 10.8M 0s 2025-09-04T20:27:23,704 1150K .......... .......... .......... .......... .......... 68% 12.6M 0s 2025-09-04T20:27:23,708 1200K .......... .......... .......... .......... .......... 71% 10.9M 0s 2025-09-04T20:27:23,712 1250K .......... .......... .......... .......... .......... 74% 12.6M 0s 2025-09-04T20:27:23,782 1300K .......... .......... .......... .......... .......... 76% 717K 0s 2025-09-04T20:27:23,800 1350K .......... .......... .......... .......... .......... 79% 2.68M 0s 2025-09-04T20:27:23,804 1400K .......... .......... .......... .......... .......... 82% 12.5M 0s 2025-09-04T20:27:23,809 1450K .......... .......... .......... .......... .......... 85% 10.9M 0s 2025-09-04T20:27:23,813 1500K .......... .......... .......... .......... .......... 88% 12.4M 0s 2025-09-04T20:27:23,816 1550K .......... .......... .......... .......... .......... 91% 12.6M 0s 2025-09-04T20:27:23,821 1600K .......... .......... .......... .......... .......... 94% 10.8M 0s 2025-09-04T20:27:23,825 1650K .......... .......... .......... .......... .......... 96% 12.7M 0s 2025-09-04T20:27:23,829 1700K .......... .......... .......... .......... .......... 99% 11.6M 0s 2025-09-04T20:27:23,829 1750K ... 100% 6.82T=1.0s 2025-09-04T20:27:23,829 2025-09-04 20:27:23 (1.74 MB/s) - ‘LADR-2009-11A.tar.gz’ saved [1795750/1795750] 2025-09-04T20:27:23,832 cd tmp && tar -xzf LADR-2009-11A.tar.gz 2025-09-04T20:27:23,999 cd tmp/LADR-2009-11A/provers.src && sed -i.old 's/^\([ \t]*\$(CC).*\) -lm \(.*\)$/\1 \2 -lm/g' Makefile 2025-09-04T20:27:24,010 cd tmp/LADR-2009-11A && make -j8 all 2025-09-04T20:27:24,019 make[1]: Entering directory '/tmp/pip-wheel-g7n_4eso/provers_7dd04fb7824b451894a645f1c4365250/provers/bin/tmp/LADR-2009-11A' 2025-09-04T20:27:24,019 cd ladr && make lib 2025-09-04T20:27:24,034 make[2]: Entering directory '/tmp/pip-wheel-g7n_4eso/provers_7dd04fb7824b451894a645f1c4365250/provers/bin/tmp/LADR-2009-11A/ladr' 2025-09-04T20:27:24,034 make libladr.a 2025-09-04T20:27:24,047 make[3]: Entering directory '/tmp/pip-wheel-g7n_4eso/provers_7dd04fb7824b451894a645f1c4365250/provers/bin/tmp/LADR-2009-11A/ladr' 2025-09-04T20:27:24,047 gcc -O -Wall -c -o order.o order.c 2025-09-04T20:27:24,049 gcc -O -Wall -c -o clock.o clock.c 2025-09-04T20:27:24,050 gcc -O -Wall -c -o nonport.o nonport.c 2025-09-04T20:27:24,052 gcc -O -Wall -c -o fatal.o fatal.c 2025-09-04T20:27:24,054 gcc -O -Wall -c -o ibuffer.o ibuffer.c 2025-09-04T20:27:24,055 gcc -O -Wall -c -o memory.o memory.c 2025-09-04T20:27:24,058 gcc -O -Wall -c -o hash.o hash.c 2025-09-04T20:27:24,062 gcc -O -Wall -c -o string.o string.c 2025-09-04T20:27:24,333 gcc -O -Wall -c -o strbuf.o strbuf.c 2025-09-04T20:27:24,363 gcc -O -Wall -c -o glist.o glist.c 2025-09-04T20:27:24,444 gcc -O -Wall -c -o options.o options.c 2025-09-04T20:27:24,476 gcc -O -Wall -c -o symbols.o symbols.c 2025-09-04T20:27:24,550 gcc -O -Wall -c -o avltree.o avltree.c 2025-09-04T20:27:24,585 gcc -O -Wall -c -o term.o term.c 2025-09-04T20:27:24,662 gcc -O -Wall -c -o termflag.o termflag.c 2025-09-04T20:27:24,717 gcc -O -Wall -c -o listterm.o listterm.c 2025-09-04T20:27:24,770 symbols.c: In function ‘declare_base_symbols’: 2025-09-04T20:27:24,770 symbols.c:1304:7: warning: variable ‘sn’ set but not used [-Wunused-but-set-variable] 2025-09-04T20:27:24,770 1304 | int sn; 2025-09-04T20:27:24,771 | ^~ 2025-09-04T20:27:24,975 gcc -O -Wall -c -o tlist.o tlist.c 2025-09-04T20:27:25,235 gcc -O -Wall -c -o flatterm.o flatterm.c 2025-09-04T20:27:25,314 gcc -O -Wall -c -o multiset.o multiset.c 2025-09-04T20:27:25,433 gcc -O -Wall -c -o termorder.o termorder.c 2025-09-04T20:27:25,554 gcc -O -Wall -c -o parse.o parse.c 2025-09-04T20:27:25,785 gcc -O -Wall -c -o accanon.o accanon.c 2025-09-04T20:27:25,850 gcc -O -Wall -c -o unify.o unify.c 2025-09-04T20:27:25,949 gcc -O -Wall -c -o fpalist.o fpalist.c 2025-09-04T20:27:25,968 gcc -O -Wall -c -o fpa.o fpa.c 2025-09-04T20:27:26,363 gcc -O -Wall -c -o discrim.o discrim.c 2025-09-04T20:27:26,637 gcc -O -Wall -c -o discrimb.o discrimb.c 2025-09-04T20:27:26,776 gcc -O -Wall -c -o discrimw.o discrimw.c 2025-09-04T20:27:26,878 gcc -O -Wall -c -o dioph.o dioph.c 2025-09-04T20:27:26,936 discrimb.c:487:7: warning: ‘check_flat2’ defined but not used [-Wunused-function] 2025-09-04T20:27:26,936 487 | Flat2 check_flat2(Flat2 f) 2025-09-04T20:27:26,936 | ^~~~~~~~~~~ 2025-09-04T20:27:27,002 gcc -O -Wall -c -o btu.o btu.c 2025-09-04T20:27:27,022 gcc -O -Wall -c -o btm.o btm.c 2025-09-04T20:27:27,051 gcc -O -Wall -c -o mindex.o mindex.c 2025-09-04T20:27:27,129 discrimw.c:146:6: warning: ‘check_flat’ defined but not used [-Wunused-function] 2025-09-04T20:27:27,130 146 | Flat check_flat(Flat f) 2025-09-04T20:27:27,130 | ^~~~~~~~~~ 2025-09-04T20:27:27,329 gcc -O -Wall -c -o basic.o basic.c 2025-09-04T20:27:27,371 mindex.c: In function ‘mindex_retrieve_next’: 2025-09-04T20:27:27,371 mindex.c:650:11: warning: variable ‘tr’ set but not used [-Wunused-but-set-variable] 2025-09-04T20:27:27,371 650 | Trail tr; 2025-09-04T20:27:27,372 | ^~ 2025-09-04T20:27:27,636 gcc -O -Wall -c -o attrib.o attrib.c 2025-09-04T20:27:27,761 gcc -O -Wall -c -o formula.o formula.c 2025-09-04T20:27:27,774 gcc -O -Wall -c -o definitions.o definitions.c 2025-09-04T20:27:27,895 gcc -O -Wall -c -o literals.o literals.c 2025-09-04T20:27:28,024 gcc -O -Wall -c -o topform.o topform.c 2025-09-04T20:27:28,505 gcc -O -Wall -c -o clist.o clist.c 2025-09-04T20:27:28,588 gcc -O -Wall -c -o clauseid.o clauseid.c 2025-09-04T20:27:28,724 gcc -O -Wall -c -o clauses.o clauses.c 2025-09-04T20:27:28,816 gcc -O -Wall -c -o just.o just.c 2025-09-04T20:27:28,877 gcc -O -Wall -c -o cnf.o cnf.c 2025-09-04T20:27:29,009 gcc -O -Wall -c -o clausify.o clausify.c 2025-09-04T20:27:29,085 gcc -O -Wall -c -o parautil.o parautil.c 2025-09-04T20:27:29,193 gcc -O -Wall -c -o pindex.o pindex.c 2025-09-04T20:27:29,395 gcc -O -Wall -c -o compress.o compress.c 2025-09-04T20:27:29,595 gcc -O -Wall -c -o maximal.o maximal.c 2025-09-04T20:27:29,613 gcc -O -Wall -c -o lindex.o lindex.c 2025-09-04T20:27:29,839 gcc -O -Wall -c -o weight.o weight.c 2025-09-04T20:27:29,887 gcc -O -Wall -c -o weight2.o weight2.c 2025-09-04T20:27:30,079 gcc -O -Wall -c -o int_code.o int_code.c 2025-09-04T20:27:30,141 gcc -O -Wall -c -o features.o features.c 2025-09-04T20:27:30,170 gcc -O -Wall -c -o di_tree.o di_tree.c 2025-09-04T20:27:30,299 gcc -O -Wall -c -o fastparse.o fastparse.c 2025-09-04T20:27:30,351 gcc -O -Wall -c -o random.o random.c 2025-09-04T20:27:30,390 gcc -O -Wall -c -o subsume.o subsume.c 2025-09-04T20:27:30,503 gcc -O -Wall -c -o clause_misc.o clause_misc.c 2025-09-04T20:27:30,704 gcc -O -Wall -c -o clause_eval.o clause_eval.c 2025-09-04T20:27:30,716 gcc -O -Wall -c -o complex.o complex.c 2025-09-04T20:27:30,884 gcc -O -Wall -c -o dollar.o dollar.c 2025-09-04T20:27:30,903 gcc -O -Wall -c -o flatdemod.o flatdemod.c 2025-09-04T20:27:30,938 gcc -O -Wall -c -o demod.o demod.c 2025-09-04T20:27:30,987 gcc -O -Wall -c -o clash.o clash.c 2025-09-04T20:27:31,024 complex.c: In function ‘complex4_p1’: 2025-09-04T20:27:31,024 complex.c:275:8: warning: variable ‘dummy’ set but not used [-Wunused-but-set-variable] 2025-09-04T20:27:31,024 275 | BOOL dummy; 2025-09-04T20:27:31,025 | ^~~~~ 2025-09-04T20:27:31,176 gcc -O -Wall -c -o resolve.o resolve.c 2025-09-04T20:27:31,225 flatdemod.c: In function ‘discrim_flat_retrieve_leaf’: 2025-09-04T20:27:31,226 flatdemod.c:122:16: warning: comparison between ‘BOOL’ and ‘enum ’ [-Wenum-compare] 2025-09-04T20:27:31,226 122 | if (status == BACKTRACK) { 2025-09-04T20:27:31,226 | ^~ 2025-09-04T20:27:31,227 flatdemod.c:158:15: warning: variable ‘dd’ set but not used [-Wunused-but-set-variable] 2025-09-04T20:27:31,227 158 | Discrim dd = NULL; 2025-09-04T20:27:31,227 | ^~ 2025-09-04T20:27:31,227 flatdemod.c:167:16: warning: comparison between ‘BOOL’ and ‘enum ’ [-Wenum-compare] 2025-09-04T20:27:31,228 167 | if (status == GO) { 2025-09-04T20:27:31,229 | ^~ 2025-09-04T20:27:31,264 demod.c: In function ‘demod1’: 2025-09-04T20:27:31,264 demod.c:376:8: warning: variable ‘result’ set but not used [-Wunused-but-set-variable] 2025-09-04T20:27:31,264 376 | Term result; 2025-09-04T20:27:31,265 | ^~~~~~ 2025-09-04T20:27:31,285 gcc -O -Wall -c -o paramod.o paramod.c 2025-09-04T20:27:31,298 clash.c: In function ‘clash_recurse’: 2025-09-04T20:27:31,298 clash.c:283:12: warning: suggest parentheses around operand of ‘!’ or change ‘|’ to ‘||’ or ‘!’ to ‘~’ [-Wparentheses] 2025-09-04T20:27:31,298 283 | else if (!p->clashable | p->clashed) 2025-09-04T20:27:31,299 | ^~~~~~~~~~~~~ 2025-09-04T20:27:31,468 gcc -O -Wall -c -o backdemod.o backdemod.c 2025-09-04T20:27:31,551 gcc -O -Wall -c -o hints.o hints.c 2025-09-04T20:27:31,578 gcc -O -Wall -c -o ac_redun.o ac_redun.c 2025-09-04T20:27:31,603 gcc -O -Wall -c -o xproofs.o xproofs.c 2025-09-04T20:27:31,617 paramod.c: In function ‘para_into’: 2025-09-04T20:27:31,617 paramod.c:347:8: warning: suggest parentheses around operand of ‘!’ or change ‘|’ to ‘||’ or ‘!’ to ‘~’ [-Wparentheses] 2025-09-04T20:27:31,617 347 | if ((!VARIABLE(into) | Para_into_vars) && basic_check(into)) { 2025-09-04T20:27:31,753 gcc -O -Wall -c -o ivy.o ivy.c 2025-09-04T20:27:31,921 gcc -O -Wall -c -o interp.o interp.c 2025-09-04T20:27:32,083 gcc -O -Wall -c -o std_options.o std_options.c 2025-09-04T20:27:32,145 ivy.c: In function ‘factor2_instances’: 2025-09-04T20:27:32,146 ivy.c:633:14: warning: variable ‘l1i’ set but not used [-Wunused-but-set-variable] 2025-09-04T20:27:32,146 633 | Literals l1i, l2i, lit; 2025-09-04T20:27:32,146 | ^~~ 2025-09-04T20:27:32,256 gcc -O -Wall -c -o banner.o banner.c 2025-09-04T20:27:32,272 gcc -O -Wall -c -o ioutil.o ioutil.c 2025-09-04T20:27:32,286 interp.c: In function ‘transpose_binary’: 2025-09-04T20:27:32,286 interp.c:358:10: warning: variable ‘rc’ set but not used [-Wunused-but-set-variable] 2025-09-04T20:27:32,286 358 | int i, rc; 2025-09-04T20:27:32,287 | ^~ 2025-09-04T20:27:32,438 gcc -O -Wall -c -o tptp_trans.o tptp_trans.c 2025-09-04T20:27:32,484 gcc -O -Wall -c -o top_input.o top_input.c 2025-09-04T20:27:34,356 ar rs libladr.a order.o clock.o nonport.o fatal.o ibuffer.o memory.o hash.o string.o strbuf.o glist.o options.o symbols.o avltree.o term.o termflag.o listterm.o tlist.o flatterm.o multiset.o termorder.o parse.o accanon.o unify.o fpalist.o fpa.o discrim.o discrimb.o discrimw.o dioph.o btu.o btm.o mindex.o basic.o attrib.o formula.o definitions.o literals.o topform.o clist.o clauseid.o clauses.o just.o cnf.o clausify.o parautil.o pindex.o compress.o maximal.o lindex.o weight.o weight2.o int_code.o features.o di_tree.o fastparse.o random.o subsume.o clause_misc.o clause_eval.o complex.o dollar.o flatdemod.o demod.o clash.o resolve.o paramod.o backdemod.o hints.o ac_redun.o xproofs.o ivy.o interp.o std_options.o banner.o ioutil.o tptp_trans.o top_input.o 2025-09-04T20:27:34,362 ar: creating libladr.a 2025-09-04T20:27:34,542 make[3]: Leaving directory '/tmp/pip-wheel-g7n_4eso/provers_7dd04fb7824b451894a645f1c4365250/provers/bin/tmp/LADR-2009-11A/ladr' 2025-09-04T20:27:34,542 make[2]: Leaving directory '/tmp/pip-wheel-g7n_4eso/provers_7dd04fb7824b451894a645f1c4365250/provers/bin/tmp/LADR-2009-11A/ladr' 2025-09-04T20:27:34,542 cd mace4.src && make all 2025-09-04T20:27:34,553 make[2]: Entering directory '/tmp/pip-wheel-g7n_4eso/provers_7dd04fb7824b451894a645f1c4365250/provers/bin/tmp/LADR-2009-11A/mace4.src' 2025-09-04T20:27:34,553 cd ../ladr && make libladr.a 2025-09-04T20:27:34,554 make libmace4.a 2025-09-04T20:27:34,556 gcc -O -Wall -c -o estack.o estack.c 2025-09-04T20:27:34,558 gcc -O -Wall -c -o util.o util.c 2025-09-04T20:27:34,559 gcc -O -Wall -c -o print.o print.c 2025-09-04T20:27:34,561 gcc -O -Wall -c -o syms.o syms.c 2025-09-04T20:27:34,565 make[3]: Entering directory '/tmp/pip-wheel-g7n_4eso/provers_7dd04fb7824b451894a645f1c4365250/provers/bin/tmp/LADR-2009-11A/mace4.src' 2025-09-04T20:27:34,565 gcc -O -Wall -c -o estack.o estack.c 2025-09-04T20:27:34,565 gcc -O -Wall -c -o ground.o ground.c 2025-09-04T20:27:34,567 gcc -O -Wall -c -o util.o util.c 2025-09-04T20:27:34,584 make[3]: Entering directory '/tmp/pip-wheel-g7n_4eso/provers_7dd04fb7824b451894a645f1c4365250/provers/bin/tmp/LADR-2009-11A/ladr' 2025-09-04T20:27:34,584 make[3]: 'libladr.a' is up to date. 2025-09-04T20:27:34,585 make[3]: Leaving directory '/tmp/pip-wheel-g7n_4eso/provers_7dd04fb7824b451894a645f1c4365250/provers/bin/tmp/LADR-2009-11A/ladr' 2025-09-04T20:27:34,586 make clean 2025-09-04T20:27:34,622 make[3]: Entering directory '/tmp/pip-wheel-g7n_4eso/provers_7dd04fb7824b451894a645f1c4365250/provers/bin/tmp/LADR-2009-11A/mace4.src' 2025-09-04T20:27:34,623 /bin/rm -f *.o 2025-09-04T20:27:34,674 make[3]: Leaving directory '/tmp/pip-wheel-g7n_4eso/provers_7dd04fb7824b451894a645f1c4365250/provers/bin/tmp/LADR-2009-11A/mace4.src' 2025-09-04T20:27:34,675 gcc -O -Wall -c -o arithmetic.o arithmetic.c 2025-09-04T20:27:34,894 gcc -O -Wall -c -o print.o print.c 2025-09-04T20:27:34,964 gcc -O -Wall -c -o select.o select.c 2025-09-04T20:27:35,000 gcc -O -Wall -c -o propagate.o propagate.c 2025-09-04T20:27:35,028 gcc -O -Wall -c -o syms.o syms.c 2025-09-04T20:27:35,158 gcc -O -Wall -c -o mstate.o mstate.c 2025-09-04T20:27:35,336 select.c: In function ‘select_concentric_band’: 2025-09-04T20:27:35,351 select.c:236:5: error: type of ‘min_id’ defaults to ‘int’ [-Wimplicit-int] 2025-09-04T20:27:35,351 236 | int select_concentric_band(min_id, max_id, max_constrained) 2025-09-04T20:27:35,352 | ^~~~~~~~~~~~~~~~~~~~~~ 2025-09-04T20:27:35,352 select.c:236:5: error: type of ‘max_id’ defaults to ‘int’ [-Wimplicit-int] 2025-09-04T20:27:35,352 select.c:236:5: error: type of ‘max_constrained’ defaults to ‘int’ [-Wimplicit-int] 2025-09-04T20:27:35,364 make[2]: *** [: select.o] Error 1 2025-09-04T20:27:35,365 make[2]: *** Waiting for unfinished jobs.... 2025-09-04T20:27:35,365 gcc -O -Wall -c -o ground.o ground.c 2025-09-04T20:27:35,494 gcc -O -Wall -c -o arithmetic.o arithmetic.c 2025-09-04T20:27:35,678 gcc -O -Wall -c -o select.o select.c 2025-09-04T20:27:35,688 gcc -O -Wall -c -o propagate.o propagate.c 2025-09-04T20:27:35,702 gcc -O -Wall -c -o negpropindex.o negpropindex.c 2025-09-04T20:27:35,769 gcc -O -Wall -c -o negprop.o negprop.c 2025-09-04T20:27:35,835 gcc -O -Wall -c -o ordercells.o ordercells.c 2025-09-04T20:27:35,927 gcc -O -Wall -c -o commandline.o commandline.c 2025-09-04T20:27:36,029 select.c: In function ‘select_concentric_band’: 2025-09-04T20:27:36,031 select.c:236:5: error: type of ‘min_id’ defaults to ‘int’ [-Wimplicit-int] 2025-09-04T20:27:36,031 236 | int select_concentric_band(min_id, max_id, max_constrained) 2025-09-04T20:27:36,031 | ^~~~~~~~~~~~~~~~~~~~~~ 2025-09-04T20:27:36,046 select.c:236:5: error: type of ‘max_id’ defaults to ‘int’ [-Wimplicit-int] 2025-09-04T20:27:36,046 select.c:236:5: error: type of ‘max_constrained’ defaults to ‘int’ [-Wimplicit-int] 2025-09-04T20:27:36,059 make[3]: *** [: select.o] Error 1 2025-09-04T20:27:36,059 make[3]: *** Waiting for unfinished jobs.... 2025-09-04T20:27:36,544 make[3]: Leaving directory '/tmp/pip-wheel-g7n_4eso/provers_7dd04fb7824b451894a645f1c4365250/provers/bin/tmp/LADR-2009-11A/mace4.src' 2025-09-04T20:27:36,545 make[2]: *** [Makefile:26: lib] Error 2 2025-09-04T20:27:36,545 make[2]: Leaving directory '/tmp/pip-wheel-g7n_4eso/provers_7dd04fb7824b451894a645f1c4365250/provers/bin/tmp/LADR-2009-11A/mace4.src' 2025-09-04T20:27:36,546 make[1]: *** [Makefile:6: all] Error 2 2025-09-04T20:27:36,546 make[1]: Leaving directory '/tmp/pip-wheel-g7n_4eso/provers_7dd04fb7824b451894a645f1c4365250/provers/bin/tmp/LADR-2009-11A' 2025-09-04T20:27:36,546 make: *** [Makefile:13: prover9] Error 2 2025-09-04T20:27:36,556 Traceback (most recent call last): 2025-09-04T20:27:36,564 File "", line 2, in 2025-09-04T20:27:36,564 exec(compile(''' 2025-09-04T20:27:36,564 ~~~~^^^^^^^^^^^^ 2025-09-04T20:27:36,564 # This is -- a caller that pip uses to run setup.py 2025-09-04T20:27:36,564 ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ 2025-09-04T20:27:36,564 ...<32 lines>... 2025-09-04T20:27:36,565 exec(compile(setup_py_code, filename, "exec")) 2025-09-04T20:27:36,565 ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ 2025-09-04T20:27:36,565 ''' % ('/tmp/pip-wheel-g7n_4eso/provers_7dd04fb7824b451894a645f1c4365250/setup.py',), "", "exec")) 2025-09-04T20:27:36,565 ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ 2025-09-04T20:27:36,565 File "", line 35, in 2025-09-04T20:27:36,565 File "/tmp/pip-wheel-g7n_4eso/provers_7dd04fb7824b451894a645f1c4365250/setup.py", line 34, in 2025-09-04T20:27:36,565 setup( 2025-09-04T20:27:36,565 ~~~~~^ 2025-09-04T20:27:36,565 name='provers', 2025-09-04T20:27:36,566 ^^^^^^^^^^^^^^^ 2025-09-04T20:27:36,566 ...<25 lines>... 2025-09-04T20:27:36,566 } 2025-09-04T20:27:36,566 ^ 2025-09-04T20:27:36,566 ) 2025-09-04T20:27:36,566 ^ 2025-09-04T20:27:36,566 File "/usr/local/lib/python3.13/dist-packages/setuptools/__init__.py", line 115, in setup 2025-09-04T20:27:36,566 return distutils.core.setup(**attrs) 2025-09-04T20:27:36,566 ~~~~~~~~~~~~~~~~~~~~^^^^^^^^^ 2025-09-04T20:27:36,567 File "/usr/local/lib/python3.13/dist-packages/setuptools/_distutils/core.py", line 186, in setup 2025-09-04T20:27:36,567 return run_commands(dist) 2025-09-04T20:27:36,567 File "/usr/local/lib/python3.13/dist-packages/setuptools/_distutils/core.py", line 202, in run_commands 2025-09-04T20:27:36,567 dist.run_commands() 2025-09-04T20:27:36,567 ~~~~~~~~~~~~~~~~~^^ 2025-09-04T20:27:36,567 File "/usr/local/lib/python3.13/dist-packages/setuptools/_distutils/dist.py", line 1002, in run_commands 2025-09-04T20:27:36,567 self.run_command(cmd) 2025-09-04T20:27:36,567 ~~~~~~~~~~~~~~~~^^^^^ 2025-09-04T20:27:36,567 File "/usr/local/lib/python3.13/dist-packages/setuptools/dist.py", line 1102, in run_command 2025-09-04T20:27:36,568 super().run_command(command) 2025-09-04T20:27:36,568 ~~~~~~~~~~~~~~~~~~~^^^^^^^^^ 2025-09-04T20:27:36,568 File "/usr/local/lib/python3.13/dist-packages/setuptools/_distutils/dist.py", line 1021, in run_command 2025-09-04T20:27:36,568 cmd_obj.run() 2025-09-04T20:27:36,568 ~~~~~~~~~~~^^ 2025-09-04T20:27:36,568 File "/usr/local/lib/python3.13/dist-packages/setuptools/command/bdist_wheel.py", line 370, in run 2025-09-04T20:27:36,568 self.run_command("build") 2025-09-04T20:27:36,568 ~~~~~~~~~~~~~~~~^^^^^^^^^ 2025-09-04T20:27:36,568 File "/usr/local/lib/python3.13/dist-packages/setuptools/_distutils/cmd.py", line 357, in run_command 2025-09-04T20:27:36,569 self.distribution.run_command(command) 2025-09-04T20:27:36,569 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~^^^^^^^^^ 2025-09-04T20:27:36,569 File "/usr/local/lib/python3.13/dist-packages/setuptools/dist.py", line 1102, in run_command 2025-09-04T20:27:36,569 super().run_command(command) 2025-09-04T20:27:36,569 ~~~~~~~~~~~~~~~~~~~^^^^^^^^^ 2025-09-04T20:27:36,569 File "/usr/local/lib/python3.13/dist-packages/setuptools/_distutils/dist.py", line 1021, in run_command 2025-09-04T20:27:36,569 cmd_obj.run() 2025-09-04T20:27:36,569 ~~~~~~~~~~~^^ 2025-09-04T20:27:36,569 File "/usr/local/lib/python3.13/dist-packages/setuptools/_distutils/command/build.py", line 135, in run 2025-09-04T20:27:36,570 self.run_command(cmd_name) 2025-09-04T20:27:36,570 ~~~~~~~~~~~~~~~~^^^^^^^^^^ 2025-09-04T20:27:36,570 File "/usr/local/lib/python3.13/dist-packages/setuptools/_distutils/cmd.py", line 357, in run_command 2025-09-04T20:27:36,570 self.distribution.run_command(command) 2025-09-04T20:27:36,570 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~^^^^^^^^^ 2025-09-04T20:27:36,570 File "/usr/local/lib/python3.13/dist-packages/setuptools/dist.py", line 1102, in run_command 2025-09-04T20:27:36,570 super().run_command(command) 2025-09-04T20:27:36,570 ~~~~~~~~~~~~~~~~~~~^^^^^^^^^ 2025-09-04T20:27:36,570 File "/usr/local/lib/python3.13/dist-packages/setuptools/_distutils/dist.py", line 1021, in run_command 2025-09-04T20:27:36,571 cmd_obj.run() 2025-09-04T20:27:36,571 ~~~~~~~~~~~^^ 2025-09-04T20:27:36,581 File "/tmp/pip-wheel-g7n_4eso/provers_7dd04fb7824b451894a645f1c4365250/setup.py", line 25, in run 2025-09-04T20:27:36,581 subprocess.check_call(['make', 'all'], cwd='provers/bin') 2025-09-04T20:27:36,581 ~~~~~~~~~~~~~~~~~~~~~^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ 2025-09-04T20:27:36,581 File "/usr/lib/python3.13/subprocess.py", line 419, in check_call 2025-09-04T20:27:36,581 raise CalledProcessError(retcode, cmd) 2025-09-04T20:27:36,582 subprocess.CalledProcessError: Command '['make', 'all']' returned non-zero exit status 2. 2025-09-04T20:27:36,692 ERROR: python setup.py bdist_wheel exited with 1 2025-09-04T20:27:36,705 [bold magenta]full command[/]: [blue]/usr/bin/python3 -u -c ' 2025-09-04T20:27:36,705 exec(compile('"'"''"'"''"'"' 2025-09-04T20:27:36,705 # This is -- a caller that pip uses to run setup.py 2025-09-04T20:27:36,705 # 2025-09-04T20:27:36,705 # - It imports setuptools before invoking setup.py, to enable projects that directly 2025-09-04T20:27:36,705 # import from `distutils.core` to work with newer packaging standards. 2025-09-04T20:27:36,705 # - It provides a clear error message when setuptools is not installed. 2025-09-04T20:27:36,705 # - It sets `sys.argv[0]` to the underlying `setup.py`, when invoking `setup.py` so 2025-09-04T20:27:36,705 # setuptools doesn'"'"'t think the script is `-c`. This avoids the following warning: 2025-09-04T20:27:36,705 # manifest_maker: standard file '"'"'-c'"'"' not found". 2025-09-04T20:27:36,705 # - It generates a shim setup.py, for handling setup.cfg-only projects. 2025-09-04T20:27:36,705 import os, sys, tokenize, traceback 2025-09-04T20:27:36,705 2025-09-04T20:27:36,705 try: 2025-09-04T20:27:36,705 import setuptools 2025-09-04T20:27:36,705 except ImportError: 2025-09-04T20:27:36,705 print( 2025-09-04T20:27:36,705 "ERROR: Can not execute `setup.py` since setuptools failed to import in " 2025-09-04T20:27:36,705 "the build environment with exception:", 2025-09-04T20:27:36,705 file=sys.stderr, 2025-09-04T20:27:36,705 ) 2025-09-04T20:27:36,705 traceback.print_exc() 2025-09-04T20:27:36,705 sys.exit(1) 2025-09-04T20:27:36,705 2025-09-04T20:27:36,705 __file__ = %r 2025-09-04T20:27:36,705 sys.argv[0] = __file__ 2025-09-04T20:27:36,705 2025-09-04T20:27:36,705 if os.path.exists(__file__): 2025-09-04T20:27:36,705 filename = __file__ 2025-09-04T20:27:36,705 with tokenize.open(__file__) as f: 2025-09-04T20:27:36,705 setup_py_code = f.read() 2025-09-04T20:27:36,705 else: 2025-09-04T20:27:36,705 filename = "" 2025-09-04T20:27:36,705 setup_py_code = "from setuptools import setup; setup()" 2025-09-04T20:27:36,705 2025-09-04T20:27:36,705 exec(compile(setup_py_code, filename, "exec")) 2025-09-04T20:27:36,705 '"'"''"'"''"'"' % ('"'"'/tmp/pip-wheel-g7n_4eso/provers_7dd04fb7824b451894a645f1c4365250/setup.py'"'"',), "", "exec"))' bdist_wheel -d /tmp/pip-wheel-5v62mi_k[/] 2025-09-04T20:27:36,705 [bold magenta]cwd[/]: /tmp/pip-wheel-g7n_4eso/provers_7dd04fb7824b451894a645f1c4365250/ 2025-09-04T20:27:36,705 Building wheel for provers (setup.py): finished with status 'error' 2025-09-04T20:27:36,706 ERROR: Failed building wheel for provers 2025-09-04T20:27:36,706 Running setup.py clean for provers 2025-09-04T20:27:36,707 Running command python setup.py clean 2025-09-04T20:27:37,373 /usr/local/lib/python3.13/dist-packages/setuptools/__init__.py:92: _DeprecatedInstaller: setuptools.installer and fetch_build_eggs are deprecated. 2025-09-04T20:27:37,374 !! 2025-09-04T20:27:37,374 ******************************************************************************** 2025-09-04T20:27:37,374 Requirements should be satisfied by a PEP 517 installer. 2025-09-04T20:27:37,374 If you are using pip, you can try `pip install --use-pep517`. 2025-09-04T20:27:37,374 By 2025-Oct-31, you need to update your project and remove deprecated calls 2025-09-04T20:27:37,374 or your builds will no longer be supported. 2025-09-04T20:27:37,375 ******************************************************************************** 2025-09-04T20:27:37,375 !! 2025-09-04T20:27:37,375 dist.fetch_build_eggs(dist.setup_requires) 2025-09-04T20:27:38,574 running clean 2025-09-04T20:27:38,730 'build/lib.linux-armv7l-cpython-313' does not exist -- can't clean it 2025-09-04T20:27:38,730 'build/bdist.linux-armv7l' does not exist -- can't clean it 2025-09-04T20:27:38,730 'build/scripts-3.13' does not exist -- can't clean it 2025-09-04T20:27:38,848 Failed to build provers 2025-09-04T20:27:38,848 ERROR: Failed to build one or more wheels 2025-09-04T20:27:38,849 Exception information: 2025-09-04T20:27:38,849 Traceback (most recent call last): 2025-09-04T20:27:38,849 File "/usr/lib/python3/dist-packages/pip/_internal/cli/base_command.py", line 105, in _run_wrapper 2025-09-04T20:27:38,849 status = _inner_run() 2025-09-04T20:27:38,849 File "/usr/lib/python3/dist-packages/pip/_internal/cli/base_command.py", line 96, in _inner_run 2025-09-04T20:27:38,849 return self.run(options, args) 2025-09-04T20:27:38,849 ~~~~~~~~^^^^^^^^^^^^^^^ 2025-09-04T20:27:38,849 File "/usr/lib/python3/dist-packages/pip/_internal/cli/req_command.py", line 68, in wrapper 2025-09-04T20:27:38,849 return func(self, options, args) 2025-09-04T20:27:38,849 File "/usr/lib/python3/dist-packages/pip/_internal/commands/wheel.py", line 180, in run 2025-09-04T20:27:38,849 raise CommandError("Failed to build one or more wheels") 2025-09-04T20:27:38,849 pip._internal.exceptions.CommandError: Failed to build one or more wheels 2025-09-04T20:27:38,854 Removed build tracker: '/tmp/pip-build-tracker-omxuwwpx'