2025-09-04T20:27:31,338 Created temporary directory: /tmp/pip-build-tracker-77n56j4c 2025-09-04T20:27:31,339 Initialized build tracking at /tmp/pip-build-tracker-77n56j4c 2025-09-04T20:27:31,339 Created build tracker: /tmp/pip-build-tracker-77n56j4c 2025-09-04T20:27:31,339 Entered build tracker: /tmp/pip-build-tracker-77n56j4c 2025-09-04T20:27:31,339 Created temporary directory: /tmp/pip-wheel-hvyl6ifh 2025-09-04T20:27:31,342 Created temporary directory: /tmp/pip-ephem-wheel-cache-phyc40d2 2025-09-04T20:27:31,399 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple 2025-09-04T20:27:31,401 2 location(s) to search for versions of provers: 2025-09-04T20:27:31,401 * https://pypi.org/simple/provers/ 2025-09-04T20:27:31,401 * https://www.piwheels.org/simple/provers/ 2025-09-04T20:27:31,402 Fetching project page and analyzing links: https://pypi.org/simple/provers/ 2025-09-04T20:27:31,402 Getting page https://pypi.org/simple/provers/ 2025-09-04T20:27:31,403 Found index url https://pypi.org/simple/ 2025-09-04T20:27:31,474 Fetched page https://pypi.org/simple/provers/ as application/vnd.pypi.simple.v1+json 2025-09-04T20:27:31,477 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:31,477 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:31,477 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:31,478 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:31,478 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:31,478 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:31,478 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:31,478 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:31,479 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:31,479 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:31,479 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:31,479 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:31,479 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:31,480 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:31,480 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:31,480 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:31,480 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:31,480 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:31,481 Fetching project page and analyzing links: https://www.piwheels.org/simple/provers/ 2025-09-04T20:27:31,481 Getting page https://www.piwheels.org/simple/provers/ 2025-09-04T20:27:31,482 Found index url https://www.piwheels.org/simple/ 2025-09-04T20:27:31,570 Fetched page https://www.piwheels.org/simple/provers/ as text/html 2025-09-04T20:27:31,582 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:31,582 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:31,582 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:31,582 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:31,582 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:31,582 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:31,582 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:31,583 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:31,583 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:31,583 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:31,583 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:31,583 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:31,583 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:31,583 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:31,584 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:31,584 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:31,584 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:31,584 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:31,584 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:31,584 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:31,584 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:31,584 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:31,585 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:31,585 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:31,585 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:31,585 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:31,585 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:31,585 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:31,585 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:31,585 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:31,586 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:31,586 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:31,586 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:31,586 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:31,586 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:31,586 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:31,586 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:31,586 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:31,587 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:31,587 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:31,587 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:31,587 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:31,587 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:31,587 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:31,587 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:31,587 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:31,588 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:31,588 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:31,588 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:31,588 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:31,588 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:31,588 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:31,588 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:31,588 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:31,588 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:31,589 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:31,589 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:31,589 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:31,589 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:31,589 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:31,589 Skipping link: not a file: https://www.piwheels.org/simple/provers/ 2025-09-04T20:27:31,590 Skipping link: not a file: https://pypi.org/simple/provers/ 2025-09-04T20:27:31,616 Given no hashes to check 1 links for project 'provers': discarding no candidates 2025-09-04T20:27:31,617 Collecting provers==0.1.8 2025-09-04T20:27:31,618 Created temporary directory: /tmp/pip-unpack-7wq2apit 2025-09-04T20:27:31,754 Downloading provers-0.1.8.tar.gz (14 kB) 2025-09-04T20:27:31,785 Added provers==0.1.8 from https://files.pythonhosted.org/packages/0a/37/f9cb6a6184f7c4d014183d250ae490c38411009f4a28231b20011386a122/provers-0.1.8.tar.gz to build tracker '/tmp/pip-build-tracker-77n56j4c' 2025-09-04T20:27:31,786 Running setup.py (path:/tmp/pip-wheel-hvyl6ifh/provers_1ed37d113c444cd2a9ed094a23f872e0/setup.py) egg_info for package provers 2025-09-04T20:27:31,787 Created temporary directory: /tmp/pip-pip-egg-info-g3403kas 2025-09-04T20:27:31,787 Preparing metadata (setup.py): started 2025-09-04T20:27:31,788 Running command python setup.py egg_info 2025-09-04T20:27:32,430 /usr/local/lib/python3.13/dist-packages/setuptools/__init__.py:92: _DeprecatedInstaller: setuptools.installer and fetch_build_eggs are deprecated. 2025-09-04T20:27:32,430 !! 2025-09-04T20:27:32,430 ******************************************************************************** 2025-09-04T20:27:32,430 Requirements should be satisfied by a PEP 517 installer. 2025-09-04T20:27:32,430 If you are using pip, you can try `pip install --use-pep517`. 2025-09-04T20:27:32,431 By 2025-Oct-31, you need to update your project and remove deprecated calls 2025-09-04T20:27:32,431 or your builds will no longer be supported. 2025-09-04T20:27:32,431 ******************************************************************************** 2025-09-04T20:27:32,431 !! 2025-09-04T20:27:32,431 dist.fetch_build_eggs(dist.setup_requires) 2025-09-04T20:27:36,087 running egg_info 2025-09-04T20:27:36,163 creating /tmp/pip-pip-egg-info-g3403kas/provers.egg-info 2025-09-04T20:27:36,163 writing /tmp/pip-pip-egg-info-g3403kas/provers.egg-info/PKG-INFO 2025-09-04T20:27:36,164 writing dependency_links to /tmp/pip-pip-egg-info-g3403kas/provers.egg-info/dependency_links.txt 2025-09-04T20:27:36,165 writing entry points to /tmp/pip-pip-egg-info-g3403kas/provers.egg-info/entry_points.txt 2025-09-04T20:27:36,165 writing top-level names to /tmp/pip-pip-egg-info-g3403kas/provers.egg-info/top_level.txt 2025-09-04T20:27:36,166 writing manifest file '/tmp/pip-pip-egg-info-g3403kas/provers.egg-info/SOURCES.txt' 2025-09-04T20:27:36,553 listing git files failed - pretending there aren't any 2025-09-04T20:27:36,567 reading manifest file '/tmp/pip-pip-egg-info-g3403kas/provers.egg-info/SOURCES.txt' 2025-09-04T20:27:36,567 reading manifest template 'MANIFEST.in' 2025-09-04T20:27:36,568 warning: no previously-included files found matching 'provers/bin/*' 2025-09-04T20:27:36,569 adding license file 'LICENSE' 2025-09-04T20:27:36,571 writing manifest file '/tmp/pip-pip-egg-info-g3403kas/provers.egg-info/SOURCES.txt' 2025-09-04T20:27:36,694 Preparing metadata (setup.py): finished with status 'done' 2025-09-04T20:27:36,698 Source in /tmp/pip-wheel-hvyl6ifh/provers_1ed37d113c444cd2a9ed094a23f872e0 has version 0.1.8, which satisfies requirement provers==0.1.8 from https://files.pythonhosted.org/packages/0a/37/f9cb6a6184f7c4d014183d250ae490c38411009f4a28231b20011386a122/provers-0.1.8.tar.gz 2025-09-04T20:27:36,699 Removed provers==0.1.8 from https://files.pythonhosted.org/packages/0a/37/f9cb6a6184f7c4d014183d250ae490c38411009f4a28231b20011386a122/provers-0.1.8.tar.gz from build tracker '/tmp/pip-build-tracker-77n56j4c' 2025-09-04T20:27:36,702 Created temporary directory: /tmp/pip-unpack-wnqgyyub 2025-09-04T20:27:36,703 Created temporary directory: /tmp/pip-unpack-_3qlmnzx 2025-09-04T20:27:36,703 Building wheels for collected packages: provers 2025-09-04T20:27:36,704 Created temporary directory: /tmp/pip-wheel-6wdcjdoy 2025-09-04T20:27:36,705 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:36,706 Building wheel for provers (setup.py): started 2025-09-04T20:27:36,706 Destination directory: /tmp/pip-wheel-6wdcjdoy 2025-09-04T20:27:36,706 Running command python setup.py bdist_wheel 2025-09-04T20:27:37,347 /usr/local/lib/python3.13/dist-packages/setuptools/__init__.py:92: _DeprecatedInstaller: setuptools.installer and fetch_build_eggs are deprecated. 2025-09-04T20:27:37,348 !! 2025-09-04T20:27:37,348 ******************************************************************************** 2025-09-04T20:27:37,348 Requirements should be satisfied by a PEP 517 installer. 2025-09-04T20:27:37,348 If you are using pip, you can try `pip install --use-pep517`. 2025-09-04T20:27:37,348 By 2025-Oct-31, you need to update your project and remove deprecated calls 2025-09-04T20:27:37,348 or your builds will no longer be supported. 2025-09-04T20:27:37,348 ******************************************************************************** 2025-09-04T20:27:37,349 !! 2025-09-04T20:27:37,349 dist.fetch_build_eggs(dist.setup_requires) 2025-09-04T20:27:38,426 running bdist_wheel 2025-09-04T20:27:38,805 running build 2025-09-04T20:27:38,805 running build_py 2025-09-04T20:27:38,813 mkdir tmp || true 2025-09-04T20:27:38,824 cd tmp && wget https://www.cs.unm.edu/~mccune/mace4/download/LADR-2009-11A.tar.gz 2025-09-04T20:27:38,856 --2025-09-04 20:27:38-- https://www.cs.unm.edu/~mccune/mace4/download/LADR-2009-11A.tar.gz 2025-09-04T20:27:38,903 Resolving www.cs.unm.edu (www.cs.unm.edu)... 64:ff9b::406a:144c, 64.106.20.76 2025-09-04T20:27:39,036 Connecting to www.cs.unm.edu (www.cs.unm.edu)|64:ff9b::406a:144c|:443... connected. 2025-09-04T20:27:39,443 HTTP request sent, awaiting response... 200 OK 2025-09-04T20:27:39,443 Length: 1795750 (1.7M) [application/x-gzip] 2025-09-04T20:27:39,443 Saving to: ‘LADR-2009-11A.tar.gz’ 2025-09-04T20:27:39,711 0K .......... .......... .......... .......... .......... 2% 187K 9s 2025-09-04T20:27:39,841 50K .......... .......... .......... .......... .......... 5% 383K 7s 2025-09-04T20:27:39,852 100K .......... .......... .......... .......... .......... 8% 4.30M 4s 2025-09-04T20:27:39,862 150K .......... .......... .......... .......... .......... 11% 5.07M 3s 2025-09-04T20:27:39,982 200K .......... .......... .......... .......... .......... 14% 418K 3s 2025-09-04T20:27:39,991 250K .......... .......... .......... .......... .......... 17% 5.06M 3s 2025-09-04T20:27:39,997 300K .......... .......... .......... .......... .......... 19% 8.70M 2s 2025-09-04T20:27:40,001 350K .......... .......... .......... .......... .......... 22% 10.8M 2s 2025-09-04T20:27:40,108 400K .......... .......... .......... .......... .......... 25% 469K 2s 2025-09-04T20:27:40,120 450K .......... .......... .......... .......... .......... 28% 4.29M 2s 2025-09-04T20:27:40,127 500K .......... .......... .......... .......... .......... 31% 6.33M 1s 2025-09-04T20:27:40,131 550K .......... .......... .......... .......... .......... 34% 12.6M 1s 2025-09-04T20:27:40,136 600K .......... .......... .......... .......... .......... 37% 10.8M 1s 2025-09-04T20:27:40,139 650K .......... .......... .......... .......... .......... 39% 12.7M 1s 2025-09-04T20:27:40,144 700K .......... .......... .......... .......... .......... 42% 10.9M 1s 2025-09-04T20:27:40,148 750K .......... .......... .......... .......... .......... 45% 12.7M 1s 2025-09-04T20:27:40,152 800K .......... .......... .......... .......... .......... 48% 12.6M 1s 2025-09-04T20:27:40,240 850K .......... .......... .......... .......... .......... 51% 566K 1s 2025-09-04T20:27:40,246 900K .......... .......... .......... .......... .......... 54% 7.66M 1s 2025-09-04T20:27:40,253 950K .......... .......... .......... .......... .......... 57% 7.24M 1s 2025-09-04T20:27:40,259 1000K .......... .......... .......... .......... .......... 59% 8.41M 1s 2025-09-04T20:27:40,265 1050K .......... .......... .......... .......... .......... 62% 8.34M 0s 2025-09-04T20:27:40,270 1100K .......... .......... .......... .......... .......... 65% 10.1M 0s 2025-09-04T20:27:40,274 1150K .......... .......... .......... .......... .......... 68% 12.4M 0s 2025-09-04T20:27:40,278 1200K .......... .......... .......... .......... .......... 71% 10.7M 0s 2025-09-04T20:27:40,282 1250K .......... .......... .......... .......... .......... 74% 12.6M 0s 2025-09-04T20:27:40,286 1300K .......... .......... .......... .......... .......... 76% 12.7M 0s 2025-09-04T20:27:40,290 1350K .......... .......... .......... .......... .......... 79% 10.7M 0s 2025-09-04T20:27:40,294 1400K .......... .......... .......... .......... .......... 82% 12.5M 0s 2025-09-04T20:27:40,299 1450K .......... .......... .......... .......... .......... 85% 10.9M 0s 2025-09-04T20:27:40,303 1500K .......... .......... .......... .......... .......... 88% 12.6M 0s 2025-09-04T20:27:40,306 1550K .......... .......... .......... .......... .......... 91% 12.7M 0s 2025-09-04T20:27:40,311 1600K .......... .......... .......... .......... .......... 94% 10.8M 0s 2025-09-04T20:27:40,315 1650K .......... .......... .......... .......... .......... 96% 12.7M 0s 2025-09-04T20:27:40,319 1700K .......... .......... .......... .......... .......... 99% 11.6M 0s 2025-09-04T20:27:40,319 1750K ... 100% 6.82T=0.9s 2025-09-04T20:27:40,319 2025-09-04 20:27:40 (1.95 MB/s) - ‘LADR-2009-11A.tar.gz’ saved [1795750/1795750] 2025-09-04T20:27:40,322 cd tmp && tar -xzf LADR-2009-11A.tar.gz 2025-09-04T20:27:40,522 cd tmp/LADR-2009-11A/provers.src && sed -i.old 's/^\([ \t]*\$(CC).*\) -lm \(.*\)$/\1 \2 -lm/g' Makefile 2025-09-04T20:27:40,534 cd tmp/LADR-2009-11A && make all 2025-09-04T20:27:40,545 make[1]: Entering directory '/tmp/pip-wheel-hvyl6ifh/provers_1ed37d113c444cd2a9ed094a23f872e0/provers/bin/tmp/LADR-2009-11A' 2025-09-04T20:27:40,545 cd ladr && make lib 2025-09-04T20:27:40,560 make[2]: Entering directory '/tmp/pip-wheel-hvyl6ifh/provers_1ed37d113c444cd2a9ed094a23f872e0/provers/bin/tmp/LADR-2009-11A/ladr' 2025-09-04T20:27:40,560 make libladr.a 2025-09-04T20:27:40,571 make[3]: Entering directory '/tmp/pip-wheel-hvyl6ifh/provers_1ed37d113c444cd2a9ed094a23f872e0/provers/bin/tmp/LADR-2009-11A/ladr' 2025-09-04T20:27:40,572 gcc -O -Wall -c -o order.o order.c 2025-09-04T20:27:40,740 gcc -O -Wall -c -o clock.o clock.c 2025-09-04T20:27:40,974 gcc -O -Wall -c -o nonport.o nonport.c 2025-09-04T20:27:41,082 gcc -O -Wall -c -o fatal.o fatal.c 2025-09-04T20:27:41,217 gcc -O -Wall -c -o ibuffer.o ibuffer.c 2025-09-04T20:27:41,411 gcc -O -Wall -c -o memory.o memory.c 2025-09-04T20:27:41,624 gcc -O -Wall -c -o hash.o hash.c 2025-09-04T20:27:41,829 gcc -O -Wall -c -o string.o string.c 2025-09-04T20:27:42,073 gcc -O -Wall -c -o strbuf.o strbuf.c 2025-09-04T20:27:42,350 gcc -O -Wall -c -o glist.o glist.c 2025-09-04T20:27:42,955 gcc -O -Wall -c -o options.o options.c 2025-09-04T20:27:43,470 gcc -O -Wall -c -o symbols.o symbols.c 2025-09-04T20:27:43,581 symbols.c: In function ‘declare_base_symbols’: 2025-09-04T20:27:43,581 symbols.c:1304:7: warning: variable ‘sn’ set but not used [-Wunused-but-set-variable] 2025-09-04T20:27:43,581 1304 | int sn; 2025-09-04T20:27:43,581 | ^~ 2025-09-04T20:27:44,427 gcc -O -Wall -c -o avltree.o avltree.c 2025-09-04T20:27:44,791 gcc -O -Wall -c -o term.o term.c 2025-09-04T20:27:45,650 gcc -O -Wall -c -o termflag.o termflag.c 2025-09-04T20:27:45,840 gcc -O -Wall -c -o listterm.o listterm.c 2025-09-04T20:27:46,026 gcc -O -Wall -c -o tlist.o tlist.c 2025-09-04T20:27:46,193 gcc -O -Wall -c -o flatterm.o flatterm.c 2025-09-04T20:27:46,448 gcc -O -Wall -c -o multiset.o multiset.c 2025-09-04T20:27:46,628 gcc -O -Wall -c -o termorder.o termorder.c 2025-09-04T20:27:47,089 gcc -O -Wall -c -o parse.o parse.c 2025-09-04T20:27:47,875 gcc -O -Wall -c -o accanon.o accanon.c 2025-09-04T20:27:48,068 gcc -O -Wall -c -o unify.o unify.c 2025-09-04T20:27:48,506 gcc -O -Wall -c -o fpalist.o fpalist.c 2025-09-04T20:27:48,827 gcc -O -Wall -c -o fpa.o fpa.c 2025-09-04T20:27:49,336 gcc -O -Wall -c -o discrim.o discrim.c 2025-09-04T20:27:49,516 gcc -O -Wall -c -o discrimb.o discrimb.c 2025-09-04T20:27:49,639 discrimb.c:487:7: warning: ‘check_flat2’ defined but not used [-Wunused-function] 2025-09-04T20:27:49,639 487 | Flat2 check_flat2(Flat2 f) 2025-09-04T20:27:49,640 | ^~~~~~~~~~~ 2025-09-04T20:27:49,884 gcc -O -Wall -c -o discrimw.o discrimw.c 2025-09-04T20:27:50,017 discrimw.c:146:6: warning: ‘check_flat’ defined but not used [-Wunused-function] 2025-09-04T20:27:50,017 146 | Flat check_flat(Flat f) 2025-09-04T20:27:50,017 | ^~~~~~~~~~ 2025-09-04T20:27:50,316 gcc -O -Wall -c -o dioph.o dioph.c 2025-09-04T20:27:50,914 gcc -O -Wall -c -o btu.o btu.c 2025-09-04T20:27:51,577 gcc -O -Wall -c -o btm.o btm.c 2025-09-04T20:27:52,230 gcc -O -Wall -c -o mindex.o mindex.c 2025-09-04T20:27:52,346 mindex.c: In function ‘mindex_retrieve_next’: 2025-09-04T20:27:52,347 mindex.c:650:11: warning: variable ‘tr’ set but not used [-Wunused-but-set-variable] 2025-09-04T20:27:52,347 650 | Trail tr; 2025-09-04T20:27:52,347 | ^~ 2025-09-04T20:27:52,535 gcc -O -Wall -c -o basic.o basic.c 2025-09-04T20:27:52,766 gcc -O -Wall -c -o attrib.o attrib.c 2025-09-04T20:27:53,199 gcc -O -Wall -c -o formula.o formula.c 2025-09-04T20:27:54,048 gcc -O -Wall -c -o definitions.o definitions.c 2025-09-04T20:27:54,317 gcc -O -Wall -c -o literals.o literals.c 2025-09-04T20:27:54,745 gcc -O -Wall -c -o topform.o topform.c 2025-09-04T20:27:55,146 gcc -O -Wall -c -o clist.o clist.c 2025-09-04T20:27:55,566 gcc -O -Wall -c -o clauseid.o clauseid.c 2025-09-04T20:27:55,777 gcc -O -Wall -c -o clauses.o clauses.c 2025-09-04T20:27:55,999 gcc -O -Wall -c -o just.o just.c 2025-09-04T20:27:56,781 gcc -O -Wall -c -o cnf.o cnf.c 2025-09-04T20:27:57,353 gcc -O -Wall -c -o clausify.o clausify.c 2025-09-04T20:27:57,569 gcc -O -Wall -c -o parautil.o parautil.c 2025-09-04T20:27:57,872 gcc -O -Wall -c -o pindex.o pindex.c 2025-09-04T20:27:58,250 gcc -O -Wall -c -o compress.o compress.c 2025-09-04T20:27:58,434 gcc -O -Wall -c -o maximal.o maximal.c 2025-09-04T20:27:58,661 gcc -O -Wall -c -o lindex.o lindex.c 2025-09-04T20:27:58,848 gcc -O -Wall -c -o weight.o weight.c 2025-09-04T20:27:59,132 gcc -O -Wall -c -o weight2.o weight2.c 2025-09-04T20:27:59,308 gcc -O -Wall -c -o int_code.o int_code.c 2025-09-04T20:27:59,548 gcc -O -Wall -c -o features.o features.c 2025-09-04T20:27:59,756 gcc -O -Wall -c -o di_tree.o di_tree.c 2025-09-04T20:28:00,042 gcc -O -Wall -c -o fastparse.o fastparse.c 2025-09-04T20:28:00,253 gcc -O -Wall -c -o random.o random.c 2025-09-04T20:28:00,515 gcc -O -Wall -c -o subsume.o subsume.c 2025-09-04T20:28:00,932 gcc -O -Wall -c -o clause_misc.o clause_misc.c 2025-09-04T20:28:01,131 gcc -O -Wall -c -o clause_eval.o clause_eval.c 2025-09-04T20:28:01,371 gcc -O -Wall -c -o complex.o complex.c 2025-09-04T20:28:01,485 complex.c: In function ‘complex4_p1’: 2025-09-04T20:28:01,485 complex.c:275:8: warning: variable ‘dummy’ set but not used [-Wunused-but-set-variable] 2025-09-04T20:28:01,485 275 | BOOL dummy; 2025-09-04T20:28:01,486 | ^~~~~ 2025-09-04T20:28:01,643 gcc -O -Wall -c -o dollar.o dollar.c 2025-09-04T20:28:02,015 gcc -O -Wall -c -o flatdemod.o flatdemod.c 2025-09-04T20:28:02,131 flatdemod.c: In function ‘discrim_flat_retrieve_leaf’: 2025-09-04T20:28:02,131 flatdemod.c:122:16: warning: comparison between ‘BOOL’ and ‘enum ’ [-Wenum-compare] 2025-09-04T20:28:02,131 122 | if (status == BACKTRACK) { 2025-09-04T20:28:02,131 | ^~ 2025-09-04T20:28:02,132 flatdemod.c:158:15: warning: variable ‘dd’ set but not used [-Wunused-but-set-variable] 2025-09-04T20:28:02,132 158 | Discrim dd = NULL; 2025-09-04T20:28:02,132 | ^~ 2025-09-04T20:28:02,132 flatdemod.c:167:16: warning: comparison between ‘BOOL’ and ‘enum ’ [-Wenum-compare] 2025-09-04T20:28:02,132 167 | if (status == GO) { 2025-09-04T20:28:02,133 | ^~ 2025-09-04T20:28:02,290 gcc -O -Wall -c -o demod.o demod.c 2025-09-04T20:28:02,413 demod.c: In function ‘demod1’: 2025-09-04T20:28:02,413 demod.c:376:8: warning: variable ‘result’ set but not used [-Wunused-but-set-variable] 2025-09-04T20:28:02,413 376 | Term result; 2025-09-04T20:28:02,413 | ^~~~~~ 2025-09-04T20:28:02,610 gcc -O -Wall -c -o clash.o clash.c 2025-09-04T20:28:02,730 clash.c: In function ‘clash_recurse’: 2025-09-04T20:28:02,730 clash.c:283:12: warning: suggest parentheses around operand of ‘!’ or change ‘|’ to ‘||’ or ‘!’ to ‘~’ [-Wparentheses] 2025-09-04T20:28:02,730 283 | else if (!p->clashable | p->clashed) 2025-09-04T20:28:02,730 | ^~~~~~~~~~~~~ 2025-09-04T20:28:02,856 gcc -O -Wall -c -o resolve.o resolve.c 2025-09-04T20:28:03,362 gcc -O -Wall -c -o paramod.o paramod.c 2025-09-04T20:28:03,488 paramod.c: In function ‘para_into’: 2025-09-04T20:28:03,488 paramod.c:347:8: warning: suggest parentheses around operand of ‘!’ or change ‘|’ to ‘||’ or ‘!’ to ‘~’ [-Wparentheses] 2025-09-04T20:28:03,488 347 | if ((!VARIABLE(into) | Para_into_vars) && basic_check(into)) { 2025-09-04T20:28:03,719 gcc -O -Wall -c -o backdemod.o backdemod.c 2025-09-04T20:28:03,951 gcc -O -Wall -c -o hints.o hints.c 2025-09-04T20:28:04,196 gcc -O -Wall -c -o ac_redun.o ac_redun.c 2025-09-04T20:28:04,534 gcc -O -Wall -c -o xproofs.o xproofs.c 2025-09-04T20:28:04,892 gcc -O -Wall -c -o ivy.o ivy.c 2025-09-04T20:28:05,018 ivy.c: In function ‘factor2_instances’: 2025-09-04T20:28:05,018 ivy.c:633:14: warning: variable ‘l1i’ set but not used [-Wunused-but-set-variable] 2025-09-04T20:28:05,018 633 | Literals l1i, l2i, lit; 2025-09-04T20:28:05,018 | ^~~ 2025-09-04T20:28:05,368 gcc -O -Wall -c -o interp.o interp.c 2025-09-04T20:28:05,506 interp.c: In function ‘transpose_binary’: 2025-09-04T20:28:05,506 interp.c:358:10: warning: variable ‘rc’ set but not used [-Wunused-but-set-variable] 2025-09-04T20:28:05,506 358 | int i, rc; 2025-09-04T20:28:05,506 | ^~ 2025-09-04T20:28:07,192 gcc -O -Wall -c -o std_options.o std_options.c 2025-09-04T20:28:07,340 gcc -O -Wall -c -o banner.o banner.c 2025-09-04T20:28:07,508 gcc -O -Wall -c -o ioutil.o ioutil.c 2025-09-04T20:28:07,918 gcc -O -Wall -c -o tptp_trans.o tptp_trans.c 2025-09-04T20:28:08,358 gcc -O -Wall -c -o top_input.o top_input.c 2025-09-04T20:28:08,925 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:08,930 ar: creating libladr.a 2025-09-04T20:28:09,884 make[3]: Leaving directory '/tmp/pip-wheel-hvyl6ifh/provers_1ed37d113c444cd2a9ed094a23f872e0/provers/bin/tmp/LADR-2009-11A/ladr' 2025-09-04T20:28:09,885 make[2]: Leaving directory '/tmp/pip-wheel-hvyl6ifh/provers_1ed37d113c444cd2a9ed094a23f872e0/provers/bin/tmp/LADR-2009-11A/ladr' 2025-09-04T20:28:09,885 cd mace4.src && make all 2025-09-04T20:28:09,896 make[2]: Entering directory '/tmp/pip-wheel-hvyl6ifh/provers_1ed37d113c444cd2a9ed094a23f872e0/provers/bin/tmp/LADR-2009-11A/mace4.src' 2025-09-04T20:28:09,896 cd ../ladr && make libladr.a 2025-09-04T20:28:09,924 make[3]: Entering directory '/tmp/pip-wheel-hvyl6ifh/provers_1ed37d113c444cd2a9ed094a23f872e0/provers/bin/tmp/LADR-2009-11A/ladr' 2025-09-04T20:28:09,924 make[3]: 'libladr.a' is up to date. 2025-09-04T20:28:09,924 make[3]: Leaving directory '/tmp/pip-wheel-hvyl6ifh/provers_1ed37d113c444cd2a9ed094a23f872e0/provers/bin/tmp/LADR-2009-11A/ladr' 2025-09-04T20:28:09,925 make clean 2025-09-04T20:28:09,934 make[3]: Entering directory '/tmp/pip-wheel-hvyl6ifh/provers_1ed37d113c444cd2a9ed094a23f872e0/provers/bin/tmp/LADR-2009-11A/mace4.src' 2025-09-04T20:28:09,934 /bin/rm -f *.o 2025-09-04T20:28:09,944 make[3]: Leaving directory '/tmp/pip-wheel-hvyl6ifh/provers_1ed37d113c444cd2a9ed094a23f872e0/provers/bin/tmp/LADR-2009-11A/mace4.src' 2025-09-04T20:28:09,944 make libmace4.a 2025-09-04T20:28:09,952 make[3]: Entering directory '/tmp/pip-wheel-hvyl6ifh/provers_1ed37d113c444cd2a9ed094a23f872e0/provers/bin/tmp/LADR-2009-11A/mace4.src' 2025-09-04T20:28:09,952 gcc -O -Wall -c -o estack.o estack.c 2025-09-04T20:28:10,135 gcc -O -Wall -c -o util.o util.c 2025-09-04T20:28:10,291 gcc -O -Wall -c -o print.o print.c 2025-09-04T20:28:10,673 gcc -O -Wall -c -o syms.o syms.c 2025-09-04T20:28:10,897 gcc -O -Wall -c -o ground.o ground.c 2025-09-04T20:28:11,306 gcc -O -Wall -c -o arithmetic.o arithmetic.c 2025-09-04T20:28:11,719 gcc -O -Wall -c -o select.o select.c 2025-09-04T20:28:11,855 select.c: In function ‘select_concentric_band’: 2025-09-04T20:28:11,855 select.c:236:5: error: type of ‘min_id’ defaults to ‘int’ [-Wimplicit-int] 2025-09-04T20:28:11,855 236 | int select_concentric_band(min_id, max_id, max_constrained) 2025-09-04T20:28:11,855 | ^~~~~~~~~~~~~~~~~~~~~~ 2025-09-04T20:28:11,855 select.c:236:5: error: type of ‘max_id’ defaults to ‘int’ [-Wimplicit-int] 2025-09-04T20:28:11,855 select.c:236:5: error: type of ‘max_constrained’ defaults to ‘int’ [-Wimplicit-int] 2025-09-04T20:28:11,863 make[3]: *** [: select.o] Error 1 2025-09-04T20:28:11,864 make[3]: Leaving directory '/tmp/pip-wheel-hvyl6ifh/provers_1ed37d113c444cd2a9ed094a23f872e0/provers/bin/tmp/LADR-2009-11A/mace4.src' 2025-09-04T20:28:11,864 make[2]: *** [Makefile:26: lib] Error 2 2025-09-04T20:28:11,864 make[2]: Leaving directory '/tmp/pip-wheel-hvyl6ifh/provers_1ed37d113c444cd2a9ed094a23f872e0/provers/bin/tmp/LADR-2009-11A/mace4.src' 2025-09-04T20:28:11,865 make[1]: *** [Makefile:6: all] Error 2 2025-09-04T20:28:11,865 make[1]: Leaving directory '/tmp/pip-wheel-hvyl6ifh/provers_1ed37d113c444cd2a9ed094a23f872e0/provers/bin/tmp/LADR-2009-11A' 2025-09-04T20:28:11,866 make: *** [Makefile:13: prover9] Error 2 2025-09-04T20:28:11,877 Traceback (most recent call last): 2025-09-04T20:28:11,885 File "", line 2, in 2025-09-04T20:28:11,885 exec(compile(''' 2025-09-04T20:28:11,886 ~~~~^^^^^^^^^^^^ 2025-09-04T20:28:11,886 # This is -- a caller that pip uses to run setup.py 2025-09-04T20:28:11,886 ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ 2025-09-04T20:28:11,886 ...<32 lines>... 2025-09-04T20:28:11,886 exec(compile(setup_py_code, filename, "exec")) 2025-09-04T20:28:11,886 ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ 2025-09-04T20:28:11,886 ''' % ('/tmp/pip-wheel-hvyl6ifh/provers_1ed37d113c444cd2a9ed094a23f872e0/setup.py',), "", "exec")) 2025-09-04T20:28:11,887 ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ 2025-09-04T20:28:11,887 File "", line 35, in 2025-09-04T20:28:11,887 File "/tmp/pip-wheel-hvyl6ifh/provers_1ed37d113c444cd2a9ed094a23f872e0/setup.py", line 34, in 2025-09-04T20:28:11,887 setup( 2025-09-04T20:28:11,887 ~~~~~^ 2025-09-04T20:28:11,887 name='provers', 2025-09-04T20:28:11,888 ^^^^^^^^^^^^^^^ 2025-09-04T20:28:11,888 ...<25 lines>... 2025-09-04T20:28:11,888 } 2025-09-04T20:28:11,888 ^ 2025-09-04T20:28:11,888 ) 2025-09-04T20:28:11,888 ^ 2025-09-04T20:28:11,888 File "/usr/local/lib/python3.13/dist-packages/setuptools/__init__.py", line 115, in setup 2025-09-04T20:28:11,889 return distutils.core.setup(**attrs) 2025-09-04T20:28:11,889 ~~~~~~~~~~~~~~~~~~~~^^^^^^^^^ 2025-09-04T20:28:11,889 File "/usr/local/lib/python3.13/dist-packages/setuptools/_distutils/core.py", line 186, in setup 2025-09-04T20:28:11,889 return run_commands(dist) 2025-09-04T20:28:11,889 File "/usr/local/lib/python3.13/dist-packages/setuptools/_distutils/core.py", line 202, in run_commands 2025-09-04T20:28:11,889 dist.run_commands() 2025-09-04T20:28:11,890 ~~~~~~~~~~~~~~~~~^^ 2025-09-04T20:28:11,890 File "/usr/local/lib/python3.13/dist-packages/setuptools/_distutils/dist.py", line 1002, in run_commands 2025-09-04T20:28:11,890 self.run_command(cmd) 2025-09-04T20:28:11,890 ~~~~~~~~~~~~~~~~^^^^^ 2025-09-04T20:28:11,890 File "/usr/local/lib/python3.13/dist-packages/setuptools/dist.py", line 1102, in run_command 2025-09-04T20:28:11,890 super().run_command(command) 2025-09-04T20:28:11,891 ~~~~~~~~~~~~~~~~~~~^^^^^^^^^ 2025-09-04T20:28:11,891 File "/usr/local/lib/python3.13/dist-packages/setuptools/_distutils/dist.py", line 1021, in run_command 2025-09-04T20:28:11,891 cmd_obj.run() 2025-09-04T20:28:11,891 ~~~~~~~~~~~^^ 2025-09-04T20:28:11,891 File "/usr/local/lib/python3.13/dist-packages/setuptools/command/bdist_wheel.py", line 370, in run 2025-09-04T20:28:11,891 self.run_command("build") 2025-09-04T20:28:11,892 ~~~~~~~~~~~~~~~~^^^^^^^^^ 2025-09-04T20:28:11,892 File "/usr/local/lib/python3.13/dist-packages/setuptools/_distutils/cmd.py", line 357, in run_command 2025-09-04T20:28:11,892 self.distribution.run_command(command) 2025-09-04T20:28:11,892 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~^^^^^^^^^ 2025-09-04T20:28:11,892 File "/usr/local/lib/python3.13/dist-packages/setuptools/dist.py", line 1102, in run_command 2025-09-04T20:28:11,892 super().run_command(command) 2025-09-04T20:28:11,892 ~~~~~~~~~~~~~~~~~~~^^^^^^^^^ 2025-09-04T20:28:11,893 File "/usr/local/lib/python3.13/dist-packages/setuptools/_distutils/dist.py", line 1021, in run_command 2025-09-04T20:28:11,893 cmd_obj.run() 2025-09-04T20:28:11,893 ~~~~~~~~~~~^^ 2025-09-04T20:28:11,893 File "/usr/local/lib/python3.13/dist-packages/setuptools/_distutils/command/build.py", line 135, in run 2025-09-04T20:28:11,893 self.run_command(cmd_name) 2025-09-04T20:28:11,893 ~~~~~~~~~~~~~~~~^^^^^^^^^^ 2025-09-04T20:28:11,893 File "/usr/local/lib/python3.13/dist-packages/setuptools/_distutils/cmd.py", line 357, in run_command 2025-09-04T20:28:11,893 self.distribution.run_command(command) 2025-09-04T20:28:11,894 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~^^^^^^^^^ 2025-09-04T20:28:11,894 File "/usr/local/lib/python3.13/dist-packages/setuptools/dist.py", line 1102, in run_command 2025-09-04T20:28:11,894 super().run_command(command) 2025-09-04T20:28:11,894 ~~~~~~~~~~~~~~~~~~~^^^^^^^^^ 2025-09-04T20:28:11,894 File "/usr/local/lib/python3.13/dist-packages/setuptools/_distutils/dist.py", line 1021, in run_command 2025-09-04T20:28:11,894 cmd_obj.run() 2025-09-04T20:28:11,894 ~~~~~~~~~~~^^ 2025-09-04T20:28:11,895 File "/tmp/pip-wheel-hvyl6ifh/provers_1ed37d113c444cd2a9ed094a23f872e0/setup.py", line 25, in run 2025-09-04T20:28:11,895 subprocess.check_call(['make', 'all'], cwd='provers/bin') 2025-09-04T20:28:11,895 ~~~~~~~~~~~~~~~~~~~~~^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ 2025-09-04T20:28:11,895 File "/usr/lib/python3.13/subprocess.py", line 419, in check_call 2025-09-04T20:28:11,895 raise CalledProcessError(retcode, cmd) 2025-09-04T20:28:11,895 subprocess.CalledProcessError: Command '['make', 'all']' returned non-zero exit status 2. 2025-09-04T20:28:12,010 ERROR: python setup.py bdist_wheel exited with 1 2025-09-04T20:28:12,022 [bold magenta]full command[/]: [blue]/usr/bin/python3 -u -c ' 2025-09-04T20:28:12,022 exec(compile('"'"''"'"''"'"' 2025-09-04T20:28:12,022 # This is -- a caller that pip uses to run setup.py 2025-09-04T20:28:12,022 # 2025-09-04T20:28:12,022 # - It imports setuptools before invoking setup.py, to enable projects that directly 2025-09-04T20:28:12,022 # import from `distutils.core` to work with newer packaging standards. 2025-09-04T20:28:12,022 # - It provides a clear error message when setuptools is not installed. 2025-09-04T20:28:12,022 # - It sets `sys.argv[0]` to the underlying `setup.py`, when invoking `setup.py` so 2025-09-04T20:28:12,022 # setuptools doesn'"'"'t think the script is `-c`. This avoids the following warning: 2025-09-04T20:28:12,022 # manifest_maker: standard file '"'"'-c'"'"' not found". 2025-09-04T20:28:12,022 # - It generates a shim setup.py, for handling setup.cfg-only projects. 2025-09-04T20:28:12,022 import os, sys, tokenize, traceback 2025-09-04T20:28:12,022 2025-09-04T20:28:12,022 try: 2025-09-04T20:28:12,022 import setuptools 2025-09-04T20:28:12,022 except ImportError: 2025-09-04T20:28:12,022 print( 2025-09-04T20:28:12,022 "ERROR: Can not execute `setup.py` since setuptools failed to import in " 2025-09-04T20:28:12,022 "the build environment with exception:", 2025-09-04T20:28:12,022 file=sys.stderr, 2025-09-04T20:28:12,022 ) 2025-09-04T20:28:12,022 traceback.print_exc() 2025-09-04T20:28:12,022 sys.exit(1) 2025-09-04T20:28:12,022 2025-09-04T20:28:12,022 __file__ = %r 2025-09-04T20:28:12,022 sys.argv[0] = __file__ 2025-09-04T20:28:12,022 2025-09-04T20:28:12,022 if os.path.exists(__file__): 2025-09-04T20:28:12,022 filename = __file__ 2025-09-04T20:28:12,022 with tokenize.open(__file__) as f: 2025-09-04T20:28:12,022 setup_py_code = f.read() 2025-09-04T20:28:12,022 else: 2025-09-04T20:28:12,022 filename = "" 2025-09-04T20:28:12,022 setup_py_code = "from setuptools import setup; setup()" 2025-09-04T20:28:12,022 2025-09-04T20:28:12,022 exec(compile(setup_py_code, filename, "exec")) 2025-09-04T20:28:12,022 '"'"''"'"''"'"' % ('"'"'/tmp/pip-wheel-hvyl6ifh/provers_1ed37d113c444cd2a9ed094a23f872e0/setup.py'"'"',), "", "exec"))' bdist_wheel -d /tmp/pip-wheel-6wdcjdoy[/] 2025-09-04T20:28:12,022 [bold magenta]cwd[/]: /tmp/pip-wheel-hvyl6ifh/provers_1ed37d113c444cd2a9ed094a23f872e0/ 2025-09-04T20:28:12,023 Building wheel for provers (setup.py): finished with status 'error' 2025-09-04T20:28:12,024 ERROR: Failed building wheel for provers 2025-09-04T20:28:12,024 Running setup.py clean for provers 2025-09-04T20:28:12,025 Running command python setup.py clean 2025-09-04T20:28:12,736 /usr/local/lib/python3.13/dist-packages/setuptools/__init__.py:92: _DeprecatedInstaller: setuptools.installer and fetch_build_eggs are deprecated. 2025-09-04T20:28:12,736 !! 2025-09-04T20:28:12,737 ******************************************************************************** 2025-09-04T20:28:12,737 Requirements should be satisfied by a PEP 517 installer. 2025-09-04T20:28:12,737 If you are using pip, you can try `pip install --use-pep517`. 2025-09-04T20:28:12,737 By 2025-Oct-31, you need to update your project and remove deprecated calls 2025-09-04T20:28:12,737 or your builds will no longer be supported. 2025-09-04T20:28:12,737 ******************************************************************************** 2025-09-04T20:28:12,737 !! 2025-09-04T20:28:12,738 dist.fetch_build_eggs(dist.setup_requires) 2025-09-04T20:28:13,888 running clean 2025-09-04T20:28:14,036 'build/lib.linux-armv7l-cpython-313' does not exist -- can't clean it 2025-09-04T20:28:14,036 'build/bdist.linux-armv7l' does not exist -- can't clean it 2025-09-04T20:28:14,036 'build/scripts-3.13' does not exist -- can't clean it 2025-09-04T20:28:14,156 Failed to build provers 2025-09-04T20:28:14,157 ERROR: Failed to build one or more wheels 2025-09-04T20:28:14,158 Exception information: 2025-09-04T20:28:14,158 Traceback (most recent call last): 2025-09-04T20:28:14,158 File "/usr/lib/python3/dist-packages/pip/_internal/cli/base_command.py", line 105, in _run_wrapper 2025-09-04T20:28:14,158 status = _inner_run() 2025-09-04T20:28:14,158 File "/usr/lib/python3/dist-packages/pip/_internal/cli/base_command.py", line 96, in _inner_run 2025-09-04T20:28:14,158 return self.run(options, args) 2025-09-04T20:28:14,158 ~~~~~~~~^^^^^^^^^^^^^^^ 2025-09-04T20:28:14,158 File "/usr/lib/python3/dist-packages/pip/_internal/cli/req_command.py", line 68, in wrapper 2025-09-04T20:28:14,158 return func(self, options, args) 2025-09-04T20:28:14,158 File "/usr/lib/python3/dist-packages/pip/_internal/commands/wheel.py", line 180, in run 2025-09-04T20:28:14,158 raise CommandError("Failed to build one or more wheels") 2025-09-04T20:28:14,158 pip._internal.exceptions.CommandError: Failed to build one or more wheels 2025-09-04T20:28:14,162 Removed build tracker: '/tmp/pip-build-tracker-77n56j4c'