2025-09-04T20:29:27,503 Created temporary directory: /tmp/pip-build-tracker-p89ctlxy 2025-09-04T20:29:27,503 Initialized build tracking at /tmp/pip-build-tracker-p89ctlxy 2025-09-04T20:29:27,504 Created build tracker: /tmp/pip-build-tracker-p89ctlxy 2025-09-04T20:29:27,504 Entered build tracker: /tmp/pip-build-tracker-p89ctlxy 2025-09-04T20:29:27,504 Created temporary directory: /tmp/pip-wheel-27xgkbiy 2025-09-04T20:29:27,507 Created temporary directory: /tmp/pip-ephem-wheel-cache-8ucvynpu 2025-09-04T20:29:27,563 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple 2025-09-04T20:29:27,565 2 location(s) to search for versions of provers: 2025-09-04T20:29:27,565 * https://pypi.org/simple/provers/ 2025-09-04T20:29:27,565 * https://www.piwheels.org/simple/provers/ 2025-09-04T20:29:27,565 Fetching project page and analyzing links: https://pypi.org/simple/provers/ 2025-09-04T20:29:27,566 Getting page https://pypi.org/simple/provers/ 2025-09-04T20:29:27,567 Found index url https://pypi.org/simple/ 2025-09-04T20:29:27,638 Fetched page https://pypi.org/simple/provers/ as application/vnd.pypi.simple.v1+json 2025-09-04T20:29:27,641 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:29:27,641 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:29:27,641 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:29:27,641 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:29:27,642 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:29:27,642 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:29:27,642 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:29:27,642 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:29:27,642 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:29:27,643 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:29:27,643 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:29:27,643 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:29:27,643 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:29:27,643 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:29:27,644 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:29:27,644 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:29:27,644 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:29:27,644 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:29:27,645 Fetching project page and analyzing links: https://www.piwheels.org/simple/provers/ 2025-09-04T20:29:27,645 Getting page https://www.piwheels.org/simple/provers/ 2025-09-04T20:29:27,646 Found index url https://www.piwheels.org/simple/ 2025-09-04T20:29:27,732 Fetched page https://www.piwheels.org/simple/provers/ as text/html 2025-09-04T20:29:27,750 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:29:27,750 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:29:27,750 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:29:27,750 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:29:27,751 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:29:27,751 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:29:27,751 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:29:27,751 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:29:27,751 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:29:27,751 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:29:27,751 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:29:27,752 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:29:27,752 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:29:27,752 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:29:27,752 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:29:27,752 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:29:27,752 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:29:27,752 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:29:27,753 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:29:27,753 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:29:27,753 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:29:27,753 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:29:27,753 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:29:27,753 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:29:27,753 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:29:27,754 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:29:27,754 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:29:27,754 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:29:27,754 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:29:27,754 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:29:27,754 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:29:27,754 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:29:27,754 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:29:27,755 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:29:27,755 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:29:27,755 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:29:27,755 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:29:27,755 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:29:27,755 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:29:27,755 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:29:27,756 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:29:27,756 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:29:27,756 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:29:27,756 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:29:27,756 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:29:27,756 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:29:27,756 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:29:27,757 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:29:27,757 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:29:27,757 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:29:27,757 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:29:27,757 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:29:27,757 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:29:27,757 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:29:27,758 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:29:27,758 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:29:27,758 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:29:27,758 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:29:27,758 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:29:27,758 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:29:27,758 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:29:27,759 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:29:27,759 Skipping link: not a file: https://www.piwheels.org/simple/provers/ 2025-09-04T20:29:27,759 Skipping link: not a file: https://pypi.org/simple/provers/ 2025-09-04T20:29:27,784 Given no hashes to check 1 links for project 'provers': discarding no candidates 2025-09-04T20:29:27,785 Collecting provers==0.1.13 2025-09-04T20:29:27,786 Created temporary directory: /tmp/pip-unpack-yrrjh5cs 2025-09-04T20:29:27,923 Downloading provers-0.1.13.tar.gz (20 kB) 2025-09-04T20:29:27,953 Added provers==0.1.13 from https://files.pythonhosted.org/packages/5d/12/1ac658701229edbbc7750a84825e47dbc728667b771d3320dd59c30567e8/provers-0.1.13.tar.gz to build tracker '/tmp/pip-build-tracker-p89ctlxy' 2025-09-04T20:29:27,954 Running setup.py (path:/tmp/pip-wheel-27xgkbiy/provers_841018f7b64d46638331611d0bc16269/setup.py) egg_info for package provers 2025-09-04T20:29:27,955 Created temporary directory: /tmp/pip-pip-egg-info-h99156ik 2025-09-04T20:29:27,955 Preparing metadata (setup.py): started 2025-09-04T20:29:27,955 Running command python setup.py egg_info 2025-09-04T20:29:28,587 /usr/local/lib/python3.13/dist-packages/setuptools/__init__.py:92: _DeprecatedInstaller: setuptools.installer and fetch_build_eggs are deprecated. 2025-09-04T20:29:28,588 !! 2025-09-04T20:29:28,588 ******************************************************************************** 2025-09-04T20:29:28,588 Requirements should be satisfied by a PEP 517 installer. 2025-09-04T20:29:28,588 If you are using pip, you can try `pip install --use-pep517`. 2025-09-04T20:29:28,588 By 2025-Oct-31, you need to update your project and remove deprecated calls 2025-09-04T20:29:28,588 or your builds will no longer be supported. 2025-09-04T20:29:28,589 ******************************************************************************** 2025-09-04T20:29:28,589 !! 2025-09-04T20:29:28,589 dist.fetch_build_eggs(dist.setup_requires) 2025-09-04T20:29:32,009 /usr/local/lib/python3.13/dist-packages/setuptools/dist.py:759: SetuptoolsDeprecationWarning: License classifiers are deprecated. 2025-09-04T20:29:32,009 !! 2025-09-04T20:29:32,009 ******************************************************************************** 2025-09-04T20:29:32,009 Please consider removing the following classifiers in favor of a SPDX license expression: 2025-09-04T20:29:32,009 License :: OSI Approved :: GNU General Public License v3 or later (GPLv3+) 2025-09-04T20:29:32,010 See https://packaging.python.org/en/latest/guides/writing-pyproject-toml/#license for details. 2025-09-04T20:29:32,010 ******************************************************************************** 2025-09-04T20:29:32,010 !! 2025-09-04T20:29:32,010 self._finalize_license_expression() 2025-09-04T20:29:32,084 running egg_info 2025-09-04T20:29:32,159 creating /tmp/pip-pip-egg-info-h99156ik/provers.egg-info 2025-09-04T20:29:32,159 writing /tmp/pip-pip-egg-info-h99156ik/provers.egg-info/PKG-INFO 2025-09-04T20:29:32,160 writing dependency_links to /tmp/pip-pip-egg-info-h99156ik/provers.egg-info/dependency_links.txt 2025-09-04T20:29:32,161 writing entry points to /tmp/pip-pip-egg-info-h99156ik/provers.egg-info/entry_points.txt 2025-09-04T20:29:32,161 writing top-level names to /tmp/pip-pip-egg-info-h99156ik/provers.egg-info/top_level.txt 2025-09-04T20:29:32,162 writing manifest file '/tmp/pip-pip-egg-info-h99156ik/provers.egg-info/SOURCES.txt' 2025-09-04T20:29:32,551 listing git files failed - pretending there aren't any 2025-09-04T20:29:32,565 reading manifest file '/tmp/pip-pip-egg-info-h99156ik/provers.egg-info/SOURCES.txt' 2025-09-04T20:29:32,565 reading manifest template 'MANIFEST.in' 2025-09-04T20:29:32,566 warning: no previously-included files found matching 'provers/bin/*' 2025-09-04T20:29:32,567 adding license file 'LICENSE' 2025-09-04T20:29:32,569 writing manifest file '/tmp/pip-pip-egg-info-h99156ik/provers.egg-info/SOURCES.txt' 2025-09-04T20:29:32,689 Preparing metadata (setup.py): finished with status 'done' 2025-09-04T20:29:32,694 Source in /tmp/pip-wheel-27xgkbiy/provers_841018f7b64d46638331611d0bc16269 has version 0.1.13, which satisfies requirement provers==0.1.13 from https://files.pythonhosted.org/packages/5d/12/1ac658701229edbbc7750a84825e47dbc728667b771d3320dd59c30567e8/provers-0.1.13.tar.gz 2025-09-04T20:29:32,694 Removed provers==0.1.13 from https://files.pythonhosted.org/packages/5d/12/1ac658701229edbbc7750a84825e47dbc728667b771d3320dd59c30567e8/provers-0.1.13.tar.gz from build tracker '/tmp/pip-build-tracker-p89ctlxy' 2025-09-04T20:29:32,698 Created temporary directory: /tmp/pip-unpack-gtrj2ta6 2025-09-04T20:29:32,698 Created temporary directory: /tmp/pip-unpack-6icp25pu 2025-09-04T20:29:32,699 Building wheels for collected packages: provers 2025-09-04T20:29:32,700 Created temporary directory: /tmp/pip-wheel-054n3fws 2025-09-04T20:29:32,700 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:29:32,701 Building wheel for provers (setup.py): started 2025-09-04T20:29:32,702 Destination directory: /tmp/pip-wheel-054n3fws 2025-09-04T20:29:32,702 Running command python setup.py bdist_wheel 2025-09-04T20:29:33,338 /usr/local/lib/python3.13/dist-packages/setuptools/__init__.py:92: _DeprecatedInstaller: setuptools.installer and fetch_build_eggs are deprecated. 2025-09-04T20:29:33,338 !! 2025-09-04T20:29:33,338 ******************************************************************************** 2025-09-04T20:29:33,338 Requirements should be satisfied by a PEP 517 installer. 2025-09-04T20:29:33,338 If you are using pip, you can try `pip install --use-pep517`. 2025-09-04T20:29:33,339 By 2025-Oct-31, you need to update your project and remove deprecated calls 2025-09-04T20:29:33,339 or your builds will no longer be supported. 2025-09-04T20:29:33,339 ******************************************************************************** 2025-09-04T20:29:33,339 !! 2025-09-04T20:29:33,339 dist.fetch_build_eggs(dist.setup_requires) 2025-09-04T20:29:34,367 /usr/local/lib/python3.13/dist-packages/setuptools/dist.py:759: SetuptoolsDeprecationWarning: License classifiers are deprecated. 2025-09-04T20:29:34,367 !! 2025-09-04T20:29:34,368 ******************************************************************************** 2025-09-04T20:29:34,368 Please consider removing the following classifiers in favor of a SPDX license expression: 2025-09-04T20:29:34,368 License :: OSI Approved :: GNU General Public License v3 or later (GPLv3+) 2025-09-04T20:29:34,368 See https://packaging.python.org/en/latest/guides/writing-pyproject-toml/#license for details. 2025-09-04T20:29:34,368 ******************************************************************************** 2025-09-04T20:29:34,368 !! 2025-09-04T20:29:34,368 self._finalize_license_expression() 2025-09-04T20:29:34,370 running bdist_wheel 2025-09-04T20:29:34,744 running build 2025-09-04T20:29:34,744 running build_py 2025-09-04T20:29:34,751 mkdir tmp || true 2025-09-04T20:29:34,760 cd tmp && wget https://www.cs.unm.edu/~mccune/mace4/download/LADR-2009-11A.tar.gz 2025-09-04T20:29:34,782 --2025-09-04 20:29:34-- https://www.cs.unm.edu/~mccune/mace4/download/LADR-2009-11A.tar.gz 2025-09-04T20:29:34,968 Resolving www.cs.unm.edu (www.cs.unm.edu)... 64:ff9b::406a:144c, 64.106.20.76 2025-09-04T20:29:35,111 Connecting to www.cs.unm.edu (www.cs.unm.edu)|64:ff9b::406a:144c|:443... connected. 2025-09-04T20:29:35,552 HTTP request sent, awaiting response... 200 OK 2025-09-04T20:29:35,552 Length: 1795750 (1.7M) [application/x-gzip] 2025-09-04T20:29:35,552 Saving to: ‘LADR-2009-11A.tar.gz’ 2025-09-04T20:29:35,838 0K .......... .......... .......... .......... .......... 2% 175K 10s 2025-09-04T20:29:35,978 50K .......... .......... .......... .......... .......... 5% 357K 7s 2025-09-04T20:29:35,989 100K .......... .......... .......... .......... .......... 8% 4.30M 5s 2025-09-04T20:29:35,995 150K .......... .......... .......... .......... .......... 11% 8.16M 3s 2025-09-04T20:29:36,129 200K .......... .......... .......... .......... .......... 14% 373K 3s 2025-09-04T20:29:36,138 250K .......... .......... .......... .......... .......... 17% 5.86M 3s 2025-09-04T20:29:36,144 300K .......... .......... .......... .......... .......... 19% 8.13M 2s 2025-09-04T20:29:36,148 350K .......... .......... .......... .......... .......... 22% 10.7M 2s 2025-09-04T20:29:36,269 400K .......... .......... .......... .......... .......... 25% 416K 2s 2025-09-04T20:29:36,280 450K .......... .......... .......... .......... .......... 28% 4.33M 2s 2025-09-04T20:29:36,287 500K .......... .......... .......... .......... .......... 31% 6.30M 2s 2025-09-04T20:29:36,291 550K .......... .......... .......... .......... .......... 34% 12.7M 1s 2025-09-04T20:29:36,296 600K .......... .......... .......... .......... .......... 37% 10.9M 1s 2025-09-04T20:29:36,300 650K .......... .......... .......... .......... .......... 39% 12.6M 1s 2025-09-04T20:29:36,304 700K .......... .......... .......... .......... .......... 42% 10.9M 1s 2025-09-04T20:29:36,308 750K .......... .......... .......... .......... .......... 45% 12.6M 1s 2025-09-04T20:29:36,312 800K .......... .......... .......... .......... .......... 48% 12.7M 1s 2025-09-04T20:29:36,412 850K .......... .......... .......... .......... .......... 51% 500K 1s 2025-09-04T20:29:36,422 900K .......... .......... .......... .......... .......... 54% 4.98M 1s 2025-09-04T20:29:36,430 950K .......... .......... .......... .......... .......... 57% 5.82M 1s 2025-09-04T20:29:36,434 1000K .......... .......... .......... .......... .......... 59% 12.7M 1s 2025-09-04T20:29:36,438 1050K .......... .......... .......... .......... .......... 62% 12.6M 1s 2025-09-04T20:29:36,442 1100K .......... .......... .......... .......... .......... 65% 10.9M 0s 2025-09-04T20:29:36,446 1150K .......... .......... .......... .......... .......... 68% 12.7M 0s 2025-09-04T20:29:36,450 1200K .......... .......... .......... .......... .......... 71% 10.9M 0s 2025-09-04T20:29:36,454 1250K .......... .......... .......... .......... .......... 74% 12.7M 0s 2025-09-04T20:29:36,458 1300K .......... .......... .......... .......... .......... 76% 12.7M 0s 2025-09-04T20:29:36,463 1350K .......... .......... .......... .......... .......... 79% 10.9M 0s 2025-09-04T20:29:36,466 1400K .......... .......... .......... .......... .......... 82% 12.7M 0s 2025-09-04T20:29:36,471 1450K .......... .......... .......... .......... .......... 85% 10.8M 0s 2025-09-04T20:29:36,475 1500K .......... .......... .......... .......... .......... 88% 12.7M 0s 2025-09-04T20:29:36,479 1550K .......... .......... .......... .......... .......... 91% 12.7M 0s 2025-09-04T20:29:36,483 1600K .......... .......... .......... .......... .......... 94% 10.9M 0s 2025-09-04T20:29:36,487 1650K .......... .......... .......... .......... .......... 96% 12.6M 0s 2025-09-04T20:29:36,491 1700K .......... .......... .......... .......... .......... 99% 11.6M 0s 2025-09-04T20:29:36,491 1750K ... 100% 6.82T=0.9s 2025-09-04T20:29:36,492 2025-09-04 20:29:36 (1.82 MB/s) - ‘LADR-2009-11A.tar.gz’ saved [1795750/1795750] 2025-09-04T20:29:36,494 cd tmp && tar -xzf LADR-2009-11A.tar.gz 2025-09-04T20:29:36,658 cd tmp/LADR-2009-11A/provers.src && sed -i.old 's/^\([ \t]*\$(CC).*\) -lm \(.*\)$/\1 \2 -lm/g' Makefile 2025-09-04T20:29:36,668 cd tmp/LADR-2009-11A && make all 2025-09-04T20:29:36,680 make[1]: Entering directory '/tmp/pip-wheel-27xgkbiy/provers_841018f7b64d46638331611d0bc16269/provers/bin/tmp/LADR-2009-11A' 2025-09-04T20:29:36,680 cd ladr && make lib 2025-09-04T20:29:36,695 make[2]: Entering directory '/tmp/pip-wheel-27xgkbiy/provers_841018f7b64d46638331611d0bc16269/provers/bin/tmp/LADR-2009-11A/ladr' 2025-09-04T20:29:36,696 make libladr.a 2025-09-04T20:29:36,709 make[3]: Entering directory '/tmp/pip-wheel-27xgkbiy/provers_841018f7b64d46638331611d0bc16269/provers/bin/tmp/LADR-2009-11A/ladr' 2025-09-04T20:29:36,709 gcc -O -Wall -c -o order.o order.c 2025-09-04T20:29:36,877 gcc -O -Wall -c -o clock.o clock.c 2025-09-04T20:29:37,116 gcc -O -Wall -c -o nonport.o nonport.c 2025-09-04T20:29:37,231 gcc -O -Wall -c -o fatal.o fatal.c 2025-09-04T20:29:37,374 gcc -O -Wall -c -o ibuffer.o ibuffer.c 2025-09-04T20:29:37,582 gcc -O -Wall -c -o memory.o memory.c 2025-09-04T20:29:37,795 gcc -O -Wall -c -o hash.o hash.c 2025-09-04T20:29:38,006 gcc -O -Wall -c -o string.o string.c 2025-09-04T20:29:38,260 gcc -O -Wall -c -o strbuf.o strbuf.c 2025-09-04T20:29:38,543 gcc -O -Wall -c -o glist.o glist.c 2025-09-04T20:29:39,145 gcc -O -Wall -c -o options.o options.c 2025-09-04T20:29:39,669 gcc -O -Wall -c -o symbols.o symbols.c 2025-09-04T20:29:39,795 symbols.c: In function ‘declare_base_symbols’: 2025-09-04T20:29:39,795 symbols.c:1304:7: warning: variable ‘sn’ set but not used [-Wunused-but-set-variable] 2025-09-04T20:29:39,795 1304 | int sn; 2025-09-04T20:29:39,795 | ^~ 2025-09-04T20:29:40,637 gcc -O -Wall -c -o avltree.o avltree.c 2025-09-04T20:29:41,012 gcc -O -Wall -c -o term.o term.c 2025-09-04T20:29:41,871 gcc -O -Wall -c -o termflag.o termflag.c 2025-09-04T20:29:42,073 gcc -O -Wall -c -o listterm.o listterm.c 2025-09-04T20:29:42,276 gcc -O -Wall -c -o tlist.o tlist.c 2025-09-04T20:29:42,447 gcc -O -Wall -c -o flatterm.o flatterm.c 2025-09-04T20:29:42,705 gcc -O -Wall -c -o multiset.o multiset.c 2025-09-04T20:29:42,892 gcc -O -Wall -c -o termorder.o termorder.c 2025-09-04T20:29:43,365 gcc -O -Wall -c -o parse.o parse.c 2025-09-04T20:29:44,155 gcc -O -Wall -c -o accanon.o accanon.c 2025-09-04T20:29:44,350 gcc -O -Wall -c -o unify.o unify.c 2025-09-04T20:29:44,801 gcc -O -Wall -c -o fpalist.o fpalist.c 2025-09-04T20:29:45,134 gcc -O -Wall -c -o fpa.o fpa.c 2025-09-04T20:29:45,877 gcc -O -Wall -c -o discrim.o discrim.c 2025-09-04T20:29:46,056 gcc -O -Wall -c -o discrimb.o discrimb.c 2025-09-04T20:29:46,191 discrimb.c:487:7: warning: ‘check_flat2’ defined but not used [-Wunused-function] 2025-09-04T20:29:46,192 487 | Flat2 check_flat2(Flat2 f) 2025-09-04T20:29:46,192 | ^~~~~~~~~~~ 2025-09-04T20:29:46,435 gcc -O -Wall -c -o discrimw.o discrimw.c 2025-09-04T20:29:46,575 discrimw.c:146:6: warning: ‘check_flat’ defined but not used [-Wunused-function] 2025-09-04T20:29:46,575 146 | Flat check_flat(Flat f) 2025-09-04T20:29:46,575 | ^~~~~~~~~~ 2025-09-04T20:29:46,866 gcc -O -Wall -c -o dioph.o dioph.c 2025-09-04T20:29:47,467 gcc -O -Wall -c -o btu.o btu.c 2025-09-04T20:29:48,136 gcc -O -Wall -c -o btm.o btm.c 2025-09-04T20:29:48,801 gcc -O -Wall -c -o mindex.o mindex.c 2025-09-04T20:29:48,941 mindex.c: In function ‘mindex_retrieve_next’: 2025-09-04T20:29:48,941 mindex.c:650:11: warning: variable ‘tr’ set but not used [-Wunused-but-set-variable] 2025-09-04T20:29:48,941 650 | Trail tr; 2025-09-04T20:29:48,942 | ^~ 2025-09-04T20:29:49,129 gcc -O -Wall -c -o basic.o basic.c 2025-09-04T20:29:49,367 gcc -O -Wall -c -o attrib.o attrib.c 2025-09-04T20:29:49,802 gcc -O -Wall -c -o formula.o formula.c 2025-09-04T20:29:50,653 gcc -O -Wall -c -o definitions.o definitions.c 2025-09-04T20:29:50,927 gcc -O -Wall -c -o literals.o literals.c 2025-09-04T20:29:51,361 gcc -O -Wall -c -o topform.o topform.c 2025-09-04T20:29:51,757 gcc -O -Wall -c -o clist.o clist.c 2025-09-04T20:29:52,186 gcc -O -Wall -c -o clauseid.o clauseid.c 2025-09-04T20:29:52,396 gcc -O -Wall -c -o clauses.o clauses.c 2025-09-04T20:29:52,635 gcc -O -Wall -c -o just.o just.c 2025-09-04T20:29:53,424 gcc -O -Wall -c -o cnf.o cnf.c 2025-09-04T20:29:54,014 gcc -O -Wall -c -o clausify.o clausify.c 2025-09-04T20:29:54,245 gcc -O -Wall -c -o parautil.o parautil.c 2025-09-04T20:29:54,560 gcc -O -Wall -c -o pindex.o pindex.c 2025-09-04T20:29:54,956 gcc -O -Wall -c -o compress.o compress.c 2025-09-04T20:29:55,382 gcc -O -Wall -c -o maximal.o maximal.c 2025-09-04T20:29:55,633 gcc -O -Wall -c -o lindex.o lindex.c 2025-09-04T20:29:55,818 gcc -O -Wall -c -o weight.o weight.c 2025-09-04T20:29:56,112 gcc -O -Wall -c -o weight2.o weight2.c 2025-09-04T20:29:56,287 gcc -O -Wall -c -o int_code.o int_code.c 2025-09-04T20:29:56,525 gcc -O -Wall -c -o features.o features.c 2025-09-04T20:29:56,733 gcc -O -Wall -c -o di_tree.o di_tree.c 2025-09-04T20:29:57,014 gcc -O -Wall -c -o fastparse.o fastparse.c 2025-09-04T20:29:57,227 gcc -O -Wall -c -o random.o random.c 2025-09-04T20:29:57,496 gcc -O -Wall -c -o subsume.o subsume.c 2025-09-04T20:29:57,917 gcc -O -Wall -c -o clause_misc.o clause_misc.c 2025-09-04T20:29:58,120 gcc -O -Wall -c -o clause_eval.o clause_eval.c 2025-09-04T20:29:58,367 gcc -O -Wall -c -o complex.o complex.c 2025-09-04T20:29:58,480 complex.c: In function ‘complex4_p1’: 2025-09-04T20:29:58,480 complex.c:275:8: warning: variable ‘dummy’ set but not used [-Wunused-but-set-variable] 2025-09-04T20:29:58,480 275 | BOOL dummy; 2025-09-04T20:29:58,480 | ^~~~~ 2025-09-04T20:29:58,635 gcc -O -Wall -c -o dollar.o dollar.c 2025-09-04T20:29:59,003 gcc -O -Wall -c -o flatdemod.o flatdemod.c 2025-09-04T20:29:59,117 flatdemod.c: In function ‘discrim_flat_retrieve_leaf’: 2025-09-04T20:29:59,118 flatdemod.c:122:16: warning: comparison between ‘BOOL’ and ‘enum ’ [-Wenum-compare] 2025-09-04T20:29:59,118 122 | if (status == BACKTRACK) { 2025-09-04T20:29:59,118 | ^~ 2025-09-04T20:29:59,119 flatdemod.c:158:15: warning: variable ‘dd’ set but not used [-Wunused-but-set-variable] 2025-09-04T20:29:59,119 158 | Discrim dd = NULL; 2025-09-04T20:29:59,119 | ^~ 2025-09-04T20:29:59,119 flatdemod.c:167:16: warning: comparison between ‘BOOL’ and ‘enum ’ [-Wenum-compare] 2025-09-04T20:29:59,119 167 | if (status == GO) { 2025-09-04T20:29:59,119 | ^~ 2025-09-04T20:29:59,274 gcc -O -Wall -c -o demod.o demod.c 2025-09-04T20:29:59,398 demod.c: In function ‘demod1’: 2025-09-04T20:29:59,398 demod.c:376:8: warning: variable ‘result’ set but not used [-Wunused-but-set-variable] 2025-09-04T20:29:59,399 376 | Term result; 2025-09-04T20:29:59,399 | ^~~~~~ 2025-09-04T20:29:59,594 gcc -O -Wall -c -o clash.o clash.c 2025-09-04T20:29:59,719 clash.c: In function ‘clash_recurse’: 2025-09-04T20:29:59,719 clash.c:283:12: warning: suggest parentheses around operand of ‘!’ or change ‘|’ to ‘||’ or ‘!’ to ‘~’ [-Wparentheses] 2025-09-04T20:29:59,719 283 | else if (!p->clashable | p->clashed) 2025-09-04T20:29:59,719 | ^~~~~~~~~~~~~ 2025-09-04T20:29:59,844 gcc -O -Wall -c -o resolve.o resolve.c 2025-09-04T20:30:00,357 gcc -O -Wall -c -o paramod.o paramod.c 2025-09-04T20:30:00,476 paramod.c: In function ‘para_into’: 2025-09-04T20:30:00,476 paramod.c:347:8: warning: suggest parentheses around operand of ‘!’ or change ‘|’ to ‘||’ or ‘!’ to ‘~’ [-Wparentheses] 2025-09-04T20:30:00,476 347 | if ((!VARIABLE(into) | Para_into_vars) && basic_check(into)) { 2025-09-04T20:30:00,706 gcc -O -Wall -c -o backdemod.o backdemod.c 2025-09-04T20:30:00,944 gcc -O -Wall -c -o hints.o hints.c 2025-09-04T20:30:01,189 gcc -O -Wall -c -o ac_redun.o ac_redun.c 2025-09-04T20:30:01,529 gcc -O -Wall -c -o xproofs.o xproofs.c 2025-09-04T20:30:01,885 gcc -O -Wall -c -o ivy.o ivy.c 2025-09-04T20:30:02,018 ivy.c: In function ‘factor2_instances’: 2025-09-04T20:30:02,019 ivy.c:633:14: warning: variable ‘l1i’ set but not used [-Wunused-but-set-variable] 2025-09-04T20:30:02,019 633 | Literals l1i, l2i, lit; 2025-09-04T20:30:02,019 | ^~~ 2025-09-04T20:30:02,366 gcc -O -Wall -c -o interp.o interp.c 2025-09-04T20:30:02,493 interp.c: In function ‘transpose_binary’: 2025-09-04T20:30:02,493 interp.c:358:10: warning: variable ‘rc’ set but not used [-Wunused-but-set-variable] 2025-09-04T20:30:02,493 358 | int i, rc; 2025-09-04T20:30:02,493 | ^~ 2025-09-04T20:30:04,172 gcc -O -Wall -c -o std_options.o std_options.c 2025-09-04T20:30:04,545 gcc -O -Wall -c -o banner.o banner.c 2025-09-04T20:30:04,708 gcc -O -Wall -c -o ioutil.o ioutil.c 2025-09-04T20:30:05,119 gcc -O -Wall -c -o tptp_trans.o tptp_trans.c 2025-09-04T20:30:05,548 gcc -O -Wall -c -o top_input.o top_input.c 2025-09-04T20:30:06,114 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:30:06,119 ar: creating libladr.a 2025-09-04T20:30:06,291 make[3]: Leaving directory '/tmp/pip-wheel-27xgkbiy/provers_841018f7b64d46638331611d0bc16269/provers/bin/tmp/LADR-2009-11A/ladr' 2025-09-04T20:30:06,291 make[2]: Leaving directory '/tmp/pip-wheel-27xgkbiy/provers_841018f7b64d46638331611d0bc16269/provers/bin/tmp/LADR-2009-11A/ladr' 2025-09-04T20:30:06,292 cd mace4.src && make all 2025-09-04T20:30:06,301 make[2]: Entering directory '/tmp/pip-wheel-27xgkbiy/provers_841018f7b64d46638331611d0bc16269/provers/bin/tmp/LADR-2009-11A/mace4.src' 2025-09-04T20:30:06,301 cd ../ladr && make libladr.a 2025-09-04T20:30:06,325 make[3]: Entering directory '/tmp/pip-wheel-27xgkbiy/provers_841018f7b64d46638331611d0bc16269/provers/bin/tmp/LADR-2009-11A/ladr' 2025-09-04T20:30:06,325 make[3]: 'libladr.a' is up to date. 2025-09-04T20:30:06,325 make[3]: Leaving directory '/tmp/pip-wheel-27xgkbiy/provers_841018f7b64d46638331611d0bc16269/provers/bin/tmp/LADR-2009-11A/ladr' 2025-09-04T20:30:06,326 make clean 2025-09-04T20:30:06,335 make[3]: Entering directory '/tmp/pip-wheel-27xgkbiy/provers_841018f7b64d46638331611d0bc16269/provers/bin/tmp/LADR-2009-11A/mace4.src' 2025-09-04T20:30:06,335 /bin/rm -f *.o 2025-09-04T20:30:06,344 make[3]: Leaving directory '/tmp/pip-wheel-27xgkbiy/provers_841018f7b64d46638331611d0bc16269/provers/bin/tmp/LADR-2009-11A/mace4.src' 2025-09-04T20:30:06,344 make libmace4.a 2025-09-04T20:30:06,353 make[3]: Entering directory '/tmp/pip-wheel-27xgkbiy/provers_841018f7b64d46638331611d0bc16269/provers/bin/tmp/LADR-2009-11A/mace4.src' 2025-09-04T20:30:06,353 gcc -O -Wall -c -o estack.o estack.c 2025-09-04T20:30:06,528 gcc -O -Wall -c -o util.o util.c 2025-09-04T20:30:06,681 gcc -O -Wall -c -o print.o print.c 2025-09-04T20:30:07,063 gcc -O -Wall -c -o syms.o syms.c 2025-09-04T20:30:07,288 gcc -O -Wall -c -o ground.o ground.c 2025-09-04T20:30:07,701 gcc -O -Wall -c -o arithmetic.o arithmetic.c 2025-09-04T20:30:08,118 gcc -O -Wall -c -o select.o select.c 2025-09-04T20:30:08,715 select.c: In function ‘select_concentric_band’: 2025-09-04T20:30:08,715 select.c:236:5: error: type of ‘min_id’ defaults to ‘int’ [-Wimplicit-int] 2025-09-04T20:30:08,715 236 | int select_concentric_band(min_id, max_id, max_constrained) 2025-09-04T20:30:08,715 | ^~~~~~~~~~~~~~~~~~~~~~ 2025-09-04T20:30:08,716 select.c:236:5: error: type of ‘max_id’ defaults to ‘int’ [-Wimplicit-int] 2025-09-04T20:30:08,716 select.c:236:5: error: type of ‘max_constrained’ defaults to ‘int’ [-Wimplicit-int] 2025-09-04T20:30:08,724 make[3]: *** [: select.o] Error 1 2025-09-04T20:30:08,725 make[3]: Leaving directory '/tmp/pip-wheel-27xgkbiy/provers_841018f7b64d46638331611d0bc16269/provers/bin/tmp/LADR-2009-11A/mace4.src' 2025-09-04T20:30:08,725 make[2]: *** [Makefile:26: lib] Error 2 2025-09-04T20:30:08,725 make[2]: Leaving directory '/tmp/pip-wheel-27xgkbiy/provers_841018f7b64d46638331611d0bc16269/provers/bin/tmp/LADR-2009-11A/mace4.src' 2025-09-04T20:30:08,726 make[1]: *** [Makefile:6: all] Error 2 2025-09-04T20:30:08,726 make[1]: Leaving directory '/tmp/pip-wheel-27xgkbiy/provers_841018f7b64d46638331611d0bc16269/provers/bin/tmp/LADR-2009-11A' 2025-09-04T20:30:08,726 make: *** [Makefile:15: prover9] Error 2 2025-09-04T20:30:08,963 mkdir tmp || true 2025-09-04T20:30:08,977 mkdir: cannot create directory ‘tmp’: File exists 2025-09-04T20:30:08,979 cd tmp && git clone https://github.com/eprover/eprover.git || true 2025-09-04T20:30:08,989 Cloning into 'eprover'... 2025-09-04T20:30:08,999 fatal: transport 'https' not allowed 2025-09-04T20:30:09,001 cd tmp/eprover && ./configure 2025-09-04T20:30:09,004 /bin/sh: 1: cd: can't cd to tmp/eprover 2025-09-04T20:30:09,004 make: *** [Makefile:35: eprover] Error 2 2025-09-04T20:30:09,007 creating build/lib.linux-armv7l-cpython-313/provers 2025-09-04T20:30:09,007 copying provers/util.py -> build/lib.linux-armv7l-cpython-313/provers 2025-09-04T20:30:09,008 copying provers/prover9.py -> build/lib.linux-armv7l-cpython-313/provers 2025-09-04T20:30:09,009 copying provers/fol.py -> build/lib.linux-armv7l-cpython-313/provers 2025-09-04T20:30:09,009 copying provers/__init__.py -> build/lib.linux-armv7l-cpython-313/provers 2025-09-04T20:30:09,012 running build_ext 2025-09-04T20:30:09,153 /usr/local/lib/python3.13/dist-packages/setuptools/_distutils/cmd.py:90: SetuptoolsDeprecationWarning: setup.py install is deprecated. 2025-09-04T20:30:09,153 !! 2025-09-04T20:30:09,153 ******************************************************************************** 2025-09-04T20:30:09,153 Please avoid running ``setup.py`` directly. 2025-09-04T20:30:09,153 Instead, use pypa/build, pypa/installer or other 2025-09-04T20:30:09,154 standards-based tools. 2025-09-04T20:30:09,154 By 2025-Oct-31, you need to update your project and remove deprecated calls 2025-09-04T20:30:09,154 or your builds will no longer be supported. 2025-09-04T20:30:09,154 See https://blog.ganssle.io/articles/2021/10/setup-py-deprecated.html for details. 2025-09-04T20:30:09,154 ******************************************************************************** 2025-09-04T20:30:09,154 !! 2025-09-04T20:30:09,154 self.initialize_options() 2025-09-04T20:30:09,229 installing to build/bdist.linux-armv7l/wheel 2025-09-04T20:30:09,229 running install 2025-09-04T20:30:09,251 running install_lib 2025-09-04T20:30:09,329 creating build/bdist.linux-armv7l/wheel 2025-09-04T20:30:09,329 creating build/bdist.linux-armv7l/wheel/provers 2025-09-04T20:30:09,329 copying build/lib.linux-armv7l-cpython-313/provers/__init__.py -> build/bdist.linux-armv7l/wheel/./provers 2025-09-04T20:30:09,330 copying build/lib.linux-armv7l-cpython-313/provers/fol.py -> build/bdist.linux-armv7l/wheel/./provers 2025-09-04T20:30:09,330 copying build/lib.linux-armv7l-cpython-313/provers/prover9.py -> build/bdist.linux-armv7l/wheel/./provers 2025-09-04T20:30:09,331 copying build/lib.linux-armv7l-cpython-313/provers/util.py -> build/bdist.linux-armv7l/wheel/./provers 2025-09-04T20:30:09,331 running install_egg_info 2025-09-04T20:30:09,412 running egg_info 2025-09-04T20:30:09,486 writing provers.egg-info/PKG-INFO 2025-09-04T20:30:09,488 writing dependency_links to provers.egg-info/dependency_links.txt 2025-09-04T20:30:09,488 writing entry points to provers.egg-info/entry_points.txt 2025-09-04T20:30:09,489 writing top-level names to provers.egg-info/top_level.txt 2025-09-04T20:30:09,722 listing git files failed - pretending there aren't any 2025-09-04T20:30:09,726 reading manifest file 'provers.egg-info/SOURCES.txt' 2025-09-04T20:30:09,727 reading manifest template 'MANIFEST.in' 2025-09-04T20:30:09,728 adding license file 'LICENSE' 2025-09-04T20:30:09,731 writing manifest file 'provers.egg-info/SOURCES.txt' 2025-09-04T20:30:09,731 Copying provers.egg-info to build/bdist.linux-armv7l/wheel/./provers-0.1.13-py3.13.egg-info 2025-09-04T20:30:09,733 running install_scripts 2025-09-04T20:30:09,790 creating build/bdist.linux-armv7l/wheel/provers-0.1.13.dist-info/WHEEL 2025-09-04T20:30:09,791 creating '/tmp/pip-wheel-054n3fws/provers-0.1.13-cp313-cp313-linux_armv7l.whl' and adding 'build/bdist.linux-armv7l/wheel' to it 2025-09-04T20:30:09,792 adding 'provers/__init__.py' 2025-09-04T20:30:09,793 adding 'provers/fol.py' 2025-09-04T20:30:09,795 adding 'provers/prover9.py' 2025-09-04T20:30:09,796 adding 'provers/util.py' 2025-09-04T20:30:09,802 adding 'provers-0.1.13.dist-info/licenses/LICENSE' 2025-09-04T20:30:09,803 adding 'provers-0.1.13.dist-info/METADATA' 2025-09-04T20:30:09,803 adding 'provers-0.1.13.dist-info/WHEEL' 2025-09-04T20:30:09,804 adding 'provers-0.1.13.dist-info/entry_points.txt' 2025-09-04T20:30:09,804 adding 'provers-0.1.13.dist-info/top_level.txt' 2025-09-04T20:30:09,805 adding 'provers-0.1.13.dist-info/RECORD' 2025-09-04T20:30:09,805 removing build/bdist.linux-armv7l/wheel 2025-09-04T20:30:09,925 Building wheel for provers (setup.py): finished with status 'done' 2025-09-04T20:30:09,926 Created wheel for provers: filename=provers-0.1.13-cp313-cp313-linux_armv7l.whl size=21895 sha256=1f25378ed4970720a71702b22bf56897838bc53f48da0f917d0373e8d2b0c82e 2025-09-04T20:30:09,927 Stored in directory: /tmp/pip-ephem-wheel-cache-8ucvynpu/wheels/1b/31/28/f4cc11f000fea9b1668901141b48f2660e8f4ab9df76712d32 2025-09-04T20:30:09,935 Successfully built provers 2025-09-04T20:30:09,936 Removed build tracker: '/tmp/pip-build-tracker-p89ctlxy'