2025-09-04T20:27:42,063 Created temporary directory: /tmp/pip-build-tracker-gvw8ku2o 2025-09-04T20:27:42,064 Initialized build tracking at /tmp/pip-build-tracker-gvw8ku2o 2025-09-04T20:27:42,064 Created build tracker: /tmp/pip-build-tracker-gvw8ku2o 2025-09-04T20:27:42,064 Entered build tracker: /tmp/pip-build-tracker-gvw8ku2o 2025-09-04T20:27:42,065 Created temporary directory: /tmp/pip-wheel-d8c15ht8 2025-09-04T20:27:42,068 Created temporary directory: /tmp/pip-ephem-wheel-cache-9ulaa24o 2025-09-04T20:27:42,130 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple 2025-09-04T20:27:42,133 2 location(s) to search for versions of provers: 2025-09-04T20:27:42,133 * https://pypi.org/simple/provers/ 2025-09-04T20:27:42,133 * https://www.piwheels.org/simple/provers/ 2025-09-04T20:27:42,133 Fetching project page and analyzing links: https://pypi.org/simple/provers/ 2025-09-04T20:27:42,133 Getting page https://pypi.org/simple/provers/ 2025-09-04T20:27:42,134 Found index url https://pypi.org/simple/ 2025-09-04T20:27:42,206 Fetched page https://pypi.org/simple/provers/ as application/vnd.pypi.simple.v1+json 2025-09-04T20:27:42,209 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:42,209 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:42,209 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:42,209 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:42,210 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:42,210 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:42,210 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:42,210 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:42,211 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:42,211 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:42,211 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:42,211 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:42,211 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:42,212 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:42,212 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:42,212 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:42,212 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:42,213 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:42,213 Fetching project page and analyzing links: https://www.piwheels.org/simple/provers/ 2025-09-04T20:27:42,213 Getting page https://www.piwheels.org/simple/provers/ 2025-09-04T20:27:42,214 Found index url https://www.piwheels.org/simple/ 2025-09-04T20:27:42,302 Fetched page https://www.piwheels.org/simple/provers/ as text/html 2025-09-04T20:27:42,313 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:42,313 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:42,314 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:42,314 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:42,314 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:42,314 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:42,314 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:42,314 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:42,314 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:42,315 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:42,315 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:42,315 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:42,315 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:42,315 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:42,315 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:42,315 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:42,315 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:42,315 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:42,316 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:42,316 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:42,316 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:42,316 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:42,316 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:42,316 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:42,316 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:42,316 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:42,317 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:42,317 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:42,317 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:42,317 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:42,317 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:42,317 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:42,317 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:42,317 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:42,318 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:42,318 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:42,318 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:42,318 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:42,318 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:42,318 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:42,318 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:42,318 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:42,318 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:42,319 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:42,319 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:42,319 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:42,319 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:42,319 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:42,319 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:42,319 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:42,319 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:42,319 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:42,320 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:42,320 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:42,320 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:42,320 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:42,320 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:42,320 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:42,320 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:42,320 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:42,321 Skipping link: not a file: https://www.piwheels.org/simple/provers/ 2025-09-04T20:27:42,321 Skipping link: not a file: https://pypi.org/simple/provers/ 2025-09-04T20:27:42,345 Given no hashes to check 1 links for project 'provers': discarding no candidates 2025-09-04T20:27:42,347 Collecting provers==0.1.11 2025-09-04T20:27:42,348 Created temporary directory: /tmp/pip-unpack-sp4_624j 2025-09-04T20:27:42,483 Downloading provers-0.1.11.tar.gz (14 kB) 2025-09-04T20:27:42,503 Added provers==0.1.11 from https://files.pythonhosted.org/packages/32/3b/4729c0ef9ac3613f1277d311210a2e4d12f8eca72c34ad66c8ba6c4008bd/provers-0.1.11.tar.gz to build tracker '/tmp/pip-build-tracker-gvw8ku2o' 2025-09-04T20:27:42,505 Running setup.py (path:/tmp/pip-wheel-d8c15ht8/provers_f8924b6b4d494cf9830c1a965f6b6219/setup.py) egg_info for package provers 2025-09-04T20:27:42,505 Created temporary directory: /tmp/pip-pip-egg-info-p3iq0113 2025-09-04T20:27:42,506 Preparing metadata (setup.py): started 2025-09-04T20:27:42,507 Running command python setup.py egg_info 2025-09-04T20:27:43,173 /usr/local/lib/python3.13/dist-packages/setuptools/__init__.py:92: _DeprecatedInstaller: setuptools.installer and fetch_build_eggs are deprecated. 2025-09-04T20:27:43,173 !! 2025-09-04T20:27:43,173 ******************************************************************************** 2025-09-04T20:27:43,173 Requirements should be satisfied by a PEP 517 installer. 2025-09-04T20:27:43,174 If you are using pip, you can try `pip install --use-pep517`. 2025-09-04T20:27:43,174 By 2025-Oct-31, you need to update your project and remove deprecated calls 2025-09-04T20:27:43,174 or your builds will no longer be supported. 2025-09-04T20:27:43,174 ******************************************************************************** 2025-09-04T20:27:43,174 !! 2025-09-04T20:27:43,174 dist.fetch_build_eggs(dist.setup_requires) 2025-09-04T20:27:46,701 running egg_info 2025-09-04T20:27:46,779 creating /tmp/pip-pip-egg-info-p3iq0113/provers.egg-info 2025-09-04T20:27:46,779 writing /tmp/pip-pip-egg-info-p3iq0113/provers.egg-info/PKG-INFO 2025-09-04T20:27:46,780 writing dependency_links to /tmp/pip-pip-egg-info-p3iq0113/provers.egg-info/dependency_links.txt 2025-09-04T20:27:46,781 writing entry points to /tmp/pip-pip-egg-info-p3iq0113/provers.egg-info/entry_points.txt 2025-09-04T20:27:46,781 writing top-level names to /tmp/pip-pip-egg-info-p3iq0113/provers.egg-info/top_level.txt 2025-09-04T20:27:46,782 writing manifest file '/tmp/pip-pip-egg-info-p3iq0113/provers.egg-info/SOURCES.txt' 2025-09-04T20:27:47,182 listing git files failed - pretending there aren't any 2025-09-04T20:27:47,194 reading manifest file '/tmp/pip-pip-egg-info-p3iq0113/provers.egg-info/SOURCES.txt' 2025-09-04T20:27:47,195 reading manifest template 'MANIFEST.in' 2025-09-04T20:27:47,196 warning: no previously-included files found matching 'provers/bin/*' 2025-09-04T20:27:47,196 adding license file 'LICENSE' 2025-09-04T20:27:47,199 writing manifest file '/tmp/pip-pip-egg-info-p3iq0113/provers.egg-info/SOURCES.txt' 2025-09-04T20:27:47,320 Preparing metadata (setup.py): finished with status 'done' 2025-09-04T20:27:47,324 Source in /tmp/pip-wheel-d8c15ht8/provers_f8924b6b4d494cf9830c1a965f6b6219 has version 0.1.11, which satisfies requirement provers==0.1.11 from https://files.pythonhosted.org/packages/32/3b/4729c0ef9ac3613f1277d311210a2e4d12f8eca72c34ad66c8ba6c4008bd/provers-0.1.11.tar.gz 2025-09-04T20:27:47,325 Removed provers==0.1.11 from https://files.pythonhosted.org/packages/32/3b/4729c0ef9ac3613f1277d311210a2e4d12f8eca72c34ad66c8ba6c4008bd/provers-0.1.11.tar.gz from build tracker '/tmp/pip-build-tracker-gvw8ku2o' 2025-09-04T20:27:47,329 Created temporary directory: /tmp/pip-unpack-jph0lmr7 2025-09-04T20:27:47,329 Created temporary directory: /tmp/pip-unpack-c4h2t_om 2025-09-04T20:27:47,329 Building wheels for collected packages: provers 2025-09-04T20:27:47,331 Created temporary directory: /tmp/pip-wheel-zbr6iep7 2025-09-04T20:27:47,331 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:47,332 Building wheel for provers (setup.py): started 2025-09-04T20:27:47,333 Destination directory: /tmp/pip-wheel-zbr6iep7 2025-09-04T20:27:47,333 Running command python setup.py bdist_wheel 2025-09-04T20:27:47,970 /usr/local/lib/python3.13/dist-packages/setuptools/__init__.py:92: _DeprecatedInstaller: setuptools.installer and fetch_build_eggs are deprecated. 2025-09-04T20:27:47,971 !! 2025-09-04T20:27:47,971 ******************************************************************************** 2025-09-04T20:27:47,971 Requirements should be satisfied by a PEP 517 installer. 2025-09-04T20:27:47,971 If you are using pip, you can try `pip install --use-pep517`. 2025-09-04T20:27:47,971 By 2025-Oct-31, you need to update your project and remove deprecated calls 2025-09-04T20:27:47,971 or your builds will no longer be supported. 2025-09-04T20:27:47,971 ******************************************************************************** 2025-09-04T20:27:47,972 !! 2025-09-04T20:27:47,972 dist.fetch_build_eggs(dist.setup_requires) 2025-09-04T20:27:49,012 running bdist_wheel 2025-09-04T20:27:49,394 running build 2025-09-04T20:27:49,394 running build_py 2025-09-04T20:27:49,401 mkdir tmp || true 2025-09-04T20:27:49,410 cd tmp && wget https://www.cs.unm.edu/~mccune/mace4/download/LADR-2009-11A.tar.gz 2025-09-04T20:27:49,443 --2025-09-04 20:27:49-- https://www.cs.unm.edu/~mccune/mace4/download/LADR-2009-11A.tar.gz 2025-09-04T20:27:49,490 Resolving www.cs.unm.edu (www.cs.unm.edu)... 64:ff9b::406a:144c, 64.106.20.76 2025-09-04T20:27:49,632 Connecting to www.cs.unm.edu (www.cs.unm.edu)|64:ff9b::406a:144c|:443... connected. 2025-09-04T20:27:50,075 HTTP request sent, awaiting response... 200 OK 2025-09-04T20:27:50,075 Length: 1795750 (1.7M) [application/x-gzip] 2025-09-04T20:27:50,076 Saving to: ‘LADR-2009-11A.tar.gz’ 2025-09-04T20:27:50,362 0K .......... .......... .......... .......... .......... 2% 174K 10s 2025-09-04T20:27:50,504 50K .......... .......... .......... .......... .......... 5% 354K 7s 2025-09-04T20:27:50,514 100K .......... .......... .......... .......... .......... 8% 4.34M 5s 2025-09-04T20:27:50,645 150K .......... .......... .......... .......... .......... 11% 383K 4s 2025-09-04T20:27:50,656 200K .......... .......... .......... .......... .......... 14% 4.60M 3s 2025-09-04T20:27:50,664 250K .......... .......... .......... .......... .......... 17% 5.91M 3s 2025-09-04T20:27:50,671 300K .......... .......... .......... .......... .......... 19% 7.23M 2s 2025-09-04T20:27:50,675 350K .......... .......... .......... .......... .......... 22% 10.9M 2s 2025-09-04T20:27:50,795 400K .......... .......... .......... .......... .......... 25% 417K 2s 2025-09-04T20:27:50,805 450K .......... .......... .......... .......... .......... 28% 4.97M 2s 2025-09-04T20:27:50,810 500K .......... .......... .......... .......... .......... 31% 10.1M 2s 2025-09-04T20:27:50,814 550K .......... .......... .......... .......... .......... 34% 10.2M 1s 2025-09-04T20:27:50,820 600K .......... .......... .......... .......... .......... 37% 8.67M 1s 2025-09-04T20:27:50,824 650K .......... .......... .......... .......... .......... 39% 11.7M 1s 2025-09-04T20:27:50,829 700K .......... .......... .......... .......... .......... 42% 10.9M 1s 2025-09-04T20:27:50,833 750K .......... .......... .......... .......... .......... 45% 12.7M 1s 2025-09-04T20:27:50,931 800K .......... .......... .......... .......... .......... 48% 508K 1s 2025-09-04T20:27:50,942 850K .......... .......... .......... .......... .......... 51% 4.34M 1s 2025-09-04T20:27:50,952 900K .......... .......... .......... .......... .......... 54% 5.03M 1s 2025-09-04T20:27:50,957 950K .......... .......... .......... .......... .......... 57% 10.5M 1s 2025-09-04T20:27:50,961 1000K .......... .......... .......... .......... .......... 59% 12.1M 1s 2025-09-04T20:27:50,965 1050K .......... .......... .......... .......... .......... 62% 12.4M 1s 2025-09-04T20:27:50,969 1100K .......... .......... .......... .......... .......... 65% 10.5M 0s 2025-09-04T20:27:50,973 1150K .......... .......... .......... .......... .......... 68% 12.7M 0s 2025-09-04T20:27:50,978 1200K .......... .......... .......... .......... .......... 71% 10.9M 0s 2025-09-04T20:27:50,981 1250K .......... .......... .......... .......... .......... 74% 12.7M 0s 2025-09-04T20:27:50,985 1300K .......... .......... .......... .......... .......... 76% 12.7M 0s 2025-09-04T20:27:50,990 1350K .......... .......... .......... .......... .......... 79% 10.8M 0s 2025-09-04T20:27:50,994 1400K .......... .......... .......... .......... .......... 82% 12.7M 0s 2025-09-04T20:27:50,998 1450K .......... .......... .......... .......... .......... 85% 10.9M 0s 2025-09-04T20:27:51,002 1500K .......... .......... .......... .......... .......... 88% 12.7M 0s 2025-09-04T20:27:51,006 1550K .......... .......... .......... .......... .......... 91% 12.7M 0s 2025-09-04T20:27:51,010 1600K .......... .......... .......... .......... .......... 94% 10.8M 0s 2025-09-04T20:27:51,079 1650K .......... .......... .......... .......... .......... 96% 732K 0s 2025-09-04T20:27:51,088 1700K .......... .......... .......... .......... .......... 99% 5.39M 0s 2025-09-04T20:27:51,088 1750K ... 100% 6.82T=1.0s 2025-09-04T20:27:51,089 2025-09-04 20:27:51 (1.69 MB/s) - ‘LADR-2009-11A.tar.gz’ saved [1795750/1795750] 2025-09-04T20:27:51,093 cd tmp && tar -xzf LADR-2009-11A.tar.gz 2025-09-04T20:27:51,266 cd tmp/LADR-2009-11A/provers.src && sed -i.old 's/^\([ \t]*\$(CC).*\) -lm \(.*\)$/\1 \2 -lm/g' Makefile 2025-09-04T20:27:51,276 cd tmp/LADR-2009-11A && make all 2025-09-04T20:27:51,284 make[1]: Entering directory '/tmp/pip-wheel-d8c15ht8/provers_f8924b6b4d494cf9830c1a965f6b6219/provers/bin/tmp/LADR-2009-11A' 2025-09-04T20:27:51,285 cd ladr && make lib 2025-09-04T20:27:51,298 make[2]: Entering directory '/tmp/pip-wheel-d8c15ht8/provers_f8924b6b4d494cf9830c1a965f6b6219/provers/bin/tmp/LADR-2009-11A/ladr' 2025-09-04T20:27:51,299 make libladr.a 2025-09-04T20:27:51,310 make[3]: Entering directory '/tmp/pip-wheel-d8c15ht8/provers_f8924b6b4d494cf9830c1a965f6b6219/provers/bin/tmp/LADR-2009-11A/ladr' 2025-09-04T20:27:51,311 gcc -O -Wall -c -o order.o order.c 2025-09-04T20:27:51,477 gcc -O -Wall -c -o clock.o clock.c 2025-09-04T20:27:51,703 gcc -O -Wall -c -o nonport.o nonport.c 2025-09-04T20:27:51,810 gcc -O -Wall -c -o fatal.o fatal.c 2025-09-04T20:27:51,939 gcc -O -Wall -c -o ibuffer.o ibuffer.c 2025-09-04T20:27:52,138 gcc -O -Wall -c -o memory.o memory.c 2025-09-04T20:27:52,356 gcc -O -Wall -c -o hash.o hash.c 2025-09-04T20:27:52,562 gcc -O -Wall -c -o string.o string.c 2025-09-04T20:27:52,806 gcc -O -Wall -c -o strbuf.o strbuf.c 2025-09-04T20:27:53,072 gcc -O -Wall -c -o glist.o glist.c 2025-09-04T20:27:53,668 gcc -O -Wall -c -o options.o options.c 2025-09-04T20:27:54,190 gcc -O -Wall -c -o symbols.o symbols.c 2025-09-04T20:27:54,299 symbols.c: In function ‘declare_base_symbols’: 2025-09-04T20:27:54,300 symbols.c:1304:7: warning: variable ‘sn’ set but not used [-Wunused-but-set-variable] 2025-09-04T20:27:54,300 1304 | int sn; 2025-09-04T20:27:54,300 | ^~ 2025-09-04T20:27:55,150 gcc -O -Wall -c -o avltree.o avltree.c 2025-09-04T20:27:55,511 gcc -O -Wall -c -o term.o term.c 2025-09-04T20:27:56,367 gcc -O -Wall -c -o termflag.o termflag.c 2025-09-04T20:27:56,561 gcc -O -Wall -c -o listterm.o listterm.c 2025-09-04T20:27:56,754 gcc -O -Wall -c -o tlist.o tlist.c 2025-09-04T20:27:56,919 gcc -O -Wall -c -o flatterm.o flatterm.c 2025-09-04T20:27:57,172 gcc -O -Wall -c -o multiset.o multiset.c 2025-09-04T20:27:57,349 gcc -O -Wall -c -o termorder.o termorder.c 2025-09-04T20:27:57,807 gcc -O -Wall -c -o parse.o parse.c 2025-09-04T20:27:58,588 gcc -O -Wall -c -o accanon.o accanon.c 2025-09-04T20:27:58,782 gcc -O -Wall -c -o unify.o unify.c 2025-09-04T20:27:59,222 gcc -O -Wall -c -o fpalist.o fpalist.c 2025-09-04T20:27:59,543 gcc -O -Wall -c -o fpa.o fpa.c 2025-09-04T20:28:00,053 gcc -O -Wall -c -o discrim.o discrim.c 2025-09-04T20:28:00,236 gcc -O -Wall -c -o discrimb.o discrimb.c 2025-09-04T20:28:00,361 discrimb.c:487:7: warning: ‘check_flat2’ defined but not used [-Wunused-function] 2025-09-04T20:28:00,362 487 | Flat2 check_flat2(Flat2 f) 2025-09-04T20:28:00,362 | ^~~~~~~~~~~ 2025-09-04T20:28:00,606 gcc -O -Wall -c -o discrimw.o discrimw.c 2025-09-04T20:28:00,737 discrimw.c:146:6: warning: ‘check_flat’ defined but not used [-Wunused-function] 2025-09-04T20:28:00,737 146 | Flat check_flat(Flat f) 2025-09-04T20:28:00,737 | ^~~~~~~~~~ 2025-09-04T20:28:01,031 gcc -O -Wall -c -o dioph.o dioph.c 2025-09-04T20:28:01,626 gcc -O -Wall -c -o btu.o btu.c 2025-09-04T20:28:02,283 gcc -O -Wall -c -o btm.o btm.c 2025-09-04T20:28:02,930 gcc -O -Wall -c -o mindex.o mindex.c 2025-09-04T20:28:03,053 mindex.c: In function ‘mindex_retrieve_next’: 2025-09-04T20:28:03,053 mindex.c:650:11: warning: variable ‘tr’ set but not used [-Wunused-but-set-variable] 2025-09-04T20:28:03,053 650 | Trail tr; 2025-09-04T20:28:03,054 | ^~ 2025-09-04T20:28:03,240 gcc -O -Wall -c -o basic.o basic.c 2025-09-04T20:28:03,473 gcc -O -Wall -c -o attrib.o attrib.c 2025-09-04T20:28:03,907 gcc -O -Wall -c -o formula.o formula.c 2025-09-04T20:28:04,753 gcc -O -Wall -c -o definitions.o definitions.c 2025-09-04T20:28:05,018 gcc -O -Wall -c -o literals.o literals.c 2025-09-04T20:28:05,442 gcc -O -Wall -c -o topform.o topform.c 2025-09-04T20:28:05,837 gcc -O -Wall -c -o clist.o clist.c 2025-09-04T20:28:06,258 gcc -O -Wall -c -o clauseid.o clauseid.c 2025-09-04T20:28:06,466 gcc -O -Wall -c -o clauses.o clauses.c 2025-09-04T20:28:06,684 gcc -O -Wall -c -o just.o just.c 2025-09-04T20:28:07,460 gcc -O -Wall -c -o cnf.o cnf.c 2025-09-04T20:28:08,032 gcc -O -Wall -c -o clausify.o clausify.c 2025-09-04T20:28:08,253 gcc -O -Wall -c -o parautil.o parautil.c 2025-09-04T20:28:08,552 gcc -O -Wall -c -o pindex.o pindex.c 2025-09-04T20:28:08,927 gcc -O -Wall -c -o compress.o compress.c 2025-09-04T20:28:09,113 gcc -O -Wall -c -o maximal.o maximal.c 2025-09-04T20:28:09,343 gcc -O -Wall -c -o lindex.o lindex.c 2025-09-04T20:28:09,538 gcc -O -Wall -c -o weight.o weight.c 2025-09-04T20:28:09,832 gcc -O -Wall -c -o weight2.o weight2.c 2025-09-04T20:28:10,006 gcc -O -Wall -c -o int_code.o int_code.c 2025-09-04T20:28:10,253 gcc -O -Wall -c -o features.o features.c 2025-09-04T20:28:10,457 gcc -O -Wall -c -o di_tree.o di_tree.c 2025-09-04T20:28:10,745 gcc -O -Wall -c -o fastparse.o fastparse.c 2025-09-04T20:28:10,954 gcc -O -Wall -c -o random.o random.c 2025-09-04T20:28:11,221 gcc -O -Wall -c -o subsume.o subsume.c 2025-09-04T20:28:11,636 gcc -O -Wall -c -o clause_misc.o clause_misc.c 2025-09-04T20:28:11,845 gcc -O -Wall -c -o clause_eval.o clause_eval.c 2025-09-04T20:28:12,088 gcc -O -Wall -c -o complex.o complex.c 2025-09-04T20:28:12,201 complex.c: In function ‘complex4_p1’: 2025-09-04T20:28:12,202 complex.c:275:8: warning: variable ‘dummy’ set but not used [-Wunused-but-set-variable] 2025-09-04T20:28:12,202 275 | BOOL dummy; 2025-09-04T20:28:12,202 | ^~~~~ 2025-09-04T20:28:12,358 gcc -O -Wall -c -o dollar.o dollar.c 2025-09-04T20:28:12,725 gcc -O -Wall -c -o flatdemod.o flatdemod.c 2025-09-04T20:28:12,846 flatdemod.c: In function ‘discrim_flat_retrieve_leaf’: 2025-09-04T20:28:12,847 flatdemod.c:122:16: warning: comparison between ‘BOOL’ and ‘enum ’ [-Wenum-compare] 2025-09-04T20:28:12,847 122 | if (status == BACKTRACK) { 2025-09-04T20:28:12,847 | ^~ 2025-09-04T20:28:12,848 flatdemod.c:158:15: warning: variable ‘dd’ set but not used [-Wunused-but-set-variable] 2025-09-04T20:28:12,848 158 | Discrim dd = NULL; 2025-09-04T20:28:12,848 | ^~ 2025-09-04T20:28:12,848 flatdemod.c:167:16: warning: comparison between ‘BOOL’ and ‘enum ’ [-Wenum-compare] 2025-09-04T20:28:12,848 167 | if (status == GO) { 2025-09-04T20:28:12,848 | ^~ 2025-09-04T20:28:13,005 gcc -O -Wall -c -o demod.o demod.c 2025-09-04T20:28:13,132 demod.c: In function ‘demod1’: 2025-09-04T20:28:13,132 demod.c:376:8: warning: variable ‘result’ set but not used [-Wunused-but-set-variable] 2025-09-04T20:28:13,132 376 | Term result; 2025-09-04T20:28:13,132 | ^~~~~~ 2025-09-04T20:28:13,328 gcc -O -Wall -c -o clash.o clash.c 2025-09-04T20:28:13,447 clash.c: In function ‘clash_recurse’: 2025-09-04T20:28:13,447 clash.c:283:12: warning: suggest parentheses around operand of ‘!’ or change ‘|’ to ‘||’ or ‘!’ to ‘~’ [-Wparentheses] 2025-09-04T20:28:13,447 283 | else if (!p->clashable | p->clashed) 2025-09-04T20:28:13,448 | ^~~~~~~~~~~~~ 2025-09-04T20:28:13,573 gcc -O -Wall -c -o resolve.o resolve.c 2025-09-04T20:28:14,082 gcc -O -Wall -c -o paramod.o paramod.c 2025-09-04T20:28:14,209 paramod.c: In function ‘para_into’: 2025-09-04T20:28:14,210 paramod.c:347:8: warning: suggest parentheses around operand of ‘!’ or change ‘|’ to ‘||’ or ‘!’ to ‘~’ [-Wparentheses] 2025-09-04T20:28:14,210 347 | if ((!VARIABLE(into) | Para_into_vars) && basic_check(into)) { 2025-09-04T20:28:14,442 gcc -O -Wall -c -o backdemod.o backdemod.c 2025-09-04T20:28:14,680 gcc -O -Wall -c -o hints.o hints.c 2025-09-04T20:28:14,931 gcc -O -Wall -c -o ac_redun.o ac_redun.c 2025-09-04T20:28:15,282 gcc -O -Wall -c -o xproofs.o xproofs.c 2025-09-04T20:28:15,656 gcc -O -Wall -c -o ivy.o ivy.c 2025-09-04T20:28:15,787 ivy.c: In function ‘factor2_instances’: 2025-09-04T20:28:15,788 ivy.c:633:14: warning: variable ‘l1i’ set but not used [-Wunused-but-set-variable] 2025-09-04T20:28:15,788 633 | Literals l1i, l2i, lit; 2025-09-04T20:28:15,788 | ^~~ 2025-09-04T20:28:16,136 gcc -O -Wall -c -o interp.o interp.c 2025-09-04T20:28:16,264 interp.c: In function ‘transpose_binary’: 2025-09-04T20:28:16,264 interp.c:358:10: warning: variable ‘rc’ set but not used [-Wunused-but-set-variable] 2025-09-04T20:28:16,264 358 | int i, rc; 2025-09-04T20:28:16,264 | ^~ 2025-09-04T20:28:17,961 gcc -O -Wall -c -o std_options.o std_options.c 2025-09-04T20:28:18,109 gcc -O -Wall -c -o banner.o banner.c 2025-09-04T20:28:18,276 gcc -O -Wall -c -o ioutil.o ioutil.c 2025-09-04T20:28:18,685 gcc -O -Wall -c -o tptp_trans.o tptp_trans.c 2025-09-04T20:28:19,123 gcc -O -Wall -c -o top_input.o top_input.c 2025-09-04T20:28:19,694 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:28:19,701 ar: creating libladr.a 2025-09-04T20:28:19,895 make[3]: Leaving directory '/tmp/pip-wheel-d8c15ht8/provers_f8924b6b4d494cf9830c1a965f6b6219/provers/bin/tmp/LADR-2009-11A/ladr' 2025-09-04T20:28:19,895 make[2]: Leaving directory '/tmp/pip-wheel-d8c15ht8/provers_f8924b6b4d494cf9830c1a965f6b6219/provers/bin/tmp/LADR-2009-11A/ladr' 2025-09-04T20:28:19,896 cd mace4.src && make all 2025-09-04T20:28:19,905 make[2]: Entering directory '/tmp/pip-wheel-d8c15ht8/provers_f8924b6b4d494cf9830c1a965f6b6219/provers/bin/tmp/LADR-2009-11A/mace4.src' 2025-09-04T20:28:19,906 cd ../ladr && make libladr.a 2025-09-04T20:28:19,931 make[3]: Entering directory '/tmp/pip-wheel-d8c15ht8/provers_f8924b6b4d494cf9830c1a965f6b6219/provers/bin/tmp/LADR-2009-11A/ladr' 2025-09-04T20:28:19,931 make[3]: 'libladr.a' is up to date. 2025-09-04T20:28:19,931 make[3]: Leaving directory '/tmp/pip-wheel-d8c15ht8/provers_f8924b6b4d494cf9830c1a965f6b6219/provers/bin/tmp/LADR-2009-11A/ladr' 2025-09-04T20:28:19,932 make clean 2025-09-04T20:28:19,940 make[3]: Entering directory '/tmp/pip-wheel-d8c15ht8/provers_f8924b6b4d494cf9830c1a965f6b6219/provers/bin/tmp/LADR-2009-11A/mace4.src' 2025-09-04T20:28:19,940 /bin/rm -f *.o 2025-09-04T20:28:19,949 make[3]: Leaving directory '/tmp/pip-wheel-d8c15ht8/provers_f8924b6b4d494cf9830c1a965f6b6219/provers/bin/tmp/LADR-2009-11A/mace4.src' 2025-09-04T20:28:19,949 make libmace4.a 2025-09-04T20:28:19,959 make[3]: Entering directory '/tmp/pip-wheel-d8c15ht8/provers_f8924b6b4d494cf9830c1a965f6b6219/provers/bin/tmp/LADR-2009-11A/mace4.src' 2025-09-04T20:28:19,959 gcc -O -Wall -c -o estack.o estack.c 2025-09-04T20:28:20,154 gcc -O -Wall -c -o util.o util.c 2025-09-04T20:28:20,316 gcc -O -Wall -c -o print.o print.c 2025-09-04T20:28:20,704 gcc -O -Wall -c -o syms.o syms.c 2025-09-04T20:28:20,930 gcc -O -Wall -c -o ground.o ground.c 2025-09-04T20:28:21,339 gcc -O -Wall -c -o arithmetic.o arithmetic.c 2025-09-04T20:28:21,761 gcc -O -Wall -c -o select.o select.c 2025-09-04T20:28:21,891 select.c: In function ‘select_concentric_band’: 2025-09-04T20:28:21,891 select.c:236:5: error: type of ‘min_id’ defaults to ‘int’ [-Wimplicit-int] 2025-09-04T20:28:21,892 236 | int select_concentric_band(min_id, max_id, max_constrained) 2025-09-04T20:28:21,892 | ^~~~~~~~~~~~~~~~~~~~~~ 2025-09-04T20:28:21,892 select.c:236:5: error: type of ‘max_id’ defaults to ‘int’ [-Wimplicit-int] 2025-09-04T20:28:21,892 select.c:236:5: error: type of ‘max_constrained’ defaults to ‘int’ [-Wimplicit-int] 2025-09-04T20:28:21,900 make[3]: *** [: select.o] Error 1 2025-09-04T20:28:21,900 make[3]: Leaving directory '/tmp/pip-wheel-d8c15ht8/provers_f8924b6b4d494cf9830c1a965f6b6219/provers/bin/tmp/LADR-2009-11A/mace4.src' 2025-09-04T20:28:21,900 make[2]: *** [Makefile:26: lib] Error 2 2025-09-04T20:28:21,900 make[2]: Leaving directory '/tmp/pip-wheel-d8c15ht8/provers_f8924b6b4d494cf9830c1a965f6b6219/provers/bin/tmp/LADR-2009-11A/mace4.src' 2025-09-04T20:28:21,901 make[1]: *** [Makefile:6: all] Error 2 2025-09-04T20:28:21,901 make[1]: Leaving directory '/tmp/pip-wheel-d8c15ht8/provers_f8924b6b4d494cf9830c1a965f6b6219/provers/bin/tmp/LADR-2009-11A' 2025-09-04T20:28:21,902 make: *** [Makefile:15: prover9] Error 2 2025-09-04T20:28:21,910 Traceback (most recent call last): 2025-09-04T20:28:21,916 File "", line 2, in 2025-09-04T20:28:21,916 exec(compile(''' 2025-09-04T20:28:21,916 ~~~~^^^^^^^^^^^^ 2025-09-04T20:28:21,916 # This is -- a caller that pip uses to run setup.py 2025-09-04T20:28:21,917 ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ 2025-09-04T20:28:21,917 ...<32 lines>... 2025-09-04T20:28:21,917 exec(compile(setup_py_code, filename, "exec")) 2025-09-04T20:28:21,917 ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ 2025-09-04T20:28:21,917 ''' % ('/tmp/pip-wheel-d8c15ht8/provers_f8924b6b4d494cf9830c1a965f6b6219/setup.py',), "", "exec")) 2025-09-04T20:28:21,917 ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ 2025-09-04T20:28:21,917 File "", line 35, in 2025-09-04T20:28:21,918 File "/tmp/pip-wheel-d8c15ht8/provers_f8924b6b4d494cf9830c1a965f6b6219/setup.py", line 34, in 2025-09-04T20:28:21,918 setup( 2025-09-04T20:28:21,918 ~~~~~^ 2025-09-04T20:28:21,918 name='provers', 2025-09-04T20:28:21,918 ^^^^^^^^^^^^^^^ 2025-09-04T20:28:21,918 ...<34 lines>... 2025-09-04T20:28:21,918 } 2025-09-04T20:28:21,918 ^ 2025-09-04T20:28:21,918 ) 2025-09-04T20:28:21,919 ^ 2025-09-04T20:28:21,919 File "/usr/local/lib/python3.13/dist-packages/setuptools/__init__.py", line 115, in setup 2025-09-04T20:28:21,919 return distutils.core.setup(**attrs) 2025-09-04T20:28:21,919 ~~~~~~~~~~~~~~~~~~~~^^^^^^^^^ 2025-09-04T20:28:21,919 File "/usr/local/lib/python3.13/dist-packages/setuptools/_distutils/core.py", line 186, in setup 2025-09-04T20:28:21,919 return run_commands(dist) 2025-09-04T20:28:21,919 File "/usr/local/lib/python3.13/dist-packages/setuptools/_distutils/core.py", line 202, in run_commands 2025-09-04T20:28:21,919 dist.run_commands() 2025-09-04T20:28:21,920 ~~~~~~~~~~~~~~~~~^^ 2025-09-04T20:28:21,920 File "/usr/local/lib/python3.13/dist-packages/setuptools/_distutils/dist.py", line 1002, in run_commands 2025-09-04T20:28:21,920 self.run_command(cmd) 2025-09-04T20:28:21,920 ~~~~~~~~~~~~~~~~^^^^^ 2025-09-04T20:28:21,920 File "/usr/local/lib/python3.13/dist-packages/setuptools/dist.py", line 1102, in run_command 2025-09-04T20:28:21,920 super().run_command(command) 2025-09-04T20:28:21,920 ~~~~~~~~~~~~~~~~~~~^^^^^^^^^ 2025-09-04T20:28:21,921 File "/usr/local/lib/python3.13/dist-packages/setuptools/_distutils/dist.py", line 1021, in run_command 2025-09-04T20:28:21,921 cmd_obj.run() 2025-09-04T20:28:21,921 ~~~~~~~~~~~^^ 2025-09-04T20:28:21,921 File "/usr/local/lib/python3.13/dist-packages/setuptools/command/bdist_wheel.py", line 370, in run 2025-09-04T20:28:21,921 self.run_command("build") 2025-09-04T20:28:21,921 ~~~~~~~~~~~~~~~~^^^^^^^^^ 2025-09-04T20:28:21,921 File "/usr/local/lib/python3.13/dist-packages/setuptools/_distutils/cmd.py", line 357, in run_command 2025-09-04T20:28:21,921 self.distribution.run_command(command) 2025-09-04T20:28:21,922 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~^^^^^^^^^ 2025-09-04T20:28:21,922 File "/usr/local/lib/python3.13/dist-packages/setuptools/dist.py", line 1102, in run_command 2025-09-04T20:28:21,922 super().run_command(command) 2025-09-04T20:28:21,922 ~~~~~~~~~~~~~~~~~~~^^^^^^^^^ 2025-09-04T20:28:21,922 File "/usr/local/lib/python3.13/dist-packages/setuptools/_distutils/dist.py", line 1021, in run_command 2025-09-04T20:28:21,922 cmd_obj.run() 2025-09-04T20:28:21,923 ~~~~~~~~~~~^^ 2025-09-04T20:28:21,923 File "/usr/local/lib/python3.13/dist-packages/setuptools/_distutils/command/build.py", line 135, in run 2025-09-04T20:28:21,923 self.run_command(cmd_name) 2025-09-04T20:28:21,923 ~~~~~~~~~~~~~~~~^^^^^^^^^^ 2025-09-04T20:28:21,923 File "/usr/local/lib/python3.13/dist-packages/setuptools/_distutils/cmd.py", line 357, in run_command 2025-09-04T20:28:21,923 self.distribution.run_command(command) 2025-09-04T20:28:21,923 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~^^^^^^^^^ 2025-09-04T20:28:21,923 File "/usr/local/lib/python3.13/dist-packages/setuptools/dist.py", line 1102, in run_command 2025-09-04T20:28:21,924 super().run_command(command) 2025-09-04T20:28:21,924 ~~~~~~~~~~~~~~~~~~~^^^^^^^^^ 2025-09-04T20:28:21,924 File "/usr/local/lib/python3.13/dist-packages/setuptools/_distutils/dist.py", line 1021, in run_command 2025-09-04T20:28:21,924 cmd_obj.run() 2025-09-04T20:28:21,924 ~~~~~~~~~~~^^ 2025-09-04T20:28:21,924 File "/tmp/pip-wheel-d8c15ht8/provers_f8924b6b4d494cf9830c1a965f6b6219/setup.py", line 25, in run 2025-09-04T20:28:21,924 subprocess.check_call(['make', 'all'], cwd='provers/bin') 2025-09-04T20:28:21,925 ~~~~~~~~~~~~~~~~~~~~~^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ 2025-09-04T20:28:21,925 File "/usr/lib/python3.13/subprocess.py", line 419, in check_call 2025-09-04T20:28:21,925 raise CalledProcessError(retcode, cmd) 2025-09-04T20:28:21,925 subprocess.CalledProcessError: Command '['make', 'all']' returned non-zero exit status 2. 2025-09-04T20:28:22,040 ERROR: python setup.py bdist_wheel exited with 1 2025-09-04T20:28:22,053 [bold magenta]full command[/]: [blue]/usr/bin/python3 -u -c ' 2025-09-04T20:28:22,053 exec(compile('"'"''"'"''"'"' 2025-09-04T20:28:22,053 # This is -- a caller that pip uses to run setup.py 2025-09-04T20:28:22,053 # 2025-09-04T20:28:22,053 # - It imports setuptools before invoking setup.py, to enable projects that directly 2025-09-04T20:28:22,053 # import from `distutils.core` to work with newer packaging standards. 2025-09-04T20:28:22,053 # - It provides a clear error message when setuptools is not installed. 2025-09-04T20:28:22,053 # - It sets `sys.argv[0]` to the underlying `setup.py`, when invoking `setup.py` so 2025-09-04T20:28:22,053 # setuptools doesn'"'"'t think the script is `-c`. This avoids the following warning: 2025-09-04T20:28:22,053 # manifest_maker: standard file '"'"'-c'"'"' not found". 2025-09-04T20:28:22,053 # - It generates a shim setup.py, for handling setup.cfg-only projects. 2025-09-04T20:28:22,053 import os, sys, tokenize, traceback 2025-09-04T20:28:22,053 2025-09-04T20:28:22,053 try: 2025-09-04T20:28:22,053 import setuptools 2025-09-04T20:28:22,053 except ImportError: 2025-09-04T20:28:22,053 print( 2025-09-04T20:28:22,053 "ERROR: Can not execute `setup.py` since setuptools failed to import in " 2025-09-04T20:28:22,053 "the build environment with exception:", 2025-09-04T20:28:22,053 file=sys.stderr, 2025-09-04T20:28:22,053 ) 2025-09-04T20:28:22,053 traceback.print_exc() 2025-09-04T20:28:22,053 sys.exit(1) 2025-09-04T20:28:22,053 2025-09-04T20:28:22,053 __file__ = %r 2025-09-04T20:28:22,053 sys.argv[0] = __file__ 2025-09-04T20:28:22,053 2025-09-04T20:28:22,053 if os.path.exists(__file__): 2025-09-04T20:28:22,053 filename = __file__ 2025-09-04T20:28:22,053 with tokenize.open(__file__) as f: 2025-09-04T20:28:22,053 setup_py_code = f.read() 2025-09-04T20:28:22,053 else: 2025-09-04T20:28:22,053 filename = "" 2025-09-04T20:28:22,053 setup_py_code = "from setuptools import setup; setup()" 2025-09-04T20:28:22,053 2025-09-04T20:28:22,053 exec(compile(setup_py_code, filename, "exec")) 2025-09-04T20:28:22,053 '"'"''"'"''"'"' % ('"'"'/tmp/pip-wheel-d8c15ht8/provers_f8924b6b4d494cf9830c1a965f6b6219/setup.py'"'"',), "", "exec"))' bdist_wheel -d /tmp/pip-wheel-zbr6iep7[/] 2025-09-04T20:28:22,054 [bold magenta]cwd[/]: /tmp/pip-wheel-d8c15ht8/provers_f8924b6b4d494cf9830c1a965f6b6219/ 2025-09-04T20:28:22,054 Building wheel for provers (setup.py): finished with status 'error' 2025-09-04T20:28:22,055 ERROR: Failed building wheel for provers 2025-09-04T20:28:22,055 Running setup.py clean for provers 2025-09-04T20:28:22,056 Running command python setup.py clean 2025-09-04T20:28:22,684 /usr/local/lib/python3.13/dist-packages/setuptools/__init__.py:92: _DeprecatedInstaller: setuptools.installer and fetch_build_eggs are deprecated. 2025-09-04T20:28:22,684 !! 2025-09-04T20:28:22,684 ******************************************************************************** 2025-09-04T20:28:22,684 Requirements should be satisfied by a PEP 517 installer. 2025-09-04T20:28:22,684 If you are using pip, you can try `pip install --use-pep517`. 2025-09-04T20:28:22,684 By 2025-Oct-31, you need to update your project and remove deprecated calls 2025-09-04T20:28:22,685 or your builds will no longer be supported. 2025-09-04T20:28:22,685 ******************************************************************************** 2025-09-04T20:28:22,685 !! 2025-09-04T20:28:22,685 dist.fetch_build_eggs(dist.setup_requires) 2025-09-04T20:28:23,819 running clean 2025-09-04T20:28:23,974 'build/lib.linux-armv7l-cpython-313' does not exist -- can't clean it 2025-09-04T20:28:23,974 'build/bdist.linux-armv7l' does not exist -- can't clean it 2025-09-04T20:28:23,974 'build/scripts-3.13' does not exist -- can't clean it 2025-09-04T20:28:24,091 Failed to build provers 2025-09-04T20:28:24,092 ERROR: Failed to build one or more wheels 2025-09-04T20:28:24,093 Exception information: 2025-09-04T20:28:24,093 Traceback (most recent call last): 2025-09-04T20:28:24,093 File "/usr/lib/python3/dist-packages/pip/_internal/cli/base_command.py", line 105, in _run_wrapper 2025-09-04T20:28:24,093 status = _inner_run() 2025-09-04T20:28:24,093 File "/usr/lib/python3/dist-packages/pip/_internal/cli/base_command.py", line 96, in _inner_run 2025-09-04T20:28:24,093 return self.run(options, args) 2025-09-04T20:28:24,093 ~~~~~~~~^^^^^^^^^^^^^^^ 2025-09-04T20:28:24,093 File "/usr/lib/python3/dist-packages/pip/_internal/cli/req_command.py", line 68, in wrapper 2025-09-04T20:28:24,093 return func(self, options, args) 2025-09-04T20:28:24,093 File "/usr/lib/python3/dist-packages/pip/_internal/commands/wheel.py", line 180, in run 2025-09-04T20:28:24,093 raise CommandError("Failed to build one or more wheels") 2025-09-04T20:28:24,093 pip._internal.exceptions.CommandError: Failed to build one or more wheels 2025-09-04T20:28:24,097 Removed build tracker: '/tmp/pip-build-tracker-gvw8ku2o'