2025-09-04T20:27:18,873 Created temporary directory: /tmp/pip-build-tracker-grvsmyzd 2025-09-04T20:27:18,874 Initialized build tracking at /tmp/pip-build-tracker-grvsmyzd 2025-09-04T20:27:18,874 Created build tracker: /tmp/pip-build-tracker-grvsmyzd 2025-09-04T20:27:18,874 Entered build tracker: /tmp/pip-build-tracker-grvsmyzd 2025-09-04T20:27:18,875 Created temporary directory: /tmp/pip-wheel-tldyo1qz 2025-09-04T20:27:18,878 Created temporary directory: /tmp/pip-ephem-wheel-cache-50l2ns4d 2025-09-04T20:27:18,933 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple 2025-09-04T20:27:18,935 2 location(s) to search for versions of provers: 2025-09-04T20:27:18,935 * https://pypi.org/simple/provers/ 2025-09-04T20:27:18,935 * https://www.piwheels.org/simple/provers/ 2025-09-04T20:27:18,936 Fetching project page and analyzing links: https://pypi.org/simple/provers/ 2025-09-04T20:27:18,936 Getting page https://pypi.org/simple/provers/ 2025-09-04T20:27:18,937 Found index url https://pypi.org/simple/ 2025-09-04T20:27:19,008 Fetched page https://pypi.org/simple/provers/ as application/vnd.pypi.simple.v1+json 2025-09-04T20:27:19,011 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:19,012 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:19,012 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:19,012 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:19,012 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:19,012 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:19,013 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:19,013 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:19,013 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:19,013 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:19,013 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:19,014 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:19,014 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:19,014 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:19,014 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:19,014 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:19,015 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:19,015 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:19,015 Fetching project page and analyzing links: https://www.piwheels.org/simple/provers/ 2025-09-04T20:27:19,015 Getting page https://www.piwheels.org/simple/provers/ 2025-09-04T20:27:19,016 Found index url https://www.piwheels.org/simple/ 2025-09-04T20:27:19,100 Fetched page https://www.piwheels.org/simple/provers/ as text/html 2025-09-04T20:27:19,113 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:19,113 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:19,113 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:19,114 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:19,114 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:19,114 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:19,114 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:19,114 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:19,114 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:19,114 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:19,115 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:19,115 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:19,115 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:19,115 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:19,115 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:19,115 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:19,115 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:19,115 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:19,116 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:19,116 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:19,116 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:19,116 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:19,116 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:19,116 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:19,116 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:19,117 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:19,117 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:19,117 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:19,117 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:19,117 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:19,117 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:19,117 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:19,118 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:19,118 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:19,118 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:19,118 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:19,118 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:19,118 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:19,118 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:19,118 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:19,119 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:19,119 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:19,119 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:19,119 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:19,119 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:19,119 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:19,119 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:19,120 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:19,120 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:19,120 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:19,120 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:19,120 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:19,120 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:19,120 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:19,120 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:19,121 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:19,121 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:19,121 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:19,121 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:19,121 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:19,121 Skipping link: not a file: https://www.piwheels.org/simple/provers/ 2025-09-04T20:27:19,122 Skipping link: not a file: https://pypi.org/simple/provers/ 2025-09-04T20:27:19,147 Given no hashes to check 1 links for project 'provers': discarding no candidates 2025-09-04T20:27:19,148 Collecting provers==0.1.7 2025-09-04T20:27:19,149 Created temporary directory: /tmp/pip-unpack-1krbjlz0 2025-09-04T20:27:19,290 Downloading provers-0.1.7.tar.gz (14 kB) 2025-09-04T20:27:19,319 Added provers==0.1.7 from https://files.pythonhosted.org/packages/14/99/bebfa9b54de540bb79cbaec3e55a215c3f53a629f669d1173ea64257c0d9/provers-0.1.7.tar.gz to build tracker '/tmp/pip-build-tracker-grvsmyzd' 2025-09-04T20:27:19,320 Running setup.py (path:/tmp/pip-wheel-tldyo1qz/provers_69f6398570e1401b9e92b27c5ce077fe/setup.py) egg_info for package provers 2025-09-04T20:27:19,320 Created temporary directory: /tmp/pip-pip-egg-info-t9xw9wz3 2025-09-04T20:27:19,320 Preparing metadata (setup.py): started 2025-09-04T20:27:19,321 Running command python setup.py egg_info 2025-09-04T20:27:19,952 /usr/local/lib/python3.13/dist-packages/setuptools/__init__.py:92: _DeprecatedInstaller: setuptools.installer and fetch_build_eggs are deprecated. 2025-09-04T20:27:19,953 !! 2025-09-04T20:27:19,953 ******************************************************************************** 2025-09-04T20:27:19,953 Requirements should be satisfied by a PEP 517 installer. 2025-09-04T20:27:19,953 If you are using pip, you can try `pip install --use-pep517`. 2025-09-04T20:27:19,953 By 2025-Oct-31, you need to update your project and remove deprecated calls 2025-09-04T20:27:19,953 or your builds will no longer be supported. 2025-09-04T20:27:19,953 ******************************************************************************** 2025-09-04T20:27:19,954 !! 2025-09-04T20:27:19,954 dist.fetch_build_eggs(dist.setup_requires) 2025-09-04T20:27:23,542 running egg_info 2025-09-04T20:27:23,622 creating /tmp/pip-pip-egg-info-t9xw9wz3/provers.egg-info 2025-09-04T20:27:23,622 writing /tmp/pip-pip-egg-info-t9xw9wz3/provers.egg-info/PKG-INFO 2025-09-04T20:27:23,623 writing dependency_links to /tmp/pip-pip-egg-info-t9xw9wz3/provers.egg-info/dependency_links.txt 2025-09-04T20:27:23,623 writing entry points to /tmp/pip-pip-egg-info-t9xw9wz3/provers.egg-info/entry_points.txt 2025-09-04T20:27:23,624 writing top-level names to /tmp/pip-pip-egg-info-t9xw9wz3/provers.egg-info/top_level.txt 2025-09-04T20:27:23,624 writing manifest file '/tmp/pip-pip-egg-info-t9xw9wz3/provers.egg-info/SOURCES.txt' 2025-09-04T20:27:24,012 listing git files failed - pretending there aren't any 2025-09-04T20:27:24,026 reading manifest file '/tmp/pip-pip-egg-info-t9xw9wz3/provers.egg-info/SOURCES.txt' 2025-09-04T20:27:24,027 reading manifest template 'MANIFEST.in' 2025-09-04T20:27:24,027 warning: no previously-included files found matching 'provers/bin/*' 2025-09-04T20:27:24,028 adding license file 'LICENSE' 2025-09-04T20:27:24,030 writing manifest file '/tmp/pip-pip-egg-info-t9xw9wz3/provers.egg-info/SOURCES.txt' 2025-09-04T20:27:24,151 Preparing metadata (setup.py): finished with status 'done' 2025-09-04T20:27:24,155 Source in /tmp/pip-wheel-tldyo1qz/provers_69f6398570e1401b9e92b27c5ce077fe has version 0.1.7, which satisfies requirement provers==0.1.7 from https://files.pythonhosted.org/packages/14/99/bebfa9b54de540bb79cbaec3e55a215c3f53a629f669d1173ea64257c0d9/provers-0.1.7.tar.gz 2025-09-04T20:27:24,156 Removed provers==0.1.7 from https://files.pythonhosted.org/packages/14/99/bebfa9b54de540bb79cbaec3e55a215c3f53a629f669d1173ea64257c0d9/provers-0.1.7.tar.gz from build tracker '/tmp/pip-build-tracker-grvsmyzd' 2025-09-04T20:27:24,160 Created temporary directory: /tmp/pip-unpack-ut3ofo5h 2025-09-04T20:27:24,160 Created temporary directory: /tmp/pip-unpack-gofw8d5e 2025-09-04T20:27:24,160 Building wheels for collected packages: provers 2025-09-04T20:27:24,161 Created temporary directory: /tmp/pip-wheel-md34k2oe 2025-09-04T20:27:24,162 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:24,163 Building wheel for provers (setup.py): started 2025-09-04T20:27:24,163 Destination directory: /tmp/pip-wheel-md34k2oe 2025-09-04T20:27:24,164 Running command python setup.py bdist_wheel 2025-09-04T20:27:24,796 /usr/local/lib/python3.13/dist-packages/setuptools/__init__.py:92: _DeprecatedInstaller: setuptools.installer and fetch_build_eggs are deprecated. 2025-09-04T20:27:24,796 !! 2025-09-04T20:27:24,797 ******************************************************************************** 2025-09-04T20:27:24,797 Requirements should be satisfied by a PEP 517 installer. 2025-09-04T20:27:24,797 If you are using pip, you can try `pip install --use-pep517`. 2025-09-04T20:27:24,797 By 2025-Oct-31, you need to update your project and remove deprecated calls 2025-09-04T20:27:24,797 or your builds will no longer be supported. 2025-09-04T20:27:24,797 ******************************************************************************** 2025-09-04T20:27:24,797 !! 2025-09-04T20:27:24,798 dist.fetch_build_eggs(dist.setup_requires) 2025-09-04T20:27:25,836 running bdist_wheel 2025-09-04T20:27:26,210 running build 2025-09-04T20:27:26,211 running build_py 2025-09-04T20:27:26,218 mkdir tmp || true 2025-09-04T20:27:26,226 cd tmp && wget https://www.cs.unm.edu/~mccune/mace4/download/LADR-2009-11A.tar.gz 2025-09-04T20:27:26,259 --2025-09-04 20:27:26-- https://www.cs.unm.edu/~mccune/mace4/download/LADR-2009-11A.tar.gz 2025-09-04T20:27:26,308 Resolving www.cs.unm.edu (www.cs.unm.edu)... 64:ff9b::406a:144c, 64.106.20.76 2025-09-04T20:27:26,442 Connecting to www.cs.unm.edu (www.cs.unm.edu)|64:ff9b::406a:144c|:443... connected. 2025-09-04T20:27:26,859 HTTP request sent, awaiting response... 200 OK 2025-09-04T20:27:26,860 Length: 1795750 (1.7M) [application/x-gzip] 2025-09-04T20:27:26,860 Saving to: ‘LADR-2009-11A.tar.gz’ 2025-09-04T20:27:27,127 0K .......... .......... .......... .......... .......... 2% 187K 9s 2025-09-04T20:27:27,259 50K .......... .......... .......... .......... .......... 5% 384K 7s 2025-09-04T20:27:27,269 100K .......... .......... .......... .......... .......... 8% 4.32M 4s 2025-09-04T20:27:27,396 150K .......... .......... .......... .......... .......... 11% 393K 4s 2025-09-04T20:27:27,408 200K .......... .......... .......... .......... .......... 14% 4.31M 3s 2025-09-04T20:27:27,415 250K .......... .......... .......... .......... .......... 17% 6.28M 3s 2025-09-04T20:27:27,419 300K .......... .......... .......... .......... .......... 19% 12.7M 2s 2025-09-04T20:27:27,532 350K .......... .......... .......... .......... .......... 22% 442K 2s 2025-09-04T20:27:27,542 400K .......... .......... .......... .......... .......... 25% 4.96M 2s 2025-09-04T20:27:27,548 450K .......... .......... .......... .......... .......... 28% 8.05M 2s 2025-09-04T20:27:27,552 500K .......... .......... .......... .......... .......... 31% 11.8M 2s 2025-09-04T20:27:27,556 550K .......... .......... .......... .......... .......... 34% 11.8M 1s 2025-09-04T20:27:27,561 600K .......... .......... .......... .......... .......... 37% 10.1M 1s 2025-09-04T20:27:27,565 650K .......... .......... .......... .......... .......... 39% 12.4M 1s 2025-09-04T20:27:27,659 700K .......... .......... .......... .......... .......... 42% 531K 1s 2025-09-04T20:27:27,667 750K .......... .......... .......... .......... .......... 45% 6.64M 1s 2025-09-04T20:27:27,673 800K .......... .......... .......... .......... .......... 48% 7.13M 1s 2025-09-04T20:27:27,679 850K .......... .......... .......... .......... .......... 51% 8.53M 1s 2025-09-04T20:27:27,684 900K .......... .......... .......... .......... .......... 54% 9.94M 1s 2025-09-04T20:27:27,690 950K .......... .......... .......... .......... .......... 57% 8.57M 1s 2025-09-04T20:27:27,694 1000K .......... .......... .......... .......... .......... 59% 11.2M 1s 2025-09-04T20:27:27,698 1050K .......... .......... .......... .......... .......... 62% 12.7M 0s 2025-09-04T20:27:27,702 1100K .......... .......... .......... .......... .......... 65% 10.8M 0s 2025-09-04T20:27:27,706 1150K .......... .......... .......... .......... .......... 68% 12.7M 0s 2025-09-04T20:27:27,711 1200K .......... .......... .......... .......... .......... 71% 10.9M 0s 2025-09-04T20:27:27,715 1250K .......... .......... .......... .......... .......... 74% 12.6M 0s 2025-09-04T20:27:27,719 1300K .......... .......... .......... .......... .......... 76% 12.7M 0s 2025-09-04T20:27:27,723 1350K .......... .......... .......... .......... .......... 79% 10.8M 0s 2025-09-04T20:27:27,727 1400K .......... .......... .......... .......... .......... 82% 12.7M 0s 2025-09-04T20:27:27,795 1450K .......... .......... .......... .......... .......... 85% 737K 0s 2025-09-04T20:27:27,804 1500K .......... .......... .......... .......... .......... 88% 5.17M 0s 2025-09-04T20:27:27,811 1550K .......... .......... .......... .......... .......... 91% 7.60M 0s 2025-09-04T20:27:27,818 1600K .......... .......... .......... .......... .......... 94% 6.50M 0s 2025-09-04T20:27:27,824 1650K .......... .......... .......... .......... .......... 96% 8.78M 0s 2025-09-04T20:27:27,828 1700K .......... .......... .......... .......... .......... 99% 11.6M 0s 2025-09-04T20:27:27,828 1750K ... 100% 6.82T=1.0s 2025-09-04T20:27:27,828 2025-09-04 20:27:27 (1.77 MB/s) - ‘LADR-2009-11A.tar.gz’ saved [1795750/1795750] 2025-09-04T20:27:27,831 cd tmp && tar -xzf LADR-2009-11A.tar.gz 2025-09-04T20:27:27,995 cd tmp/LADR-2009-11A/provers.src && sed -i.old 's/^\([ \t]*\$(CC).*\) -lm \(.*\)$/\1 \2 -lm/g' Makefile 2025-09-04T20:27:28,006 cd tmp/LADR-2009-11A && make all 2025-09-04T20:27:28,016 make[1]: Entering directory '/tmp/pip-wheel-tldyo1qz/provers_69f6398570e1401b9e92b27c5ce077fe/provers/bin/tmp/LADR-2009-11A' 2025-09-04T20:27:28,016 cd ladr && make lib 2025-09-04T20:27:28,031 make[2]: Entering directory '/tmp/pip-wheel-tldyo1qz/provers_69f6398570e1401b9e92b27c5ce077fe/provers/bin/tmp/LADR-2009-11A/ladr' 2025-09-04T20:27:28,032 make libladr.a 2025-09-04T20:27:28,043 make[3]: Entering directory '/tmp/pip-wheel-tldyo1qz/provers_69f6398570e1401b9e92b27c5ce077fe/provers/bin/tmp/LADR-2009-11A/ladr' 2025-09-04T20:27:28,043 gcc -O -Wall -c -o order.o order.c 2025-09-04T20:27:28,215 gcc -O -Wall -c -o clock.o clock.c 2025-09-04T20:27:28,449 gcc -O -Wall -c -o nonport.o nonport.c 2025-09-04T20:27:28,560 gcc -O -Wall -c -o fatal.o fatal.c 2025-09-04T20:27:28,689 gcc -O -Wall -c -o ibuffer.o ibuffer.c 2025-09-04T20:27:28,883 gcc -O -Wall -c -o memory.o memory.c 2025-09-04T20:27:29,102 gcc -O -Wall -c -o hash.o hash.c 2025-09-04T20:27:29,302 gcc -O -Wall -c -o string.o string.c 2025-09-04T20:27:29,547 gcc -O -Wall -c -o strbuf.o strbuf.c 2025-09-04T20:27:29,819 gcc -O -Wall -c -o glist.o glist.c 2025-09-04T20:27:30,421 gcc -O -Wall -c -o options.o options.c 2025-09-04T20:27:30,927 gcc -O -Wall -c -o symbols.o symbols.c 2025-09-04T20:27:31,043 symbols.c: In function ‘declare_base_symbols’: 2025-09-04T20:27:31,043 symbols.c:1304:7: warning: variable ‘sn’ set but not used [-Wunused-but-set-variable] 2025-09-04T20:27:31,043 1304 | int sn; 2025-09-04T20:27:31,043 | ^~ 2025-09-04T20:27:31,891 gcc -O -Wall -c -o avltree.o avltree.c 2025-09-04T20:27:32,251 gcc -O -Wall -c -o term.o term.c 2025-09-04T20:27:33,103 gcc -O -Wall -c -o termflag.o termflag.c 2025-09-04T20:27:33,296 gcc -O -Wall -c -o listterm.o listterm.c 2025-09-04T20:27:33,486 gcc -O -Wall -c -o tlist.o tlist.c 2025-09-04T20:27:33,653 gcc -O -Wall -c -o flatterm.o flatterm.c 2025-09-04T20:27:33,909 gcc -O -Wall -c -o multiset.o multiset.c 2025-09-04T20:27:34,085 gcc -O -Wall -c -o termorder.o termorder.c 2025-09-04T20:27:34,541 gcc -O -Wall -c -o parse.o parse.c 2025-09-04T20:27:35,329 gcc -O -Wall -c -o accanon.o accanon.c 2025-09-04T20:27:35,521 gcc -O -Wall -c -o unify.o unify.c 2025-09-04T20:27:35,963 gcc -O -Wall -c -o fpalist.o fpalist.c 2025-09-04T20:27:36,280 gcc -O -Wall -c -o fpa.o fpa.c 2025-09-04T20:27:36,786 gcc -O -Wall -c -o discrim.o discrim.c 2025-09-04T20:27:36,969 gcc -O -Wall -c -o discrimb.o discrimb.c 2025-09-04T20:27:37,092 discrimb.c:487:7: warning: ‘check_flat2’ defined but not used [-Wunused-function] 2025-09-04T20:27:37,092 487 | Flat2 check_flat2(Flat2 f) 2025-09-04T20:27:37,092 | ^~~~~~~~~~~ 2025-09-04T20:27:37,335 gcc -O -Wall -c -o discrimw.o discrimw.c 2025-09-04T20:27:37,465 discrimw.c:146:6: warning: ‘check_flat’ defined but not used [-Wunused-function] 2025-09-04T20:27:37,465 146 | Flat check_flat(Flat f) 2025-09-04T20:27:37,465 | ^~~~~~~~~~ 2025-09-04T20:27:37,758 gcc -O -Wall -c -o dioph.o dioph.c 2025-09-04T20:27:38,355 gcc -O -Wall -c -o btu.o btu.c 2025-09-04T20:27:39,012 gcc -O -Wall -c -o btm.o btm.c 2025-09-04T20:27:39,665 gcc -O -Wall -c -o mindex.o mindex.c 2025-09-04T20:27:39,780 mindex.c: In function ‘mindex_retrieve_next’: 2025-09-04T20:27:39,780 mindex.c:650:11: warning: variable ‘tr’ set but not used [-Wunused-but-set-variable] 2025-09-04T20:27:39,780 650 | Trail tr; 2025-09-04T20:27:39,780 | ^~ 2025-09-04T20:27:39,971 gcc -O -Wall -c -o basic.o basic.c 2025-09-04T20:27:40,199 gcc -O -Wall -c -o attrib.o attrib.c 2025-09-04T20:27:40,634 gcc -O -Wall -c -o formula.o formula.c 2025-09-04T20:27:41,479 gcc -O -Wall -c -o definitions.o definitions.c 2025-09-04T20:27:41,744 gcc -O -Wall -c -o literals.o literals.c 2025-09-04T20:27:42,168 gcc -O -Wall -c -o topform.o topform.c 2025-09-04T20:27:42,558 gcc -O -Wall -c -o clist.o clist.c 2025-09-04T20:27:42,983 gcc -O -Wall -c -o clauseid.o clauseid.c 2025-09-04T20:27:43,195 gcc -O -Wall -c -o clauses.o clauses.c 2025-09-04T20:27:43,420 gcc -O -Wall -c -o just.o just.c 2025-09-04T20:27:44,190 gcc -O -Wall -c -o cnf.o cnf.c 2025-09-04T20:27:44,765 gcc -O -Wall -c -o clausify.o clausify.c 2025-09-04T20:27:44,983 gcc -O -Wall -c -o parautil.o parautil.c 2025-09-04T20:27:45,280 gcc -O -Wall -c -o pindex.o pindex.c 2025-09-04T20:27:45,655 gcc -O -Wall -c -o compress.o compress.c 2025-09-04T20:27:45,836 gcc -O -Wall -c -o maximal.o maximal.c 2025-09-04T20:27:46,054 gcc -O -Wall -c -o lindex.o lindex.c 2025-09-04T20:27:46,238 gcc -O -Wall -c -o weight.o weight.c 2025-09-04T20:27:46,519 gcc -O -Wall -c -o weight2.o weight2.c 2025-09-04T20:27:46,698 gcc -O -Wall -c -o int_code.o int_code.c 2025-09-04T20:27:46,946 gcc -O -Wall -c -o features.o features.c 2025-09-04T20:27:47,158 gcc -O -Wall -c -o di_tree.o di_tree.c 2025-09-04T20:27:47,439 gcc -O -Wall -c -o fastparse.o fastparse.c 2025-09-04T20:27:47,649 gcc -O -Wall -c -o random.o random.c 2025-09-04T20:27:47,913 gcc -O -Wall -c -o subsume.o subsume.c 2025-09-04T20:27:48,328 gcc -O -Wall -c -o clause_misc.o clause_misc.c 2025-09-04T20:27:48,535 gcc -O -Wall -c -o clause_eval.o clause_eval.c 2025-09-04T20:27:48,777 gcc -O -Wall -c -o complex.o complex.c 2025-09-04T20:27:48,894 complex.c: In function ‘complex4_p1’: 2025-09-04T20:27:48,894 complex.c:275:8: warning: variable ‘dummy’ set but not used [-Wunused-but-set-variable] 2025-09-04T20:27:48,894 275 | BOOL dummy; 2025-09-04T20:27:48,894 | ^~~~~ 2025-09-04T20:27:49,049 gcc -O -Wall -c -o dollar.o dollar.c 2025-09-04T20:27:49,415 gcc -O -Wall -c -o flatdemod.o flatdemod.c 2025-09-04T20:27:49,526 flatdemod.c: In function ‘discrim_flat_retrieve_leaf’: 2025-09-04T20:27:49,527 flatdemod.c:122:16: warning: comparison between ‘BOOL’ and ‘enum ’ [-Wenum-compare] 2025-09-04T20:27:49,527 122 | if (status == BACKTRACK) { 2025-09-04T20:27:49,527 | ^~ 2025-09-04T20:27:49,528 flatdemod.c:158:15: warning: variable ‘dd’ set but not used [-Wunused-but-set-variable] 2025-09-04T20:27:49,528 158 | Discrim dd = NULL; 2025-09-04T20:27:49,528 | ^~ 2025-09-04T20:27:49,528 flatdemod.c:167:16: warning: comparison between ‘BOOL’ and ‘enum ’ [-Wenum-compare] 2025-09-04T20:27:49,528 167 | if (status == GO) { 2025-09-04T20:27:49,528 | ^~ 2025-09-04T20:27:49,684 gcc -O -Wall -c -o demod.o demod.c 2025-09-04T20:27:49,804 demod.c: In function ‘demod1’: 2025-09-04T20:27:49,804 demod.c:376:8: warning: variable ‘result’ set but not used [-Wunused-but-set-variable] 2025-09-04T20:27:49,804 376 | Term result; 2025-09-04T20:27:49,804 | ^~~~~~ 2025-09-04T20:27:49,999 gcc -O -Wall -c -o clash.o clash.c 2025-09-04T20:27:50,122 clash.c: In function ‘clash_recurse’: 2025-09-04T20:27:50,122 clash.c:283:12: warning: suggest parentheses around operand of ‘!’ or change ‘|’ to ‘||’ or ‘!’ to ‘~’ [-Wparentheses] 2025-09-04T20:27:50,122 283 | else if (!p->clashable | p->clashed) 2025-09-04T20:27:50,123 | ^~~~~~~~~~~~~ 2025-09-04T20:27:50,248 gcc -O -Wall -c -o resolve.o resolve.c 2025-09-04T20:27:50,756 gcc -O -Wall -c -o paramod.o paramod.c 2025-09-04T20:27:50,879 paramod.c: In function ‘para_into’: 2025-09-04T20:27:50,880 paramod.c:347:8: warning: suggest parentheses around operand of ‘!’ or change ‘|’ to ‘||’ or ‘!’ to ‘~’ [-Wparentheses] 2025-09-04T20:27:50,880 347 | if ((!VARIABLE(into) | Para_into_vars) && basic_check(into)) { 2025-09-04T20:27:51,112 gcc -O -Wall -c -o backdemod.o backdemod.c 2025-09-04T20:27:51,350 gcc -O -Wall -c -o hints.o hints.c 2025-09-04T20:27:51,593 gcc -O -Wall -c -o ac_redun.o ac_redun.c 2025-09-04T20:27:51,940 gcc -O -Wall -c -o xproofs.o xproofs.c 2025-09-04T20:27:52,292 gcc -O -Wall -c -o ivy.o ivy.c 2025-09-04T20:27:52,420 ivy.c: In function ‘factor2_instances’: 2025-09-04T20:27:52,421 ivy.c:633:14: warning: variable ‘l1i’ set but not used [-Wunused-but-set-variable] 2025-09-04T20:27:52,421 633 | Literals l1i, l2i, lit; 2025-09-04T20:27:52,421 | ^~~ 2025-09-04T20:27:52,767 gcc -O -Wall -c -o interp.o interp.c 2025-09-04T20:27:52,894 interp.c: In function ‘transpose_binary’: 2025-09-04T20:27:52,894 interp.c:358:10: warning: variable ‘rc’ set but not used [-Wunused-but-set-variable] 2025-09-04T20:27:52,894 358 | int i, rc; 2025-09-04T20:27:52,894 | ^~ 2025-09-04T20:27:54,580 gcc -O -Wall -c -o std_options.o std_options.c 2025-09-04T20:27:54,730 gcc -O -Wall -c -o banner.o banner.c 2025-09-04T20:27:54,899 gcc -O -Wall -c -o ioutil.o ioutil.c 2025-09-04T20:27:55,314 gcc -O -Wall -c -o tptp_trans.o tptp_trans.c 2025-09-04T20:27:55,746 gcc -O -Wall -c -o top_input.o top_input.c 2025-09-04T20:27:56,318 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:56,325 ar: creating libladr.a 2025-09-04T20:27:56,503 make[3]: Leaving directory '/tmp/pip-wheel-tldyo1qz/provers_69f6398570e1401b9e92b27c5ce077fe/provers/bin/tmp/LADR-2009-11A/ladr' 2025-09-04T20:27:56,504 make[2]: Leaving directory '/tmp/pip-wheel-tldyo1qz/provers_69f6398570e1401b9e92b27c5ce077fe/provers/bin/tmp/LADR-2009-11A/ladr' 2025-09-04T20:27:56,505 cd mace4.src && make all 2025-09-04T20:27:56,514 make[2]: Entering directory '/tmp/pip-wheel-tldyo1qz/provers_69f6398570e1401b9e92b27c5ce077fe/provers/bin/tmp/LADR-2009-11A/mace4.src' 2025-09-04T20:27:56,515 cd ../ladr && make libladr.a 2025-09-04T20:27:56,539 make[3]: Entering directory '/tmp/pip-wheel-tldyo1qz/provers_69f6398570e1401b9e92b27c5ce077fe/provers/bin/tmp/LADR-2009-11A/ladr' 2025-09-04T20:27:56,539 make[3]: 'libladr.a' is up to date. 2025-09-04T20:27:56,539 make[3]: Leaving directory '/tmp/pip-wheel-tldyo1qz/provers_69f6398570e1401b9e92b27c5ce077fe/provers/bin/tmp/LADR-2009-11A/ladr' 2025-09-04T20:27:56,540 make clean 2025-09-04T20:27:56,549 make[3]: Entering directory '/tmp/pip-wheel-tldyo1qz/provers_69f6398570e1401b9e92b27c5ce077fe/provers/bin/tmp/LADR-2009-11A/mace4.src' 2025-09-04T20:27:56,549 /bin/rm -f *.o 2025-09-04T20:27:56,558 make[3]: Leaving directory '/tmp/pip-wheel-tldyo1qz/provers_69f6398570e1401b9e92b27c5ce077fe/provers/bin/tmp/LADR-2009-11A/mace4.src' 2025-09-04T20:27:56,559 make libmace4.a 2025-09-04T20:27:56,568 make[3]: Entering directory '/tmp/pip-wheel-tldyo1qz/provers_69f6398570e1401b9e92b27c5ce077fe/provers/bin/tmp/LADR-2009-11A/mace4.src' 2025-09-04T20:27:56,568 gcc -O -Wall -c -o estack.o estack.c 2025-09-04T20:27:56,749 gcc -O -Wall -c -o util.o util.c 2025-09-04T20:27:56,904 gcc -O -Wall -c -o print.o print.c 2025-09-04T20:27:57,288 gcc -O -Wall -c -o syms.o syms.c 2025-09-04T20:27:57,512 gcc -O -Wall -c -o ground.o ground.c 2025-09-04T20:27:57,922 gcc -O -Wall -c -o arithmetic.o arithmetic.c 2025-09-04T20:27:58,334 gcc -O -Wall -c -o select.o select.c 2025-09-04T20:27:58,467 select.c: In function ‘select_concentric_band’: 2025-09-04T20:27:58,467 select.c:236:5: error: type of ‘min_id’ defaults to ‘int’ [-Wimplicit-int] 2025-09-04T20:27:58,467 236 | int select_concentric_band(min_id, max_id, max_constrained) 2025-09-04T20:27:58,468 | ^~~~~~~~~~~~~~~~~~~~~~ 2025-09-04T20:27:58,468 select.c:236:5: error: type of ‘max_id’ defaults to ‘int’ [-Wimplicit-int] 2025-09-04T20:27:58,468 select.c:236:5: error: type of ‘max_constrained’ defaults to ‘int’ [-Wimplicit-int] 2025-09-04T20:27:58,476 make[3]: *** [: select.o] Error 1 2025-09-04T20:27:58,476 make[3]: Leaving directory '/tmp/pip-wheel-tldyo1qz/provers_69f6398570e1401b9e92b27c5ce077fe/provers/bin/tmp/LADR-2009-11A/mace4.src' 2025-09-04T20:27:58,477 make[2]: *** [Makefile:26: lib] Error 2 2025-09-04T20:27:58,477 make[2]: Leaving directory '/tmp/pip-wheel-tldyo1qz/provers_69f6398570e1401b9e92b27c5ce077fe/provers/bin/tmp/LADR-2009-11A/mace4.src' 2025-09-04T20:27:58,477 make[1]: *** [Makefile:6: all] Error 2 2025-09-04T20:27:58,477 make[1]: Leaving directory '/tmp/pip-wheel-tldyo1qz/provers_69f6398570e1401b9e92b27c5ce077fe/provers/bin/tmp/LADR-2009-11A' 2025-09-04T20:27:58,478 make: *** [Makefile:13: prover9] Error 2 2025-09-04T20:27:58,487 Traceback (most recent call last): 2025-09-04T20:27:58,494 File "", line 2, in 2025-09-04T20:27:58,494 exec(compile(''' 2025-09-04T20:27:58,494 ~~~~^^^^^^^^^^^^ 2025-09-04T20:27:58,494 # This is -- a caller that pip uses to run setup.py 2025-09-04T20:27:58,494 ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ 2025-09-04T20:27:58,494 ...<32 lines>... 2025-09-04T20:27:58,494 exec(compile(setup_py_code, filename, "exec")) 2025-09-04T20:27:58,495 ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ 2025-09-04T20:27:58,495 ''' % ('/tmp/pip-wheel-tldyo1qz/provers_69f6398570e1401b9e92b27c5ce077fe/setup.py',), "", "exec")) 2025-09-04T20:27:58,495 ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ 2025-09-04T20:27:58,495 File "", line 35, in 2025-09-04T20:27:58,495 File "/tmp/pip-wheel-tldyo1qz/provers_69f6398570e1401b9e92b27c5ce077fe/setup.py", line 34, in 2025-09-04T20:27:58,495 setup( 2025-09-04T20:27:58,495 ~~~~~^ 2025-09-04T20:27:58,495 name='provers', 2025-09-04T20:27:58,495 ^^^^^^^^^^^^^^^ 2025-09-04T20:27:58,496 ...<25 lines>... 2025-09-04T20:27:58,496 } 2025-09-04T20:27:58,496 ^ 2025-09-04T20:27:58,496 ) 2025-09-04T20:27:58,496 ^ 2025-09-04T20:27:58,496 File "/usr/local/lib/python3.13/dist-packages/setuptools/__init__.py", line 115, in setup 2025-09-04T20:27:58,496 return distutils.core.setup(**attrs) 2025-09-04T20:27:58,496 ~~~~~~~~~~~~~~~~~~~~^^^^^^^^^ 2025-09-04T20:27:58,496 File "/usr/local/lib/python3.13/dist-packages/setuptools/_distutils/core.py", line 186, in setup 2025-09-04T20:27:58,497 return run_commands(dist) 2025-09-04T20:27:58,497 File "/usr/local/lib/python3.13/dist-packages/setuptools/_distutils/core.py", line 202, in run_commands 2025-09-04T20:27:58,497 dist.run_commands() 2025-09-04T20:27:58,497 ~~~~~~~~~~~~~~~~~^^ 2025-09-04T20:27:58,497 File "/usr/local/lib/python3.13/dist-packages/setuptools/_distutils/dist.py", line 1002, in run_commands 2025-09-04T20:27:58,497 self.run_command(cmd) 2025-09-04T20:27:58,497 ~~~~~~~~~~~~~~~~^^^^^ 2025-09-04T20:27:58,497 File "/usr/local/lib/python3.13/dist-packages/setuptools/dist.py", line 1102, in run_command 2025-09-04T20:27:58,497 super().run_command(command) 2025-09-04T20:27:58,498 ~~~~~~~~~~~~~~~~~~~^^^^^^^^^ 2025-09-04T20:27:58,498 File "/usr/local/lib/python3.13/dist-packages/setuptools/_distutils/dist.py", line 1021, in run_command 2025-09-04T20:27:58,498 cmd_obj.run() 2025-09-04T20:27:58,498 ~~~~~~~~~~~^^ 2025-09-04T20:27:58,498 File "/usr/local/lib/python3.13/dist-packages/setuptools/command/bdist_wheel.py", line 370, in run 2025-09-04T20:27:58,498 self.run_command("build") 2025-09-04T20:27:58,498 ~~~~~~~~~~~~~~~~^^^^^^^^^ 2025-09-04T20:27:58,498 File "/usr/local/lib/python3.13/dist-packages/setuptools/_distutils/cmd.py", line 357, in run_command 2025-09-04T20:27:58,498 self.distribution.run_command(command) 2025-09-04T20:27:58,499 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~^^^^^^^^^ 2025-09-04T20:27:58,499 File "/usr/local/lib/python3.13/dist-packages/setuptools/dist.py", line 1102, in run_command 2025-09-04T20:27:58,499 super().run_command(command) 2025-09-04T20:27:58,499 ~~~~~~~~~~~~~~~~~~~^^^^^^^^^ 2025-09-04T20:27:58,499 File "/usr/local/lib/python3.13/dist-packages/setuptools/_distutils/dist.py", line 1021, in run_command 2025-09-04T20:27:58,499 cmd_obj.run() 2025-09-04T20:27:58,499 ~~~~~~~~~~~^^ 2025-09-04T20:27:58,499 File "/usr/local/lib/python3.13/dist-packages/setuptools/_distutils/command/build.py", line 135, in run 2025-09-04T20:27:58,499 self.run_command(cmd_name) 2025-09-04T20:27:58,500 ~~~~~~~~~~~~~~~~^^^^^^^^^^ 2025-09-04T20:27:58,500 File "/usr/local/lib/python3.13/dist-packages/setuptools/_distutils/cmd.py", line 357, in run_command 2025-09-04T20:27:58,500 self.distribution.run_command(command) 2025-09-04T20:27:58,500 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~^^^^^^^^^ 2025-09-04T20:27:58,500 File "/usr/local/lib/python3.13/dist-packages/setuptools/dist.py", line 1102, in run_command 2025-09-04T20:27:58,500 super().run_command(command) 2025-09-04T20:27:58,500 ~~~~~~~~~~~~~~~~~~~^^^^^^^^^ 2025-09-04T20:27:58,500 File "/usr/local/lib/python3.13/dist-packages/setuptools/_distutils/dist.py", line 1021, in run_command 2025-09-04T20:27:58,500 cmd_obj.run() 2025-09-04T20:27:58,501 ~~~~~~~~~~~^^ 2025-09-04T20:27:58,506 File "/tmp/pip-wheel-tldyo1qz/provers_69f6398570e1401b9e92b27c5ce077fe/setup.py", line 25, in run 2025-09-04T20:27:58,507 subprocess.check_call(['make', 'all'], cwd='provers/bin') 2025-09-04T20:27:58,507 ~~~~~~~~~~~~~~~~~~~~~^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ 2025-09-04T20:27:58,507 File "/usr/lib/python3.13/subprocess.py", line 419, in check_call 2025-09-04T20:27:58,507 raise CalledProcessError(retcode, cmd) 2025-09-04T20:27:58,507 subprocess.CalledProcessError: Command '['make', 'all']' returned non-zero exit status 2. 2025-09-04T20:27:58,623 ERROR: python setup.py bdist_wheel exited with 1 2025-09-04T20:27:58,636 [bold magenta]full command[/]: [blue]/usr/bin/python3 -u -c ' 2025-09-04T20:27:58,636 exec(compile('"'"''"'"''"'"' 2025-09-04T20:27:58,636 # This is -- a caller that pip uses to run setup.py 2025-09-04T20:27:58,636 # 2025-09-04T20:27:58,636 # - It imports setuptools before invoking setup.py, to enable projects that directly 2025-09-04T20:27:58,636 # import from `distutils.core` to work with newer packaging standards. 2025-09-04T20:27:58,636 # - It provides a clear error message when setuptools is not installed. 2025-09-04T20:27:58,636 # - It sets `sys.argv[0]` to the underlying `setup.py`, when invoking `setup.py` so 2025-09-04T20:27:58,636 # setuptools doesn'"'"'t think the script is `-c`. This avoids the following warning: 2025-09-04T20:27:58,636 # manifest_maker: standard file '"'"'-c'"'"' not found". 2025-09-04T20:27:58,636 # - It generates a shim setup.py, for handling setup.cfg-only projects. 2025-09-04T20:27:58,636 import os, sys, tokenize, traceback 2025-09-04T20:27:58,636 2025-09-04T20:27:58,636 try: 2025-09-04T20:27:58,636 import setuptools 2025-09-04T20:27:58,636 except ImportError: 2025-09-04T20:27:58,636 print( 2025-09-04T20:27:58,636 "ERROR: Can not execute `setup.py` since setuptools failed to import in " 2025-09-04T20:27:58,636 "the build environment with exception:", 2025-09-04T20:27:58,636 file=sys.stderr, 2025-09-04T20:27:58,636 ) 2025-09-04T20:27:58,636 traceback.print_exc() 2025-09-04T20:27:58,636 sys.exit(1) 2025-09-04T20:27:58,636 2025-09-04T20:27:58,636 __file__ = %r 2025-09-04T20:27:58,636 sys.argv[0] = __file__ 2025-09-04T20:27:58,636 2025-09-04T20:27:58,636 if os.path.exists(__file__): 2025-09-04T20:27:58,636 filename = __file__ 2025-09-04T20:27:58,636 with tokenize.open(__file__) as f: 2025-09-04T20:27:58,636 setup_py_code = f.read() 2025-09-04T20:27:58,636 else: 2025-09-04T20:27:58,636 filename = "" 2025-09-04T20:27:58,636 setup_py_code = "from setuptools import setup; setup()" 2025-09-04T20:27:58,636 2025-09-04T20:27:58,636 exec(compile(setup_py_code, filename, "exec")) 2025-09-04T20:27:58,636 '"'"''"'"''"'"' % ('"'"'/tmp/pip-wheel-tldyo1qz/provers_69f6398570e1401b9e92b27c5ce077fe/setup.py'"'"',), "", "exec"))' bdist_wheel -d /tmp/pip-wheel-md34k2oe[/] 2025-09-04T20:27:58,636 [bold magenta]cwd[/]: /tmp/pip-wheel-tldyo1qz/provers_69f6398570e1401b9e92b27c5ce077fe/ 2025-09-04T20:27:58,636 Building wheel for provers (setup.py): finished with status 'error' 2025-09-04T20:27:58,637 ERROR: Failed building wheel for provers 2025-09-04T20:27:58,638 Running setup.py clean for provers 2025-09-04T20:27:58,639 Running command python setup.py clean 2025-09-04T20:27:59,323 /usr/local/lib/python3.13/dist-packages/setuptools/__init__.py:92: _DeprecatedInstaller: setuptools.installer and fetch_build_eggs are deprecated. 2025-09-04T20:27:59,323 !! 2025-09-04T20:27:59,323 ******************************************************************************** 2025-09-04T20:27:59,323 Requirements should be satisfied by a PEP 517 installer. 2025-09-04T20:27:59,323 If you are using pip, you can try `pip install --use-pep517`. 2025-09-04T20:27:59,324 By 2025-Oct-31, you need to update your project and remove deprecated calls 2025-09-04T20:27:59,324 or your builds will no longer be supported. 2025-09-04T20:27:59,324 ******************************************************************************** 2025-09-04T20:27:59,324 !! 2025-09-04T20:27:59,324 dist.fetch_build_eggs(dist.setup_requires) 2025-09-04T20:28:00,453 running clean 2025-09-04T20:28:00,603 'build/lib.linux-armv7l-cpython-313' does not exist -- can't clean it 2025-09-04T20:28:00,603 'build/bdist.linux-armv7l' does not exist -- can't clean it 2025-09-04T20:28:00,603 'build/scripts-3.13' does not exist -- can't clean it 2025-09-04T20:28:00,721 Failed to build provers 2025-09-04T20:28:00,722 ERROR: Failed to build one or more wheels 2025-09-04T20:28:00,723 Exception information: 2025-09-04T20:28:00,723 Traceback (most recent call last): 2025-09-04T20:28:00,723 File "/usr/lib/python3/dist-packages/pip/_internal/cli/base_command.py", line 105, in _run_wrapper 2025-09-04T20:28:00,723 status = _inner_run() 2025-09-04T20:28:00,723 File "/usr/lib/python3/dist-packages/pip/_internal/cli/base_command.py", line 96, in _inner_run 2025-09-04T20:28:00,723 return self.run(options, args) 2025-09-04T20:28:00,723 ~~~~~~~~^^^^^^^^^^^^^^^ 2025-09-04T20:28:00,723 File "/usr/lib/python3/dist-packages/pip/_internal/cli/req_command.py", line 68, in wrapper 2025-09-04T20:28:00,723 return func(self, options, args) 2025-09-04T20:28:00,723 File "/usr/lib/python3/dist-packages/pip/_internal/commands/wheel.py", line 180, in run 2025-09-04T20:28:00,723 raise CommandError("Failed to build one or more wheels") 2025-09-04T20:28:00,723 pip._internal.exceptions.CommandError: Failed to build one or more wheels 2025-09-04T20:28:00,727 Removed build tracker: '/tmp/pip-build-tracker-grvsmyzd'