2025-09-04T20:27:12,187 Created temporary directory: /tmp/pip-build-tracker-mjyljz2u 2025-09-04T20:27:12,187 Initialized build tracking at /tmp/pip-build-tracker-mjyljz2u 2025-09-04T20:27:12,188 Created build tracker: /tmp/pip-build-tracker-mjyljz2u 2025-09-04T20:27:12,188 Entered build tracker: /tmp/pip-build-tracker-mjyljz2u 2025-09-04T20:27:12,188 Created temporary directory: /tmp/pip-wheel-12poe9ca 2025-09-04T20:27:12,191 Created temporary directory: /tmp/pip-ephem-wheel-cache-jisfdtm_ 2025-09-04T20:27:12,250 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple 2025-09-04T20:27:12,253 2 location(s) to search for versions of provers: 2025-09-04T20:27:12,253 * https://pypi.org/simple/provers/ 2025-09-04T20:27:12,253 * https://www.piwheels.org/simple/provers/ 2025-09-04T20:27:12,253 Fetching project page and analyzing links: https://pypi.org/simple/provers/ 2025-09-04T20:27:12,253 Getting page https://pypi.org/simple/provers/ 2025-09-04T20:27:12,254 Found index url https://pypi.org/simple/ 2025-09-04T20:27:12,404 Fetched page https://pypi.org/simple/provers/ as application/vnd.pypi.simple.v1+json 2025-09-04T20:27:12,410 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:12,410 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:12,410 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:12,411 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:12,411 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:12,412 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:12,412 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:12,412 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:12,413 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:12,413 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:12,413 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:12,414 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:12,414 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:12,414 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:12,415 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:12,415 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:12,415 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:12,416 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:12,416 Fetching project page and analyzing links: https://www.piwheels.org/simple/provers/ 2025-09-04T20:27:12,417 Getting page https://www.piwheels.org/simple/provers/ 2025-09-04T20:27:12,418 Found index url https://www.piwheels.org/simple/ 2025-09-04T20:27:12,514 Fetched page https://www.piwheels.org/simple/provers/ as text/html 2025-09-04T20:27:12,528 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:12,528 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:12,529 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:12,529 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:12,529 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:12,529 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:12,529 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:12,529 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:12,530 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:12,530 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:12,530 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:12,530 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:12,530 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:12,530 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:12,531 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:12,531 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:12,531 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:12,531 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:12,531 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:12,531 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:12,531 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:12,532 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:12,532 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:12,532 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:12,532 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:12,532 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:12,532 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:12,532 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:12,533 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:12,533 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:12,533 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:12,533 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:12,533 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:12,533 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:12,533 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:12,534 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:12,534 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:12,534 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:12,534 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:12,534 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:12,534 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:12,535 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:12,535 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:12,535 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:12,535 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:12,535 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:12,535 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:12,535 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:12,536 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:12,536 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:12,536 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:12,536 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:12,536 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:12,536 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:12,536 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:12,537 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:12,537 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:12,537 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:12,537 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:12,537 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:12,537 Skipping link: not a file: https://www.piwheels.org/simple/provers/ 2025-09-04T20:27:12,537 Skipping link: not a file: https://pypi.org/simple/provers/ 2025-09-04T20:27:12,561 Given no hashes to check 1 links for project 'provers': discarding no candidates 2025-09-04T20:27:12,562 Collecting provers==0.1.4 2025-09-04T20:27:12,564 Created temporary directory: /tmp/pip-unpack-11vshbf0 2025-09-04T20:27:12,701 Downloading provers-0.1.4.tar.gz (14 kB) 2025-09-04T20:27:12,727 Added provers==0.1.4 from https://files.pythonhosted.org/packages/ea/7a/93829c01dc0a2b18d001223dc690cd53a9aa5ca7fd96c7db0bd9ebabce08/provers-0.1.4.tar.gz to build tracker '/tmp/pip-build-tracker-mjyljz2u' 2025-09-04T20:27:12,729 Running setup.py (path:/tmp/pip-wheel-12poe9ca/provers_ac90e92c754049519d3f723141ead7f4/setup.py) egg_info for package provers 2025-09-04T20:27:12,729 Created temporary directory: /tmp/pip-pip-egg-info-57z9hhbq 2025-09-04T20:27:12,730 Preparing metadata (setup.py): started 2025-09-04T20:27:12,731 Running command python setup.py egg_info 2025-09-04T20:27:13,360 /usr/local/lib/python3.13/dist-packages/setuptools/__init__.py:92: _DeprecatedInstaller: setuptools.installer and fetch_build_eggs are deprecated. 2025-09-04T20:27:13,360 !! 2025-09-04T20:27:13,360 ******************************************************************************** 2025-09-04T20:27:13,361 Requirements should be satisfied by a PEP 517 installer. 2025-09-04T20:27:13,361 If you are using pip, you can try `pip install --use-pep517`. 2025-09-04T20:27:13,361 By 2025-Oct-31, you need to update your project and remove deprecated calls 2025-09-04T20:27:13,361 or your builds will no longer be supported. 2025-09-04T20:27:13,361 ******************************************************************************** 2025-09-04T20:27:13,361 !! 2025-09-04T20:27:13,361 dist.fetch_build_eggs(dist.setup_requires) 2025-09-04T20:27:16,881 running egg_info 2025-09-04T20:27:16,957 creating /tmp/pip-pip-egg-info-57z9hhbq/provers.egg-info 2025-09-04T20:27:16,957 writing /tmp/pip-pip-egg-info-57z9hhbq/provers.egg-info/PKG-INFO 2025-09-04T20:27:16,958 writing dependency_links to /tmp/pip-pip-egg-info-57z9hhbq/provers.egg-info/dependency_links.txt 2025-09-04T20:27:16,958 writing entry points to /tmp/pip-pip-egg-info-57z9hhbq/provers.egg-info/entry_points.txt 2025-09-04T20:27:16,959 writing top-level names to /tmp/pip-pip-egg-info-57z9hhbq/provers.egg-info/top_level.txt 2025-09-04T20:27:16,959 writing manifest file '/tmp/pip-pip-egg-info-57z9hhbq/provers.egg-info/SOURCES.txt' 2025-09-04T20:27:17,347 listing git files failed - pretending there aren't any 2025-09-04T20:27:17,361 reading manifest file '/tmp/pip-pip-egg-info-57z9hhbq/provers.egg-info/SOURCES.txt' 2025-09-04T20:27:17,361 reading manifest template 'MANIFEST.in' 2025-09-04T20:27:17,362 warning: no previously-included files found matching 'provers/bin/*' 2025-09-04T20:27:17,362 adding license file 'LICENSE' 2025-09-04T20:27:17,365 writing manifest file '/tmp/pip-pip-egg-info-57z9hhbq/provers.egg-info/SOURCES.txt' 2025-09-04T20:27:17,489 Preparing metadata (setup.py): finished with status 'done' 2025-09-04T20:27:17,493 Source in /tmp/pip-wheel-12poe9ca/provers_ac90e92c754049519d3f723141ead7f4 has version 0.1.4, which satisfies requirement provers==0.1.4 from https://files.pythonhosted.org/packages/ea/7a/93829c01dc0a2b18d001223dc690cd53a9aa5ca7fd96c7db0bd9ebabce08/provers-0.1.4.tar.gz 2025-09-04T20:27:17,494 Removed provers==0.1.4 from https://files.pythonhosted.org/packages/ea/7a/93829c01dc0a2b18d001223dc690cd53a9aa5ca7fd96c7db0bd9ebabce08/provers-0.1.4.tar.gz from build tracker '/tmp/pip-build-tracker-mjyljz2u' 2025-09-04T20:27:17,497 Created temporary directory: /tmp/pip-unpack-_jhv9h3s 2025-09-04T20:27:17,498 Created temporary directory: /tmp/pip-unpack-1cefffu9 2025-09-04T20:27:17,498 Building wheels for collected packages: provers 2025-09-04T20:27:17,499 Created temporary directory: /tmp/pip-wheel-e4p0ni6e 2025-09-04T20:27:17,500 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:17,501 Building wheel for provers (setup.py): started 2025-09-04T20:27:17,501 Destination directory: /tmp/pip-wheel-e4p0ni6e 2025-09-04T20:27:17,501 Running command python setup.py bdist_wheel 2025-09-04T20:27:18,140 /usr/local/lib/python3.13/dist-packages/setuptools/__init__.py:92: _DeprecatedInstaller: setuptools.installer and fetch_build_eggs are deprecated. 2025-09-04T20:27:18,140 !! 2025-09-04T20:27:18,140 ******************************************************************************** 2025-09-04T20:27:18,140 Requirements should be satisfied by a PEP 517 installer. 2025-09-04T20:27:18,141 If you are using pip, you can try `pip install --use-pep517`. 2025-09-04T20:27:18,141 By 2025-Oct-31, you need to update your project and remove deprecated calls 2025-09-04T20:27:18,141 or your builds will no longer be supported. 2025-09-04T20:27:18,141 ******************************************************************************** 2025-09-04T20:27:18,141 !! 2025-09-04T20:27:18,141 dist.fetch_build_eggs(dist.setup_requires) 2025-09-04T20:27:19,190 running bdist_wheel 2025-09-04T20:27:19,563 running build 2025-09-04T20:27:19,564 running build_py 2025-09-04T20:27:19,571 mkdir tmp || true 2025-09-04T20:27:19,581 cd tmp && wget https://www.cs.unm.edu/~mccune/mace4/download/LADR-2009-11A.tar.gz 2025-09-04T20:27:19,624 --2025-09-04 20:27:19-- https://www.cs.unm.edu/~mccune/mace4/download/LADR-2009-11A.tar.gz 2025-09-04T20:27:20,222 Resolving www.cs.unm.edu (www.cs.unm.edu)... 64:ff9b::406a:144c, 64.106.20.76 2025-09-04T20:27:20,365 Connecting to www.cs.unm.edu (www.cs.unm.edu)|64:ff9b::406a:144c|:443... connected. 2025-09-04T20:27:20,813 HTTP request sent, awaiting response... 200 OK 2025-09-04T20:27:20,814 Length: 1795750 (1.7M) [application/x-gzip] 2025-09-04T20:27:20,814 Saving to: ‘LADR-2009-11A.tar.gz’ 2025-09-04T20:27:21,099 0K .......... .......... .......... .......... .......... 2% 176K 10s 2025-09-04T20:27:21,236 50K .......... .......... .......... .......... .......... 5% 363K 7s 2025-09-04T20:27:21,249 100K .......... .......... .......... .......... .......... 8% 3.85M 5s 2025-09-04T20:27:21,331 150K .......... .......... .......... .......... .......... 11% 613K 4s 2025-09-04T20:27:21,388 200K .......... .......... .......... .......... .......... 14% 872K 3s 2025-09-04T20:27:21,396 250K .......... .......... .......... .......... .......... 17% 5.87M 3s 2025-09-04T20:27:21,403 300K .......... .......... .......... .......... .......... 19% 6.58M 2s 2025-09-04T20:27:21,426 350K .......... .......... .......... .......... .......... 22% 2.15M 2s 2025-09-04T20:27:21,527 400K .......... .......... .......... .......... .......... 25% 496K 2s 2025-09-04T20:27:21,536 450K .......... .......... .......... .......... .......... 28% 5.62M 2s 2025-09-04T20:27:21,542 500K .......... .......... .......... .......... .......... 31% 8.41M 2s 2025-09-04T20:27:21,547 550K .......... .......... .......... .......... .......... 34% 8.45M 1s 2025-09-04T20:27:21,553 600K .......... .......... .......... .......... .......... 37% 8.45M 1s 2025-09-04T20:27:21,557 650K .......... .......... .......... .......... .......... 39% 12.6M 1s 2025-09-04T20:27:21,561 700K .......... .......... .......... .......... .......... 42% 10.9M 1s 2025-09-04T20:27:21,565 750K .......... .......... .......... .......... .......... 45% 12.6M 1s 2025-09-04T20:27:21,616 800K .......... .......... .......... .......... .......... 48% 991K 1s 2025-09-04T20:27:21,673 850K .......... .......... .......... .......... .......... 51% 869K 1s 2025-09-04T20:27:21,683 900K .......... .......... .......... .......... .......... 54% 5.00M 1s 2025-09-04T20:27:21,691 950K .......... .......... .......... .......... .......... 57% 6.50M 1s 2025-09-04T20:27:21,695 1000K .......... .......... .......... .......... .......... 59% 11.5M 1s 2025-09-04T20:27:21,699 1050K .......... .......... .......... .......... .......... 62% 11.6M 1s 2025-09-04T20:27:21,704 1100K .......... .......... .......... .......... .......... 65% 10.1M 0s 2025-09-04T20:27:21,708 1150K .......... .......... .......... .......... .......... 68% 11.9M 0s 2025-09-04T20:27:21,713 1200K .......... .......... .......... .......... .......... 71% 10.8M 0s 2025-09-04T20:27:21,716 1250K .......... .......... .......... .......... .......... 74% 12.6M 0s 2025-09-04T20:27:21,720 1300K .......... .......... .......... .......... .......... 76% 12.7M 0s 2025-09-04T20:27:21,725 1350K .......... .......... .......... .......... .......... 79% 10.7M 0s 2025-09-04T20:27:21,729 1400K .......... .......... .......... .......... .......... 82% 12.7M 0s 2025-09-04T20:27:21,733 1450K .......... .......... .......... .......... .......... 85% 10.9M 0s 2025-09-04T20:27:21,737 1500K .......... .......... .......... .......... .......... 88% 12.6M 0s 2025-09-04T20:27:21,741 1550K .......... .......... .......... .......... .......... 91% 12.7M 0s 2025-09-04T20:27:21,745 1600K .......... .......... .......... .......... .......... 94% 10.8M 0s 2025-09-04T20:27:21,749 1650K .......... .......... .......... .......... .......... 96% 12.7M 0s 2025-09-04T20:27:21,813 1700K .......... .......... .......... .......... .......... 99% 788K 0s 2025-09-04T20:27:21,813 1750K ... 100% 6.82T=1.0s 2025-09-04T20:27:21,813 2025-09-04 20:27:21 (1.71 MB/s) - ‘LADR-2009-11A.tar.gz’ saved [1795750/1795750] 2025-09-04T20:27:21,815 cd tmp && tar -xzf LADR-2009-11A.tar.gz 2025-09-04T20:27:21,986 cd tmp/LADR-2009-11A/provers.src && sed -i.old 's/^\([ \t]*\$(CC).*\) -lm \(.*\)$/\1 \2 -lm/g' Makefile 2025-09-04T20:27:21,997 cd tmp/LADR-2009-11A && make all 2025-09-04T20:27:22,007 make[1]: Entering directory '/tmp/pip-wheel-12poe9ca/provers_ac90e92c754049519d3f723141ead7f4/provers/bin/tmp/LADR-2009-11A' 2025-09-04T20:27:22,007 cd ladr && make lib 2025-09-04T20:27:22,023 make[2]: Entering directory '/tmp/pip-wheel-12poe9ca/provers_ac90e92c754049519d3f723141ead7f4/provers/bin/tmp/LADR-2009-11A/ladr' 2025-09-04T20:27:22,023 make libladr.a 2025-09-04T20:27:22,037 make[3]: Entering directory '/tmp/pip-wheel-12poe9ca/provers_ac90e92c754049519d3f723141ead7f4/provers/bin/tmp/LADR-2009-11A/ladr' 2025-09-04T20:27:22,038 gcc -O -Wall -c -o order.o order.c 2025-09-04T20:27:22,207 gcc -O -Wall -c -o clock.o clock.c 2025-09-04T20:27:22,441 gcc -O -Wall -c -o nonport.o nonport.c 2025-09-04T20:27:22,551 gcc -O -Wall -c -o fatal.o fatal.c 2025-09-04T20:27:22,686 gcc -O -Wall -c -o ibuffer.o ibuffer.c 2025-09-04T20:27:22,881 gcc -O -Wall -c -o memory.o memory.c 2025-09-04T20:27:23,093 gcc -O -Wall -c -o hash.o hash.c 2025-09-04T20:27:23,295 gcc -O -Wall -c -o string.o string.c 2025-09-04T20:27:23,565 gcc -O -Wall -c -o strbuf.o strbuf.c 2025-09-04T20:27:23,839 gcc -O -Wall -c -o glist.o glist.c 2025-09-04T20:27:24,435 gcc -O -Wall -c -o options.o options.c 2025-09-04T20:27:24,959 gcc -O -Wall -c -o symbols.o symbols.c 2025-09-04T20:27:25,071 symbols.c: In function ‘declare_base_symbols’: 2025-09-04T20:27:25,071 symbols.c:1304:7: warning: variable ‘sn’ set but not used [-Wunused-but-set-variable] 2025-09-04T20:27:25,071 1304 | int sn; 2025-09-04T20:27:25,071 | ^~ 2025-09-04T20:27:25,916 gcc -O -Wall -c -o avltree.o avltree.c 2025-09-04T20:27:26,280 gcc -O -Wall -c -o term.o term.c 2025-09-04T20:27:27,135 gcc -O -Wall -c -o termflag.o termflag.c 2025-09-04T20:27:27,326 gcc -O -Wall -c -o listterm.o listterm.c 2025-09-04T20:27:27,519 gcc -O -Wall -c -o tlist.o tlist.c 2025-09-04T20:27:27,688 gcc -O -Wall -c -o flatterm.o flatterm.c 2025-09-04T20:27:27,945 gcc -O -Wall -c -o multiset.o multiset.c 2025-09-04T20:27:28,119 gcc -O -Wall -c -o termorder.o termorder.c 2025-09-04T20:27:28,580 gcc -O -Wall -c -o parse.o parse.c 2025-09-04T20:27:29,368 gcc -O -Wall -c -o accanon.o accanon.c 2025-09-04T20:27:29,571 gcc -O -Wall -c -o unify.o unify.c 2025-09-04T20:27:30,010 gcc -O -Wall -c -o fpalist.o fpalist.c 2025-09-04T20:27:30,334 gcc -O -Wall -c -o fpa.o fpa.c 2025-09-04T20:27:30,847 gcc -O -Wall -c -o discrim.o discrim.c 2025-09-04T20:27:31,030 gcc -O -Wall -c -o discrimb.o discrimb.c 2025-09-04T20:27:31,151 discrimb.c:487:7: warning: ‘check_flat2’ defined but not used [-Wunused-function] 2025-09-04T20:27:31,151 487 | Flat2 check_flat2(Flat2 f) 2025-09-04T20:27:31,151 | ^~~~~~~~~~~ 2025-09-04T20:27:31,394 gcc -O -Wall -c -o discrimw.o discrimw.c 2025-09-04T20:27:31,522 discrimw.c:146:6: warning: ‘check_flat’ defined but not used [-Wunused-function] 2025-09-04T20:27:31,523 146 | Flat check_flat(Flat f) 2025-09-04T20:27:31,523 | ^~~~~~~~~~ 2025-09-04T20:27:31,815 gcc -O -Wall -c -o dioph.o dioph.c 2025-09-04T20:27:32,412 gcc -O -Wall -c -o btu.o btu.c 2025-09-04T20:27:33,065 gcc -O -Wall -c -o btm.o btm.c 2025-09-04T20:27:33,720 gcc -O -Wall -c -o mindex.o mindex.c 2025-09-04T20:27:33,834 mindex.c: In function ‘mindex_retrieve_next’: 2025-09-04T20:27:33,835 mindex.c:650:11: warning: variable ‘tr’ set but not used [-Wunused-but-set-variable] 2025-09-04T20:27:33,835 650 | Trail tr; 2025-09-04T20:27:33,835 | ^~ 2025-09-04T20:27:34,020 gcc -O -Wall -c -o basic.o basic.c 2025-09-04T20:27:34,250 gcc -O -Wall -c -o attrib.o attrib.c 2025-09-04T20:27:34,692 gcc -O -Wall -c -o formula.o formula.c 2025-09-04T20:27:35,532 gcc -O -Wall -c -o definitions.o definitions.c 2025-09-04T20:27:35,792 gcc -O -Wall -c -o literals.o literals.c 2025-09-04T20:27:36,219 gcc -O -Wall -c -o topform.o topform.c 2025-09-04T20:27:36,609 gcc -O -Wall -c -o clist.o clist.c 2025-09-04T20:27:37,038 gcc -O -Wall -c -o clauseid.o clauseid.c 2025-09-04T20:27:37,247 gcc -O -Wall -c -o clauses.o clauses.c 2025-09-04T20:27:37,469 gcc -O -Wall -c -o just.o just.c 2025-09-04T20:27:38,257 gcc -O -Wall -c -o cnf.o cnf.c 2025-09-04T20:27:38,828 gcc -O -Wall -c -o clausify.o clausify.c 2025-09-04T20:27:39,044 gcc -O -Wall -c -o parautil.o parautil.c 2025-09-04T20:27:39,352 gcc -O -Wall -c -o pindex.o pindex.c 2025-09-04T20:27:39,731 gcc -O -Wall -c -o compress.o compress.c 2025-09-04T20:27:39,914 gcc -O -Wall -c -o maximal.o maximal.c 2025-09-04T20:27:40,134 gcc -O -Wall -c -o lindex.o lindex.c 2025-09-04T20:27:40,319 gcc -O -Wall -c -o weight.o weight.c 2025-09-04T20:27:40,603 gcc -O -Wall -c -o weight2.o weight2.c 2025-09-04T20:27:40,775 gcc -O -Wall -c -o int_code.o int_code.c 2025-09-04T20:27:41,019 gcc -O -Wall -c -o features.o features.c 2025-09-04T20:27:41,226 gcc -O -Wall -c -o di_tree.o di_tree.c 2025-09-04T20:27:41,507 gcc -O -Wall -c -o fastparse.o fastparse.c 2025-09-04T20:27:41,714 gcc -O -Wall -c -o random.o random.c 2025-09-04T20:27:41,976 gcc -O -Wall -c -o subsume.o subsume.c 2025-09-04T20:27:42,387 gcc -O -Wall -c -o clause_misc.o clause_misc.c 2025-09-04T20:27:42,590 gcc -O -Wall -c -o clause_eval.o clause_eval.c 2025-09-04T20:27:42,836 gcc -O -Wall -c -o complex.o complex.c 2025-09-04T20:27:42,949 complex.c: In function ‘complex4_p1’: 2025-09-04T20:27:42,949 complex.c:275:8: warning: variable ‘dummy’ set but not used [-Wunused-but-set-variable] 2025-09-04T20:27:42,950 275 | BOOL dummy; 2025-09-04T20:27:42,950 | ^~~~~ 2025-09-04T20:27:43,105 gcc -O -Wall -c -o dollar.o dollar.c 2025-09-04T20:27:43,471 gcc -O -Wall -c -o flatdemod.o flatdemod.c 2025-09-04T20:27:43,586 flatdemod.c: In function ‘discrim_flat_retrieve_leaf’: 2025-09-04T20:27:43,586 flatdemod.c:122:16: warning: comparison between ‘BOOL’ and ‘enum ’ [-Wenum-compare] 2025-09-04T20:27:43,586 122 | if (status == BACKTRACK) { 2025-09-04T20:27:43,586 | ^~ 2025-09-04T20:27:43,587 flatdemod.c:158:15: warning: variable ‘dd’ set but not used [-Wunused-but-set-variable] 2025-09-04T20:27:43,587 158 | Discrim dd = NULL; 2025-09-04T20:27:43,587 | ^~ 2025-09-04T20:27:43,588 flatdemod.c:167:16: warning: comparison between ‘BOOL’ and ‘enum ’ [-Wenum-compare] 2025-09-04T20:27:43,588 167 | if (status == GO) { 2025-09-04T20:27:43,588 | ^~ 2025-09-04T20:27:43,743 gcc -O -Wall -c -o demod.o demod.c 2025-09-04T20:27:43,870 demod.c: In function ‘demod1’: 2025-09-04T20:27:43,870 demod.c:376:8: warning: variable ‘result’ set but not used [-Wunused-but-set-variable] 2025-09-04T20:27:43,870 376 | Term result; 2025-09-04T20:27:43,870 | ^~~~~~ 2025-09-04T20:27:44,066 gcc -O -Wall -c -o clash.o clash.c 2025-09-04T20:27:44,185 clash.c: In function ‘clash_recurse’: 2025-09-04T20:27:44,185 clash.c:283:12: warning: suggest parentheses around operand of ‘!’ or change ‘|’ to ‘||’ or ‘!’ to ‘~’ [-Wparentheses] 2025-09-04T20:27:44,185 283 | else if (!p->clashable | p->clashed) 2025-09-04T20:27:44,185 | ^~~~~~~~~~~~~ 2025-09-04T20:27:44,309 gcc -O -Wall -c -o resolve.o resolve.c 2025-09-04T20:27:44,818 gcc -O -Wall -c -o paramod.o paramod.c 2025-09-04T20:27:44,936 paramod.c: In function ‘para_into’: 2025-09-04T20:27:44,936 paramod.c:347:8: warning: suggest parentheses around operand of ‘!’ or change ‘|’ to ‘||’ or ‘!’ to ‘~’ [-Wparentheses] 2025-09-04T20:27:44,936 347 | if ((!VARIABLE(into) | Para_into_vars) && basic_check(into)) { 2025-09-04T20:27:45,175 gcc -O -Wall -c -o backdemod.o backdemod.c 2025-09-04T20:27:45,409 gcc -O -Wall -c -o hints.o hints.c 2025-09-04T20:27:45,652 gcc -O -Wall -c -o ac_redun.o ac_redun.c 2025-09-04T20:27:45,990 gcc -O -Wall -c -o xproofs.o xproofs.c 2025-09-04T20:27:46,348 gcc -O -Wall -c -o ivy.o ivy.c 2025-09-04T20:27:46,478 ivy.c: In function ‘factor2_instances’: 2025-09-04T20:27:46,478 ivy.c:633:14: warning: variable ‘l1i’ set but not used [-Wunused-but-set-variable] 2025-09-04T20:27:46,478 633 | Literals l1i, l2i, lit; 2025-09-04T20:27:46,479 | ^~~ 2025-09-04T20:27:46,827 gcc -O -Wall -c -o interp.o interp.c 2025-09-04T20:27:46,957 interp.c: In function ‘transpose_binary’: 2025-09-04T20:27:46,958 interp.c:358:10: warning: variable ‘rc’ set but not used [-Wunused-but-set-variable] 2025-09-04T20:27:46,958 358 | int i, rc; 2025-09-04T20:27:46,958 | ^~ 2025-09-04T20:27:48,651 gcc -O -Wall -c -o std_options.o std_options.c 2025-09-04T20:27:48,798 gcc -O -Wall -c -o banner.o banner.c 2025-09-04T20:27:48,967 gcc -O -Wall -c -o ioutil.o ioutil.c 2025-09-04T20:27:49,376 gcc -O -Wall -c -o tptp_trans.o tptp_trans.c 2025-09-04T20:27:49,808 gcc -O -Wall -c -o top_input.o top_input.c 2025-09-04T20:27:50,383 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:50,388 ar: creating libladr.a 2025-09-04T20:27:50,573 make[3]: Leaving directory '/tmp/pip-wheel-12poe9ca/provers_ac90e92c754049519d3f723141ead7f4/provers/bin/tmp/LADR-2009-11A/ladr' 2025-09-04T20:27:50,573 make[2]: Leaving directory '/tmp/pip-wheel-12poe9ca/provers_ac90e92c754049519d3f723141ead7f4/provers/bin/tmp/LADR-2009-11A/ladr' 2025-09-04T20:27:50,574 cd mace4.src && make all 2025-09-04T20:27:50,584 make[2]: Entering directory '/tmp/pip-wheel-12poe9ca/provers_ac90e92c754049519d3f723141ead7f4/provers/bin/tmp/LADR-2009-11A/mace4.src' 2025-09-04T20:27:50,584 cd ../ladr && make libladr.a 2025-09-04T20:27:50,612 make[3]: Entering directory '/tmp/pip-wheel-12poe9ca/provers_ac90e92c754049519d3f723141ead7f4/provers/bin/tmp/LADR-2009-11A/ladr' 2025-09-04T20:27:50,612 make[3]: 'libladr.a' is up to date. 2025-09-04T20:27:50,613 make[3]: Leaving directory '/tmp/pip-wheel-12poe9ca/provers_ac90e92c754049519d3f723141ead7f4/provers/bin/tmp/LADR-2009-11A/ladr' 2025-09-04T20:27:50,614 make clean 2025-09-04T20:27:50,622 make[3]: Entering directory '/tmp/pip-wheel-12poe9ca/provers_ac90e92c754049519d3f723141ead7f4/provers/bin/tmp/LADR-2009-11A/mace4.src' 2025-09-04T20:27:50,622 /bin/rm -f *.o 2025-09-04T20:27:50,629 make[3]: Leaving directory '/tmp/pip-wheel-12poe9ca/provers_ac90e92c754049519d3f723141ead7f4/provers/bin/tmp/LADR-2009-11A/mace4.src' 2025-09-04T20:27:50,630 make libmace4.a 2025-09-04T20:27:50,637 make[3]: Entering directory '/tmp/pip-wheel-12poe9ca/provers_ac90e92c754049519d3f723141ead7f4/provers/bin/tmp/LADR-2009-11A/mace4.src' 2025-09-04T20:27:50,637 gcc -O -Wall -c -o estack.o estack.c 2025-09-04T20:27:50,821 gcc -O -Wall -c -o util.o util.c 2025-09-04T20:27:50,983 gcc -O -Wall -c -o print.o print.c 2025-09-04T20:27:51,378 gcc -O -Wall -c -o syms.o syms.c 2025-09-04T20:27:51,598 gcc -O -Wall -c -o ground.o ground.c 2025-09-04T20:27:52,009 gcc -O -Wall -c -o arithmetic.o arithmetic.c 2025-09-04T20:27:52,424 gcc -O -Wall -c -o select.o select.c 2025-09-04T20:27:52,554 select.c: In function ‘select_concentric_band’: 2025-09-04T20:27:52,554 select.c:236:5: error: type of ‘min_id’ defaults to ‘int’ [-Wimplicit-int] 2025-09-04T20:27:52,554 236 | int select_concentric_band(min_id, max_id, max_constrained) 2025-09-04T20:27:52,554 | ^~~~~~~~~~~~~~~~~~~~~~ 2025-09-04T20:27:52,555 select.c:236:5: error: type of ‘max_id’ defaults to ‘int’ [-Wimplicit-int] 2025-09-04T20:27:52,555 select.c:236:5: error: type of ‘max_constrained’ defaults to ‘int’ [-Wimplicit-int] 2025-09-04T20:27:52,563 make[3]: *** [: select.o] Error 1 2025-09-04T20:27:52,563 make[3]: Leaving directory '/tmp/pip-wheel-12poe9ca/provers_ac90e92c754049519d3f723141ead7f4/provers/bin/tmp/LADR-2009-11A/mace4.src' 2025-09-04T20:27:52,563 make[2]: *** [Makefile:26: lib] Error 2 2025-09-04T20:27:52,563 make[2]: Leaving directory '/tmp/pip-wheel-12poe9ca/provers_ac90e92c754049519d3f723141ead7f4/provers/bin/tmp/LADR-2009-11A/mace4.src' 2025-09-04T20:27:52,564 make[1]: *** [Makefile:6: all] Error 2 2025-09-04T20:27:52,564 make[1]: Leaving directory '/tmp/pip-wheel-12poe9ca/provers_ac90e92c754049519d3f723141ead7f4/provers/bin/tmp/LADR-2009-11A' 2025-09-04T20:27:52,564 make: *** [Makefile:13: prover9] Error 2 2025-09-04T20:27:52,574 Traceback (most recent call last): 2025-09-04T20:27:52,581 File "", line 2, in 2025-09-04T20:27:52,581 exec(compile(''' 2025-09-04T20:27:52,581 ~~~~^^^^^^^^^^^^ 2025-09-04T20:27:52,581 # This is -- a caller that pip uses to run setup.py 2025-09-04T20:27:52,581 ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ 2025-09-04T20:27:52,581 ...<32 lines>... 2025-09-04T20:27:52,581 exec(compile(setup_py_code, filename, "exec")) 2025-09-04T20:27:52,581 ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ 2025-09-04T20:27:52,581 ''' % ('/tmp/pip-wheel-12poe9ca/provers_ac90e92c754049519d3f723141ead7f4/setup.py',), "", "exec")) 2025-09-04T20:27:52,582 ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ 2025-09-04T20:27:52,582 File "", line 35, in 2025-09-04T20:27:52,582 File "/tmp/pip-wheel-12poe9ca/provers_ac90e92c754049519d3f723141ead7f4/setup.py", line 34, in 2025-09-04T20:27:52,582 setup( 2025-09-04T20:27:52,582 ~~~~~^ 2025-09-04T20:27:52,582 name='provers', 2025-09-04T20:27:52,582 ^^^^^^^^^^^^^^^ 2025-09-04T20:27:52,582 ...<25 lines>... 2025-09-04T20:27:52,582 } 2025-09-04T20:27:52,582 ^ 2025-09-04T20:27:52,583 ) 2025-09-04T20:27:52,583 ^ 2025-09-04T20:27:52,583 File "/usr/local/lib/python3.13/dist-packages/setuptools/__init__.py", line 115, in setup 2025-09-04T20:27:52,583 return distutils.core.setup(**attrs) 2025-09-04T20:27:52,583 ~~~~~~~~~~~~~~~~~~~~^^^^^^^^^ 2025-09-04T20:27:52,583 File "/usr/local/lib/python3.13/dist-packages/setuptools/_distutils/core.py", line 186, in setup 2025-09-04T20:27:52,583 return run_commands(dist) 2025-09-04T20:27:52,583 File "/usr/local/lib/python3.13/dist-packages/setuptools/_distutils/core.py", line 202, in run_commands 2025-09-04T20:27:52,584 dist.run_commands() 2025-09-04T20:27:52,584 ~~~~~~~~~~~~~~~~~^^ 2025-09-04T20:27:52,584 File "/usr/local/lib/python3.13/dist-packages/setuptools/_distutils/dist.py", line 1002, in run_commands 2025-09-04T20:27:52,584 self.run_command(cmd) 2025-09-04T20:27:52,584 ~~~~~~~~~~~~~~~~^^^^^ 2025-09-04T20:27:52,584 File "/usr/local/lib/python3.13/dist-packages/setuptools/dist.py", line 1102, in run_command 2025-09-04T20:27:52,584 super().run_command(command) 2025-09-04T20:27:52,584 ~~~~~~~~~~~~~~~~~~~^^^^^^^^^ 2025-09-04T20:27:52,584 File "/usr/local/lib/python3.13/dist-packages/setuptools/_distutils/dist.py", line 1021, in run_command 2025-09-04T20:27:52,585 cmd_obj.run() 2025-09-04T20:27:52,585 ~~~~~~~~~~~^^ 2025-09-04T20:27:52,585 File "/usr/local/lib/python3.13/dist-packages/setuptools/command/bdist_wheel.py", line 370, in run 2025-09-04T20:27:52,585 self.run_command("build") 2025-09-04T20:27:52,585 ~~~~~~~~~~~~~~~~^^^^^^^^^ 2025-09-04T20:27:52,585 File "/usr/local/lib/python3.13/dist-packages/setuptools/_distutils/cmd.py", line 357, in run_command 2025-09-04T20:27:52,585 self.distribution.run_command(command) 2025-09-04T20:27:52,585 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~^^^^^^^^^ 2025-09-04T20:27:52,585 File "/usr/local/lib/python3.13/dist-packages/setuptools/dist.py", line 1102, in run_command 2025-09-04T20:27:52,586 super().run_command(command) 2025-09-04T20:27:52,586 ~~~~~~~~~~~~~~~~~~~^^^^^^^^^ 2025-09-04T20:27:52,586 File "/usr/local/lib/python3.13/dist-packages/setuptools/_distutils/dist.py", line 1021, in run_command 2025-09-04T20:27:52,586 cmd_obj.run() 2025-09-04T20:27:52,586 ~~~~~~~~~~~^^ 2025-09-04T20:27:52,586 File "/usr/local/lib/python3.13/dist-packages/setuptools/_distutils/command/build.py", line 135, in run 2025-09-04T20:27:52,586 self.run_command(cmd_name) 2025-09-04T20:27:52,586 ~~~~~~~~~~~~~~~~^^^^^^^^^^ 2025-09-04T20:27:52,586 File "/usr/local/lib/python3.13/dist-packages/setuptools/_distutils/cmd.py", line 357, in run_command 2025-09-04T20:27:52,587 self.distribution.run_command(command) 2025-09-04T20:27:52,587 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~^^^^^^^^^ 2025-09-04T20:27:52,587 File "/usr/local/lib/python3.13/dist-packages/setuptools/dist.py", line 1102, in run_command 2025-09-04T20:27:52,587 super().run_command(command) 2025-09-04T20:27:52,587 ~~~~~~~~~~~~~~~~~~~^^^^^^^^^ 2025-09-04T20:27:52,587 File "/usr/local/lib/python3.13/dist-packages/setuptools/_distutils/dist.py", line 1021, in run_command 2025-09-04T20:27:52,587 cmd_obj.run() 2025-09-04T20:27:52,587 ~~~~~~~~~~~^^ 2025-09-04T20:27:52,587 File "/tmp/pip-wheel-12poe9ca/provers_ac90e92c754049519d3f723141ead7f4/setup.py", line 25, in run 2025-09-04T20:27:52,588 subprocess.check_call(['make', 'all'], cwd='provers/bin') 2025-09-04T20:27:52,588 ~~~~~~~~~~~~~~~~~~~~~^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ 2025-09-04T20:27:52,594 File "/usr/lib/python3.13/subprocess.py", line 419, in check_call 2025-09-04T20:27:52,595 raise CalledProcessError(retcode, cmd) 2025-09-04T20:27:52,595 subprocess.CalledProcessError: Command '['make', 'all']' returned non-zero exit status 2. 2025-09-04T20:27:52,711 ERROR: python setup.py bdist_wheel exited with 1 2025-09-04T20:27:52,724 [bold magenta]full command[/]: [blue]/usr/bin/python3 -u -c ' 2025-09-04T20:27:52,724 exec(compile('"'"''"'"''"'"' 2025-09-04T20:27:52,724 # This is -- a caller that pip uses to run setup.py 2025-09-04T20:27:52,724 # 2025-09-04T20:27:52,724 # - It imports setuptools before invoking setup.py, to enable projects that directly 2025-09-04T20:27:52,724 # import from `distutils.core` to work with newer packaging standards. 2025-09-04T20:27:52,724 # - It provides a clear error message when setuptools is not installed. 2025-09-04T20:27:52,724 # - It sets `sys.argv[0]` to the underlying `setup.py`, when invoking `setup.py` so 2025-09-04T20:27:52,724 # setuptools doesn'"'"'t think the script is `-c`. This avoids the following warning: 2025-09-04T20:27:52,724 # manifest_maker: standard file '"'"'-c'"'"' not found". 2025-09-04T20:27:52,724 # - It generates a shim setup.py, for handling setup.cfg-only projects. 2025-09-04T20:27:52,724 import os, sys, tokenize, traceback 2025-09-04T20:27:52,724 2025-09-04T20:27:52,724 try: 2025-09-04T20:27:52,724 import setuptools 2025-09-04T20:27:52,724 except ImportError: 2025-09-04T20:27:52,724 print( 2025-09-04T20:27:52,724 "ERROR: Can not execute `setup.py` since setuptools failed to import in " 2025-09-04T20:27:52,724 "the build environment with exception:", 2025-09-04T20:27:52,724 file=sys.stderr, 2025-09-04T20:27:52,724 ) 2025-09-04T20:27:52,724 traceback.print_exc() 2025-09-04T20:27:52,724 sys.exit(1) 2025-09-04T20:27:52,724 2025-09-04T20:27:52,724 __file__ = %r 2025-09-04T20:27:52,724 sys.argv[0] = __file__ 2025-09-04T20:27:52,724 2025-09-04T20:27:52,724 if os.path.exists(__file__): 2025-09-04T20:27:52,724 filename = __file__ 2025-09-04T20:27:52,724 with tokenize.open(__file__) as f: 2025-09-04T20:27:52,724 setup_py_code = f.read() 2025-09-04T20:27:52,724 else: 2025-09-04T20:27:52,724 filename = "" 2025-09-04T20:27:52,724 setup_py_code = "from setuptools import setup; setup()" 2025-09-04T20:27:52,724 2025-09-04T20:27:52,724 exec(compile(setup_py_code, filename, "exec")) 2025-09-04T20:27:52,724 '"'"''"'"''"'"' % ('"'"'/tmp/pip-wheel-12poe9ca/provers_ac90e92c754049519d3f723141ead7f4/setup.py'"'"',), "", "exec"))' bdist_wheel -d /tmp/pip-wheel-e4p0ni6e[/] 2025-09-04T20:27:52,725 [bold magenta]cwd[/]: /tmp/pip-wheel-12poe9ca/provers_ac90e92c754049519d3f723141ead7f4/ 2025-09-04T20:27:52,725 Building wheel for provers (setup.py): finished with status 'error' 2025-09-04T20:27:52,726 ERROR: Failed building wheel for provers 2025-09-04T20:27:52,726 Running setup.py clean for provers 2025-09-04T20:27:52,727 Running command python setup.py clean 2025-09-04T20:27:53,451 /usr/local/lib/python3.13/dist-packages/setuptools/__init__.py:92: _DeprecatedInstaller: setuptools.installer and fetch_build_eggs are deprecated. 2025-09-04T20:27:53,451 !! 2025-09-04T20:27:53,452 ******************************************************************************** 2025-09-04T20:27:53,452 Requirements should be satisfied by a PEP 517 installer. 2025-09-04T20:27:53,452 If you are using pip, you can try `pip install --use-pep517`. 2025-09-04T20:27:53,452 By 2025-Oct-31, you need to update your project and remove deprecated calls 2025-09-04T20:27:53,452 or your builds will no longer be supported. 2025-09-04T20:27:53,452 ******************************************************************************** 2025-09-04T20:27:53,452 !! 2025-09-04T20:27:53,453 dist.fetch_build_eggs(dist.setup_requires) 2025-09-04T20:27:54,589 running clean 2025-09-04T20:27:54,747 'build/lib.linux-armv7l-cpython-313' does not exist -- can't clean it 2025-09-04T20:27:54,747 'build/bdist.linux-armv7l' does not exist -- can't clean it 2025-09-04T20:27:54,747 'build/scripts-3.13' does not exist -- can't clean it 2025-09-04T20:27:54,869 Failed to build provers 2025-09-04T20:27:54,870 ERROR: Failed to build one or more wheels 2025-09-04T20:27:54,871 Exception information: 2025-09-04T20:27:54,871 Traceback (most recent call last): 2025-09-04T20:27:54,871 File "/usr/lib/python3/dist-packages/pip/_internal/cli/base_command.py", line 105, in _run_wrapper 2025-09-04T20:27:54,871 status = _inner_run() 2025-09-04T20:27:54,871 File "/usr/lib/python3/dist-packages/pip/_internal/cli/base_command.py", line 96, in _inner_run 2025-09-04T20:27:54,871 return self.run(options, args) 2025-09-04T20:27:54,871 ~~~~~~~~^^^^^^^^^^^^^^^ 2025-09-04T20:27:54,871 File "/usr/lib/python3/dist-packages/pip/_internal/cli/req_command.py", line 68, in wrapper 2025-09-04T20:27:54,871 return func(self, options, args) 2025-09-04T20:27:54,871 File "/usr/lib/python3/dist-packages/pip/_internal/commands/wheel.py", line 180, in run 2025-09-04T20:27:54,871 raise CommandError("Failed to build one or more wheels") 2025-09-04T20:27:54,871 pip._internal.exceptions.CommandError: Failed to build one or more wheels 2025-09-04T20:27:54,875 Removed build tracker: '/tmp/pip-build-tracker-mjyljz2u'