2025-09-04T20:27:17,842 Created temporary directory: /tmp/pip-build-tracker-n0j58k_o 2025-09-04T20:27:17,843 Initialized build tracking at /tmp/pip-build-tracker-n0j58k_o 2025-09-04T20:27:17,843 Created build tracker: /tmp/pip-build-tracker-n0j58k_o 2025-09-04T20:27:17,843 Entered build tracker: /tmp/pip-build-tracker-n0j58k_o 2025-09-04T20:27:17,843 Created temporary directory: /tmp/pip-wheel-1_qmfzp5 2025-09-04T20:27:17,847 Created temporary directory: /tmp/pip-ephem-wheel-cache-ycpawex8 2025-09-04T20:27:17,903 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple 2025-09-04T20:27:17,905 2 location(s) to search for versions of provers: 2025-09-04T20:27:17,905 * https://pypi.org/simple/provers/ 2025-09-04T20:27:17,905 * https://www.piwheels.org/simple/provers/ 2025-09-04T20:27:17,906 Fetching project page and analyzing links: https://pypi.org/simple/provers/ 2025-09-04T20:27:17,906 Getting page https://pypi.org/simple/provers/ 2025-09-04T20:27:17,907 Found index url https://pypi.org/simple/ 2025-09-04T20:27:17,978 Fetched page https://pypi.org/simple/provers/ as application/vnd.pypi.simple.v1+json 2025-09-04T20:27:17,981 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:17,981 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:17,982 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:17,982 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:17,982 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:17,982 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:17,982 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:17,983 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:17,983 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:17,983 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:17,983 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:17,983 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:17,984 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:17,984 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:17,984 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:17,984 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:17,984 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:17,985 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:17,985 Fetching project page and analyzing links: https://www.piwheels.org/simple/provers/ 2025-09-04T20:27:17,985 Getting page https://www.piwheels.org/simple/provers/ 2025-09-04T20:27:17,986 Found index url https://www.piwheels.org/simple/ 2025-09-04T20:27:18,076 Fetched page https://www.piwheels.org/simple/provers/ as text/html 2025-09-04T20:27:18,090 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:18,090 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:18,090 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:18,091 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:18,091 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:18,091 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:18,091 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:18,091 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:18,091 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:18,092 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:18,092 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:18,092 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:18,092 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:18,092 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:18,092 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:18,093 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:18,093 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:18,093 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:18,093 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:18,093 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:18,093 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:18,094 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:18,094 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:18,094 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:18,094 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:18,094 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:18,094 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:18,094 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:18,094 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:18,095 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:18,095 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:18,095 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:18,095 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:18,095 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:18,095 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:18,095 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:18,096 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:18,096 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:18,096 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:18,096 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:18,096 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:18,096 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:18,096 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:18,097 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:18,097 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:18,097 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:18,097 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:18,097 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:18,097 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:18,097 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:18,097 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:18,098 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:18,098 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:18,098 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:18,098 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:18,098 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:18,098 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:18,098 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:18,098 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:18,099 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:18,099 Skipping link: not a file: https://www.piwheels.org/simple/provers/ 2025-09-04T20:27:18,099 Skipping link: not a file: https://pypi.org/simple/provers/ 2025-09-04T20:27:18,124 Given no hashes to check 1 links for project 'provers': discarding no candidates 2025-09-04T20:27:18,125 Collecting provers==0.1.6 2025-09-04T20:27:18,126 Created temporary directory: /tmp/pip-unpack-4h58kmdx 2025-09-04T20:27:18,382 Downloading provers-0.1.6.tar.gz (14 kB) 2025-09-04T20:27:18,411 Added provers==0.1.6 from https://files.pythonhosted.org/packages/fb/54/b1a0ce5f20d3de1a01c34eaae867d69b99f808338edae45b26089dc0fecd/provers-0.1.6.tar.gz to build tracker '/tmp/pip-build-tracker-n0j58k_o' 2025-09-04T20:27:18,412 Running setup.py (path:/tmp/pip-wheel-1_qmfzp5/provers_f77a9f88bafa4166b87a5e09288295f9/setup.py) egg_info for package provers 2025-09-04T20:27:18,412 Created temporary directory: /tmp/pip-pip-egg-info-81e6f4k8 2025-09-04T20:27:18,412 Preparing metadata (setup.py): started 2025-09-04T20:27:18,413 Running command python setup.py egg_info 2025-09-04T20:27:19,052 /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,053 !! 2025-09-04T20:27:19,053 ******************************************************************************** 2025-09-04T20:27:19,053 Requirements should be satisfied by a PEP 517 installer. 2025-09-04T20:27:19,053 If you are using pip, you can try `pip install --use-pep517`. 2025-09-04T20:27:19,053 By 2025-Oct-31, you need to update your project and remove deprecated calls 2025-09-04T20:27:19,053 or your builds will no longer be supported. 2025-09-04T20:27:19,053 ******************************************************************************** 2025-09-04T20:27:19,054 !! 2025-09-04T20:27:19,054 dist.fetch_build_eggs(dist.setup_requires) 2025-09-04T20:27:22,787 running egg_info 2025-09-04T20:27:22,864 creating /tmp/pip-pip-egg-info-81e6f4k8/provers.egg-info 2025-09-04T20:27:22,864 writing /tmp/pip-pip-egg-info-81e6f4k8/provers.egg-info/PKG-INFO 2025-09-04T20:27:22,865 writing dependency_links to /tmp/pip-pip-egg-info-81e6f4k8/provers.egg-info/dependency_links.txt 2025-09-04T20:27:22,865 writing entry points to /tmp/pip-pip-egg-info-81e6f4k8/provers.egg-info/entry_points.txt 2025-09-04T20:27:22,866 writing top-level names to /tmp/pip-pip-egg-info-81e6f4k8/provers.egg-info/top_level.txt 2025-09-04T20:27:22,866 writing manifest file '/tmp/pip-pip-egg-info-81e6f4k8/provers.egg-info/SOURCES.txt' 2025-09-04T20:27:23,259 listing git files failed - pretending there aren't any 2025-09-04T20:27:23,271 reading manifest file '/tmp/pip-pip-egg-info-81e6f4k8/provers.egg-info/SOURCES.txt' 2025-09-04T20:27:23,272 reading manifest template 'MANIFEST.in' 2025-09-04T20:27:23,273 warning: no previously-included files found matching 'provers/bin/*' 2025-09-04T20:27:23,273 adding license file 'LICENSE' 2025-09-04T20:27:23,276 writing manifest file '/tmp/pip-pip-egg-info-81e6f4k8/provers.egg-info/SOURCES.txt' 2025-09-04T20:27:23,396 Preparing metadata (setup.py): finished with status 'done' 2025-09-04T20:27:23,401 Source in /tmp/pip-wheel-1_qmfzp5/provers_f77a9f88bafa4166b87a5e09288295f9 has version 0.1.6, which satisfies requirement provers==0.1.6 from https://files.pythonhosted.org/packages/fb/54/b1a0ce5f20d3de1a01c34eaae867d69b99f808338edae45b26089dc0fecd/provers-0.1.6.tar.gz 2025-09-04T20:27:23,401 Removed provers==0.1.6 from https://files.pythonhosted.org/packages/fb/54/b1a0ce5f20d3de1a01c34eaae867d69b99f808338edae45b26089dc0fecd/provers-0.1.6.tar.gz from build tracker '/tmp/pip-build-tracker-n0j58k_o' 2025-09-04T20:27:23,405 Created temporary directory: /tmp/pip-unpack-4ch_86o7 2025-09-04T20:27:23,405 Created temporary directory: /tmp/pip-unpack-g_nqcoti 2025-09-04T20:27:23,405 Building wheels for collected packages: provers 2025-09-04T20:27:23,407 Created temporary directory: /tmp/pip-wheel-7aoli2ul 2025-09-04T20:27:23,407 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:23,408 Building wheel for provers (setup.py): started 2025-09-04T20:27:23,409 Destination directory: /tmp/pip-wheel-7aoli2ul 2025-09-04T20:27:23,409 Running command python setup.py bdist_wheel 2025-09-04T20:27:24,043 /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,043 !! 2025-09-04T20:27:24,043 ******************************************************************************** 2025-09-04T20:27:24,043 Requirements should be satisfied by a PEP 517 installer. 2025-09-04T20:27:24,044 If you are using pip, you can try `pip install --use-pep517`. 2025-09-04T20:27:24,044 By 2025-Oct-31, you need to update your project and remove deprecated calls 2025-09-04T20:27:24,044 or your builds will no longer be supported. 2025-09-04T20:27:24,044 ******************************************************************************** 2025-09-04T20:27:24,044 !! 2025-09-04T20:27:24,044 dist.fetch_build_eggs(dist.setup_requires) 2025-09-04T20:27:25,115 running bdist_wheel 2025-09-04T20:27:25,495 running build 2025-09-04T20:27:25,495 running build_py 2025-09-04T20:27:25,502 mkdir tmp || true 2025-09-04T20:27:25,512 cd tmp && wget https://www.cs.unm.edu/~mccune/mace4/download/LADR-2009-11A.tar.gz 2025-09-04T20:27:25,543 --2025-09-04 20:27:25-- https://www.cs.unm.edu/~mccune/mace4/download/LADR-2009-11A.tar.gz 2025-09-04T20:27:25,589 Resolving www.cs.unm.edu (www.cs.unm.edu)... 64:ff9b::406a:144c, 64.106.20.76 2025-09-04T20:27:25,723 Connecting to www.cs.unm.edu (www.cs.unm.edu)|64:ff9b::406a:144c|:443... connected. 2025-09-04T20:27:26,129 HTTP request sent, awaiting response... 200 OK 2025-09-04T20:27:26,130 Length: 1795750 (1.7M) [application/x-gzip] 2025-09-04T20:27:26,130 Saving to: ‘LADR-2009-11A.tar.gz’ 2025-09-04T20:27:26,398 0K .......... .......... .......... .......... .......... 2% 187K 9s 2025-09-04T20:27:26,527 50K .......... .......... .......... .......... .......... 5% 390K 7s 2025-09-04T20:27:26,540 100K .......... .......... .......... .......... .......... 8% 3.63M 4s 2025-09-04T20:27:26,548 150K .......... .......... .......... .......... .......... 11% 5.56M 3s 2025-09-04T20:27:26,668 200K .......... .......... .......... .......... .......... 14% 416K 3s 2025-09-04T20:27:26,678 250K .......... .......... .......... .......... .......... 17% 5.07M 3s 2025-09-04T20:27:26,684 300K .......... .......... .......... .......... .......... 19% 8.67M 2s 2025-09-04T20:27:26,688 350K .......... .......... .......... .......... .......... 22% 10.9M 2s 2025-09-04T20:27:26,796 400K .......... .......... .......... .......... .......... 25% 464K 2s 2025-09-04T20:27:26,804 450K .......... .......... .......... .......... .......... 28% 5.95M 2s 2025-09-04T20:27:26,811 500K .......... .......... .......... .......... .......... 31% 6.79M 1s 2025-09-04T20:27:26,818 550K .......... .......... .......... .......... .......... 34% 6.72M 1s 2025-09-04T20:27:26,823 600K .......... .......... .......... .......... .......... 37% 10.6M 1s 2025-09-04T20:27:26,827 650K .......... .......... .......... .......... .......... 39% 12.7M 1s 2025-09-04T20:27:26,831 700K .......... .......... .......... .......... .......... 42% 10.9M 1s 2025-09-04T20:27:26,835 750K .......... .......... .......... .......... .......... 45% 12.6M 1s 2025-09-04T20:27:26,839 800K .......... .......... .......... .......... .......... 48% 12.7M 1s 2025-09-04T20:27:26,933 850K .......... .......... .......... .......... .......... 51% 532K 1s 2025-09-04T20:27:26,943 900K .......... .......... .......... .......... .......... 54% 5.03M 1s 2025-09-04T20:27:26,951 950K .......... .......... .......... .......... .......... 57% 5.96M 1s 2025-09-04T20:27:26,955 1000K .......... .......... .......... .......... .......... 59% 12.6M 1s 2025-09-04T20:27:26,959 1050K .......... .......... .......... .......... .......... 62% 12.6M 0s 2025-09-04T20:27:26,963 1100K .......... .......... .......... .......... .......... 65% 10.7M 0s 2025-09-04T20:27:26,967 1150K .......... .......... .......... .......... .......... 68% 12.6M 0s 2025-09-04T20:27:26,972 1200K .......... .......... .......... .......... .......... 71% 10.7M 0s 2025-09-04T20:27:26,976 1250K .......... .......... .......... .......... .......... 74% 12.3M 0s 2025-09-04T20:27:26,980 1300K .......... .......... .......... .......... .......... 76% 12.5M 0s 2025-09-04T20:27:26,984 1350K .......... .......... .......... .......... .......... 79% 10.8M 0s 2025-09-04T20:27:26,988 1400K .......... .......... .......... .......... .......... 82% 12.7M 0s 2025-09-04T20:27:26,992 1450K .......... .......... .......... .......... .......... 85% 10.8M 0s 2025-09-04T20:27:26,996 1500K .......... .......... .......... .......... .......... 88% 12.7M 0s 2025-09-04T20:27:27,000 1550K .......... .......... .......... .......... .......... 91% 12.7M 0s 2025-09-04T20:27:27,005 1600K .......... .......... .......... .......... .......... 94% 10.8M 0s 2025-09-04T20:27:27,008 1650K .......... .......... .......... .......... .......... 96% 12.7M 0s 2025-09-04T20:27:27,013 1700K .......... .......... .......... .......... .......... 99% 11.6M 0s 2025-09-04T20:27:27,013 1750K ... 100% 6.82T=0.9s 2025-09-04T20:27:27,013 2025-09-04 20:27:27 (1.94 MB/s) - ‘LADR-2009-11A.tar.gz’ saved [1795750/1795750] 2025-09-04T20:27:27,015 cd tmp && tar -xzf LADR-2009-11A.tar.gz 2025-09-04T20:27:27,183 cd tmp/LADR-2009-11A/provers.src && sed -i.old 's/^\([ \t]*\$(CC).*\) -lm \(.*\)$/\1 \2 -lm/g' Makefile 2025-09-04T20:27:27,193 cd tmp/LADR-2009-11A && make all 2025-09-04T20:27:27,203 make[1]: Entering directory '/tmp/pip-wheel-1_qmfzp5/provers_f77a9f88bafa4166b87a5e09288295f9/provers/bin/tmp/LADR-2009-11A' 2025-09-04T20:27:27,204 cd ladr && make lib 2025-09-04T20:27:27,218 make[2]: Entering directory '/tmp/pip-wheel-1_qmfzp5/provers_f77a9f88bafa4166b87a5e09288295f9/provers/bin/tmp/LADR-2009-11A/ladr' 2025-09-04T20:27:27,218 make libladr.a 2025-09-04T20:27:27,231 make[3]: Entering directory '/tmp/pip-wheel-1_qmfzp5/provers_f77a9f88bafa4166b87a5e09288295f9/provers/bin/tmp/LADR-2009-11A/ladr' 2025-09-04T20:27:27,231 gcc -O -Wall -c -o order.o order.c 2025-09-04T20:27:27,397 gcc -O -Wall -c -o clock.o clock.c 2025-09-04T20:27:27,624 gcc -O -Wall -c -o nonport.o nonport.c 2025-09-04T20:27:27,732 gcc -O -Wall -c -o fatal.o fatal.c 2025-09-04T20:27:27,864 gcc -O -Wall -c -o ibuffer.o ibuffer.c 2025-09-04T20:27:28,060 gcc -O -Wall -c -o memory.o memory.c 2025-09-04T20:27:28,279 gcc -O -Wall -c -o hash.o hash.c 2025-09-04T20:27:28,484 gcc -O -Wall -c -o string.o string.c 2025-09-04T20:27:28,723 gcc -O -Wall -c -o strbuf.o strbuf.c 2025-09-04T20:27:28,998 gcc -O -Wall -c -o glist.o glist.c 2025-09-04T20:27:29,598 gcc -O -Wall -c -o options.o options.c 2025-09-04T20:27:30,110 gcc -O -Wall -c -o symbols.o symbols.c 2025-09-04T20:27:30,226 symbols.c: In function ‘declare_base_symbols’: 2025-09-04T20:27:30,226 symbols.c:1304:7: warning: variable ‘sn’ set but not used [-Wunused-but-set-variable] 2025-09-04T20:27:30,226 1304 | int sn; 2025-09-04T20:27:30,226 | ^~ 2025-09-04T20:27:31,063 gcc -O -Wall -c -o avltree.o avltree.c 2025-09-04T20:27:31,423 gcc -O -Wall -c -o term.o term.c 2025-09-04T20:27:32,272 gcc -O -Wall -c -o termflag.o termflag.c 2025-09-04T20:27:32,464 gcc -O -Wall -c -o listterm.o listterm.c 2025-09-04T20:27:32,658 gcc -O -Wall -c -o tlist.o tlist.c 2025-09-04T20:27:32,829 gcc -O -Wall -c -o flatterm.o flatterm.c 2025-09-04T20:27:33,085 gcc -O -Wall -c -o multiset.o multiset.c 2025-09-04T20:27:33,262 gcc -O -Wall -c -o termorder.o termorder.c 2025-09-04T20:27:33,720 gcc -O -Wall -c -o parse.o parse.c 2025-09-04T20:27:34,501 gcc -O -Wall -c -o accanon.o accanon.c 2025-09-04T20:27:34,695 gcc -O -Wall -c -o unify.o unify.c 2025-09-04T20:27:35,132 gcc -O -Wall -c -o fpalist.o fpalist.c 2025-09-04T20:27:35,445 gcc -O -Wall -c -o fpa.o fpa.c 2025-09-04T20:27:35,950 gcc -O -Wall -c -o discrim.o discrim.c 2025-09-04T20:27:36,135 gcc -O -Wall -c -o discrimb.o discrimb.c 2025-09-04T20:27:36,258 discrimb.c:487:7: warning: ‘check_flat2’ defined but not used [-Wunused-function] 2025-09-04T20:27:36,258 487 | Flat2 check_flat2(Flat2 f) 2025-09-04T20:27:36,258 | ^~~~~~~~~~~ 2025-09-04T20:27:36,501 gcc -O -Wall -c -o discrimw.o discrimw.c 2025-09-04T20:27:36,629 discrimw.c:146:6: warning: ‘check_flat’ defined but not used [-Wunused-function] 2025-09-04T20:27:36,629 146 | Flat check_flat(Flat f) 2025-09-04T20:27:36,629 | ^~~~~~~~~~ 2025-09-04T20:27:36,922 gcc -O -Wall -c -o dioph.o dioph.c 2025-09-04T20:27:37,520 gcc -O -Wall -c -o btu.o btu.c 2025-09-04T20:27:38,173 gcc -O -Wall -c -o btm.o btm.c 2025-09-04T20:27:38,826 gcc -O -Wall -c -o mindex.o mindex.c 2025-09-04T20:27:38,943 mindex.c: In function ‘mindex_retrieve_next’: 2025-09-04T20:27:38,944 mindex.c:650:11: warning: variable ‘tr’ set but not used [-Wunused-but-set-variable] 2025-09-04T20:27:38,944 650 | Trail tr; 2025-09-04T20:27:38,944 | ^~ 2025-09-04T20:27:39,138 gcc -O -Wall -c -o basic.o basic.c 2025-09-04T20:27:39,364 gcc -O -Wall -c -o attrib.o attrib.c 2025-09-04T20:27:39,800 gcc -O -Wall -c -o formula.o formula.c 2025-09-04T20:27:40,638 gcc -O -Wall -c -o definitions.o definitions.c 2025-09-04T20:27:40,901 gcc -O -Wall -c -o literals.o literals.c 2025-09-04T20:27:41,325 gcc -O -Wall -c -o topform.o topform.c 2025-09-04T20:27:41,709 gcc -O -Wall -c -o clist.o clist.c 2025-09-04T20:27:42,130 gcc -O -Wall -c -o clauseid.o clauseid.c 2025-09-04T20:27:42,341 gcc -O -Wall -c -o clauses.o clauses.c 2025-09-04T20:27:42,565 gcc -O -Wall -c -o just.o just.c 2025-09-04T20:27:43,339 gcc -O -Wall -c -o cnf.o cnf.c 2025-09-04T20:27:43,916 gcc -O -Wall -c -o clausify.o clausify.c 2025-09-04T20:27:44,139 gcc -O -Wall -c -o parautil.o parautil.c 2025-09-04T20:27:44,440 gcc -O -Wall -c -o pindex.o pindex.c 2025-09-04T20:27:44,818 gcc -O -Wall -c -o compress.o compress.c 2025-09-04T20:27:45,004 gcc -O -Wall -c -o maximal.o maximal.c 2025-09-04T20:27:45,224 gcc -O -Wall -c -o lindex.o lindex.c 2025-09-04T20:27:45,407 gcc -O -Wall -c -o weight.o weight.c 2025-09-04T20:27:45,692 gcc -O -Wall -c -o weight2.o weight2.c 2025-09-04T20:27:45,865 gcc -O -Wall -c -o int_code.o int_code.c 2025-09-04T20:27:46,108 gcc -O -Wall -c -o features.o features.c 2025-09-04T20:27:46,316 gcc -O -Wall -c -o di_tree.o di_tree.c 2025-09-04T20:27:46,599 gcc -O -Wall -c -o fastparse.o fastparse.c 2025-09-04T20:27:46,811 gcc -O -Wall -c -o random.o random.c 2025-09-04T20:27:47,071 gcc -O -Wall -c -o subsume.o subsume.c 2025-09-04T20:27:47,486 gcc -O -Wall -c -o clause_misc.o clause_misc.c 2025-09-04T20:27:47,686 gcc -O -Wall -c -o clause_eval.o clause_eval.c 2025-09-04T20:27:47,927 gcc -O -Wall -c -o complex.o complex.c 2025-09-04T20:27:48,045 complex.c: In function ‘complex4_p1’: 2025-09-04T20:27:48,045 complex.c:275:8: warning: variable ‘dummy’ set but not used [-Wunused-but-set-variable] 2025-09-04T20:27:48,045 275 | BOOL dummy; 2025-09-04T20:27:48,046 | ^~~~~ 2025-09-04T20:27:48,201 gcc -O -Wall -c -o dollar.o dollar.c 2025-09-04T20:27:48,575 gcc -O -Wall -c -o flatdemod.o flatdemod.c 2025-09-04T20:27:48,692 flatdemod.c: In function ‘discrim_flat_retrieve_leaf’: 2025-09-04T20:27:48,692 flatdemod.c:122:16: warning: comparison between ‘BOOL’ and ‘enum ’ [-Wenum-compare] 2025-09-04T20:27:48,692 122 | if (status == BACKTRACK) { 2025-09-04T20:27:48,693 | ^~ 2025-09-04T20:27:48,694 flatdemod.c:158:15: warning: variable ‘dd’ set but not used [-Wunused-but-set-variable] 2025-09-04T20:27:48,694 158 | Discrim dd = NULL; 2025-09-04T20:27:48,694 | ^~ 2025-09-04T20:27:48,694 flatdemod.c:167:16: warning: comparison between ‘BOOL’ and ‘enum ’ [-Wenum-compare] 2025-09-04T20:27:48,694 167 | if (status == GO) { 2025-09-04T20:27:48,694 | ^~ 2025-09-04T20:27:48,851 gcc -O -Wall -c -o demod.o demod.c 2025-09-04T20:27:48,973 demod.c: In function ‘demod1’: 2025-09-04T20:27:48,974 demod.c:376:8: warning: variable ‘result’ set but not used [-Wunused-but-set-variable] 2025-09-04T20:27:48,974 376 | Term result; 2025-09-04T20:27:48,974 | ^~~~~~ 2025-09-04T20:27:49,170 gcc -O -Wall -c -o clash.o clash.c 2025-09-04T20:27:49,295 clash.c: In function ‘clash_recurse’: 2025-09-04T20:27:49,296 clash.c:283:12: warning: suggest parentheses around operand of ‘!’ or change ‘|’ to ‘||’ or ‘!’ to ‘~’ [-Wparentheses] 2025-09-04T20:27:49,296 283 | else if (!p->clashable | p->clashed) 2025-09-04T20:27:49,296 | ^~~~~~~~~~~~~ 2025-09-04T20:27:49,422 gcc -O -Wall -c -o resolve.o resolve.c 2025-09-04T20:27:49,920 gcc -O -Wall -c -o paramod.o paramod.c 2025-09-04T20:27:50,041 paramod.c: In function ‘para_into’: 2025-09-04T20:27:50,042 paramod.c:347:8: warning: suggest parentheses around operand of ‘!’ or change ‘|’ to ‘||’ or ‘!’ to ‘~’ [-Wparentheses] 2025-09-04T20:27:50,042 347 | if ((!VARIABLE(into) | Para_into_vars) && basic_check(into)) { 2025-09-04T20:27:50,272 gcc -O -Wall -c -o backdemod.o backdemod.c 2025-09-04T20:27:50,505 gcc -O -Wall -c -o hints.o hints.c 2025-09-04T20:27:50,747 gcc -O -Wall -c -o ac_redun.o ac_redun.c 2025-09-04T20:27:51,088 gcc -O -Wall -c -o xproofs.o xproofs.c 2025-09-04T20:27:51,445 gcc -O -Wall -c -o ivy.o ivy.c 2025-09-04T20:27:51,571 ivy.c: In function ‘factor2_instances’: 2025-09-04T20:27:51,572 ivy.c:633:14: warning: variable ‘l1i’ set but not used [-Wunused-but-set-variable] 2025-09-04T20:27:51,572 633 | Literals l1i, l2i, lit; 2025-09-04T20:27:51,572 | ^~~ 2025-09-04T20:27:51,920 gcc -O -Wall -c -o interp.o interp.c 2025-09-04T20:27:52,057 interp.c: In function ‘transpose_binary’: 2025-09-04T20:27:52,058 interp.c:358:10: warning: variable ‘rc’ set but not used [-Wunused-but-set-variable] 2025-09-04T20:27:52,058 358 | int i, rc; 2025-09-04T20:27:52,058 | ^~ 2025-09-04T20:27:53,737 gcc -O -Wall -c -o std_options.o std_options.c 2025-09-04T20:27:53,887 gcc -O -Wall -c -o banner.o banner.c 2025-09-04T20:27:54,056 gcc -O -Wall -c -o ioutil.o ioutil.c 2025-09-04T20:27:54,461 gcc -O -Wall -c -o tptp_trans.o tptp_trans.c 2025-09-04T20:27:54,899 gcc -O -Wall -c -o top_input.o top_input.c 2025-09-04T20:27:55,466 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:55,471 ar: creating libladr.a 2025-09-04T20:27:55,648 make[3]: Leaving directory '/tmp/pip-wheel-1_qmfzp5/provers_f77a9f88bafa4166b87a5e09288295f9/provers/bin/tmp/LADR-2009-11A/ladr' 2025-09-04T20:27:55,649 make[2]: Leaving directory '/tmp/pip-wheel-1_qmfzp5/provers_f77a9f88bafa4166b87a5e09288295f9/provers/bin/tmp/LADR-2009-11A/ladr' 2025-09-04T20:27:55,650 cd mace4.src && make all 2025-09-04T20:27:55,660 make[2]: Entering directory '/tmp/pip-wheel-1_qmfzp5/provers_f77a9f88bafa4166b87a5e09288295f9/provers/bin/tmp/LADR-2009-11A/mace4.src' 2025-09-04T20:27:55,660 cd ../ladr && make libladr.a 2025-09-04T20:27:55,689 make[3]: Entering directory '/tmp/pip-wheel-1_qmfzp5/provers_f77a9f88bafa4166b87a5e09288295f9/provers/bin/tmp/LADR-2009-11A/ladr' 2025-09-04T20:27:55,689 make[3]: 'libladr.a' is up to date. 2025-09-04T20:27:55,689 make[3]: Leaving directory '/tmp/pip-wheel-1_qmfzp5/provers_f77a9f88bafa4166b87a5e09288295f9/provers/bin/tmp/LADR-2009-11A/ladr' 2025-09-04T20:27:55,690 make clean 2025-09-04T20:27:55,699 make[3]: Entering directory '/tmp/pip-wheel-1_qmfzp5/provers_f77a9f88bafa4166b87a5e09288295f9/provers/bin/tmp/LADR-2009-11A/mace4.src' 2025-09-04T20:27:55,699 /bin/rm -f *.o 2025-09-04T20:27:55,707 make[3]: Leaving directory '/tmp/pip-wheel-1_qmfzp5/provers_f77a9f88bafa4166b87a5e09288295f9/provers/bin/tmp/LADR-2009-11A/mace4.src' 2025-09-04T20:27:55,708 make libmace4.a 2025-09-04T20:27:55,717 make[3]: Entering directory '/tmp/pip-wheel-1_qmfzp5/provers_f77a9f88bafa4166b87a5e09288295f9/provers/bin/tmp/LADR-2009-11A/mace4.src' 2025-09-04T20:27:55,717 gcc -O -Wall -c -o estack.o estack.c 2025-09-04T20:27:55,904 gcc -O -Wall -c -o util.o util.c 2025-09-04T20:27:56,058 gcc -O -Wall -c -o print.o print.c 2025-09-04T20:27:56,437 gcc -O -Wall -c -o syms.o syms.c 2025-09-04T20:27:56,663 gcc -O -Wall -c -o ground.o ground.c 2025-09-04T20:27:57,074 gcc -O -Wall -c -o arithmetic.o arithmetic.c 2025-09-04T20:27:57,491 gcc -O -Wall -c -o select.o select.c 2025-09-04T20:27:57,623 select.c: In function ‘select_concentric_band’: 2025-09-04T20:27:57,623 select.c:236:5: error: type of ‘min_id’ defaults to ‘int’ [-Wimplicit-int] 2025-09-04T20:27:57,623 236 | int select_concentric_band(min_id, max_id, max_constrained) 2025-09-04T20:27:57,623 | ^~~~~~~~~~~~~~~~~~~~~~ 2025-09-04T20:27:57,624 select.c:236:5: error: type of ‘max_id’ defaults to ‘int’ [-Wimplicit-int] 2025-09-04T20:27:57,624 select.c:236:5: error: type of ‘max_constrained’ defaults to ‘int’ [-Wimplicit-int] 2025-09-04T20:27:57,632 make[3]: *** [: select.o] Error 1 2025-09-04T20:27:57,633 make[3]: Leaving directory '/tmp/pip-wheel-1_qmfzp5/provers_f77a9f88bafa4166b87a5e09288295f9/provers/bin/tmp/LADR-2009-11A/mace4.src' 2025-09-04T20:27:57,633 make[2]: *** [Makefile:26: lib] Error 2 2025-09-04T20:27:57,633 make[2]: Leaving directory '/tmp/pip-wheel-1_qmfzp5/provers_f77a9f88bafa4166b87a5e09288295f9/provers/bin/tmp/LADR-2009-11A/mace4.src' 2025-09-04T20:27:57,633 make[1]: *** [Makefile:6: all] Error 2 2025-09-04T20:27:57,634 make[1]: Leaving directory '/tmp/pip-wheel-1_qmfzp5/provers_f77a9f88bafa4166b87a5e09288295f9/provers/bin/tmp/LADR-2009-11A' 2025-09-04T20:27:57,634 make: *** [Makefile:13: prover9] Error 2 2025-09-04T20:27:57,643 Traceback (most recent call last): 2025-09-04T20:27:57,651 File "", line 2, in 2025-09-04T20:27:57,651 exec(compile(''' 2025-09-04T20:27:57,651 ~~~~^^^^^^^^^^^^ 2025-09-04T20:27:57,652 # This is -- a caller that pip uses to run setup.py 2025-09-04T20:27:57,652 ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ 2025-09-04T20:27:57,652 ...<32 lines>... 2025-09-04T20:27:57,652 exec(compile(setup_py_code, filename, "exec")) 2025-09-04T20:27:57,652 ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ 2025-09-04T20:27:57,652 ''' % ('/tmp/pip-wheel-1_qmfzp5/provers_f77a9f88bafa4166b87a5e09288295f9/setup.py',), "", "exec")) 2025-09-04T20:27:57,652 ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ 2025-09-04T20:27:57,653 File "", line 35, in 2025-09-04T20:27:57,653 File "/tmp/pip-wheel-1_qmfzp5/provers_f77a9f88bafa4166b87a5e09288295f9/setup.py", line 34, in 2025-09-04T20:27:57,653 setup( 2025-09-04T20:27:57,653 ~~~~~^ 2025-09-04T20:27:57,653 name='provers', 2025-09-04T20:27:57,653 ^^^^^^^^^^^^^^^ 2025-09-04T20:27:57,653 ...<25 lines>... 2025-09-04T20:27:57,653 } 2025-09-04T20:27:57,654 ^ 2025-09-04T20:27:57,654 ) 2025-09-04T20:27:57,654 ^ 2025-09-04T20:27:57,654 File "/usr/local/lib/python3.13/dist-packages/setuptools/__init__.py", line 115, in setup 2025-09-04T20:27:57,654 return distutils.core.setup(**attrs) 2025-09-04T20:27:57,654 ~~~~~~~~~~~~~~~~~~~~^^^^^^^^^ 2025-09-04T20:27:57,654 File "/usr/local/lib/python3.13/dist-packages/setuptools/_distutils/core.py", line 186, in setup 2025-09-04T20:27:57,655 return run_commands(dist) 2025-09-04T20:27:57,655 File "/usr/local/lib/python3.13/dist-packages/setuptools/_distutils/core.py", line 202, in run_commands 2025-09-04T20:27:57,655 dist.run_commands() 2025-09-04T20:27:57,655 ~~~~~~~~~~~~~~~~~^^ 2025-09-04T20:27:57,655 File "/usr/local/lib/python3.13/dist-packages/setuptools/_distutils/dist.py", line 1002, in run_commands 2025-09-04T20:27:57,655 self.run_command(cmd) 2025-09-04T20:27:57,655 ~~~~~~~~~~~~~~~~^^^^^ 2025-09-04T20:27:57,656 File "/usr/local/lib/python3.13/dist-packages/setuptools/dist.py", line 1102, in run_command 2025-09-04T20:27:57,656 super().run_command(command) 2025-09-04T20:27:57,656 ~~~~~~~~~~~~~~~~~~~^^^^^^^^^ 2025-09-04T20:27:57,656 File "/usr/local/lib/python3.13/dist-packages/setuptools/_distutils/dist.py", line 1021, in run_command 2025-09-04T20:27:57,656 cmd_obj.run() 2025-09-04T20:27:57,656 ~~~~~~~~~~~^^ 2025-09-04T20:27:57,656 File "/usr/local/lib/python3.13/dist-packages/setuptools/command/bdist_wheel.py", line 370, in run 2025-09-04T20:27:57,657 self.run_command("build") 2025-09-04T20:27:57,657 ~~~~~~~~~~~~~~~~^^^^^^^^^ 2025-09-04T20:27:57,657 File "/usr/local/lib/python3.13/dist-packages/setuptools/_distutils/cmd.py", line 357, in run_command 2025-09-04T20:27:57,657 self.distribution.run_command(command) 2025-09-04T20:27:57,657 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~^^^^^^^^^ 2025-09-04T20:27:57,657 File "/usr/local/lib/python3.13/dist-packages/setuptools/dist.py", line 1102, in run_command 2025-09-04T20:27:57,657 super().run_command(command) 2025-09-04T20:27:57,658 ~~~~~~~~~~~~~~~~~~~^^^^^^^^^ 2025-09-04T20:27:57,658 File "/usr/local/lib/python3.13/dist-packages/setuptools/_distutils/dist.py", line 1021, in run_command 2025-09-04T20:27:57,658 cmd_obj.run() 2025-09-04T20:27:57,658 ~~~~~~~~~~~^^ 2025-09-04T20:27:57,662 File "/usr/local/lib/python3.13/dist-packages/setuptools/_distutils/command/build.py", line 135, in run 2025-09-04T20:27:57,662 self.run_command(cmd_name) 2025-09-04T20:27:57,662 ~~~~~~~~~~~~~~~~^^^^^^^^^^ 2025-09-04T20:27:57,662 File "/usr/local/lib/python3.13/dist-packages/setuptools/_distutils/cmd.py", line 357, in run_command 2025-09-04T20:27:57,663 self.distribution.run_command(command) 2025-09-04T20:27:57,663 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~^^^^^^^^^ 2025-09-04T20:27:57,663 File "/usr/local/lib/python3.13/dist-packages/setuptools/dist.py", line 1102, in run_command 2025-09-04T20:27:57,663 super().run_command(command) 2025-09-04T20:27:57,663 ~~~~~~~~~~~~~~~~~~~^^^^^^^^^ 2025-09-04T20:27:57,663 File "/usr/local/lib/python3.13/dist-packages/setuptools/_distutils/dist.py", line 1021, in run_command 2025-09-04T20:27:57,664 cmd_obj.run() 2025-09-04T20:27:57,664 ~~~~~~~~~~~^^ 2025-09-04T20:27:57,664 File "/tmp/pip-wheel-1_qmfzp5/provers_f77a9f88bafa4166b87a5e09288295f9/setup.py", line 25, in run 2025-09-04T20:27:57,664 subprocess.check_call(['make', 'all'], cwd='provers/bin') 2025-09-04T20:27:57,664 ~~~~~~~~~~~~~~~~~~~~~^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ 2025-09-04T20:27:57,664 File "/usr/lib/python3.13/subprocess.py", line 419, in check_call 2025-09-04T20:27:57,665 raise CalledProcessError(retcode, cmd) 2025-09-04T20:27:57,665 subprocess.CalledProcessError: Command '['make', 'all']' returned non-zero exit status 2. 2025-09-04T20:27:57,779 ERROR: python setup.py bdist_wheel exited with 1 2025-09-04T20:27:57,791 [bold magenta]full command[/]: [blue]/usr/bin/python3 -u -c ' 2025-09-04T20:27:57,791 exec(compile('"'"''"'"''"'"' 2025-09-04T20:27:57,791 # This is -- a caller that pip uses to run setup.py 2025-09-04T20:27:57,791 # 2025-09-04T20:27:57,791 # - It imports setuptools before invoking setup.py, to enable projects that directly 2025-09-04T20:27:57,791 # import from `distutils.core` to work with newer packaging standards. 2025-09-04T20:27:57,791 # - It provides a clear error message when setuptools is not installed. 2025-09-04T20:27:57,791 # - It sets `sys.argv[0]` to the underlying `setup.py`, when invoking `setup.py` so 2025-09-04T20:27:57,791 # setuptools doesn'"'"'t think the script is `-c`. This avoids the following warning: 2025-09-04T20:27:57,791 # manifest_maker: standard file '"'"'-c'"'"' not found". 2025-09-04T20:27:57,791 # - It generates a shim setup.py, for handling setup.cfg-only projects. 2025-09-04T20:27:57,791 import os, sys, tokenize, traceback 2025-09-04T20:27:57,791 2025-09-04T20:27:57,791 try: 2025-09-04T20:27:57,791 import setuptools 2025-09-04T20:27:57,791 except ImportError: 2025-09-04T20:27:57,791 print( 2025-09-04T20:27:57,791 "ERROR: Can not execute `setup.py` since setuptools failed to import in " 2025-09-04T20:27:57,791 "the build environment with exception:", 2025-09-04T20:27:57,791 file=sys.stderr, 2025-09-04T20:27:57,791 ) 2025-09-04T20:27:57,791 traceback.print_exc() 2025-09-04T20:27:57,791 sys.exit(1) 2025-09-04T20:27:57,791 2025-09-04T20:27:57,791 __file__ = %r 2025-09-04T20:27:57,791 sys.argv[0] = __file__ 2025-09-04T20:27:57,791 2025-09-04T20:27:57,791 if os.path.exists(__file__): 2025-09-04T20:27:57,791 filename = __file__ 2025-09-04T20:27:57,791 with tokenize.open(__file__) as f: 2025-09-04T20:27:57,791 setup_py_code = f.read() 2025-09-04T20:27:57,791 else: 2025-09-04T20:27:57,791 filename = "" 2025-09-04T20:27:57,791 setup_py_code = "from setuptools import setup; setup()" 2025-09-04T20:27:57,791 2025-09-04T20:27:57,791 exec(compile(setup_py_code, filename, "exec")) 2025-09-04T20:27:57,791 '"'"''"'"''"'"' % ('"'"'/tmp/pip-wheel-1_qmfzp5/provers_f77a9f88bafa4166b87a5e09288295f9/setup.py'"'"',), "", "exec"))' bdist_wheel -d /tmp/pip-wheel-7aoli2ul[/] 2025-09-04T20:27:57,791 [bold magenta]cwd[/]: /tmp/pip-wheel-1_qmfzp5/provers_f77a9f88bafa4166b87a5e09288295f9/ 2025-09-04T20:27:57,792 Building wheel for provers (setup.py): finished with status 'error' 2025-09-04T20:27:57,792 ERROR: Failed building wheel for provers 2025-09-04T20:27:57,793 Running setup.py clean for provers 2025-09-04T20:27:57,794 Running command python setup.py clean 2025-09-04T20:27:58,538 /usr/local/lib/python3.13/dist-packages/setuptools/__init__.py:92: _DeprecatedInstaller: setuptools.installer and fetch_build_eggs are deprecated. 2025-09-04T20:27:58,538 !! 2025-09-04T20:27:58,539 ******************************************************************************** 2025-09-04T20:27:58,539 Requirements should be satisfied by a PEP 517 installer. 2025-09-04T20:27:58,539 If you are using pip, you can try `pip install --use-pep517`. 2025-09-04T20:27:58,539 By 2025-Oct-31, you need to update your project and remove deprecated calls 2025-09-04T20:27:58,539 or your builds will no longer be supported. 2025-09-04T20:27:58,539 ******************************************************************************** 2025-09-04T20:27:58,539 !! 2025-09-04T20:27:58,540 dist.fetch_build_eggs(dist.setup_requires) 2025-09-04T20:27:59,695 running clean 2025-09-04T20:27:59,846 'build/lib.linux-armv7l-cpython-313' does not exist -- can't clean it 2025-09-04T20:27:59,846 'build/bdist.linux-armv7l' does not exist -- can't clean it 2025-09-04T20:27:59,847 'build/scripts-3.13' does not exist -- can't clean it 2025-09-04T20:27:59,963 Failed to build provers 2025-09-04T20:27:59,964 ERROR: Failed to build one or more wheels 2025-09-04T20:27:59,965 Exception information: 2025-09-04T20:27:59,965 Traceback (most recent call last): 2025-09-04T20:27:59,965 File "/usr/lib/python3/dist-packages/pip/_internal/cli/base_command.py", line 105, in _run_wrapper 2025-09-04T20:27:59,965 status = _inner_run() 2025-09-04T20:27:59,965 File "/usr/lib/python3/dist-packages/pip/_internal/cli/base_command.py", line 96, in _inner_run 2025-09-04T20:27:59,965 return self.run(options, args) 2025-09-04T20:27:59,965 ~~~~~~~~^^^^^^^^^^^^^^^ 2025-09-04T20:27:59,965 File "/usr/lib/python3/dist-packages/pip/_internal/cli/req_command.py", line 68, in wrapper 2025-09-04T20:27:59,965 return func(self, options, args) 2025-09-04T20:27:59,965 File "/usr/lib/python3/dist-packages/pip/_internal/commands/wheel.py", line 180, in run 2025-09-04T20:27:59,965 raise CommandError("Failed to build one or more wheels") 2025-09-04T20:27:59,965 pip._internal.exceptions.CommandError: Failed to build one or more wheels 2025-09-04T20:27:59,969 Removed build tracker: '/tmp/pip-build-tracker-n0j58k_o'