2025-09-04T21:23:42,363 Created temporary directory: /tmp/pip-build-tracker-v4muv8mi 2025-09-04T21:23:42,363 Initialized build tracking at /tmp/pip-build-tracker-v4muv8mi 2025-09-04T21:23:42,363 Created build tracker: /tmp/pip-build-tracker-v4muv8mi 2025-09-04T21:23:42,363 Entered build tracker: /tmp/pip-build-tracker-v4muv8mi 2025-09-04T21:23:42,364 Created temporary directory: /tmp/pip-wheel-hnonstnz 2025-09-04T21:23:42,367 Created temporary directory: /tmp/pip-ephem-wheel-cache-p6_q24z1 2025-09-04T21:23:42,425 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple 2025-09-04T21:23:42,428 2 location(s) to search for versions of provers: 2025-09-04T21:23:42,428 * https://pypi.org/simple/provers/ 2025-09-04T21:23:42,428 * https://www.piwheels.org/simple/provers/ 2025-09-04T21:23:42,428 Fetching project page and analyzing links: https://pypi.org/simple/provers/ 2025-09-04T21:23:42,428 Getting page https://pypi.org/simple/provers/ 2025-09-04T21:23:42,430 Found index url https://pypi.org/simple/ 2025-09-04T21:23:42,499 Fetched page https://pypi.org/simple/provers/ as application/vnd.pypi.simple.v1+json 2025-09-04T21:23:42,503 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-04T21:23:42,503 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-04T21:23:42,503 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-04T21:23:42,503 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-04T21:23:42,504 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-04T21:23:42,504 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-04T21:23:42,504 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-04T21:23:42,504 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-04T21:23:42,504 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-04T21:23:42,505 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-04T21:23:42,505 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-04T21:23:42,505 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-04T21:23:42,505 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-04T21:23:42,506 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-04T21:23:42,506 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-04T21:23:42,506 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-04T21:23:42,506 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-04T21:23:42,507 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-04T21:23:42,507 Fetching project page and analyzing links: https://www.piwheels.org/simple/provers/ 2025-09-04T21:23:42,507 Getting page https://www.piwheels.org/simple/provers/ 2025-09-04T21:23:42,508 Found index url https://www.piwheels.org/simple/ 2025-09-04T21:23:42,641 Fetched page https://www.piwheels.org/simple/provers/ as text/html 2025-09-04T21:23:42,663 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-04T21:23:42,664 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-04T21:23:42,664 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-04T21:23:42,664 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-04T21:23:42,664 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-04T21:23:42,665 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-04T21:23:42,665 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-04T21:23:42,665 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-04T21:23:42,665 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-04T21:23:42,665 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-04T21:23:42,665 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-04T21:23:42,666 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-04T21:23:42,666 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-04T21:23:42,666 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-04T21:23:42,666 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-04T21:23:42,666 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-04T21:23:42,667 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-04T21:23:42,667 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-04T21:23:42,667 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-04T21:23:42,667 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-04T21:23:42,667 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-04T21:23:42,668 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-04T21:23:42,668 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-04T21:23:42,668 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-04T21:23:42,668 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-04T21:23:42,668 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-04T21:23:42,668 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-04T21:23:42,669 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-04T21:23:42,669 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-04T21:23:42,669 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-04T21:23:42,669 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-04T21:23:42,669 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-04T21:23:42,669 Skipping link: No binaries permitted for provers: https://www.piwheels.org/simple/provers/provers-0.1.15-cp313-cp313-linux_armv6l.whl#sha256=0e68553d4500679206f23b671b0b2bfb1f0b21d99a66cdab5c8325888b8f6530 (from https://www.piwheels.org/simple/provers/) (requires-python:>=3.5) 2025-09-04T21:23:42,669 Skipping link: No binaries permitted for provers: https://www.piwheels.org/simple/provers/provers-0.1.15-cp313-cp313-linux_armv7l.whl#sha256=0e68553d4500679206f23b671b0b2bfb1f0b21d99a66cdab5c8325888b8f6530 (from https://www.piwheels.org/simple/provers/) (requires-python:>=3.5) 2025-09-04T21:23:42,669 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-04T21:23:42,669 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-04T21:23:42,670 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-04T21:23:42,670 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-04T21:23:42,670 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-04T21:23:42,670 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-04T21:23:42,670 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-04T21:23:42,670 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-04T21:23:42,670 Skipping link: No binaries permitted for provers: https://www.piwheels.org/simple/provers/provers-0.1.13-cp313-cp313-linux_armv6l.whl#sha256=1f25378ed4970720a71702b22bf56897838bc53f48da0f917d0373e8d2b0c82e (from https://www.piwheels.org/simple/provers/) (requires-python:>=3.5) 2025-09-04T21:23:42,670 Skipping link: No binaries permitted for provers: https://www.piwheels.org/simple/provers/provers-0.1.13-cp313-cp313-linux_armv7l.whl#sha256=1f25378ed4970720a71702b22bf56897838bc53f48da0f917d0373e8d2b0c82e (from https://www.piwheels.org/simple/provers/) (requires-python:>=3.5) 2025-09-04T21:23:42,671 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-04T21:23:42,671 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-04T21:23:42,671 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-04T21:23:42,671 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-04T21:23:42,671 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-04T21:23:42,671 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-04T21:23:42,671 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-04T21:23:42,671 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-04T21:23:42,671 Skipping link: No binaries permitted for provers: https://www.piwheels.org/simple/provers/provers-0.1.12-cp313-cp313-linux_armv6l.whl#sha256=6709f0e65f7e63c3f32ddd5eace580af78c083d11bc15df48ba1f683c5ad9127 (from https://www.piwheels.org/simple/provers/) (requires-python:>=3.5) 2025-09-04T21:23:42,672 Skipping link: No binaries permitted for provers: https://www.piwheels.org/simple/provers/provers-0.1.12-cp313-cp313-linux_armv7l.whl#sha256=6709f0e65f7e63c3f32ddd5eace580af78c083d11bc15df48ba1f683c5ad9127 (from https://www.piwheels.org/simple/provers/) (requires-python:>=3.5) 2025-09-04T21:23:42,672 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-04T21:23:42,672 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-04T21:23:42,672 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-04T21:23:42,672 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-04T21:23:42,672 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-04T21:23:42,672 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-04T21:23:42,672 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-04T21:23:42,673 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-04T21:23:42,673 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-04T21:23:42,673 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-04T21:23:42,673 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-04T21:23:42,673 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-04T21:23:42,673 Skipping link: not a file: https://www.piwheels.org/simple/provers/ 2025-09-04T21:23:42,673 Skipping link: not a file: https://pypi.org/simple/provers/ 2025-09-04T21:23:42,696 Given no hashes to check 1 links for project 'provers': discarding no candidates 2025-09-04T21:23:42,697 Collecting provers==0.1.16 2025-09-04T21:23:42,699 Created temporary directory: /tmp/pip-unpack-f73jw4pt 2025-09-04T21:23:42,839 Downloading provers-0.1.16.tar.gz (22 kB) 2025-09-04T21:23:42,875 Added provers==0.1.16 from https://files.pythonhosted.org/packages/a2/a4/6f49b7fc5fe5c23acd354f35f32324b719a217c724870ea0c46b2960a547/provers-0.1.16.tar.gz to build tracker '/tmp/pip-build-tracker-v4muv8mi' 2025-09-04T21:23:42,876 Running setup.py (path:/tmp/pip-wheel-hnonstnz/provers_1b27a46f257c47de9a2ed330793c2cf0/setup.py) egg_info for package provers 2025-09-04T21:23:42,876 Created temporary directory: /tmp/pip-pip-egg-info-ty5iyw25 2025-09-04T21:23:42,877 Preparing metadata (setup.py): started 2025-09-04T21:23:42,877 Running command python setup.py egg_info 2025-09-04T21:23:43,549 /usr/local/lib/python3.13/dist-packages/setuptools/__init__.py:92: _DeprecatedInstaller: setuptools.installer and fetch_build_eggs are deprecated. 2025-09-04T21:23:43,549 !! 2025-09-04T21:23:43,549 ******************************************************************************** 2025-09-04T21:23:43,549 Requirements should be satisfied by a PEP 517 installer. 2025-09-04T21:23:43,549 If you are using pip, you can try `pip install --use-pep517`. 2025-09-04T21:23:43,549 By 2025-Oct-31, you need to update your project and remove deprecated calls 2025-09-04T21:23:43,549 or your builds will no longer be supported. 2025-09-04T21:23:43,550 ******************************************************************************** 2025-09-04T21:23:43,550 !! 2025-09-04T21:23:43,550 dist.fetch_build_eggs(dist.setup_requires) 2025-09-04T21:23:47,040 /usr/local/lib/python3.13/dist-packages/setuptools/dist.py:759: SetuptoolsDeprecationWarning: License classifiers are deprecated. 2025-09-04T21:23:47,041 !! 2025-09-04T21:23:47,041 ******************************************************************************** 2025-09-04T21:23:47,041 Please consider removing the following classifiers in favor of a SPDX license expression: 2025-09-04T21:23:47,041 License :: OSI Approved :: GNU General Public License v3 or later (GPLv3+) 2025-09-04T21:23:47,041 See https://packaging.python.org/en/latest/guides/writing-pyproject-toml/#license for details. 2025-09-04T21:23:47,041 ******************************************************************************** 2025-09-04T21:23:47,042 !! 2025-09-04T21:23:47,042 self._finalize_license_expression() 2025-09-04T21:23:47,117 running egg_info 2025-09-04T21:23:47,193 creating /tmp/pip-pip-egg-info-ty5iyw25/provers.egg-info 2025-09-04T21:23:47,193 writing /tmp/pip-pip-egg-info-ty5iyw25/provers.egg-info/PKG-INFO 2025-09-04T21:23:47,194 writing dependency_links to /tmp/pip-pip-egg-info-ty5iyw25/provers.egg-info/dependency_links.txt 2025-09-04T21:23:47,194 writing entry points to /tmp/pip-pip-egg-info-ty5iyw25/provers.egg-info/entry_points.txt 2025-09-04T21:23:47,195 writing top-level names to /tmp/pip-pip-egg-info-ty5iyw25/provers.egg-info/top_level.txt 2025-09-04T21:23:47,195 writing manifest file '/tmp/pip-pip-egg-info-ty5iyw25/provers.egg-info/SOURCES.txt' 2025-09-04T21:23:47,591 listing git files failed - pretending there aren't any 2025-09-04T21:23:47,604 reading manifest file '/tmp/pip-pip-egg-info-ty5iyw25/provers.egg-info/SOURCES.txt' 2025-09-04T21:23:47,604 reading manifest template 'MANIFEST.in' 2025-09-04T21:23:47,605 warning: no previously-included files found matching 'provers/bin/*' 2025-09-04T21:23:47,606 adding license file 'LICENSE' 2025-09-04T21:23:47,608 writing manifest file '/tmp/pip-pip-egg-info-ty5iyw25/provers.egg-info/SOURCES.txt' 2025-09-04T21:23:47,730 Preparing metadata (setup.py): finished with status 'done' 2025-09-04T21:23:47,735 Source in /tmp/pip-wheel-hnonstnz/provers_1b27a46f257c47de9a2ed330793c2cf0 has version 0.1.16, which satisfies requirement provers==0.1.16 from https://files.pythonhosted.org/packages/a2/a4/6f49b7fc5fe5c23acd354f35f32324b719a217c724870ea0c46b2960a547/provers-0.1.16.tar.gz 2025-09-04T21:23:47,735 Removed provers==0.1.16 from https://files.pythonhosted.org/packages/a2/a4/6f49b7fc5fe5c23acd354f35f32324b719a217c724870ea0c46b2960a547/provers-0.1.16.tar.gz from build tracker '/tmp/pip-build-tracker-v4muv8mi' 2025-09-04T21:23:47,740 Created temporary directory: /tmp/pip-unpack-d1c8npso 2025-09-04T21:23:47,740 Created temporary directory: /tmp/pip-unpack-ktdedfrl 2025-09-04T21:23:47,740 Building wheels for collected packages: provers 2025-09-04T21:23:47,741 Created temporary directory: /tmp/pip-wheel-vrdr02hd 2025-09-04T21:23:47,742 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-04T21:23:47,743 Building wheel for provers (setup.py): started 2025-09-04T21:23:47,744 Destination directory: /tmp/pip-wheel-vrdr02hd 2025-09-04T21:23:47,744 Running command python setup.py bdist_wheel 2025-09-04T21:23:48,384 /usr/local/lib/python3.13/dist-packages/setuptools/__init__.py:92: _DeprecatedInstaller: setuptools.installer and fetch_build_eggs are deprecated. 2025-09-04T21:23:48,384 !! 2025-09-04T21:23:48,384 ******************************************************************************** 2025-09-04T21:23:48,385 Requirements should be satisfied by a PEP 517 installer. 2025-09-04T21:23:48,385 If you are using pip, you can try `pip install --use-pep517`. 2025-09-04T21:23:48,385 By 2025-Oct-31, you need to update your project and remove deprecated calls 2025-09-04T21:23:48,385 or your builds will no longer be supported. 2025-09-04T21:23:48,385 ******************************************************************************** 2025-09-04T21:23:48,385 !! 2025-09-04T21:23:48,385 dist.fetch_build_eggs(dist.setup_requires) 2025-09-04T21:23:49,430 /usr/local/lib/python3.13/dist-packages/setuptools/dist.py:759: SetuptoolsDeprecationWarning: License classifiers are deprecated. 2025-09-04T21:23:49,430 !! 2025-09-04T21:23:49,431 ******************************************************************************** 2025-09-04T21:23:49,431 Please consider removing the following classifiers in favor of a SPDX license expression: 2025-09-04T21:23:49,431 License :: OSI Approved :: GNU General Public License v3 or later (GPLv3+) 2025-09-04T21:23:49,431 See https://packaging.python.org/en/latest/guides/writing-pyproject-toml/#license for details. 2025-09-04T21:23:49,431 ******************************************************************************** 2025-09-04T21:23:49,431 !! 2025-09-04T21:23:49,431 self._finalize_license_expression() 2025-09-04T21:23:49,432 running bdist_wheel 2025-09-04T21:23:49,815 running build 2025-09-04T21:23:49,815 running build_py 2025-09-04T21:23:49,823 mkdir tmp || true 2025-09-04T21:23:49,832 cd tmp && wget https://www.cs.unm.edu/~mccune/mace4/download/LADR-2009-11A.tar.gz 2025-09-04T21:23:49,854 --2025-09-04 21:23:49-- https://www.cs.unm.edu/~mccune/mace4/download/LADR-2009-11A.tar.gz 2025-09-04T21:23:50,190 Resolving www.cs.unm.edu (www.cs.unm.edu)... 64:ff9b::406a:144c, 64.106.20.76 2025-09-04T21:23:50,334 Connecting to www.cs.unm.edu (www.cs.unm.edu)|64:ff9b::406a:144c|:443... connected. 2025-09-04T21:23:50,776 HTTP request sent, awaiting response... 200 OK 2025-09-04T21:23:50,777 Length: 1795750 (1.7M) [application/x-gzip] 2025-09-04T21:23:50,778 Saving to: ‘LADR-2009-11A.tar.gz’ 2025-09-04T21:23:51,063 0K .......... .......... .......... .......... .......... 2% 176K 10s 2025-09-04T21:23:51,202 50K .......... .......... .......... .......... .......... 5% 360K 7s 2025-09-04T21:23:51,217 100K .......... .......... .......... .......... .......... 8% 3.11M 5s 2025-09-04T21:23:51,228 150K .......... .......... .......... .......... .......... 11% 4.65M 3s 2025-09-04T21:23:51,357 200K .......... .......... .......... .......... .......... 14% 388K 3s 2025-09-04T21:23:51,366 250K .......... .......... .......... .......... .......... 17% 5.38M 3s 2025-09-04T21:23:51,374 300K .......... .......... .......... .......... .......... 19% 6.09M 2s 2025-09-04T21:23:51,380 350K .......... .......... .......... .......... .......... 22% 7.77M 2s 2025-09-04T21:23:51,496 400K .......... .......... .......... .......... .......... 25% 432K 2s 2025-09-04T21:23:51,512 450K .......... .......... .......... .......... .......... 28% 3.07M 2s 2025-09-04T21:23:51,518 500K .......... .......... .......... .......... .......... 31% 7.93M 2s 2025-09-04T21:23:51,523 550K .......... .......... .......... .......... .......... 34% 9.06M 1s 2025-09-04T21:23:51,529 600K .......... .......... .......... .......... .......... 37% 7.84M 1s 2025-09-04T21:23:51,535 650K .......... .......... .......... .......... .......... 39% 9.07M 1s 2025-09-04T21:23:51,540 700K .......... .......... .......... .......... .......... 42% 9.18M 1s 2025-09-04T21:23:51,544 750K .......... .......... .......... .......... .......... 45% 12.6M 1s 2025-09-04T21:23:51,548 800K .......... .......... .......... .......... .......... 48% 12.5M 1s 2025-09-04T21:23:51,640 850K .......... .......... .......... .......... .......... 51% 541K 1s 2025-09-04T21:23:51,650 900K .......... .......... .......... .......... .......... 54% 5.00M 1s 2025-09-04T21:23:51,658 950K .......... .......... .......... .......... .......... 57% 5.74M 1s 2025-09-04T21:23:51,662 1000K .......... .......... .......... .......... .......... 59% 12.4M 1s 2025-09-04T21:23:51,666 1050K .......... .......... .......... .......... .......... 62% 12.4M 1s 2025-09-04T21:23:51,671 1100K .......... .......... .......... .......... .......... 65% 10.8M 0s 2025-09-04T21:23:51,674 1150K .......... .......... .......... .......... .......... 68% 12.7M 0s 2025-09-04T21:23:51,679 1200K .......... .......... .......... .......... .......... 71% 10.9M 0s 2025-09-04T21:23:51,683 1250K .......... .......... .......... .......... .......... 74% 12.7M 0s 2025-09-04T21:23:51,687 1300K .......... .......... .......... .......... .......... 76% 12.7M 0s 2025-09-04T21:23:51,691 1350K .......... .......... .......... .......... .......... 79% 10.9M 0s 2025-09-04T21:23:51,695 1400K .......... .......... .......... .......... .......... 82% 12.7M 0s 2025-09-04T21:23:51,699 1450K .......... .......... .......... .......... .......... 85% 10.9M 0s 2025-09-04T21:23:51,703 1500K .......... .......... .......... .......... .......... 88% 12.7M 0s 2025-09-04T21:23:51,707 1550K .......... .......... .......... .......... .......... 91% 12.6M 0s 2025-09-04T21:23:51,712 1600K .......... .......... .......... .......... .......... 94% 10.9M 0s 2025-09-04T21:23:51,716 1650K .......... .......... .......... .......... .......... 96% 12.7M 0s 2025-09-04T21:23:51,720 1700K .......... .......... .......... .......... .......... 99% 11.6M 0s 2025-09-04T21:23:51,720 1750K ... 100% 6.82T=0.9s 2025-09-04T21:23:51,720 2025-09-04 21:23:51 (1.82 MB/s) - ‘LADR-2009-11A.tar.gz’ saved [1795750/1795750] 2025-09-04T21:23:51,723 cd tmp && tar -xzf LADR-2009-11A.tar.gz 2025-09-04T21:23:51,887 cd tmp/LADR-2009-11A/provers.src && sed -i.old 's/^\([ \t]*\$(CC).*\) -lm \(.*\)$/\1 \2 -lm/g' Makefile 2025-09-04T21:23:51,897 cd tmp/LADR-2009-11A && make all 2025-09-04T21:23:51,908 make[1]: Entering directory '/tmp/pip-wheel-hnonstnz/provers_1b27a46f257c47de9a2ed330793c2cf0/provers/bin/tmp/LADR-2009-11A' 2025-09-04T21:23:51,909 cd ladr && make lib 2025-09-04T21:23:51,924 make[2]: Entering directory '/tmp/pip-wheel-hnonstnz/provers_1b27a46f257c47de9a2ed330793c2cf0/provers/bin/tmp/LADR-2009-11A/ladr' 2025-09-04T21:23:51,924 make libladr.a 2025-09-04T21:23:51,937 make[3]: Entering directory '/tmp/pip-wheel-hnonstnz/provers_1b27a46f257c47de9a2ed330793c2cf0/provers/bin/tmp/LADR-2009-11A/ladr' 2025-09-04T21:23:51,938 gcc -O -Wall -c -o order.o order.c 2025-09-04T21:23:52,105 gcc -O -Wall -c -o clock.o clock.c 2025-09-04T21:23:52,334 gcc -O -Wall -c -o nonport.o nonport.c 2025-09-04T21:23:52,444 gcc -O -Wall -c -o fatal.o fatal.c 2025-09-04T21:23:52,582 gcc -O -Wall -c -o ibuffer.o ibuffer.c 2025-09-04T21:23:52,781 gcc -O -Wall -c -o memory.o memory.c 2025-09-04T21:23:52,997 gcc -O -Wall -c -o hash.o hash.c 2025-09-04T21:23:53,198 gcc -O -Wall -c -o string.o string.c 2025-09-04T21:23:53,447 gcc -O -Wall -c -o strbuf.o strbuf.c 2025-09-04T21:23:53,721 gcc -O -Wall -c -o glist.o glist.c 2025-09-04T21:23:54,332 gcc -O -Wall -c -o options.o options.c 2025-09-04T21:23:54,846 gcc -O -Wall -c -o symbols.o symbols.c 2025-09-04T21:23:54,961 symbols.c: In function ‘declare_base_symbols’: 2025-09-04T21:23:54,961 symbols.c:1304:7: warning: variable ‘sn’ set but not used [-Wunused-but-set-variable] 2025-09-04T21:23:54,961 1304 | int sn; 2025-09-04T21:23:54,961 | ^~ 2025-09-04T21:23:55,808 gcc -O -Wall -c -o avltree.o avltree.c 2025-09-04T21:23:56,167 gcc -O -Wall -c -o term.o term.c 2025-09-04T21:23:57,020 gcc -O -Wall -c -o termflag.o termflag.c 2025-09-04T21:23:57,212 gcc -O -Wall -c -o listterm.o listterm.c 2025-09-04T21:23:57,410 gcc -O -Wall -c -o tlist.o tlist.c 2025-09-04T21:23:57,581 gcc -O -Wall -c -o flatterm.o flatterm.c 2025-09-04T21:23:57,840 gcc -O -Wall -c -o multiset.o multiset.c 2025-09-04T21:23:58,020 gcc -O -Wall -c -o termorder.o termorder.c 2025-09-04T21:23:58,480 gcc -O -Wall -c -o parse.o parse.c 2025-09-04T21:23:59,271 gcc -O -Wall -c -o accanon.o accanon.c 2025-09-04T21:23:59,468 gcc -O -Wall -c -o unify.o unify.c 2025-09-04T21:23:59,910 gcc -O -Wall -c -o fpalist.o fpalist.c 2025-09-04T21:24:00,229 gcc -O -Wall -c -o fpa.o fpa.c 2025-09-04T21:24:00,738 gcc -O -Wall -c -o discrim.o discrim.c 2025-09-04T21:24:00,919 gcc -O -Wall -c -o discrimb.o discrimb.c 2025-09-04T21:24:01,053 discrimb.c:487:7: warning: ‘check_flat2’ defined but not used [-Wunused-function] 2025-09-04T21:24:01,053 487 | Flat2 check_flat2(Flat2 f) 2025-09-04T21:24:01,054 | ^~~~~~~~~~~ 2025-09-04T21:24:01,296 gcc -O -Wall -c -o discrimw.o discrimw.c 2025-09-04T21:24:01,427 discrimw.c:146:6: warning: ‘check_flat’ defined but not used [-Wunused-function] 2025-09-04T21:24:01,427 146 | Flat check_flat(Flat f) 2025-09-04T21:24:01,427 | ^~~~~~~~~~ 2025-09-04T21:24:01,718 gcc -O -Wall -c -o dioph.o dioph.c 2025-09-04T21:24:02,315 gcc -O -Wall -c -o btu.o btu.c 2025-09-04T21:24:02,968 gcc -O -Wall -c -o btm.o btm.c 2025-09-04T21:24:03,623 gcc -O -Wall -c -o mindex.o mindex.c 2025-09-04T21:24:03,739 mindex.c: In function ‘mindex_retrieve_next’: 2025-09-04T21:24:03,740 mindex.c:650:11: warning: variable ‘tr’ set but not used [-Wunused-but-set-variable] 2025-09-04T21:24:03,740 650 | Trail tr; 2025-09-04T21:24:03,740 | ^~ 2025-09-04T21:24:03,926 gcc -O -Wall -c -o basic.o basic.c 2025-09-04T21:24:04,155 gcc -O -Wall -c -o attrib.o attrib.c 2025-09-04T21:24:04,589 gcc -O -Wall -c -o formula.o formula.c 2025-09-04T21:24:05,436 gcc -O -Wall -c -o definitions.o definitions.c 2025-09-04T21:24:05,711 gcc -O -Wall -c -o literals.o literals.c 2025-09-04T21:24:06,143 gcc -O -Wall -c -o topform.o topform.c 2025-09-04T21:24:06,531 gcc -O -Wall -c -o clist.o clist.c 2025-09-04T21:24:06,958 gcc -O -Wall -c -o clauseid.o clauseid.c 2025-09-04T21:24:07,170 gcc -O -Wall -c -o clauses.o clauses.c 2025-09-04T21:24:07,391 gcc -O -Wall -c -o just.o just.c 2025-09-04T21:24:08,163 gcc -O -Wall -c -o cnf.o cnf.c 2025-09-04T21:24:08,743 gcc -O -Wall -c -o clausify.o clausify.c 2025-09-04T21:24:08,964 gcc -O -Wall -c -o parautil.o parautil.c 2025-09-04T21:24:09,272 gcc -O -Wall -c -o pindex.o pindex.c 2025-09-04T21:24:09,653 gcc -O -Wall -c -o compress.o compress.c 2025-09-04T21:24:09,841 gcc -O -Wall -c -o maximal.o maximal.c 2025-09-04T21:24:10,062 gcc -O -Wall -c -o lindex.o lindex.c 2025-09-04T21:24:10,250 gcc -O -Wall -c -o weight.o weight.c 2025-09-04T21:24:10,532 gcc -O -Wall -c -o weight2.o weight2.c 2025-09-04T21:24:10,713 gcc -O -Wall -c -o int_code.o int_code.c 2025-09-04T21:24:10,962 gcc -O -Wall -c -o features.o features.c 2025-09-04T21:24:11,171 gcc -O -Wall -c -o di_tree.o di_tree.c 2025-09-04T21:24:11,454 gcc -O -Wall -c -o fastparse.o fastparse.c 2025-09-04T21:24:11,669 gcc -O -Wall -c -o random.o random.c 2025-09-04T21:24:11,935 gcc -O -Wall -c -o subsume.o subsume.c 2025-09-04T21:24:12,350 gcc -O -Wall -c -o clause_misc.o clause_misc.c 2025-09-04T21:24:12,557 gcc -O -Wall -c -o clause_eval.o clause_eval.c 2025-09-04T21:24:12,809 gcc -O -Wall -c -o complex.o complex.c 2025-09-04T21:24:12,928 complex.c: In function ‘complex4_p1’: 2025-09-04T21:24:12,928 complex.c:275:8: warning: variable ‘dummy’ set but not used [-Wunused-but-set-variable] 2025-09-04T21:24:12,928 275 | BOOL dummy; 2025-09-04T21:24:12,928 | ^~~~~ 2025-09-04T21:24:13,086 gcc -O -Wall -c -o dollar.o dollar.c 2025-09-04T21:24:13,453 gcc -O -Wall -c -o flatdemod.o flatdemod.c 2025-09-04T21:24:13,583 flatdemod.c: In function ‘discrim_flat_retrieve_leaf’: 2025-09-04T21:24:13,583 flatdemod.c:122:16: warning: comparison between ‘BOOL’ and ‘enum ’ [-Wenum-compare] 2025-09-04T21:24:13,583 122 | if (status == BACKTRACK) { 2025-09-04T21:24:13,584 | ^~ 2025-09-04T21:24:13,584 flatdemod.c:158:15: warning: variable ‘dd’ set but not used [-Wunused-but-set-variable] 2025-09-04T21:24:13,584 158 | Discrim dd = NULL; 2025-09-04T21:24:13,585 | ^~ 2025-09-04T21:24:13,585 flatdemod.c:167:16: warning: comparison between ‘BOOL’ and ‘enum ’ [-Wenum-compare] 2025-09-04T21:24:13,585 167 | if (status == GO) { 2025-09-04T21:24:13,585 | ^~ 2025-09-04T21:24:13,741 gcc -O -Wall -c -o demod.o demod.c 2025-09-04T21:24:13,869 demod.c: In function ‘demod1’: 2025-09-04T21:24:13,869 demod.c:376:8: warning: variable ‘result’ set but not used [-Wunused-but-set-variable] 2025-09-04T21:24:13,869 376 | Term result; 2025-09-04T21:24:13,869 | ^~~~~~ 2025-09-04T21:24:14,065 gcc -O -Wall -c -o clash.o clash.c 2025-09-04T21:24:14,188 clash.c: In function ‘clash_recurse’: 2025-09-04T21:24:14,189 clash.c:283:12: warning: suggest parentheses around operand of ‘!’ or change ‘|’ to ‘||’ or ‘!’ to ‘~’ [-Wparentheses] 2025-09-04T21:24:14,189 283 | else if (!p->clashable | p->clashed) 2025-09-04T21:24:14,189 | ^~~~~~~~~~~~~ 2025-09-04T21:24:14,318 gcc -O -Wall -c -o resolve.o resolve.c 2025-09-04T21:24:14,821 gcc -O -Wall -c -o paramod.o paramod.c 2025-09-04T21:24:14,946 paramod.c: In function ‘para_into’: 2025-09-04T21:24:14,946 paramod.c:347:8: warning: suggest parentheses around operand of ‘!’ or change ‘|’ to ‘||’ or ‘!’ to ‘~’ [-Wparentheses] 2025-09-04T21:24:14,946 347 | if ((!VARIABLE(into) | Para_into_vars) && basic_check(into)) { 2025-09-04T21:24:15,177 gcc -O -Wall -c -o backdemod.o backdemod.c 2025-09-04T21:24:15,411 gcc -O -Wall -c -o hints.o hints.c 2025-09-04T21:24:15,656 gcc -O -Wall -c -o ac_redun.o ac_redun.c 2025-09-04T21:24:15,996 gcc -O -Wall -c -o xproofs.o xproofs.c 2025-09-04T21:24:16,350 gcc -O -Wall -c -o ivy.o ivy.c 2025-09-04T21:24:16,479 ivy.c: In function ‘factor2_instances’: 2025-09-04T21:24:16,480 ivy.c:633:14: warning: variable ‘l1i’ set but not used [-Wunused-but-set-variable] 2025-09-04T21:24:16,480 633 | Literals l1i, l2i, lit; 2025-09-04T21:24:16,480 | ^~~ 2025-09-04T21:24:16,828 gcc -O -Wall -c -o interp.o interp.c 2025-09-04T21:24:16,959 interp.c: In function ‘transpose_binary’: 2025-09-04T21:24:16,959 interp.c:358:10: warning: variable ‘rc’ set but not used [-Wunused-but-set-variable] 2025-09-04T21:24:16,959 358 | int i, rc; 2025-09-04T21:24:16,959 | ^~ 2025-09-04T21:24:18,642 gcc -O -Wall -c -o std_options.o std_options.c 2025-09-04T21:24:18,789 gcc -O -Wall -c -o banner.o banner.c 2025-09-04T21:24:18,963 gcc -O -Wall -c -o ioutil.o ioutil.c 2025-09-04T21:24:19,377 gcc -O -Wall -c -o tptp_trans.o tptp_trans.c 2025-09-04T21:24:19,811 gcc -O -Wall -c -o top_input.o top_input.c 2025-09-04T21:24:20,381 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-04T21:24:20,388 ar: creating libladr.a 2025-09-04T21:24:20,565 make[3]: Leaving directory '/tmp/pip-wheel-hnonstnz/provers_1b27a46f257c47de9a2ed330793c2cf0/provers/bin/tmp/LADR-2009-11A/ladr' 2025-09-04T21:24:20,565 make[2]: Leaving directory '/tmp/pip-wheel-hnonstnz/provers_1b27a46f257c47de9a2ed330793c2cf0/provers/bin/tmp/LADR-2009-11A/ladr' 2025-09-04T21:24:20,566 cd mace4.src && make all 2025-09-04T21:24:20,576 make[2]: Entering directory '/tmp/pip-wheel-hnonstnz/provers_1b27a46f257c47de9a2ed330793c2cf0/provers/bin/tmp/LADR-2009-11A/mace4.src' 2025-09-04T21:24:20,576 cd ../ladr && make libladr.a 2025-09-04T21:24:20,600 make[3]: Entering directory '/tmp/pip-wheel-hnonstnz/provers_1b27a46f257c47de9a2ed330793c2cf0/provers/bin/tmp/LADR-2009-11A/ladr' 2025-09-04T21:24:20,600 make[3]: 'libladr.a' is up to date. 2025-09-04T21:24:20,601 make[3]: Leaving directory '/tmp/pip-wheel-hnonstnz/provers_1b27a46f257c47de9a2ed330793c2cf0/provers/bin/tmp/LADR-2009-11A/ladr' 2025-09-04T21:24:20,602 make clean 2025-09-04T21:24:20,610 make[3]: Entering directory '/tmp/pip-wheel-hnonstnz/provers_1b27a46f257c47de9a2ed330793c2cf0/provers/bin/tmp/LADR-2009-11A/mace4.src' 2025-09-04T21:24:20,611 /bin/rm -f *.o 2025-09-04T21:24:20,620 make[3]: Leaving directory '/tmp/pip-wheel-hnonstnz/provers_1b27a46f257c47de9a2ed330793c2cf0/provers/bin/tmp/LADR-2009-11A/mace4.src' 2025-09-04T21:24:20,621 make libmace4.a 2025-09-04T21:24:20,631 make[3]: Entering directory '/tmp/pip-wheel-hnonstnz/provers_1b27a46f257c47de9a2ed330793c2cf0/provers/bin/tmp/LADR-2009-11A/mace4.src' 2025-09-04T21:24:20,631 gcc -O -Wall -c -o estack.o estack.c 2025-09-04T21:24:20,818 gcc -O -Wall -c -o util.o util.c 2025-09-04T21:24:20,982 gcc -O -Wall -c -o print.o print.c 2025-09-04T21:24:21,379 gcc -O -Wall -c -o syms.o syms.c 2025-09-04T21:24:21,608 gcc -O -Wall -c -o ground.o ground.c 2025-09-04T21:24:22,021 gcc -O -Wall -c -o arithmetic.o arithmetic.c 2025-09-04T21:24:22,445 gcc -O -Wall -c -o select.o select.c 2025-09-04T21:24:22,580 select.c: In function ‘select_concentric_band’: 2025-09-04T21:24:22,580 select.c:236:5: error: type of ‘min_id’ defaults to ‘int’ [-Wimplicit-int] 2025-09-04T21:24:22,580 236 | int select_concentric_band(min_id, max_id, max_constrained) 2025-09-04T21:24:22,580 | ^~~~~~~~~~~~~~~~~~~~~~ 2025-09-04T21:24:22,580 select.c:236:5: error: type of ‘max_id’ defaults to ‘int’ [-Wimplicit-int] 2025-09-04T21:24:22,580 select.c:236:5: error: type of ‘max_constrained’ defaults to ‘int’ [-Wimplicit-int] 2025-09-04T21:24:22,588 make[3]: *** [: select.o] Error 1 2025-09-04T21:24:22,588 make[3]: Leaving directory '/tmp/pip-wheel-hnonstnz/provers_1b27a46f257c47de9a2ed330793c2cf0/provers/bin/tmp/LADR-2009-11A/mace4.src' 2025-09-04T21:24:22,589 make[2]: *** [Makefile:26: lib] Error 2 2025-09-04T21:24:22,589 make[2]: Leaving directory '/tmp/pip-wheel-hnonstnz/provers_1b27a46f257c47de9a2ed330793c2cf0/provers/bin/tmp/LADR-2009-11A/mace4.src' 2025-09-04T21:24:22,589 make[1]: *** [Makefile:6: all] Error 2 2025-09-04T21:24:22,589 make[1]: Leaving directory '/tmp/pip-wheel-hnonstnz/provers_1b27a46f257c47de9a2ed330793c2cf0/provers/bin/tmp/LADR-2009-11A' 2025-09-04T21:24:22,590 make: *** [Makefile:15: prover9] Error 2 2025-09-04T21:24:22,597 creating build/lib.linux-armv7l-cpython-313/provers 2025-09-04T21:24:22,597 copying provers/util.py -> build/lib.linux-armv7l-cpython-313/provers 2025-09-04T21:24:22,597 copying provers/prover9.py -> build/lib.linux-armv7l-cpython-313/provers 2025-09-04T21:24:22,597 copying provers/fol.py -> build/lib.linux-armv7l-cpython-313/provers 2025-09-04T21:24:22,597 copying provers/eprover.py -> build/lib.linux-armv7l-cpython-313/provers 2025-09-04T21:24:22,597 copying provers/__init__.py -> build/lib.linux-armv7l-cpython-313/provers 2025-09-04T21:24:22,597 running build_ext 2025-09-04T21:24:22,746 /usr/local/lib/python3.13/dist-packages/setuptools/_distutils/cmd.py:90: SetuptoolsDeprecationWarning: setup.py install is deprecated. 2025-09-04T21:24:22,746 !! 2025-09-04T21:24:22,747 ******************************************************************************** 2025-09-04T21:24:22,747 Please avoid running ``setup.py`` directly. 2025-09-04T21:24:22,747 Instead, use pypa/build, pypa/installer or other 2025-09-04T21:24:22,747 standards-based tools. 2025-09-04T21:24:22,747 By 2025-Oct-31, you need to update your project and remove deprecated calls 2025-09-04T21:24:22,747 or your builds will no longer be supported. 2025-09-04T21:24:22,747 See https://blog.ganssle.io/articles/2021/10/setup-py-deprecated.html for details. 2025-09-04T21:24:22,748 ******************************************************************************** 2025-09-04T21:24:22,748 !! 2025-09-04T21:24:22,748 self.initialize_options() 2025-09-04T21:24:22,825 installing to build/bdist.linux-armv7l/wheel 2025-09-04T21:24:22,825 running install 2025-09-04T21:24:22,847 running install_lib 2025-09-04T21:24:22,926 creating build/bdist.linux-armv7l/wheel 2025-09-04T21:24:22,927 creating build/bdist.linux-armv7l/wheel/provers 2025-09-04T21:24:22,927 copying build/lib.linux-armv7l-cpython-313/provers/__init__.py -> build/bdist.linux-armv7l/wheel/./provers 2025-09-04T21:24:22,927 copying build/lib.linux-armv7l-cpython-313/provers/eprover.py -> build/bdist.linux-armv7l/wheel/./provers 2025-09-04T21:24:22,928 copying build/lib.linux-armv7l-cpython-313/provers/fol.py -> build/bdist.linux-armv7l/wheel/./provers 2025-09-04T21:24:22,928 copying build/lib.linux-armv7l-cpython-313/provers/prover9.py -> build/bdist.linux-armv7l/wheel/./provers 2025-09-04T21:24:22,929 copying build/lib.linux-armv7l-cpython-313/provers/util.py -> build/bdist.linux-armv7l/wheel/./provers 2025-09-04T21:24:22,929 running install_egg_info 2025-09-04T21:24:23,011 running egg_info 2025-09-04T21:24:23,090 writing provers.egg-info/PKG-INFO 2025-09-04T21:24:23,091 writing dependency_links to provers.egg-info/dependency_links.txt 2025-09-04T21:24:23,092 writing entry points to provers.egg-info/entry_points.txt 2025-09-04T21:24:23,092 writing top-level names to provers.egg-info/top_level.txt 2025-09-04T21:24:23,331 listing git files failed - pretending there aren't any 2025-09-04T21:24:23,335 reading manifest file 'provers.egg-info/SOURCES.txt' 2025-09-04T21:24:23,337 reading manifest template 'MANIFEST.in' 2025-09-04T21:24:23,338 adding license file 'LICENSE' 2025-09-04T21:24:23,340 writing manifest file 'provers.egg-info/SOURCES.txt' 2025-09-04T21:24:23,341 Copying provers.egg-info to build/bdist.linux-armv7l/wheel/./provers-0.1.16-py3.13.egg-info 2025-09-04T21:24:23,343 running install_scripts 2025-09-04T21:24:23,398 creating build/bdist.linux-armv7l/wheel/provers-0.1.16.dist-info/WHEEL 2025-09-04T21:24:23,399 creating '/tmp/pip-wheel-vrdr02hd/provers-0.1.16-cp313-cp313-linux_armv7l.whl' and adding 'build/bdist.linux-armv7l/wheel' to it 2025-09-04T21:24:23,400 adding 'provers/__init__.py' 2025-09-04T21:24:23,402 adding 'provers/eprover.py' 2025-09-04T21:24:23,402 adding 'provers/fol.py' 2025-09-04T21:24:23,405 adding 'provers/prover9.py' 2025-09-04T21:24:23,405 adding 'provers/util.py' 2025-09-04T21:24:23,411 adding 'provers-0.1.16.dist-info/licenses/LICENSE' 2025-09-04T21:24:23,412 adding 'provers-0.1.16.dist-info/METADATA' 2025-09-04T21:24:23,413 adding 'provers-0.1.16.dist-info/WHEEL' 2025-09-04T21:24:23,413 adding 'provers-0.1.16.dist-info/entry_points.txt' 2025-09-04T21:24:23,413 adding 'provers-0.1.16.dist-info/top_level.txt' 2025-09-04T21:24:23,414 adding 'provers-0.1.16.dist-info/RECORD' 2025-09-04T21:24:23,414 removing build/bdist.linux-armv7l/wheel 2025-09-04T21:24:23,534 Building wheel for provers (setup.py): finished with status 'done' 2025-09-04T21:24:23,536 Created wheel for provers: filename=provers-0.1.16-cp313-cp313-linux_armv7l.whl size=24698 sha256=1566541bde5c78e51daa1b547848d6401672a0c34473babe73cd38dfbb92b1c9 2025-09-04T21:24:23,537 Stored in directory: /tmp/pip-ephem-wheel-cache-p6_q24z1/wheels/f0/08/d0/e2e0ab18401f2ad78dd69569e69344c1865a2bac6064e0392f 2025-09-04T21:24:23,545 Successfully built provers 2025-09-04T21:24:23,546 Removed build tracker: '/tmp/pip-build-tracker-v4muv8mi'