2025-09-04T20:30:50,377 Created temporary directory: /tmp/pip-build-tracker-_ks4n9j0 2025-09-04T20:30:50,377 Initialized build tracking at /tmp/pip-build-tracker-_ks4n9j0 2025-09-04T20:30:50,377 Created build tracker: /tmp/pip-build-tracker-_ks4n9j0 2025-09-04T20:30:50,378 Entered build tracker: /tmp/pip-build-tracker-_ks4n9j0 2025-09-04T20:30:50,378 Created temporary directory: /tmp/pip-wheel-wjgiipnt 2025-09-04T20:30:50,381 Created temporary directory: /tmp/pip-ephem-wheel-cache-4s8ezsfl 2025-09-04T20:30:50,441 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple 2025-09-04T20:30:50,443 2 location(s) to search for versions of provers: 2025-09-04T20:30:50,443 * https://pypi.org/simple/provers/ 2025-09-04T20:30:50,443 * https://www.piwheels.org/simple/provers/ 2025-09-04T20:30:50,444 Fetching project page and analyzing links: https://pypi.org/simple/provers/ 2025-09-04T20:30:50,444 Getting page https://pypi.org/simple/provers/ 2025-09-04T20:30:50,445 Found index url https://pypi.org/simple/ 2025-09-04T20:30:50,516 Fetched page https://pypi.org/simple/provers/ as application/vnd.pypi.simple.v1+json 2025-09-04T20:30:50,519 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:30:50,519 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:30:50,519 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:30:50,520 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:30:50,520 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:30:50,520 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:30:50,520 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:30:50,520 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:30:50,521 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:30:50,521 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:30:50,521 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:30:50,521 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:30:50,522 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:30:50,522 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:30:50,522 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:30:50,522 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:30:50,522 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:30:50,523 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:30:50,523 Fetching project page and analyzing links: https://www.piwheels.org/simple/provers/ 2025-09-04T20:30:50,523 Getting page https://www.piwheels.org/simple/provers/ 2025-09-04T20:30:50,524 Found index url https://www.piwheels.org/simple/ 2025-09-04T20:30:50,616 Fetched page https://www.piwheels.org/simple/provers/ as text/html 2025-09-04T20:30:50,632 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:30:50,632 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:30:50,632 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:30:50,632 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:30:50,632 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:30:50,633 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:30:50,633 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:30:50,633 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:30:50,633 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:30:50,633 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:30:50,633 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:30:50,634 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:30:50,634 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:30:50,634 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:30:50,634 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:30:50,634 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:30:50,634 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:30:50,634 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:30:50,635 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:30:50,635 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:30:50,635 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:30:50,635 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:30:50,635 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:30:50,635 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:30:50,635 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:30:50,636 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:30:50,636 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:30:50,636 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:30:50,636 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:30:50,636 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:30:50,636 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:30:50,636 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:30:50,636 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:30:50,637 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:30:50,637 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:30:50,637 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:30:50,637 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:30:50,637 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:30:50,637 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:30:50,637 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:30:50,638 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:30:50,638 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:30:50,638 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:30:50,638 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:30:50,638 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:30:50,638 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:30:50,638 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:30:50,639 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:30:50,639 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-04T20:30:50,639 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-04T20:30:50,639 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:30:50,639 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:30:50,639 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:30:50,639 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:30:50,639 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:30:50,640 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:30:50,640 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:30:50,640 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:30:50,640 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:30:50,640 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:30:50,640 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:30:50,640 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:30:50,641 Skipping link: not a file: https://www.piwheels.org/simple/provers/ 2025-09-04T20:30:50,641 Skipping link: not a file: https://pypi.org/simple/provers/ 2025-09-04T20:30:50,665 Given no hashes to check 1 links for project 'provers': discarding no candidates 2025-09-04T20:30:50,666 Collecting provers==0.1.15 2025-09-04T20:30:50,667 Created temporary directory: /tmp/pip-unpack-f4bmja70 2025-09-04T20:30:50,805 Downloading provers-0.1.15.tar.gz (21 kB) 2025-09-04T20:30:50,835 Added provers==0.1.15 from https://files.pythonhosted.org/packages/dd/88/50ee969ef8e3407f7d4f5041452d679024bf83d84f4cfca670c30a6238c2/provers-0.1.15.tar.gz to build tracker '/tmp/pip-build-tracker-_ks4n9j0' 2025-09-04T20:30:50,836 Running setup.py (path:/tmp/pip-wheel-wjgiipnt/provers_f0e38299f9ed4409801fbceb7a1ef857/setup.py) egg_info for package provers 2025-09-04T20:30:50,836 Created temporary directory: /tmp/pip-pip-egg-info-t61mopd2 2025-09-04T20:30:50,836 Preparing metadata (setup.py): started 2025-09-04T20:30:50,837 Running command python setup.py egg_info 2025-09-04T20:30:51,468 /usr/local/lib/python3.13/dist-packages/setuptools/__init__.py:92: _DeprecatedInstaller: setuptools.installer and fetch_build_eggs are deprecated. 2025-09-04T20:30:51,468 !! 2025-09-04T20:30:51,468 ******************************************************************************** 2025-09-04T20:30:51,468 Requirements should be satisfied by a PEP 517 installer. 2025-09-04T20:30:51,468 If you are using pip, you can try `pip install --use-pep517`. 2025-09-04T20:30:51,469 By 2025-Oct-31, you need to update your project and remove deprecated calls 2025-09-04T20:30:51,469 or your builds will no longer be supported. 2025-09-04T20:30:51,469 ******************************************************************************** 2025-09-04T20:30:51,469 !! 2025-09-04T20:30:51,469 dist.fetch_build_eggs(dist.setup_requires) 2025-09-04T20:30:55,218 /usr/local/lib/python3.13/dist-packages/setuptools/dist.py:759: SetuptoolsDeprecationWarning: License classifiers are deprecated. 2025-09-04T20:30:55,218 !! 2025-09-04T20:30:55,219 ******************************************************************************** 2025-09-04T20:30:55,219 Please consider removing the following classifiers in favor of a SPDX license expression: 2025-09-04T20:30:55,219 License :: OSI Approved :: GNU General Public License v3 or later (GPLv3+) 2025-09-04T20:30:55,219 See https://packaging.python.org/en/latest/guides/writing-pyproject-toml/#license for details. 2025-09-04T20:30:55,219 ******************************************************************************** 2025-09-04T20:30:55,219 !! 2025-09-04T20:30:55,219 self._finalize_license_expression() 2025-09-04T20:30:55,296 running egg_info 2025-09-04T20:30:55,374 creating /tmp/pip-pip-egg-info-t61mopd2/provers.egg-info 2025-09-04T20:30:55,375 writing /tmp/pip-pip-egg-info-t61mopd2/provers.egg-info/PKG-INFO 2025-09-04T20:30:55,376 writing dependency_links to /tmp/pip-pip-egg-info-t61mopd2/provers.egg-info/dependency_links.txt 2025-09-04T20:30:55,376 writing entry points to /tmp/pip-pip-egg-info-t61mopd2/provers.egg-info/entry_points.txt 2025-09-04T20:30:55,377 writing top-level names to /tmp/pip-pip-egg-info-t61mopd2/provers.egg-info/top_level.txt 2025-09-04T20:30:55,377 writing manifest file '/tmp/pip-pip-egg-info-t61mopd2/provers.egg-info/SOURCES.txt' 2025-09-04T20:30:55,782 listing git files failed - pretending there aren't any 2025-09-04T20:30:55,796 reading manifest file '/tmp/pip-pip-egg-info-t61mopd2/provers.egg-info/SOURCES.txt' 2025-09-04T20:30:55,797 reading manifest template 'MANIFEST.in' 2025-09-04T20:30:55,798 warning: no previously-included files found matching 'provers/bin/*' 2025-09-04T20:30:55,798 adding license file 'LICENSE' 2025-09-04T20:30:55,801 writing manifest file '/tmp/pip-pip-egg-info-t61mopd2/provers.egg-info/SOURCES.txt' 2025-09-04T20:30:55,921 Preparing metadata (setup.py): finished with status 'done' 2025-09-04T20:30:55,926 Source in /tmp/pip-wheel-wjgiipnt/provers_f0e38299f9ed4409801fbceb7a1ef857 has version 0.1.15, which satisfies requirement provers==0.1.15 from https://files.pythonhosted.org/packages/dd/88/50ee969ef8e3407f7d4f5041452d679024bf83d84f4cfca670c30a6238c2/provers-0.1.15.tar.gz 2025-09-04T20:30:55,926 Removed provers==0.1.15 from https://files.pythonhosted.org/packages/dd/88/50ee969ef8e3407f7d4f5041452d679024bf83d84f4cfca670c30a6238c2/provers-0.1.15.tar.gz from build tracker '/tmp/pip-build-tracker-_ks4n9j0' 2025-09-04T20:30:55,930 Created temporary directory: /tmp/pip-unpack-s5n6eaz2 2025-09-04T20:30:55,931 Created temporary directory: /tmp/pip-unpack-n44ssn_b 2025-09-04T20:30:55,931 Building wheels for collected packages: provers 2025-09-04T20:30:55,932 Created temporary directory: /tmp/pip-wheel-b4zkm0dq 2025-09-04T20:30:55,932 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:30:55,933 Building wheel for provers (setup.py): started 2025-09-04T20:30:55,934 Destination directory: /tmp/pip-wheel-b4zkm0dq 2025-09-04T20:30:55,934 Running command python setup.py bdist_wheel 2025-09-04T20:30:56,582 /usr/local/lib/python3.13/dist-packages/setuptools/__init__.py:92: _DeprecatedInstaller: setuptools.installer and fetch_build_eggs are deprecated. 2025-09-04T20:30:56,583 !! 2025-09-04T20:30:56,583 ******************************************************************************** 2025-09-04T20:30:56,583 Requirements should be satisfied by a PEP 517 installer. 2025-09-04T20:30:56,583 If you are using pip, you can try `pip install --use-pep517`. 2025-09-04T20:30:56,583 By 2025-Oct-31, you need to update your project and remove deprecated calls 2025-09-04T20:30:56,583 or your builds will no longer be supported. 2025-09-04T20:30:56,583 ******************************************************************************** 2025-09-04T20:30:56,584 !! 2025-09-04T20:30:56,584 dist.fetch_build_eggs(dist.setup_requires) 2025-09-04T20:30:57,652 /usr/local/lib/python3.13/dist-packages/setuptools/dist.py:759: SetuptoolsDeprecationWarning: License classifiers are deprecated. 2025-09-04T20:30:57,652 !! 2025-09-04T20:30:57,652 ******************************************************************************** 2025-09-04T20:30:57,653 Please consider removing the following classifiers in favor of a SPDX license expression: 2025-09-04T20:30:57,653 License :: OSI Approved :: GNU General Public License v3 or later (GPLv3+) 2025-09-04T20:30:57,653 See https://packaging.python.org/en/latest/guides/writing-pyproject-toml/#license for details. 2025-09-04T20:30:57,653 ******************************************************************************** 2025-09-04T20:30:57,653 !! 2025-09-04T20:30:57,653 self._finalize_license_expression() 2025-09-04T20:30:57,654 running bdist_wheel 2025-09-04T20:30:58,042 running build 2025-09-04T20:30:58,042 running build_py 2025-09-04T20:30:58,050 mkdir tmp || true 2025-09-04T20:30:58,061 cd tmp && wget https://www.cs.unm.edu/~mccune/mace4/download/LADR-2009-11A.tar.gz 2025-09-04T20:30:58,097 --2025-09-04 20:30:58-- https://www.cs.unm.edu/~mccune/mace4/download/LADR-2009-11A.tar.gz 2025-09-04T20:30:58,286 Resolving www.cs.unm.edu (www.cs.unm.edu)... 64:ff9b::406a:144c, 64.106.20.76 2025-09-04T20:30:58,430 Connecting to www.cs.unm.edu (www.cs.unm.edu)|64:ff9b::406a:144c|:443... connected. 2025-09-04T20:30:58,879 HTTP request sent, awaiting response... 200 OK 2025-09-04T20:30:58,880 Length: 1795750 (1.7M) [application/x-gzip] 2025-09-04T20:30:58,880 Saving to: ‘LADR-2009-11A.tar.gz’ 2025-09-04T20:30:59,166 0K .......... .......... .......... .......... .......... 2% 175K 10s 2025-09-04T20:30:59,303 50K .......... .......... .......... .......... .......... 5% 365K 7s 2025-09-04T20:30:59,351 100K .......... .......... .......... .......... .......... 8% 1.02M 5s 2025-09-04T20:30:59,451 150K .......... .......... .......... .......... .......... 11% 509K 4s 2025-09-04T20:30:59,467 200K .......... .......... .......... .......... .......... 14% 2.72M 4s 2025-09-04T20:30:59,475 250K .......... .......... .......... .......... .......... 17% 6.43M 3s 2025-09-04T20:30:59,498 300K .......... .......... .......... .......... .......... 19% 2.07M 2s 2025-09-04T20:30:59,508 350K .......... .......... .......... .......... .......... 22% 5.20M 2s 2025-09-04T20:30:59,600 400K .......... .......... .......... .......... .......... 25% 543K 2s 2025-09-04T20:30:59,609 450K .......... .......... .......... .......... .......... 28% 5.07M 2s 2025-09-04T20:30:59,615 500K .......... .......... .......... .......... .......... 31% 7.95M 2s 2025-09-04T20:30:59,619 550K .......... .......... .......... .......... .......... 34% 11.8M 1s 2025-09-04T20:30:59,624 600K .......... .......... .......... .......... .......... 37% 10.1M 1s 2025-09-04T20:30:59,641 650K .......... .......... .......... .......... .......... 39% 2.99M 1s 2025-09-04T20:30:59,647 700K .......... .......... .......... .......... .......... 42% 7.92M 1s 2025-09-04T20:30:59,652 750K .......... .......... .......... .......... .......... 45% 9.30M 1s 2025-09-04T20:30:59,731 800K .......... .......... .......... .......... .......... 48% 637K 1s 2025-09-04T20:30:59,739 850K .......... .......... .......... .......... .......... 51% 5.86M 1s 2025-09-04T20:30:59,744 900K .......... .......... .......... .......... .......... 54% 10.3M 1s 2025-09-04T20:30:59,751 950K .......... .......... .......... .......... .......... 57% 7.17M 1s 2025-09-04T20:30:59,756 1000K .......... .......... .......... .......... .......... 59% 8.32M 1s 2025-09-04T20:30:59,762 1050K .......... .......... .......... .......... .......... 62% 8.45M 1s 2025-09-04T20:30:59,767 1100K .......... .......... .......... .......... .......... 65% 10.1M 0s 2025-09-04T20:30:59,771 1150K .......... .......... .......... .......... .......... 68% 12.7M 0s 2025-09-04T20:30:59,775 1200K .......... .......... .......... .......... .......... 71% 10.8M 0s 2025-09-04T20:30:59,779 1250K .......... .......... .......... .......... .......... 74% 12.6M 0s 2025-09-04T20:30:59,783 1300K .......... .......... .......... .......... .......... 76% 12.5M 0s 2025-09-04T20:30:59,788 1350K .......... .......... .......... .......... .......... 79% 10.7M 0s 2025-09-04T20:30:59,792 1400K .......... .......... .......... .......... .......... 82% 12.4M 0s 2025-09-04T20:30:59,796 1450K .......... .......... .......... .......... .......... 85% 10.7M 0s 2025-09-04T20:30:59,800 1500K .......... .......... .......... .......... .......... 88% 12.7M 0s 2025-09-04T20:30:59,804 1550K .......... .......... .......... .......... .......... 91% 12.7M 0s 2025-09-04T20:30:59,808 1600K .......... .......... .......... .......... .......... 94% 10.8M 0s 2025-09-04T20:30:59,812 1650K .......... .......... .......... .......... .......... 96% 12.7M 0s 2025-09-04T20:30:59,887 1700K .......... .......... .......... .......... .......... 99% 668K 0s 2025-09-04T20:30:59,887 1750K ... 100% 6.82T=1.0s 2025-09-04T20:30:59,888 2025-09-04 20:30:59 (1.70 MB/s) - ‘LADR-2009-11A.tar.gz’ saved [1795750/1795750] 2025-09-04T20:30:59,891 cd tmp && tar -xzf LADR-2009-11A.tar.gz 2025-09-04T20:31:00,077 cd tmp/LADR-2009-11A/provers.src && sed -i.old 's/^\([ \t]*\$(CC).*\) -lm \(.*\)$/\1 \2 -lm/g' Makefile 2025-09-04T20:31:00,087 cd tmp/LADR-2009-11A && make all 2025-09-04T20:31:00,097 make[1]: Entering directory '/tmp/pip-wheel-wjgiipnt/provers_f0e38299f9ed4409801fbceb7a1ef857/provers/bin/tmp/LADR-2009-11A' 2025-09-04T20:31:00,097 cd ladr && make lib 2025-09-04T20:31:00,111 make[2]: Entering directory '/tmp/pip-wheel-wjgiipnt/provers_f0e38299f9ed4409801fbceb7a1ef857/provers/bin/tmp/LADR-2009-11A/ladr' 2025-09-04T20:31:00,111 make libladr.a 2025-09-04T20:31:00,125 make[3]: Entering directory '/tmp/pip-wheel-wjgiipnt/provers_f0e38299f9ed4409801fbceb7a1ef857/provers/bin/tmp/LADR-2009-11A/ladr' 2025-09-04T20:31:00,125 gcc -O -Wall -c -o order.o order.c 2025-09-04T20:31:00,290 gcc -O -Wall -c -o clock.o clock.c 2025-09-04T20:31:00,514 gcc -O -Wall -c -o nonport.o nonport.c 2025-09-04T20:31:00,620 gcc -O -Wall -c -o fatal.o fatal.c 2025-09-04T20:31:00,751 gcc -O -Wall -c -o ibuffer.o ibuffer.c 2025-09-04T20:31:00,948 gcc -O -Wall -c -o memory.o memory.c 2025-09-04T20:31:01,167 gcc -O -Wall -c -o hash.o hash.c 2025-09-04T20:31:01,370 gcc -O -Wall -c -o string.o string.c 2025-09-04T20:31:01,622 gcc -O -Wall -c -o strbuf.o strbuf.c 2025-09-04T20:31:01,896 gcc -O -Wall -c -o glist.o glist.c 2025-09-04T20:31:02,501 gcc -O -Wall -c -o options.o options.c 2025-09-04T20:31:03,016 gcc -O -Wall -c -o symbols.o symbols.c 2025-09-04T20:31:03,133 symbols.c: In function ‘declare_base_symbols’: 2025-09-04T20:31:03,134 symbols.c:1304:7: warning: variable ‘sn’ set but not used [-Wunused-but-set-variable] 2025-09-04T20:31:03,134 1304 | int sn; 2025-09-04T20:31:03,134 | ^~ 2025-09-04T20:31:03,988 gcc -O -Wall -c -o avltree.o avltree.c 2025-09-04T20:31:04,355 gcc -O -Wall -c -o term.o term.c 2025-09-04T20:31:05,209 gcc -O -Wall -c -o termflag.o termflag.c 2025-09-04T20:31:05,411 gcc -O -Wall -c -o listterm.o listterm.c 2025-09-04T20:31:05,606 gcc -O -Wall -c -o tlist.o tlist.c 2025-09-04T20:31:05,778 gcc -O -Wall -c -o flatterm.o flatterm.c 2025-09-04T20:31:06,040 gcc -O -Wall -c -o multiset.o multiset.c 2025-09-04T20:31:06,221 gcc -O -Wall -c -o termorder.o termorder.c 2025-09-04T20:31:06,689 gcc -O -Wall -c -o parse.o parse.c 2025-09-04T20:31:07,481 gcc -O -Wall -c -o accanon.o accanon.c 2025-09-04T20:31:07,671 gcc -O -Wall -c -o unify.o unify.c 2025-09-04T20:31:08,116 gcc -O -Wall -c -o fpalist.o fpalist.c 2025-09-04T20:31:08,445 gcc -O -Wall -c -o fpa.o fpa.c 2025-09-04T20:31:08,946 gcc -O -Wall -c -o discrim.o discrim.c 2025-09-04T20:31:09,133 gcc -O -Wall -c -o discrimb.o discrimb.c 2025-09-04T20:31:09,264 discrimb.c:487:7: warning: ‘check_flat2’ defined but not used [-Wunused-function] 2025-09-04T20:31:09,264 487 | Flat2 check_flat2(Flat2 f) 2025-09-04T20:31:09,264 | ^~~~~~~~~~~ 2025-09-04T20:31:09,509 gcc -O -Wall -c -o discrimw.o discrimw.c 2025-09-04T20:31:09,645 discrimw.c:146:6: warning: ‘check_flat’ defined but not used [-Wunused-function] 2025-09-04T20:31:09,645 146 | Flat check_flat(Flat f) 2025-09-04T20:31:09,645 | ^~~~~~~~~~ 2025-09-04T20:31:09,939 gcc -O -Wall -c -o dioph.o dioph.c 2025-09-04T20:31:10,541 gcc -O -Wall -c -o btu.o btu.c 2025-09-04T20:31:11,193 gcc -O -Wall -c -o btm.o btm.c 2025-09-04T20:31:11,847 gcc -O -Wall -c -o mindex.o mindex.c 2025-09-04T20:31:11,963 mindex.c: In function ‘mindex_retrieve_next’: 2025-09-04T20:31:11,964 mindex.c:650:11: warning: variable ‘tr’ set but not used [-Wunused-but-set-variable] 2025-09-04T20:31:11,964 650 | Trail tr; 2025-09-04T20:31:11,964 | ^~ 2025-09-04T20:31:12,151 gcc -O -Wall -c -o basic.o basic.c 2025-09-04T20:31:12,382 gcc -O -Wall -c -o attrib.o attrib.c 2025-09-04T20:31:12,814 gcc -O -Wall -c -o formula.o formula.c 2025-09-04T20:31:13,663 gcc -O -Wall -c -o definitions.o definitions.c 2025-09-04T20:31:13,932 gcc -O -Wall -c -o literals.o literals.c 2025-09-04T20:31:14,358 gcc -O -Wall -c -o topform.o topform.c 2025-09-04T20:31:14,746 gcc -O -Wall -c -o clist.o clist.c 2025-09-04T20:31:15,173 gcc -O -Wall -c -o clauseid.o clauseid.c 2025-09-04T20:31:15,385 gcc -O -Wall -c -o clauses.o clauses.c 2025-09-04T20:31:15,616 gcc -O -Wall -c -o just.o just.c 2025-09-04T20:31:16,395 gcc -O -Wall -c -o cnf.o cnf.c 2025-09-04T20:31:16,971 gcc -O -Wall -c -o clausify.o clausify.c 2025-09-04T20:31:17,188 gcc -O -Wall -c -o parautil.o parautil.c 2025-09-04T20:31:17,492 gcc -O -Wall -c -o pindex.o pindex.c 2025-09-04T20:31:17,873 gcc -O -Wall -c -o compress.o compress.c 2025-09-04T20:31:18,067 gcc -O -Wall -c -o maximal.o maximal.c 2025-09-04T20:31:18,294 gcc -O -Wall -c -o lindex.o lindex.c 2025-09-04T20:31:18,480 gcc -O -Wall -c -o weight.o weight.c 2025-09-04T20:31:18,766 gcc -O -Wall -c -o weight2.o weight2.c 2025-09-04T20:31:18,941 gcc -O -Wall -c -o int_code.o int_code.c 2025-09-04T20:31:19,185 gcc -O -Wall -c -o features.o features.c 2025-09-04T20:31:19,396 gcc -O -Wall -c -o di_tree.o di_tree.c 2025-09-04T20:31:19,679 gcc -O -Wall -c -o fastparse.o fastparse.c 2025-09-04T20:31:19,892 gcc -O -Wall -c -o random.o random.c 2025-09-04T20:31:20,154 gcc -O -Wall -c -o subsume.o subsume.c 2025-09-04T20:31:20,569 gcc -O -Wall -c -o clause_misc.o clause_misc.c 2025-09-04T20:31:20,775 gcc -O -Wall -c -o clause_eval.o clause_eval.c 2025-09-04T20:31:21,018 gcc -O -Wall -c -o complex.o complex.c 2025-09-04T20:31:21,136 complex.c: In function ‘complex4_p1’: 2025-09-04T20:31:21,136 complex.c:275:8: warning: variable ‘dummy’ set but not used [-Wunused-but-set-variable] 2025-09-04T20:31:21,136 275 | BOOL dummy; 2025-09-04T20:31:21,136 | ^~~~~ 2025-09-04T20:31:21,291 gcc -O -Wall -c -o dollar.o dollar.c 2025-09-04T20:31:21,674 gcc -O -Wall -c -o flatdemod.o flatdemod.c 2025-09-04T20:31:21,791 flatdemod.c: In function ‘discrim_flat_retrieve_leaf’: 2025-09-04T20:31:21,792 flatdemod.c:122:16: warning: comparison between ‘BOOL’ and ‘enum ’ [-Wenum-compare] 2025-09-04T20:31:21,792 122 | if (status == BACKTRACK) { 2025-09-04T20:31:21,792 | ^~ 2025-09-04T20:31:21,793 flatdemod.c:158:15: warning: variable ‘dd’ set but not used [-Wunused-but-set-variable] 2025-09-04T20:31:21,794 158 | Discrim dd = NULL; 2025-09-04T20:31:21,794 | ^~ 2025-09-04T20:31:21,794 flatdemod.c:167:16: warning: comparison between ‘BOOL’ and ‘enum ’ [-Wenum-compare] 2025-09-04T20:31:21,794 167 | if (status == GO) { 2025-09-04T20:31:21,794 | ^~ 2025-09-04T20:31:21,951 gcc -O -Wall -c -o demod.o demod.c 2025-09-04T20:31:22,073 demod.c: In function ‘demod1’: 2025-09-04T20:31:22,073 demod.c:376:8: warning: variable ‘result’ set but not used [-Wunused-but-set-variable] 2025-09-04T20:31:22,073 376 | Term result; 2025-09-04T20:31:22,074 | ^~~~~~ 2025-09-04T20:31:22,269 gcc -O -Wall -c -o clash.o clash.c 2025-09-04T20:31:22,389 clash.c: In function ‘clash_recurse’: 2025-09-04T20:31:22,389 clash.c:283:12: warning: suggest parentheses around operand of ‘!’ or change ‘|’ to ‘||’ or ‘!’ to ‘~’ [-Wparentheses] 2025-09-04T20:31:22,389 283 | else if (!p->clashable | p->clashed) 2025-09-04T20:31:22,389 | ^~~~~~~~~~~~~ 2025-09-04T20:31:22,516 gcc -O -Wall -c -o resolve.o resolve.c 2025-09-04T20:31:23,024 gcc -O -Wall -c -o paramod.o paramod.c 2025-09-04T20:31:23,148 paramod.c: In function ‘para_into’: 2025-09-04T20:31:23,148 paramod.c:347:8: warning: suggest parentheses around operand of ‘!’ or change ‘|’ to ‘||’ or ‘!’ to ‘~’ [-Wparentheses] 2025-09-04T20:31:23,148 347 | if ((!VARIABLE(into) | Para_into_vars) && basic_check(into)) { 2025-09-04T20:31:23,379 gcc -O -Wall -c -o backdemod.o backdemod.c 2025-09-04T20:31:23,615 gcc -O -Wall -c -o hints.o hints.c 2025-09-04T20:31:23,853 gcc -O -Wall -c -o ac_redun.o ac_redun.c 2025-09-04T20:31:24,198 gcc -O -Wall -c -o xproofs.o xproofs.c 2025-09-04T20:31:24,548 gcc -O -Wall -c -o ivy.o ivy.c 2025-09-04T20:31:24,681 ivy.c: In function ‘factor2_instances’: 2025-09-04T20:31:24,681 ivy.c:633:14: warning: variable ‘l1i’ set but not used [-Wunused-but-set-variable] 2025-09-04T20:31:24,681 633 | Literals l1i, l2i, lit; 2025-09-04T20:31:24,681 | ^~~ 2025-09-04T20:31:25,027 gcc -O -Wall -c -o interp.o interp.c 2025-09-04T20:31:25,166 interp.c: In function ‘transpose_binary’: 2025-09-04T20:31:25,166 interp.c:358:10: warning: variable ‘rc’ set but not used [-Wunused-but-set-variable] 2025-09-04T20:31:25,166 358 | int i, rc; 2025-09-04T20:31:25,167 | ^~ 2025-09-04T20:31:26,868 gcc -O -Wall -c -o std_options.o std_options.c 2025-09-04T20:31:27,014 gcc -O -Wall -c -o banner.o banner.c 2025-09-04T20:31:27,190 gcc -O -Wall -c -o ioutil.o ioutil.c 2025-09-04T20:31:27,603 gcc -O -Wall -c -o tptp_trans.o tptp_trans.c 2025-09-04T20:31:28,040 gcc -O -Wall -c -o top_input.o top_input.c 2025-09-04T20:31:28,611 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:31:28,617 ar: creating libladr.a 2025-09-04T20:31:28,803 make[3]: Leaving directory '/tmp/pip-wheel-wjgiipnt/provers_f0e38299f9ed4409801fbceb7a1ef857/provers/bin/tmp/LADR-2009-11A/ladr' 2025-09-04T20:31:28,803 make[2]: Leaving directory '/tmp/pip-wheel-wjgiipnt/provers_f0e38299f9ed4409801fbceb7a1ef857/provers/bin/tmp/LADR-2009-11A/ladr' 2025-09-04T20:31:28,803 cd mace4.src && make all 2025-09-04T20:31:28,814 make[2]: Entering directory '/tmp/pip-wheel-wjgiipnt/provers_f0e38299f9ed4409801fbceb7a1ef857/provers/bin/tmp/LADR-2009-11A/mace4.src' 2025-09-04T20:31:28,814 cd ../ladr && make libladr.a 2025-09-04T20:31:28,838 make[3]: Entering directory '/tmp/pip-wheel-wjgiipnt/provers_f0e38299f9ed4409801fbceb7a1ef857/provers/bin/tmp/LADR-2009-11A/ladr' 2025-09-04T20:31:28,839 make[3]: 'libladr.a' is up to date. 2025-09-04T20:31:28,839 make[3]: Leaving directory '/tmp/pip-wheel-wjgiipnt/provers_f0e38299f9ed4409801fbceb7a1ef857/provers/bin/tmp/LADR-2009-11A/ladr' 2025-09-04T20:31:28,840 make clean 2025-09-04T20:31:28,848 make[3]: Entering directory '/tmp/pip-wheel-wjgiipnt/provers_f0e38299f9ed4409801fbceb7a1ef857/provers/bin/tmp/LADR-2009-11A/mace4.src' 2025-09-04T20:31:28,848 /bin/rm -f *.o 2025-09-04T20:31:28,858 make[3]: Leaving directory '/tmp/pip-wheel-wjgiipnt/provers_f0e38299f9ed4409801fbceb7a1ef857/provers/bin/tmp/LADR-2009-11A/mace4.src' 2025-09-04T20:31:28,858 make libmace4.a 2025-09-04T20:31:28,867 make[3]: Entering directory '/tmp/pip-wheel-wjgiipnt/provers_f0e38299f9ed4409801fbceb7a1ef857/provers/bin/tmp/LADR-2009-11A/mace4.src' 2025-09-04T20:31:28,868 gcc -O -Wall -c -o estack.o estack.c 2025-09-04T20:31:29,052 gcc -O -Wall -c -o util.o util.c 2025-09-04T20:31:29,211 gcc -O -Wall -c -o print.o print.c 2025-09-04T20:31:29,599 gcc -O -Wall -c -o syms.o syms.c 2025-09-04T20:31:29,831 gcc -O -Wall -c -o ground.o ground.c 2025-09-04T20:31:30,247 gcc -O -Wall -c -o arithmetic.o arithmetic.c 2025-09-04T20:31:30,663 gcc -O -Wall -c -o select.o select.c 2025-09-04T20:31:30,795 select.c: In function ‘select_concentric_band’: 2025-09-04T20:31:30,795 select.c:236:5: error: type of ‘min_id’ defaults to ‘int’ [-Wimplicit-int] 2025-09-04T20:31:30,795 236 | int select_concentric_band(min_id, max_id, max_constrained) 2025-09-04T20:31:30,795 | ^~~~~~~~~~~~~~~~~~~~~~ 2025-09-04T20:31:30,795 select.c:236:5: error: type of ‘max_id’ defaults to ‘int’ [-Wimplicit-int] 2025-09-04T20:31:30,796 select.c:236:5: error: type of ‘max_constrained’ defaults to ‘int’ [-Wimplicit-int] 2025-09-04T20:31:30,805 make[3]: *** [: select.o] Error 1 2025-09-04T20:31:30,805 make[3]: Leaving directory '/tmp/pip-wheel-wjgiipnt/provers_f0e38299f9ed4409801fbceb7a1ef857/provers/bin/tmp/LADR-2009-11A/mace4.src' 2025-09-04T20:31:30,805 make[2]: *** [Makefile:26: lib] Error 2 2025-09-04T20:31:30,805 make[2]: Leaving directory '/tmp/pip-wheel-wjgiipnt/provers_f0e38299f9ed4409801fbceb7a1ef857/provers/bin/tmp/LADR-2009-11A/mace4.src' 2025-09-04T20:31:30,806 make[1]: *** [Makefile:6: all] Error 2 2025-09-04T20:31:30,806 make[1]: Leaving directory '/tmp/pip-wheel-wjgiipnt/provers_f0e38299f9ed4409801fbceb7a1ef857/provers/bin/tmp/LADR-2009-11A' 2025-09-04T20:31:30,806 make: *** [Makefile:15: prover9] Error 2 2025-09-04T20:31:30,814 mkdir tmp || true 2025-09-04T20:31:30,822 mkdir: cannot create directory ‘tmp’: File exists 2025-09-04T20:31:30,823 cd tmp && git clone https://github.com/eprover/eprover.git || true 2025-09-04T20:31:30,833 Cloning into 'eprover'... 2025-09-04T20:31:30,846 fatal: transport 'https' not allowed 2025-09-04T20:31:30,848 cd tmp/eprover && ./configure 2025-09-04T20:31:30,851 /bin/sh: 1: cd: can't cd to tmp/eprover 2025-09-04T20:31:30,851 make: *** [Makefile:35: eprover] Error 2 2025-09-04T20:31:30,864 creating build/lib.linux-armv7l-cpython-313/provers 2025-09-04T20:31:30,864 copying provers/util.py -> build/lib.linux-armv7l-cpython-313/provers 2025-09-04T20:31:30,864 copying provers/prover9.py -> build/lib.linux-armv7l-cpython-313/provers 2025-09-04T20:31:30,864 copying provers/fol.py -> build/lib.linux-armv7l-cpython-313/provers 2025-09-04T20:31:30,864 copying provers/eprover.py -> build/lib.linux-armv7l-cpython-313/provers 2025-09-04T20:31:30,864 copying provers/__init__.py -> build/lib.linux-armv7l-cpython-313/provers 2025-09-04T20:31:30,865 running build_ext 2025-09-04T20:31:30,942 /usr/local/lib/python3.13/dist-packages/setuptools/_distutils/cmd.py:90: SetuptoolsDeprecationWarning: setup.py install is deprecated. 2025-09-04T20:31:30,942 !! 2025-09-04T20:31:30,942 ******************************************************************************** 2025-09-04T20:31:30,942 Please avoid running ``setup.py`` directly. 2025-09-04T20:31:30,942 Instead, use pypa/build, pypa/installer or other 2025-09-04T20:31:30,942 standards-based tools. 2025-09-04T20:31:30,943 By 2025-Oct-31, you need to update your project and remove deprecated calls 2025-09-04T20:31:30,943 or your builds will no longer be supported. 2025-09-04T20:31:30,943 See https://blog.ganssle.io/articles/2021/10/setup-py-deprecated.html for details. 2025-09-04T20:31:30,943 ******************************************************************************** 2025-09-04T20:31:30,943 !! 2025-09-04T20:31:30,943 self.initialize_options() 2025-09-04T20:31:31,035 installing to build/bdist.linux-armv7l/wheel 2025-09-04T20:31:31,035 running install 2025-09-04T20:31:31,057 running install_lib 2025-09-04T20:31:31,135 creating build/bdist.linux-armv7l/wheel 2025-09-04T20:31:31,136 creating build/bdist.linux-armv7l/wheel/provers 2025-09-04T20:31:31,136 copying build/lib.linux-armv7l-cpython-313/provers/__init__.py -> build/bdist.linux-armv7l/wheel/./provers 2025-09-04T20:31:31,137 copying build/lib.linux-armv7l-cpython-313/provers/eprover.py -> build/bdist.linux-armv7l/wheel/./provers 2025-09-04T20:31:31,137 copying build/lib.linux-armv7l-cpython-313/provers/fol.py -> build/bdist.linux-armv7l/wheel/./provers 2025-09-04T20:31:31,138 copying build/lib.linux-armv7l-cpython-313/provers/prover9.py -> build/bdist.linux-armv7l/wheel/./provers 2025-09-04T20:31:31,139 copying build/lib.linux-armv7l-cpython-313/provers/util.py -> build/bdist.linux-armv7l/wheel/./provers 2025-09-04T20:31:31,139 running install_egg_info 2025-09-04T20:31:31,221 running egg_info 2025-09-04T20:31:31,299 writing provers.egg-info/PKG-INFO 2025-09-04T20:31:31,301 writing dependency_links to provers.egg-info/dependency_links.txt 2025-09-04T20:31:31,302 writing entry points to provers.egg-info/entry_points.txt 2025-09-04T20:31:31,303 writing top-level names to provers.egg-info/top_level.txt 2025-09-04T20:31:31,546 listing git files failed - pretending there aren't any 2025-09-04T20:31:31,550 reading manifest file 'provers.egg-info/SOURCES.txt' 2025-09-04T20:31:31,552 reading manifest template 'MANIFEST.in' 2025-09-04T20:31:31,553 adding license file 'LICENSE' 2025-09-04T20:31:31,556 writing manifest file 'provers.egg-info/SOURCES.txt' 2025-09-04T20:31:31,557 Copying provers.egg-info to build/bdist.linux-armv7l/wheel/./provers-0.1.15-py3.13.egg-info 2025-09-04T20:31:31,559 running install_scripts 2025-09-04T20:31:31,616 creating build/bdist.linux-armv7l/wheel/provers-0.1.15.dist-info/WHEEL 2025-09-04T20:31:31,617 creating '/tmp/pip-wheel-b4zkm0dq/provers-0.1.15-cp313-cp313-linux_armv7l.whl' and adding 'build/bdist.linux-armv7l/wheel' to it 2025-09-04T20:31:31,619 adding 'provers/__init__.py' 2025-09-04T20:31:31,620 adding 'provers/eprover.py' 2025-09-04T20:31:31,621 adding 'provers/fol.py' 2025-09-04T20:31:31,623 adding 'provers/prover9.py' 2025-09-04T20:31:31,624 adding 'provers/util.py' 2025-09-04T20:31:31,630 adding 'provers-0.1.15.dist-info/licenses/LICENSE' 2025-09-04T20:31:31,632 adding 'provers-0.1.15.dist-info/METADATA' 2025-09-04T20:31:31,632 adding 'provers-0.1.15.dist-info/WHEEL' 2025-09-04T20:31:31,633 adding 'provers-0.1.15.dist-info/entry_points.txt' 2025-09-04T20:31:31,634 adding 'provers-0.1.15.dist-info/top_level.txt' 2025-09-04T20:31:31,635 adding 'provers-0.1.15.dist-info/RECORD' 2025-09-04T20:31:31,635 removing build/bdist.linux-armv7l/wheel 2025-09-04T20:31:31,756 Building wheel for provers (setup.py): finished with status 'done' 2025-09-04T20:31:31,757 Created wheel for provers: filename=provers-0.1.15-cp313-cp313-linux_armv7l.whl size=23435 sha256=0e68553d4500679206f23b671b0b2bfb1f0b21d99a66cdab5c8325888b8f6530 2025-09-04T20:31:31,758 Stored in directory: /tmp/pip-ephem-wheel-cache-4s8ezsfl/wheels/88/64/a9/c963c5f62741c95496136558209763cbd7e2979b43f2edecd3 2025-09-04T20:31:31,766 Successfully built provers 2025-09-04T20:31:31,768 Removed build tracker: '/tmp/pip-build-tracker-_ks4n9j0'