2025-09-04T20:27:40,696 Created temporary directory: /tmp/pip-build-tracker-9pcc5zmz 2025-09-04T20:27:40,696 Initialized build tracking at /tmp/pip-build-tracker-9pcc5zmz 2025-09-04T20:27:40,697 Created build tracker: /tmp/pip-build-tracker-9pcc5zmz 2025-09-04T20:27:40,697 Entered build tracker: /tmp/pip-build-tracker-9pcc5zmz 2025-09-04T20:27:40,697 Created temporary directory: /tmp/pip-wheel-fck4tt31 2025-09-04T20:27:40,700 Created temporary directory: /tmp/pip-ephem-wheel-cache-4ga5yxei 2025-09-04T20:27:40,760 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple 2025-09-04T20:27:40,762 2 location(s) to search for versions of provers: 2025-09-04T20:27:40,762 * https://pypi.org/simple/provers/ 2025-09-04T20:27:40,762 * https://www.piwheels.org/simple/provers/ 2025-09-04T20:27:40,762 Fetching project page and analyzing links: https://pypi.org/simple/provers/ 2025-09-04T20:27:40,763 Getting page https://pypi.org/simple/provers/ 2025-09-04T20:27:40,764 Found index url https://pypi.org/simple/ 2025-09-04T20:27:40,835 Fetched page https://pypi.org/simple/provers/ as application/vnd.pypi.simple.v1+json 2025-09-04T20:27:40,838 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:40,838 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:40,838 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:40,839 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:40,839 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:40,839 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:40,839 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:40,839 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:40,840 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:40,840 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:40,840 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:40,840 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:40,840 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:40,841 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:40,841 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:40,841 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:40,841 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:40,842 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:40,842 Fetching project page and analyzing links: https://www.piwheels.org/simple/provers/ 2025-09-04T20:27:40,842 Getting page https://www.piwheels.org/simple/provers/ 2025-09-04T20:27:40,843 Found index url https://www.piwheels.org/simple/ 2025-09-04T20:27:40,937 Fetched page https://www.piwheels.org/simple/provers/ as text/html 2025-09-04T20:27:40,950 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:40,950 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:40,950 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:40,950 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:40,950 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:40,950 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:40,951 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:40,951 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:40,951 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:40,951 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:40,951 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:40,951 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:40,952 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:40,952 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:40,952 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:40,952 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:40,952 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:40,952 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:40,953 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:40,953 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:40,953 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:40,953 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:40,953 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:40,953 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:40,954 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:40,954 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:40,954 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:40,954 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:40,954 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:40,954 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:40,955 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:40,955 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:40,955 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:40,955 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:40,955 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:40,955 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:40,955 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:40,956 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:40,956 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:40,956 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:40,956 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:40,956 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:40,956 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:40,957 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:40,957 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:40,957 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:40,957 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:40,957 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:40,957 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:40,958 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:40,958 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:40,958 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:40,958 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:40,958 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:40,958 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:40,959 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:40,959 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:40,959 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:40,959 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:40,959 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:40,959 Skipping link: not a file: https://www.piwheels.org/simple/provers/ 2025-09-04T20:27:40,960 Skipping link: not a file: https://pypi.org/simple/provers/ 2025-09-04T20:27:40,987 Given no hashes to check 1 links for project 'provers': discarding no candidates 2025-09-04T20:27:40,988 Collecting provers==0.1.10 2025-09-04T20:27:40,989 Created temporary directory: /tmp/pip-unpack-34gl424p 2025-09-04T20:27:41,129 Downloading provers-0.1.10.tar.gz (14 kB) 2025-09-04T20:27:41,155 Added provers==0.1.10 from https://files.pythonhosted.org/packages/ab/41/23ba8749948e2d599358b2775bb8d8f146012e3c889a58e34a42f88582d2/provers-0.1.10.tar.gz to build tracker '/tmp/pip-build-tracker-9pcc5zmz' 2025-09-04T20:27:41,156 Running setup.py (path:/tmp/pip-wheel-fck4tt31/provers_4354e73e799b4dc0ad6ac2680069f60d/setup.py) egg_info for package provers 2025-09-04T20:27:41,157 Created temporary directory: /tmp/pip-pip-egg-info-q_a1_bor 2025-09-04T20:27:41,157 Preparing metadata (setup.py): started 2025-09-04T20:27:41,158 Running command python setup.py egg_info 2025-09-04T20:27:41,814 /usr/local/lib/python3.13/dist-packages/setuptools/__init__.py:92: _DeprecatedInstaller: setuptools.installer and fetch_build_eggs are deprecated. 2025-09-04T20:27:41,814 !! 2025-09-04T20:27:41,814 ******************************************************************************** 2025-09-04T20:27:41,814 Requirements should be satisfied by a PEP 517 installer. 2025-09-04T20:27:41,814 If you are using pip, you can try `pip install --use-pep517`. 2025-09-04T20:27:41,815 By 2025-Oct-31, you need to update your project and remove deprecated calls 2025-09-04T20:27:41,815 or your builds will no longer be supported. 2025-09-04T20:27:41,815 ******************************************************************************** 2025-09-04T20:27:41,815 !! 2025-09-04T20:27:41,815 dist.fetch_build_eggs(dist.setup_requires) 2025-09-04T20:27:45,399 running egg_info 2025-09-04T20:27:45,475 creating /tmp/pip-pip-egg-info-q_a1_bor/provers.egg-info 2025-09-04T20:27:45,476 writing /tmp/pip-pip-egg-info-q_a1_bor/provers.egg-info/PKG-INFO 2025-09-04T20:27:45,477 writing dependency_links to /tmp/pip-pip-egg-info-q_a1_bor/provers.egg-info/dependency_links.txt 2025-09-04T20:27:45,477 writing entry points to /tmp/pip-pip-egg-info-q_a1_bor/provers.egg-info/entry_points.txt 2025-09-04T20:27:45,478 writing top-level names to /tmp/pip-pip-egg-info-q_a1_bor/provers.egg-info/top_level.txt 2025-09-04T20:27:45,478 writing manifest file '/tmp/pip-pip-egg-info-q_a1_bor/provers.egg-info/SOURCES.txt' 2025-09-04T20:27:45,872 listing git files failed - pretending there aren't any 2025-09-04T20:27:45,885 reading manifest file '/tmp/pip-pip-egg-info-q_a1_bor/provers.egg-info/SOURCES.txt' 2025-09-04T20:27:45,886 reading manifest template 'MANIFEST.in' 2025-09-04T20:27:45,887 warning: no previously-included files found matching 'provers/bin/*' 2025-09-04T20:27:45,887 adding license file 'LICENSE' 2025-09-04T20:27:45,890 writing manifest file '/tmp/pip-pip-egg-info-q_a1_bor/provers.egg-info/SOURCES.txt' 2025-09-04T20:27:46,010 Preparing metadata (setup.py): finished with status 'done' 2025-09-04T20:27:46,015 Source in /tmp/pip-wheel-fck4tt31/provers_4354e73e799b4dc0ad6ac2680069f60d has version 0.1.10, which satisfies requirement provers==0.1.10 from https://files.pythonhosted.org/packages/ab/41/23ba8749948e2d599358b2775bb8d8f146012e3c889a58e34a42f88582d2/provers-0.1.10.tar.gz 2025-09-04T20:27:46,015 Removed provers==0.1.10 from https://files.pythonhosted.org/packages/ab/41/23ba8749948e2d599358b2775bb8d8f146012e3c889a58e34a42f88582d2/provers-0.1.10.tar.gz from build tracker '/tmp/pip-build-tracker-9pcc5zmz' 2025-09-04T20:27:46,019 Created temporary directory: /tmp/pip-unpack-vbbcw6jo 2025-09-04T20:27:46,019 Created temporary directory: /tmp/pip-unpack-kjsld5sf 2025-09-04T20:27:46,019 Building wheels for collected packages: provers 2025-09-04T20:27:46,021 Created temporary directory: /tmp/pip-wheel-h0cus01v 2025-09-04T20:27:46,021 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:46,022 Building wheel for provers (setup.py): started 2025-09-04T20:27:46,023 Destination directory: /tmp/pip-wheel-h0cus01v 2025-09-04T20:27:46,023 Running command python setup.py bdist_wheel 2025-09-04T20:27:46,665 /usr/local/lib/python3.13/dist-packages/setuptools/__init__.py:92: _DeprecatedInstaller: setuptools.installer and fetch_build_eggs are deprecated. 2025-09-04T20:27:46,665 !! 2025-09-04T20:27:46,666 ******************************************************************************** 2025-09-04T20:27:46,666 Requirements should be satisfied by a PEP 517 installer. 2025-09-04T20:27:46,666 If you are using pip, you can try `pip install --use-pep517`. 2025-09-04T20:27:46,666 By 2025-Oct-31, you need to update your project and remove deprecated calls 2025-09-04T20:27:46,666 or your builds will no longer be supported. 2025-09-04T20:27:46,666 ******************************************************************************** 2025-09-04T20:27:46,666 !! 2025-09-04T20:27:46,667 dist.fetch_build_eggs(dist.setup_requires) 2025-09-04T20:27:47,749 running bdist_wheel 2025-09-04T20:27:48,129 running build 2025-09-04T20:27:48,129 running build_py 2025-09-04T20:27:48,136 mkdir tmp || true 2025-09-04T20:27:48,144 cd tmp && wget https://www.cs.unm.edu/~mccune/mace4/download/LADR-2009-11A.tar.gz 2025-09-04T20:27:48,164 --2025-09-04 20:27:48-- https://www.cs.unm.edu/~mccune/mace4/download/LADR-2009-11A.tar.gz 2025-09-04T20:27:48,210 Resolving www.cs.unm.edu (www.cs.unm.edu)... 64:ff9b::406a:144c, 64.106.20.76 2025-09-04T20:27:48,343 Connecting to www.cs.unm.edu (www.cs.unm.edu)|64:ff9b::406a:144c|:443... connected. 2025-09-04T20:27:48,750 HTTP request sent, awaiting response... 200 OK 2025-09-04T20:27:48,751 Length: 1795750 (1.7M) [application/x-gzip] 2025-09-04T20:27:48,752 Saving to: ‘LADR-2009-11A.tar.gz’ 2025-09-04T20:27:49,019 0K .......... .......... .......... .......... .......... 2% 188K 9s 2025-09-04T20:27:49,147 50K .......... .......... .......... .......... .......... 5% 391K 7s 2025-09-04T20:27:49,162 100K .......... .......... .......... .......... .......... 8% 3.21M 4s 2025-09-04T20:27:49,237 150K .......... .......... .......... .......... .......... 11% 664K 4s 2025-09-04T20:27:49,292 200K .......... .......... .......... .......... .......... 14% 912K 3s 2025-09-04T20:27:49,303 250K .......... .......... .......... .......... .......... 17% 4.22M 3s 2025-09-04T20:27:49,309 300K .......... .......... .......... .......... .......... 19% 9.07M 2s 2025-09-04T20:27:49,321 350K .......... .......... .......... .......... .......... 22% 4.08M 2s 2025-09-04T20:27:49,417 400K .......... .......... .......... .......... .......... 25% 519K 2s 2025-09-04T20:27:49,431 450K .......... .......... .......... .......... .......... 28% 3.60M 2s 2025-09-04T20:27:49,437 500K .......... .......... .......... .......... .......... 31% 7.63M 1s 2025-09-04T20:27:49,443 550K .......... .......... .......... .......... .......... 34% 8.45M 1s 2025-09-04T20:27:49,449 600K .......... .......... .......... .......... .......... 37% 7.36M 1s 2025-09-04T20:27:49,455 650K .......... .......... .......... .......... .......... 39% 8.70M 1s 2025-09-04T20:27:49,461 700K .......... .......... .......... .......... .......... 42% 7.86M 1s 2025-09-04T20:27:49,467 750K .......... .......... .......... .......... .......... 45% 9.08M 1s 2025-09-04T20:27:49,503 800K .......... .......... .......... .......... .......... 48% 1.36M 1s 2025-09-04T20:27:49,553 850K .......... .......... .......... .......... .......... 51% 986K 1s 2025-09-04T20:27:49,567 900K .......... .......... .......... .......... .......... 54% 3.59M 1s 2025-09-04T20:27:49,573 950K .......... .......... .......... .......... .......... 57% 7.28M 1s 2025-09-04T20:27:49,579 1000K .......... .......... .......... .......... .......... 59% 9.09M 1s 2025-09-04T20:27:49,584 1050K .......... .......... .......... .......... .......... 62% 8.91M 0s 2025-09-04T20:27:49,591 1100K .......... .......... .......... .......... .......... 65% 7.78M 0s 2025-09-04T20:27:49,596 1150K .......... .......... .......... .......... .......... 68% 9.01M 0s 2025-09-04T20:27:49,602 1200K .......... .......... .......... .......... .......... 71% 7.71M 0s 2025-09-04T20:27:49,608 1250K .......... .......... .......... .......... .......... 74% 8.99M 0s 2025-09-04T20:27:49,612 1300K .......... .......... .......... .......... .......... 76% 11.7M 0s 2025-09-04T20:27:49,616 1350K .......... .......... .......... .......... .......... 79% 10.8M 0s 2025-09-04T20:27:49,620 1400K .......... .......... .......... .......... .......... 82% 12.7M 0s 2025-09-04T20:27:49,625 1450K .......... .......... .......... .......... .......... 85% 10.9M 0s 2025-09-04T20:27:49,629 1500K .......... .......... .......... .......... .......... 88% 12.6M 0s 2025-09-04T20:27:49,633 1550K .......... .......... .......... .......... .......... 91% 11.8M 0s 2025-09-04T20:27:49,761 1600K .......... .......... .......... .......... .......... 94% 391K 0s 2025-09-04T20:27:49,770 1650K .......... .......... .......... .......... .......... 96% 5.08M 0s 2025-09-04T20:27:49,781 1700K .......... .......... .......... .......... .......... 99% 4.66M 0s 2025-09-04T20:27:49,781 1750K ... 100% 6.82T=1.0s 2025-09-04T20:27:49,781 2025-09-04 20:27:49 (1.66 MB/s) - ‘LADR-2009-11A.tar.gz’ saved [1795750/1795750] 2025-09-04T20:27:49,784 cd tmp && tar -xzf LADR-2009-11A.tar.gz 2025-09-04T20:27:49,951 cd tmp/LADR-2009-11A/provers.src && sed -i.old 's/^\([ \t]*\$(CC).*\) -lm \(.*\)$/\1 \2 -lm/g' Makefile 2025-09-04T20:27:49,961 cd tmp/LADR-2009-11A && make all 2025-09-04T20:27:49,971 make[1]: Entering directory '/tmp/pip-wheel-fck4tt31/provers_4354e73e799b4dc0ad6ac2680069f60d/provers/bin/tmp/LADR-2009-11A' 2025-09-04T20:27:49,972 cd ladr && make lib 2025-09-04T20:27:49,987 make[2]: Entering directory '/tmp/pip-wheel-fck4tt31/provers_4354e73e799b4dc0ad6ac2680069f60d/provers/bin/tmp/LADR-2009-11A/ladr' 2025-09-04T20:27:49,987 make libladr.a 2025-09-04T20:27:50,002 make[3]: Entering directory '/tmp/pip-wheel-fck4tt31/provers_4354e73e799b4dc0ad6ac2680069f60d/provers/bin/tmp/LADR-2009-11A/ladr' 2025-09-04T20:27:50,002 gcc -O -Wall -c -o order.o order.c 2025-09-04T20:27:50,178 gcc -O -Wall -c -o clock.o clock.c 2025-09-04T20:27:50,411 gcc -O -Wall -c -o nonport.o nonport.c 2025-09-04T20:27:50,524 gcc -O -Wall -c -o fatal.o fatal.c 2025-09-04T20:27:50,660 gcc -O -Wall -c -o ibuffer.o ibuffer.c 2025-09-04T20:27:50,868 gcc -O -Wall -c -o memory.o memory.c 2025-09-04T20:27:51,094 gcc -O -Wall -c -o hash.o hash.c 2025-09-04T20:27:51,308 gcc -O -Wall -c -o string.o string.c 2025-09-04T20:27:51,550 gcc -O -Wall -c -o strbuf.o strbuf.c 2025-09-04T20:27:51,826 gcc -O -Wall -c -o glist.o glist.c 2025-09-04T20:27:52,427 gcc -O -Wall -c -o options.o options.c 2025-09-04T20:27:52,950 gcc -O -Wall -c -o symbols.o symbols.c 2025-09-04T20:27:53,067 symbols.c: In function ‘declare_base_symbols’: 2025-09-04T20:27:53,068 symbols.c:1304:7: warning: variable ‘sn’ set but not used [-Wunused-but-set-variable] 2025-09-04T20:27:53,068 1304 | int sn; 2025-09-04T20:27:53,068 | ^~ 2025-09-04T20:27:53,913 gcc -O -Wall -c -o avltree.o avltree.c 2025-09-04T20:27:54,280 gcc -O -Wall -c -o term.o term.c 2025-09-04T20:27:55,134 gcc -O -Wall -c -o termflag.o termflag.c 2025-09-04T20:27:55,328 gcc -O -Wall -c -o listterm.o listterm.c 2025-09-04T20:27:55,519 gcc -O -Wall -c -o tlist.o tlist.c 2025-09-04T20:27:55,685 gcc -O -Wall -c -o flatterm.o flatterm.c 2025-09-04T20:27:55,946 gcc -O -Wall -c -o multiset.o multiset.c 2025-09-04T20:27:56,126 gcc -O -Wall -c -o termorder.o termorder.c 2025-09-04T20:27:56,584 gcc -O -Wall -c -o parse.o parse.c 2025-09-04T20:27:57,368 gcc -O -Wall -c -o accanon.o accanon.c 2025-09-04T20:27:57,556 gcc -O -Wall -c -o unify.o unify.c 2025-09-04T20:27:57,998 gcc -O -Wall -c -o fpalist.o fpalist.c 2025-09-04T20:27:58,321 gcc -O -Wall -c -o fpa.o fpa.c 2025-09-04T20:27:58,827 gcc -O -Wall -c -o discrim.o discrim.c 2025-09-04T20:27:59,015 gcc -O -Wall -c -o discrimb.o discrimb.c 2025-09-04T20:27:59,142 discrimb.c:487:7: warning: ‘check_flat2’ defined but not used [-Wunused-function] 2025-09-04T20:27:59,142 487 | Flat2 check_flat2(Flat2 f) 2025-09-04T20:27:59,142 | ^~~~~~~~~~~ 2025-09-04T20:27:59,387 gcc -O -Wall -c -o discrimw.o discrimw.c 2025-09-04T20:27:59,521 discrimw.c:146:6: warning: ‘check_flat’ defined but not used [-Wunused-function] 2025-09-04T20:27:59,521 146 | Flat check_flat(Flat f) 2025-09-04T20:27:59,521 | ^~~~~~~~~~ 2025-09-04T20:27:59,813 gcc -O -Wall -c -o dioph.o dioph.c 2025-09-04T20:28:00,413 gcc -O -Wall -c -o btu.o btu.c 2025-09-04T20:28:01,065 gcc -O -Wall -c -o btm.o btm.c 2025-09-04T20:28:01,723 gcc -O -Wall -c -o mindex.o mindex.c 2025-09-04T20:28:01,841 mindex.c: In function ‘mindex_retrieve_next’: 2025-09-04T20:28:01,842 mindex.c:650:11: warning: variable ‘tr’ set but not used [-Wunused-but-set-variable] 2025-09-04T20:28:01,842 650 | Trail tr; 2025-09-04T20:28:01,842 | ^~ 2025-09-04T20:28:02,028 gcc -O -Wall -c -o basic.o basic.c 2025-09-04T20:28:02,255 gcc -O -Wall -c -o attrib.o attrib.c 2025-09-04T20:28:02,687 gcc -O -Wall -c -o formula.o formula.c 2025-09-04T20:28:03,529 gcc -O -Wall -c -o definitions.o definitions.c 2025-09-04T20:28:03,791 gcc -O -Wall -c -o literals.o literals.c 2025-09-04T20:28:04,217 gcc -O -Wall -c -o topform.o topform.c 2025-09-04T20:28:04,603 gcc -O -Wall -c -o clist.o clist.c 2025-09-04T20:28:05,033 gcc -O -Wall -c -o clauseid.o clauseid.c 2025-09-04T20:28:05,241 gcc -O -Wall -c -o clauses.o clauses.c 2025-09-04T20:28:05,469 gcc -O -Wall -c -o just.o just.c 2025-09-04T20:28:06,253 gcc -O -Wall -c -o cnf.o cnf.c 2025-09-04T20:28:06,831 gcc -O -Wall -c -o clausify.o clausify.c 2025-09-04T20:28:07,057 gcc -O -Wall -c -o parautil.o parautil.c 2025-09-04T20:28:07,363 gcc -O -Wall -c -o pindex.o pindex.c 2025-09-04T20:28:07,748 gcc -O -Wall -c -o compress.o compress.c 2025-09-04T20:28:07,937 gcc -O -Wall -c -o maximal.o maximal.c 2025-09-04T20:28:08,164 gcc -O -Wall -c -o lindex.o lindex.c 2025-09-04T20:28:08,350 gcc -O -Wall -c -o weight.o weight.c 2025-09-04T20:28:08,635 gcc -O -Wall -c -o weight2.o weight2.c 2025-09-04T20:28:08,809 gcc -O -Wall -c -o int_code.o int_code.c 2025-09-04T20:28:09,050 gcc -O -Wall -c -o features.o features.c 2025-09-04T20:28:09,259 gcc -O -Wall -c -o di_tree.o di_tree.c 2025-09-04T20:28:09,548 gcc -O -Wall -c -o fastparse.o fastparse.c 2025-09-04T20:28:09,764 gcc -O -Wall -c -o random.o random.c 2025-09-04T20:28:10,029 gcc -O -Wall -c -o subsume.o subsume.c 2025-09-04T20:28:10,442 gcc -O -Wall -c -o clause_misc.o clause_misc.c 2025-09-04T20:28:10,647 gcc -O -Wall -c -o clause_eval.o clause_eval.c 2025-09-04T20:28:10,894 gcc -O -Wall -c -o complex.o complex.c 2025-09-04T20:28:11,009 complex.c: In function ‘complex4_p1’: 2025-09-04T20:28:11,009 complex.c:275:8: warning: variable ‘dummy’ set but not used [-Wunused-but-set-variable] 2025-09-04T20:28:11,010 275 | BOOL dummy; 2025-09-04T20:28:11,010 | ^~~~~ 2025-09-04T20:28:11,167 gcc -O -Wall -c -o dollar.o dollar.c 2025-09-04T20:28:11,539 gcc -O -Wall -c -o flatdemod.o flatdemod.c 2025-09-04T20:28:11,659 flatdemod.c: In function ‘discrim_flat_retrieve_leaf’: 2025-09-04T20:28:11,660 flatdemod.c:122:16: warning: comparison between ‘BOOL’ and ‘enum ’ [-Wenum-compare] 2025-09-04T20:28:11,660 122 | if (status == BACKTRACK) { 2025-09-04T20:28:11,660 | ^~ 2025-09-04T20:28:11,661 flatdemod.c:158:15: warning: variable ‘dd’ set but not used [-Wunused-but-set-variable] 2025-09-04T20:28:11,661 158 | Discrim dd = NULL; 2025-09-04T20:28:11,662 | ^~ 2025-09-04T20:28:11,662 flatdemod.c:167:16: warning: comparison between ‘BOOL’ and ‘enum ’ [-Wenum-compare] 2025-09-04T20:28:11,662 167 | if (status == GO) { 2025-09-04T20:28:11,662 | ^~ 2025-09-04T20:28:11,819 gcc -O -Wall -c -o demod.o demod.c 2025-09-04T20:28:11,944 demod.c: In function ‘demod1’: 2025-09-04T20:28:11,945 demod.c:376:8: warning: variable ‘result’ set but not used [-Wunused-but-set-variable] 2025-09-04T20:28:11,945 376 | Term result; 2025-09-04T20:28:11,945 | ^~~~~~ 2025-09-04T20:28:12,141 gcc -O -Wall -c -o clash.o clash.c 2025-09-04T20:28:12,267 clash.c: In function ‘clash_recurse’: 2025-09-04T20:28:12,268 clash.c:283:12: warning: suggest parentheses around operand of ‘!’ or change ‘|’ to ‘||’ or ‘!’ to ‘~’ [-Wparentheses] 2025-09-04T20:28:12,268 283 | else if (!p->clashable | p->clashed) 2025-09-04T20:28:12,268 | ^~~~~~~~~~~~~ 2025-09-04T20:28:12,394 gcc -O -Wall -c -o resolve.o resolve.c 2025-09-04T20:28:12,902 gcc -O -Wall -c -o paramod.o paramod.c 2025-09-04T20:28:13,023 paramod.c: In function ‘para_into’: 2025-09-04T20:28:13,023 paramod.c:347:8: warning: suggest parentheses around operand of ‘!’ or change ‘|’ to ‘||’ or ‘!’ to ‘~’ [-Wparentheses] 2025-09-04T20:28:13,023 347 | if ((!VARIABLE(into) | Para_into_vars) && basic_check(into)) { 2025-09-04T20:28:13,253 gcc -O -Wall -c -o backdemod.o backdemod.c 2025-09-04T20:28:13,488 gcc -O -Wall -c -o hints.o hints.c 2025-09-04T20:28:13,732 gcc -O -Wall -c -o ac_redun.o ac_redun.c 2025-09-04T20:28:14,069 gcc -O -Wall -c -o xproofs.o xproofs.c 2025-09-04T20:28:14,430 gcc -O -Wall -c -o ivy.o ivy.c 2025-09-04T20:28:14,561 ivy.c: In function ‘factor2_instances’: 2025-09-04T20:28:14,562 ivy.c:633:14: warning: variable ‘l1i’ set but not used [-Wunused-but-set-variable] 2025-09-04T20:28:14,562 633 | Literals l1i, l2i, lit; 2025-09-04T20:28:14,562 | ^~~ 2025-09-04T20:28:15,137 gcc -O -Wall -c -o interp.o interp.c 2025-09-04T20:28:15,263 interp.c: In function ‘transpose_binary’: 2025-09-04T20:28:15,264 interp.c:358:10: warning: variable ‘rc’ set but not used [-Wunused-but-set-variable] 2025-09-04T20:28:15,264 358 | int i, rc; 2025-09-04T20:28:15,264 | ^~ 2025-09-04T20:28:16,951 gcc -O -Wall -c -o std_options.o std_options.c 2025-09-04T20:28:17,101 gcc -O -Wall -c -o banner.o banner.c 2025-09-04T20:28:17,279 gcc -O -Wall -c -o ioutil.o ioutil.c 2025-09-04T20:28:17,686 gcc -O -Wall -c -o tptp_trans.o tptp_trans.c 2025-09-04T20:28:18,114 gcc -O -Wall -c -o top_input.o top_input.c 2025-09-04T20:28:18,684 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:18,689 ar: creating libladr.a 2025-09-04T20:28:18,865 make[3]: Leaving directory '/tmp/pip-wheel-fck4tt31/provers_4354e73e799b4dc0ad6ac2680069f60d/provers/bin/tmp/LADR-2009-11A/ladr' 2025-09-04T20:28:18,865 make[2]: Leaving directory '/tmp/pip-wheel-fck4tt31/provers_4354e73e799b4dc0ad6ac2680069f60d/provers/bin/tmp/LADR-2009-11A/ladr' 2025-09-04T20:28:18,865 cd mace4.src && make all 2025-09-04T20:28:18,875 make[2]: Entering directory '/tmp/pip-wheel-fck4tt31/provers_4354e73e799b4dc0ad6ac2680069f60d/provers/bin/tmp/LADR-2009-11A/mace4.src' 2025-09-04T20:28:18,875 cd ../ladr && make libladr.a 2025-09-04T20:28:18,899 make[3]: Entering directory '/tmp/pip-wheel-fck4tt31/provers_4354e73e799b4dc0ad6ac2680069f60d/provers/bin/tmp/LADR-2009-11A/ladr' 2025-09-04T20:28:18,899 make[3]: 'libladr.a' is up to date. 2025-09-04T20:28:18,900 make[3]: Leaving directory '/tmp/pip-wheel-fck4tt31/provers_4354e73e799b4dc0ad6ac2680069f60d/provers/bin/tmp/LADR-2009-11A/ladr' 2025-09-04T20:28:18,901 make clean 2025-09-04T20:28:18,910 make[3]: Entering directory '/tmp/pip-wheel-fck4tt31/provers_4354e73e799b4dc0ad6ac2680069f60d/provers/bin/tmp/LADR-2009-11A/mace4.src' 2025-09-04T20:28:18,910 /bin/rm -f *.o 2025-09-04T20:28:18,919 make[3]: Leaving directory '/tmp/pip-wheel-fck4tt31/provers_4354e73e799b4dc0ad6ac2680069f60d/provers/bin/tmp/LADR-2009-11A/mace4.src' 2025-09-04T20:28:18,919 make libmace4.a 2025-09-04T20:28:18,929 make[3]: Entering directory '/tmp/pip-wheel-fck4tt31/provers_4354e73e799b4dc0ad6ac2680069f60d/provers/bin/tmp/LADR-2009-11A/mace4.src' 2025-09-04T20:28:18,929 gcc -O -Wall -c -o estack.o estack.c 2025-09-04T20:28:19,114 gcc -O -Wall -c -o util.o util.c 2025-09-04T20:28:19,270 gcc -O -Wall -c -o print.o print.c 2025-09-04T20:28:19,660 gcc -O -Wall -c -o syms.o syms.c 2025-09-04T20:28:19,887 gcc -O -Wall -c -o ground.o ground.c 2025-09-04T20:28:20,292 gcc -O -Wall -c -o arithmetic.o arithmetic.c 2025-09-04T20:28:20,709 gcc -O -Wall -c -o select.o select.c 2025-09-04T20:28:20,840 select.c: In function ‘select_concentric_band’: 2025-09-04T20:28:20,841 select.c:236:5: error: type of ‘min_id’ defaults to ‘int’ [-Wimplicit-int] 2025-09-04T20:28:20,841 236 | int select_concentric_band(min_id, max_id, max_constrained) 2025-09-04T20:28:20,841 | ^~~~~~~~~~~~~~~~~~~~~~ 2025-09-04T20:28:20,841 select.c:236:5: error: type of ‘max_id’ defaults to ‘int’ [-Wimplicit-int] 2025-09-04T20:28:20,841 select.c:236:5: error: type of ‘max_constrained’ defaults to ‘int’ [-Wimplicit-int] 2025-09-04T20:28:20,849 make[3]: *** [: select.o] Error 1 2025-09-04T20:28:20,849 make[3]: Leaving directory '/tmp/pip-wheel-fck4tt31/provers_4354e73e799b4dc0ad6ac2680069f60d/provers/bin/tmp/LADR-2009-11A/mace4.src' 2025-09-04T20:28:20,849 make[2]: *** [Makefile:26: lib] Error 2 2025-09-04T20:28:20,850 make[2]: Leaving directory '/tmp/pip-wheel-fck4tt31/provers_4354e73e799b4dc0ad6ac2680069f60d/provers/bin/tmp/LADR-2009-11A/mace4.src' 2025-09-04T20:28:20,850 make[1]: *** [Makefile:6: all] Error 2 2025-09-04T20:28:20,850 make[1]: Leaving directory '/tmp/pip-wheel-fck4tt31/provers_4354e73e799b4dc0ad6ac2680069f60d/provers/bin/tmp/LADR-2009-11A' 2025-09-04T20:28:20,851 make: *** [Makefile:15: prover9] Error 2 2025-09-04T20:28:20,859 Traceback (most recent call last): 2025-09-04T20:28:20,867 File "", line 2, in 2025-09-04T20:28:20,867 exec(compile(''' 2025-09-04T20:28:20,868 ~~~~^^^^^^^^^^^^ 2025-09-04T20:28:20,868 # This is -- a caller that pip uses to run setup.py 2025-09-04T20:28:20,868 ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ 2025-09-04T20:28:20,868 ...<32 lines>... 2025-09-04T20:28:20,868 exec(compile(setup_py_code, filename, "exec")) 2025-09-04T20:28:20,868 ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ 2025-09-04T20:28:20,868 ''' % ('/tmp/pip-wheel-fck4tt31/provers_4354e73e799b4dc0ad6ac2680069f60d/setup.py',), "", "exec")) 2025-09-04T20:28:20,869 ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ 2025-09-04T20:28:20,869 File "", line 35, in 2025-09-04T20:28:20,869 File "/tmp/pip-wheel-fck4tt31/provers_4354e73e799b4dc0ad6ac2680069f60d/setup.py", line 34, in 2025-09-04T20:28:20,869 setup( 2025-09-04T20:28:20,869 ~~~~~^ 2025-09-04T20:28:20,870 name='provers', 2025-09-04T20:28:20,870 ^^^^^^^^^^^^^^^ 2025-09-04T20:28:20,870 ...<34 lines>... 2025-09-04T20:28:20,870 } 2025-09-04T20:28:20,870 ^ 2025-09-04T20:28:20,870 ) 2025-09-04T20:28:20,870 ^ 2025-09-04T20:28:20,871 File "/usr/local/lib/python3.13/dist-packages/setuptools/__init__.py", line 115, in setup 2025-09-04T20:28:20,871 return distutils.core.setup(**attrs) 2025-09-04T20:28:20,871 ~~~~~~~~~~~~~~~~~~~~^^^^^^^^^ 2025-09-04T20:28:20,871 File "/usr/local/lib/python3.13/dist-packages/setuptools/_distutils/core.py", line 186, in setup 2025-09-04T20:28:20,871 return run_commands(dist) 2025-09-04T20:28:20,872 File "/usr/local/lib/python3.13/dist-packages/setuptools/_distutils/core.py", line 202, in run_commands 2025-09-04T20:28:20,872 dist.run_commands() 2025-09-04T20:28:20,872 ~~~~~~~~~~~~~~~~~^^ 2025-09-04T20:28:20,872 File "/usr/local/lib/python3.13/dist-packages/setuptools/_distutils/dist.py", line 1002, in run_commands 2025-09-04T20:28:20,872 self.run_command(cmd) 2025-09-04T20:28:20,872 ~~~~~~~~~~~~~~~~^^^^^ 2025-09-04T20:28:20,873 File "/usr/local/lib/python3.13/dist-packages/setuptools/dist.py", line 1102, in run_command 2025-09-04T20:28:20,873 super().run_command(command) 2025-09-04T20:28:20,873 ~~~~~~~~~~~~~~~~~~~^^^^^^^^^ 2025-09-04T20:28:20,873 File "/usr/local/lib/python3.13/dist-packages/setuptools/_distutils/dist.py", line 1021, in run_command 2025-09-04T20:28:20,873 cmd_obj.run() 2025-09-04T20:28:20,873 ~~~~~~~~~~~^^ 2025-09-04T20:28:20,874 File "/usr/local/lib/python3.13/dist-packages/setuptools/command/bdist_wheel.py", line 370, in run 2025-09-04T20:28:20,874 self.run_command("build") 2025-09-04T20:28:20,874 ~~~~~~~~~~~~~~~~^^^^^^^^^ 2025-09-04T20:28:20,874 File "/usr/local/lib/python3.13/dist-packages/setuptools/_distutils/cmd.py", line 357, in run_command 2025-09-04T20:28:20,874 self.distribution.run_command(command) 2025-09-04T20:28:20,875 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~^^^^^^^^^ 2025-09-04T20:28:20,875 File "/usr/local/lib/python3.13/dist-packages/setuptools/dist.py", line 1102, in run_command 2025-09-04T20:28:20,875 super().run_command(command) 2025-09-04T20:28:20,875 ~~~~~~~~~~~~~~~~~~~^^^^^^^^^ 2025-09-04T20:28:20,875 File "/usr/local/lib/python3.13/dist-packages/setuptools/_distutils/dist.py", line 1021, in run_command 2025-09-04T20:28:20,875 cmd_obj.run() 2025-09-04T20:28:20,876 ~~~~~~~~~~~^^ 2025-09-04T20:28:20,876 File "/usr/local/lib/python3.13/dist-packages/setuptools/_distutils/command/build.py", line 135, in run 2025-09-04T20:28:20,876 self.run_command(cmd_name) 2025-09-04T20:28:20,876 ~~~~~~~~~~~~~~~~^^^^^^^^^^ 2025-09-04T20:28:20,876 File "/usr/local/lib/python3.13/dist-packages/setuptools/_distutils/cmd.py", line 357, in run_command 2025-09-04T20:28:20,876 self.distribution.run_command(command) 2025-09-04T20:28:20,876 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~^^^^^^^^^ 2025-09-04T20:28:20,877 File "/usr/local/lib/python3.13/dist-packages/setuptools/dist.py", line 1102, in run_command 2025-09-04T20:28:20,877 super().run_command(command) 2025-09-04T20:28:20,877 ~~~~~~~~~~~~~~~~~~~^^^^^^^^^ 2025-09-04T20:28:20,877 File "/usr/local/lib/python3.13/dist-packages/setuptools/_distutils/dist.py", line 1021, in run_command 2025-09-04T20:28:20,877 cmd_obj.run() 2025-09-04T20:28:20,878 ~~~~~~~~~~~^^ 2025-09-04T20:28:20,878 File "/tmp/pip-wheel-fck4tt31/provers_4354e73e799b4dc0ad6ac2680069f60d/setup.py", line 25, in run 2025-09-04T20:28:20,878 subprocess.check_call(['make', 'all'], cwd='provers/bin') 2025-09-04T20:28:20,878 ~~~~~~~~~~~~~~~~~~~~~^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ 2025-09-04T20:28:20,878 File "/usr/lib/python3.13/subprocess.py", line 419, in check_call 2025-09-04T20:28:20,878 raise CalledProcessError(retcode, cmd) 2025-09-04T20:28:20,879 subprocess.CalledProcessError: Command '['make', 'all']' returned non-zero exit status 2. 2025-09-04T20:28:20,991 ERROR: python setup.py bdist_wheel exited with 1 2025-09-04T20:28:21,003 [bold magenta]full command[/]: [blue]/usr/bin/python3 -u -c ' 2025-09-04T20:28:21,003 exec(compile('"'"''"'"''"'"' 2025-09-04T20:28:21,003 # This is -- a caller that pip uses to run setup.py 2025-09-04T20:28:21,003 # 2025-09-04T20:28:21,003 # - It imports setuptools before invoking setup.py, to enable projects that directly 2025-09-04T20:28:21,003 # import from `distutils.core` to work with newer packaging standards. 2025-09-04T20:28:21,003 # - It provides a clear error message when setuptools is not installed. 2025-09-04T20:28:21,003 # - It sets `sys.argv[0]` to the underlying `setup.py`, when invoking `setup.py` so 2025-09-04T20:28:21,003 # setuptools doesn'"'"'t think the script is `-c`. This avoids the following warning: 2025-09-04T20:28:21,003 # manifest_maker: standard file '"'"'-c'"'"' not found". 2025-09-04T20:28:21,003 # - It generates a shim setup.py, for handling setup.cfg-only projects. 2025-09-04T20:28:21,003 import os, sys, tokenize, traceback 2025-09-04T20:28:21,003 2025-09-04T20:28:21,003 try: 2025-09-04T20:28:21,003 import setuptools 2025-09-04T20:28:21,003 except ImportError: 2025-09-04T20:28:21,003 print( 2025-09-04T20:28:21,003 "ERROR: Can not execute `setup.py` since setuptools failed to import in " 2025-09-04T20:28:21,003 "the build environment with exception:", 2025-09-04T20:28:21,003 file=sys.stderr, 2025-09-04T20:28:21,003 ) 2025-09-04T20:28:21,003 traceback.print_exc() 2025-09-04T20:28:21,003 sys.exit(1) 2025-09-04T20:28:21,003 2025-09-04T20:28:21,003 __file__ = %r 2025-09-04T20:28:21,003 sys.argv[0] = __file__ 2025-09-04T20:28:21,003 2025-09-04T20:28:21,003 if os.path.exists(__file__): 2025-09-04T20:28:21,003 filename = __file__ 2025-09-04T20:28:21,003 with tokenize.open(__file__) as f: 2025-09-04T20:28:21,003 setup_py_code = f.read() 2025-09-04T20:28:21,003 else: 2025-09-04T20:28:21,003 filename = "" 2025-09-04T20:28:21,003 setup_py_code = "from setuptools import setup; setup()" 2025-09-04T20:28:21,003 2025-09-04T20:28:21,003 exec(compile(setup_py_code, filename, "exec")) 2025-09-04T20:28:21,003 '"'"''"'"''"'"' % ('"'"'/tmp/pip-wheel-fck4tt31/provers_4354e73e799b4dc0ad6ac2680069f60d/setup.py'"'"',), "", "exec"))' bdist_wheel -d /tmp/pip-wheel-h0cus01v[/] 2025-09-04T20:28:21,004 [bold magenta]cwd[/]: /tmp/pip-wheel-fck4tt31/provers_4354e73e799b4dc0ad6ac2680069f60d/ 2025-09-04T20:28:21,004 Building wheel for provers (setup.py): finished with status 'error' 2025-09-04T20:28:21,004 ERROR: Failed building wheel for provers 2025-09-04T20:28:21,005 Running setup.py clean for provers 2025-09-04T20:28:21,006 Running command python setup.py clean 2025-09-04T20:28:21,707 /usr/local/lib/python3.13/dist-packages/setuptools/__init__.py:92: _DeprecatedInstaller: setuptools.installer and fetch_build_eggs are deprecated. 2025-09-04T20:28:21,707 !! 2025-09-04T20:28:21,708 ******************************************************************************** 2025-09-04T20:28:21,708 Requirements should be satisfied by a PEP 517 installer. 2025-09-04T20:28:21,708 If you are using pip, you can try `pip install --use-pep517`. 2025-09-04T20:28:21,708 By 2025-Oct-31, you need to update your project and remove deprecated calls 2025-09-04T20:28:21,708 or your builds will no longer be supported. 2025-09-04T20:28:21,708 ******************************************************************************** 2025-09-04T20:28:21,708 !! 2025-09-04T20:28:21,708 dist.fetch_build_eggs(dist.setup_requires) 2025-09-04T20:28:22,878 running clean 2025-09-04T20:28:23,028 'build/lib.linux-armv7l-cpython-313' does not exist -- can't clean it 2025-09-04T20:28:23,028 'build/bdist.linux-armv7l' does not exist -- can't clean it 2025-09-04T20:28:23,028 'build/scripts-3.13' does not exist -- can't clean it 2025-09-04T20:28:23,145 Failed to build provers 2025-09-04T20:28:23,146 ERROR: Failed to build one or more wheels 2025-09-04T20:28:23,147 Exception information: 2025-09-04T20:28:23,147 Traceback (most recent call last): 2025-09-04T20:28:23,147 File "/usr/lib/python3/dist-packages/pip/_internal/cli/base_command.py", line 105, in _run_wrapper 2025-09-04T20:28:23,147 status = _inner_run() 2025-09-04T20:28:23,147 File "/usr/lib/python3/dist-packages/pip/_internal/cli/base_command.py", line 96, in _inner_run 2025-09-04T20:28:23,147 return self.run(options, args) 2025-09-04T20:28:23,147 ~~~~~~~~^^^^^^^^^^^^^^^ 2025-09-04T20:28:23,147 File "/usr/lib/python3/dist-packages/pip/_internal/cli/req_command.py", line 68, in wrapper 2025-09-04T20:28:23,147 return func(self, options, args) 2025-09-04T20:28:23,147 File "/usr/lib/python3/dist-packages/pip/_internal/commands/wheel.py", line 180, in run 2025-09-04T20:28:23,147 raise CommandError("Failed to build one or more wheels") 2025-09-04T20:28:23,147 pip._internal.exceptions.CommandError: Failed to build one or more wheels 2025-09-04T20:28:23,151 Removed build tracker: '/tmp/pip-build-tracker-9pcc5zmz'