2025-09-04T20:27:38,520 Created temporary directory: /tmp/pip-build-tracker-jmrzwi7e 2025-09-04T20:27:38,521 Initialized build tracking at /tmp/pip-build-tracker-jmrzwi7e 2025-09-04T20:27:38,521 Created build tracker: /tmp/pip-build-tracker-jmrzwi7e 2025-09-04T20:27:38,521 Entered build tracker: /tmp/pip-build-tracker-jmrzwi7e 2025-09-04T20:27:38,521 Created temporary directory: /tmp/pip-wheel-n4rj0g7z 2025-09-04T20:27:38,524 Created temporary directory: /tmp/pip-ephem-wheel-cache-cc1fclrj 2025-09-04T20:27:38,584 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple 2025-09-04T20:27:38,586 2 location(s) to search for versions of provers: 2025-09-04T20:27:38,586 * https://pypi.org/simple/provers/ 2025-09-04T20:27:38,586 * https://www.piwheels.org/simple/provers/ 2025-09-04T20:27:38,586 Fetching project page and analyzing links: https://pypi.org/simple/provers/ 2025-09-04T20:27:38,587 Getting page https://pypi.org/simple/provers/ 2025-09-04T20:27:38,588 Found index url https://pypi.org/simple/ 2025-09-04T20:27:38,658 Fetched page https://pypi.org/simple/provers/ as application/vnd.pypi.simple.v1+json 2025-09-04T20:27:38,661 Found link https://files.pythonhosted.org/packages/9c/2a/34e84f0e9a19a0a28fb985741f8ff0e3ff42a6887f2b1e306d4d2c5a7cb2/provers-0.1.0.tar.gz (from https://pypi.org/simple/provers/) (requires-python:>=3.5), version: 0.1.0 2025-09-04T20:27:38,661 Found link https://files.pythonhosted.org/packages/db/5c/44b88300b40492b44b32adb37841ea78df228f2e8b023687548efa9a1378/provers-0.1.1.tar.gz (from https://pypi.org/simple/provers/) (requires-python:>=3.5), version: 0.1.1 2025-09-04T20:27:38,662 Found link https://files.pythonhosted.org/packages/66/b7/390874f5097e1c489987f4a14e6e9eefd3d1696b28470b2754522da7ac1f/provers-0.1.2.tar.gz (from https://pypi.org/simple/provers/) (requires-python:>=3.5), version: 0.1.2 2025-09-04T20:27:38,662 Found link https://files.pythonhosted.org/packages/20/f7/860c8ab6d5ff16515c13321bfccaca1badfae760e121690ff026aa486e33/provers-0.1.3.tar.gz (from https://pypi.org/simple/provers/) (requires-python:>=3.5), version: 0.1.3 2025-09-04T20:27:38,662 Found link https://files.pythonhosted.org/packages/ea/7a/93829c01dc0a2b18d001223dc690cd53a9aa5ca7fd96c7db0bd9ebabce08/provers-0.1.4.tar.gz (from https://pypi.org/simple/provers/) (requires-python:>=3.5), version: 0.1.4 2025-09-04T20:27:38,662 Found link https://files.pythonhosted.org/packages/07/d6/c8f93376ab01e0db11b9230a5e111261d4684a5637a426b330167337be09/provers-0.1.5.tar.gz (from https://pypi.org/simple/provers/) (requires-python:>=3.5), version: 0.1.5 2025-09-04T20:27:38,662 Found link https://files.pythonhosted.org/packages/fb/54/b1a0ce5f20d3de1a01c34eaae867d69b99f808338edae45b26089dc0fecd/provers-0.1.6.tar.gz (from https://pypi.org/simple/provers/) (requires-python:>=3.5), version: 0.1.6 2025-09-04T20:27:38,663 Found link https://files.pythonhosted.org/packages/14/99/bebfa9b54de540bb79cbaec3e55a215c3f53a629f669d1173ea64257c0d9/provers-0.1.7.tar.gz (from https://pypi.org/simple/provers/) (requires-python:>=3.5), version: 0.1.7 2025-09-04T20:27:38,663 Found link https://files.pythonhosted.org/packages/0a/37/f9cb6a6184f7c4d014183d250ae490c38411009f4a28231b20011386a122/provers-0.1.8.tar.gz (from https://pypi.org/simple/provers/) (requires-python:>=3.5), version: 0.1.8 2025-09-04T20:27:38,663 Found link https://files.pythonhosted.org/packages/d6/e2/7c55cecd9a72bf4614488178a122f091149bca11a14039b5366e577cd3f2/provers-0.1.9.tar.gz (from https://pypi.org/simple/provers/) (requires-python:>=3.5), version: 0.1.9 2025-09-04T20:27:38,663 Found link https://files.pythonhosted.org/packages/ab/41/23ba8749948e2d599358b2775bb8d8f146012e3c889a58e34a42f88582d2/provers-0.1.10.tar.gz (from https://pypi.org/simple/provers/) (requires-python:>=3.5), version: 0.1.10 2025-09-04T20:27:38,664 Found link https://files.pythonhosted.org/packages/32/3b/4729c0ef9ac3613f1277d311210a2e4d12f8eca72c34ad66c8ba6c4008bd/provers-0.1.11.tar.gz (from https://pypi.org/simple/provers/) (requires-python:>=3.5), version: 0.1.11 2025-09-04T20:27:38,664 Found link https://files.pythonhosted.org/packages/36/64/37fdbfb859f41be3c0e014cedea06d40299561b18338914b46c37a3c6e8e/provers-0.1.12.tar.gz (from https://pypi.org/simple/provers/) (requires-python:>=3.5), version: 0.1.12 2025-09-04T20:27:38,664 Found link https://files.pythonhosted.org/packages/5d/12/1ac658701229edbbc7750a84825e47dbc728667b771d3320dd59c30567e8/provers-0.1.13.tar.gz (from https://pypi.org/simple/provers/) (requires-python:>=3.5), version: 0.1.13 2025-09-04T20:27:38,664 Found link https://files.pythonhosted.org/packages/dd/88/50ee969ef8e3407f7d4f5041452d679024bf83d84f4cfca670c30a6238c2/provers-0.1.15.tar.gz (from https://pypi.org/simple/provers/) (requires-python:>=3.5), version: 0.1.15 2025-09-04T20:27:38,664 Found link https://files.pythonhosted.org/packages/a2/a4/6f49b7fc5fe5c23acd354f35f32324b719a217c724870ea0c46b2960a547/provers-0.1.16.tar.gz (from https://pypi.org/simple/provers/) (requires-python:>=3.5), version: 0.1.16 2025-09-04T20:27:38,665 Found link https://files.pythonhosted.org/packages/22/b0/7bc22319c2dd0ac1ca9aeeb3d8ed4f912a68b70e88568114fbdcf100a167/provers-0.1.17.tar.gz (from https://pypi.org/simple/provers/) (requires-python:>=3.5), version: 0.1.17 2025-09-04T20:27:38,665 Found link https://files.pythonhosted.org/packages/a0/83/53fa97757df59f24e7504b841e0b4c92a557eab3f1e330de827521279acf/provers-0.1.18.tar.gz (from https://pypi.org/simple/provers/) (requires-python:>=3.5), version: 0.1.18 2025-09-04T20:27:38,665 Fetching project page and analyzing links: https://www.piwheels.org/simple/provers/ 2025-09-04T20:27:38,665 Getting page https://www.piwheels.org/simple/provers/ 2025-09-04T20:27:38,666 Found index url https://www.piwheels.org/simple/ 2025-09-04T20:27:38,756 Fetched page https://www.piwheels.org/simple/provers/ as text/html 2025-09-04T20:27:38,768 Skipping link: No binaries permitted for provers: https://archive1.piwheels.org/simple/provers/provers-0.1.18-cp35-cp35m-linux_armv6l.whl#sha256=fb3160fd1ca5db45dcd1a2d9548472a03309322eed90237c32b190f798a01bb0 (from https://www.piwheels.org/simple/provers/) (requires-python:>=3.5) 2025-09-04T20:27:38,768 Skipping link: No binaries permitted for provers: https://archive1.piwheels.org/simple/provers/provers-0.1.18-cp35-cp35m-linux_armv7l.whl#sha256=fb3160fd1ca5db45dcd1a2d9548472a03309322eed90237c32b190f798a01bb0 (from https://www.piwheels.org/simple/provers/) (requires-python:>=3.5) 2025-09-04T20:27:38,768 Skipping link: No binaries permitted for provers: https://archive1.piwheels.org/simple/provers/provers-0.1.18-cp37-cp37m-linux_armv6l.whl#sha256=a0c150503452bc8329e4dd1a63b662654332f097db759b0a72612bf315eff923 (from https://www.piwheels.org/simple/provers/) (requires-python:>=3.5) 2025-09-04T20:27:38,768 Skipping link: No binaries permitted for provers: https://archive1.piwheels.org/simple/provers/provers-0.1.18-cp37-cp37m-linux_armv7l.whl#sha256=a0c150503452bc8329e4dd1a63b662654332f097db759b0a72612bf315eff923 (from https://www.piwheels.org/simple/provers/) (requires-python:>=3.5) 2025-09-04T20:27:38,769 Skipping link: No binaries permitted for provers: https://archive1.piwheels.org/simple/provers/provers-0.1.18-cp311-cp311-linux_armv6l.whl#sha256=114a248773f1f59139ca1c88f09ea7875a6b291d3b172e3838be68584e5407a5 (from https://www.piwheels.org/simple/provers/) (requires-python:>=3.5) 2025-09-04T20:27:38,769 Skipping link: No binaries permitted for provers: https://archive1.piwheels.org/simple/provers/provers-0.1.18-cp311-cp311-linux_armv7l.whl#sha256=114a248773f1f59139ca1c88f09ea7875a6b291d3b172e3838be68584e5407a5 (from https://www.piwheels.org/simple/provers/) (requires-python:>=3.5) 2025-09-04T20:27:38,769 Skipping link: No binaries permitted for provers: https://archive1.piwheels.org/simple/provers/provers-0.1.18-cp39-cp39-linux_armv6l.whl#sha256=1e438aa03145d8fdf9be152a34eb97ff277ea3714b3de18f2b80ac6d088de0a4 (from https://www.piwheels.org/simple/provers/) (requires-python:>=3.5) 2025-09-04T20:27:38,769 Skipping link: No binaries permitted for provers: https://archive1.piwheels.org/simple/provers/provers-0.1.18-cp39-cp39-linux_armv7l.whl#sha256=1e438aa03145d8fdf9be152a34eb97ff277ea3714b3de18f2b80ac6d088de0a4 (from https://www.piwheels.org/simple/provers/) (requires-python:>=3.5) 2025-09-04T20:27:38,769 Skipping link: No binaries permitted for provers: https://archive1.piwheels.org/simple/provers/provers-0.1.17-cp35-cp35m-linux_armv6l.whl#sha256=e6c7da01b62c9c60304d60f120b36d92591302098a6a651b23fba15871e59e9f (from https://www.piwheels.org/simple/provers/) (requires-python:>=3.5) 2025-09-04T20:27:38,769 Skipping link: No binaries permitted for provers: https://archive1.piwheels.org/simple/provers/provers-0.1.17-cp35-cp35m-linux_armv7l.whl#sha256=e6c7da01b62c9c60304d60f120b36d92591302098a6a651b23fba15871e59e9f (from https://www.piwheels.org/simple/provers/) (requires-python:>=3.5) 2025-09-04T20:27:38,769 Skipping link: No binaries permitted for provers: https://archive1.piwheels.org/simple/provers/provers-0.1.17-cp37-cp37m-linux_armv6l.whl#sha256=88d8e62525789ff5f0d5b9a6e0899efdccc36bd3eb6910806146da71bf24bb52 (from https://www.piwheels.org/simple/provers/) (requires-python:>=3.5) 2025-09-04T20:27:38,769 Skipping link: No binaries permitted for provers: https://archive1.piwheels.org/simple/provers/provers-0.1.17-cp37-cp37m-linux_armv7l.whl#sha256=88d8e62525789ff5f0d5b9a6e0899efdccc36bd3eb6910806146da71bf24bb52 (from https://www.piwheels.org/simple/provers/) (requires-python:>=3.5) 2025-09-04T20:27:38,770 Skipping link: No binaries permitted for provers: https://archive1.piwheels.org/simple/provers/provers-0.1.17-cp39-cp39-linux_armv6l.whl#sha256=c64979834955b982e81a99f5538d2f25e38a150d45891018a4cbb855b86f2cc1 (from https://www.piwheels.org/simple/provers/) (requires-python:>=3.5) 2025-09-04T20:27:38,770 Skipping link: No binaries permitted for provers: https://archive1.piwheels.org/simple/provers/provers-0.1.17-cp39-cp39-linux_armv7l.whl#sha256=c64979834955b982e81a99f5538d2f25e38a150d45891018a4cbb855b86f2cc1 (from https://www.piwheels.org/simple/provers/) (requires-python:>=3.5) 2025-09-04T20:27:38,770 Skipping link: No binaries permitted for provers: https://archive1.piwheels.org/simple/provers/provers-0.1.17-cp311-cp311-linux_armv6l.whl#sha256=1dccab1c49bd7f26dd9a1c2d6f15389ca8e3cbb25dd64122f7cbe1a2589ce7e1 (from https://www.piwheels.org/simple/provers/) (requires-python:>=3.5) 2025-09-04T20:27:38,770 Skipping link: No binaries permitted for provers: https://archive1.piwheels.org/simple/provers/provers-0.1.17-cp311-cp311-linux_armv7l.whl#sha256=1dccab1c49bd7f26dd9a1c2d6f15389ca8e3cbb25dd64122f7cbe1a2589ce7e1 (from https://www.piwheels.org/simple/provers/) (requires-python:>=3.5) 2025-09-04T20:27:38,770 Skipping link: No binaries permitted for provers: https://archive1.piwheels.org/simple/provers/provers-0.1.16-cp35-cp35m-linux_armv7l.whl#sha256=736255accd938063e0aa8218f0d3ee060badb15658c394421f7ed5d24b5761a1 (from https://www.piwheels.org/simple/provers/) (requires-python:>=3.5) 2025-09-04T20:27:38,770 Skipping link: No binaries permitted for provers: https://archive1.piwheels.org/simple/provers/provers-0.1.16-cp35-cp35m-linux_armv6l.whl#sha256=736255accd938063e0aa8218f0d3ee060badb15658c394421f7ed5d24b5761a1 (from https://www.piwheels.org/simple/provers/) (requires-python:>=3.5) 2025-09-04T20:27:38,770 Skipping link: No binaries permitted for provers: https://archive1.piwheels.org/simple/provers/provers-0.1.16-cp37-cp37m-linux_armv7l.whl#sha256=6f0a26f4ad90fa7b018dca881263233cc4ddc6c1404d86e7e10910860592264e (from https://www.piwheels.org/simple/provers/) (requires-python:>=3.5) 2025-09-04T20:27:38,771 Skipping link: No binaries permitted for provers: https://archive1.piwheels.org/simple/provers/provers-0.1.16-cp37-cp37m-linux_armv6l.whl#sha256=6f0a26f4ad90fa7b018dca881263233cc4ddc6c1404d86e7e10910860592264e (from https://www.piwheels.org/simple/provers/) (requires-python:>=3.5) 2025-09-04T20:27:38,771 Skipping link: No binaries permitted for provers: https://archive1.piwheels.org/simple/provers/provers-0.1.16-cp39-cp39-linux_armv6l.whl#sha256=d8636b365bb41f482b8ee215f603d3d897313f799cf7ce0716e5d4f0c2fa68d9 (from https://www.piwheels.org/simple/provers/) (requires-python:>=3.5) 2025-09-04T20:27:38,771 Skipping link: No binaries permitted for provers: https://archive1.piwheels.org/simple/provers/provers-0.1.16-cp39-cp39-linux_armv7l.whl#sha256=d8636b365bb41f482b8ee215f603d3d897313f799cf7ce0716e5d4f0c2fa68d9 (from https://www.piwheels.org/simple/provers/) (requires-python:>=3.5) 2025-09-04T20:27:38,771 Skipping link: No binaries permitted for provers: https://archive1.piwheels.org/simple/provers/provers-0.1.16-cp311-cp311-linux_armv6l.whl#sha256=eea5d4929ac28dc67c7c06cdf4d4cbd9d080b5aa32440aa76a39eda04ec5a328 (from https://www.piwheels.org/simple/provers/) (requires-python:>=3.5) 2025-09-04T20:27:38,771 Skipping link: No binaries permitted for provers: https://archive1.piwheels.org/simple/provers/provers-0.1.16-cp311-cp311-linux_armv7l.whl#sha256=eea5d4929ac28dc67c7c06cdf4d4cbd9d080b5aa32440aa76a39eda04ec5a328 (from https://www.piwheels.org/simple/provers/) (requires-python:>=3.5) 2025-09-04T20:27:38,771 Skipping link: No binaries permitted for provers: https://archive1.piwheels.org/simple/provers/provers-0.1.15-cp39-cp39-linux_armv6l.whl#sha256=d18d911462bf1f105bdd7acdcb4c3cf88a63cd773c3027a197c940fe14194a1e (from https://www.piwheels.org/simple/provers/) (requires-python:>=3.5) 2025-09-04T20:27:38,771 Skipping link: No binaries permitted for provers: https://archive1.piwheels.org/simple/provers/provers-0.1.15-cp39-cp39-linux_armv7l.whl#sha256=d18d911462bf1f105bdd7acdcb4c3cf88a63cd773c3027a197c940fe14194a1e (from https://www.piwheels.org/simple/provers/) (requires-python:>=3.5) 2025-09-04T20:27:38,771 Skipping link: No binaries permitted for provers: https://archive1.piwheels.org/simple/provers/provers-0.1.15-cp35-cp35m-linux_armv7l.whl#sha256=e8c62da70e857b55ea1fee84f8f21b558d6dcf01093bea2328caa43403bb62da (from https://www.piwheels.org/simple/provers/) (requires-python:>=3.5) 2025-09-04T20:27:38,772 Skipping link: No binaries permitted for provers: https://archive1.piwheels.org/simple/provers/provers-0.1.15-cp35-cp35m-linux_armv6l.whl#sha256=e8c62da70e857b55ea1fee84f8f21b558d6dcf01093bea2328caa43403bb62da (from https://www.piwheels.org/simple/provers/) (requires-python:>=3.5) 2025-09-04T20:27:38,772 Skipping link: No binaries permitted for provers: https://archive1.piwheels.org/simple/provers/provers-0.1.15-cp37-cp37m-linux_armv7l.whl#sha256=b7530687e7453cd413f2058d89818be56dca3ffb07457e364b6733b18df0e0b4 (from https://www.piwheels.org/simple/provers/) (requires-python:>=3.5) 2025-09-04T20:27:38,772 Skipping link: No binaries permitted for provers: https://archive1.piwheels.org/simple/provers/provers-0.1.15-cp37-cp37m-linux_armv6l.whl#sha256=b7530687e7453cd413f2058d89818be56dca3ffb07457e364b6733b18df0e0b4 (from https://www.piwheels.org/simple/provers/) (requires-python:>=3.5) 2025-09-04T20:27:38,772 Skipping link: No binaries permitted for provers: https://archive1.piwheels.org/simple/provers/provers-0.1.15-cp311-cp311-linux_armv6l.whl#sha256=9980f7a8a05388fb55151f42811121545dc27a5363b0e4f5575705e978e8d1d9 (from https://www.piwheels.org/simple/provers/) (requires-python:>=3.5) 2025-09-04T20:27:38,772 Skipping link: No binaries permitted for provers: https://archive1.piwheels.org/simple/provers/provers-0.1.15-cp311-cp311-linux_armv7l.whl#sha256=9980f7a8a05388fb55151f42811121545dc27a5363b0e4f5575705e978e8d1d9 (from https://www.piwheels.org/simple/provers/) (requires-python:>=3.5) 2025-09-04T20:27:38,772 Skipping link: No binaries permitted for provers: https://archive1.piwheels.org/simple/provers/provers-0.1.13-cp39-cp39-linux_armv6l.whl#sha256=d6c739a246a58ff4c3785797598e296aafb30737a0f86e6d83281391a75bbd60 (from https://www.piwheels.org/simple/provers/) (requires-python:>=3.5) 2025-09-04T20:27:38,772 Skipping link: No binaries permitted for provers: https://archive1.piwheels.org/simple/provers/provers-0.1.13-cp39-cp39-linux_armv7l.whl#sha256=d6c739a246a58ff4c3785797598e296aafb30737a0f86e6d83281391a75bbd60 (from https://www.piwheels.org/simple/provers/) (requires-python:>=3.5) 2025-09-04T20:27:38,772 Skipping link: No binaries permitted for provers: https://archive1.piwheels.org/simple/provers/provers-0.1.13-cp37-cp37m-linux_armv7l.whl#sha256=f0163b0ae359807080fb898284d8c30a56c6341cbdb45a22aaaa0efc9f5adb56 (from https://www.piwheels.org/simple/provers/) (requires-python:>=3.5) 2025-09-04T20:27:38,773 Skipping link: No binaries permitted for provers: https://archive1.piwheels.org/simple/provers/provers-0.1.13-cp37-cp37m-linux_armv6l.whl#sha256=f0163b0ae359807080fb898284d8c30a56c6341cbdb45a22aaaa0efc9f5adb56 (from https://www.piwheels.org/simple/provers/) (requires-python:>=3.5) 2025-09-04T20:27:38,773 Skipping link: No binaries permitted for provers: https://archive1.piwheels.org/simple/provers/provers-0.1.13-cp35-cp35m-linux_armv6l.whl#sha256=ddc2bdff2e7bf1ff258e8cfb2b271bb8f78880298d23d631d8a351a233b202e2 (from https://www.piwheels.org/simple/provers/) (requires-python:>=3.5) 2025-09-04T20:27:38,773 Skipping link: No binaries permitted for provers: https://archive1.piwheels.org/simple/provers/provers-0.1.13-cp35-cp35m-linux_armv7l.whl#sha256=ddc2bdff2e7bf1ff258e8cfb2b271bb8f78880298d23d631d8a351a233b202e2 (from https://www.piwheels.org/simple/provers/) (requires-python:>=3.5) 2025-09-04T20:27:38,773 Skipping link: No binaries permitted for provers: https://archive1.piwheels.org/simple/provers/provers-0.1.13-cp311-cp311-linux_armv6l.whl#sha256=54a0a61e9481cceadb5402fecbaf66d9ca1b8afdcc2a2fa9eff8b563b28664cc (from https://www.piwheels.org/simple/provers/) (requires-python:>=3.5) 2025-09-04T20:27:38,773 Skipping link: No binaries permitted for provers: https://archive1.piwheels.org/simple/provers/provers-0.1.13-cp311-cp311-linux_armv7l.whl#sha256=54a0a61e9481cceadb5402fecbaf66d9ca1b8afdcc2a2fa9eff8b563b28664cc (from https://www.piwheels.org/simple/provers/) (requires-python:>=3.5) 2025-09-04T20:27:38,773 Skipping link: No binaries permitted for provers: https://archive1.piwheels.org/simple/provers/provers-0.1.12-cp39-cp39-linux_armv6l.whl#sha256=d3e055d488a4a76d4c909f6866bb01e21e4c9d13d15aaa69f6f5f59d2dd7e69f (from https://www.piwheels.org/simple/provers/) (requires-python:>=3.5) 2025-09-04T20:27:38,773 Skipping link: No binaries permitted for provers: https://archive1.piwheels.org/simple/provers/provers-0.1.12-cp39-cp39-linux_armv7l.whl#sha256=d3e055d488a4a76d4c909f6866bb01e21e4c9d13d15aaa69f6f5f59d2dd7e69f (from https://www.piwheels.org/simple/provers/) (requires-python:>=3.5) 2025-09-04T20:27:38,773 Skipping link: No binaries permitted for provers: https://archive1.piwheels.org/simple/provers/provers-0.1.12-cp35-cp35m-linux_armv7l.whl#sha256=3fae08d7d56887e73ef55137fd96a707eada7bba7926a05368c00cdddf778c4f (from https://www.piwheels.org/simple/provers/) (requires-python:>=3.5) 2025-09-04T20:27:38,774 Skipping link: No binaries permitted for provers: https://archive1.piwheels.org/simple/provers/provers-0.1.12-cp35-cp35m-linux_armv6l.whl#sha256=3fae08d7d56887e73ef55137fd96a707eada7bba7926a05368c00cdddf778c4f (from https://www.piwheels.org/simple/provers/) (requires-python:>=3.5) 2025-09-04T20:27:38,774 Skipping link: No binaries permitted for provers: https://archive1.piwheels.org/simple/provers/provers-0.1.12-cp37-cp37m-linux_armv7l.whl#sha256=8bf8d6798e74f19ac168ff416a7c89a0dede1d4a37f00ecc5c21d7f6be52bf97 (from https://www.piwheels.org/simple/provers/) (requires-python:>=3.5) 2025-09-04T20:27:38,774 Skipping link: No binaries permitted for provers: https://archive1.piwheels.org/simple/provers/provers-0.1.12-cp37-cp37m-linux_armv6l.whl#sha256=8bf8d6798e74f19ac168ff416a7c89a0dede1d4a37f00ecc5c21d7f6be52bf97 (from https://www.piwheels.org/simple/provers/) (requires-python:>=3.5) 2025-09-04T20:27:38,774 Skipping link: No binaries permitted for provers: https://archive1.piwheels.org/simple/provers/provers-0.1.12-cp311-cp311-linux_armv6l.whl#sha256=9f136d333df9bd177c235e02e18df097913bd2c5f22a48a7b66277339a53ecba (from https://www.piwheels.org/simple/provers/) (requires-python:>=3.5) 2025-09-04T20:27:38,774 Skipping link: No binaries permitted for provers: https://archive1.piwheels.org/simple/provers/provers-0.1.12-cp311-cp311-linux_armv7l.whl#sha256=9f136d333df9bd177c235e02e18df097913bd2c5f22a48a7b66277339a53ecba (from https://www.piwheels.org/simple/provers/) (requires-python:>=3.5) 2025-09-04T20:27:38,774 Skipping link: No binaries permitted for provers: https://archive1.piwheels.org/simple/provers/provers-0.1.4-cp39-cp39-linux_armv6l.whl#sha256=1735822d9e0e18dda0a32b9c4da30cfead5cb8090e1194d42f691fe1d2031ab1 (from https://www.piwheels.org/simple/provers/) (requires-python:>=3.5) 2025-09-04T20:27:38,774 Skipping link: No binaries permitted for provers: https://archive1.piwheels.org/simple/provers/provers-0.1.4-cp39-cp39-linux_armv7l.whl#sha256=1735822d9e0e18dda0a32b9c4da30cfead5cb8090e1194d42f691fe1d2031ab1 (from https://www.piwheels.org/simple/provers/) (requires-python:>=3.5) 2025-09-04T20:27:38,774 Skipping link: No binaries permitted for provers: https://archive1.piwheels.org/simple/provers/provers-0.1.4-cp35-cp35m-linux_armv6l.whl#sha256=5959efdd724a4bea2935bd798accaf7afc5fb6d2198a3f88e749068534d27aa6 (from https://www.piwheels.org/simple/provers/) (requires-python:>=3.5) 2025-09-04T20:27:38,775 Skipping link: No binaries permitted for provers: https://archive1.piwheels.org/simple/provers/provers-0.1.4-cp35-cp35m-linux_armv7l.whl#sha256=5959efdd724a4bea2935bd798accaf7afc5fb6d2198a3f88e749068534d27aa6 (from https://www.piwheels.org/simple/provers/) (requires-python:>=3.5) 2025-09-04T20:27:38,775 Skipping link: No binaries permitted for provers: https://archive1.piwheels.org/simple/provers/provers-0.1.4-cp37-cp37m-linux_armv6l.whl#sha256=a5372955b1cff238a2e18caefa381ee2e0d3bc99212470af397a4a5b4fe77b48 (from https://www.piwheels.org/simple/provers/) (requires-python:>=3.5) 2025-09-04T20:27:38,775 Skipping link: No binaries permitted for provers: https://archive1.piwheels.org/simple/provers/provers-0.1.4-cp37-cp37m-linux_armv7l.whl#sha256=a5372955b1cff238a2e18caefa381ee2e0d3bc99212470af397a4a5b4fe77b48 (from https://www.piwheels.org/simple/provers/) (requires-python:>=3.5) 2025-09-04T20:27:38,775 Skipping link: No binaries permitted for provers: https://archive1.piwheels.org/simple/provers/provers-0.1.4-cp311-cp311-linux_armv6l.whl#sha256=0d9d651ba5a848df405d592cb70ca0ccf8622afdbca80791526e5e1313b32f9d (from https://www.piwheels.org/simple/provers/) (requires-python:>=3.5) 2025-09-04T20:27:38,775 Skipping link: No binaries permitted for provers: https://archive1.piwheels.org/simple/provers/provers-0.1.4-cp311-cp311-linux_armv7l.whl#sha256=0d9d651ba5a848df405d592cb70ca0ccf8622afdbca80791526e5e1313b32f9d (from https://www.piwheels.org/simple/provers/) (requires-python:>=3.5) 2025-09-04T20:27:38,775 Skipping link: No binaries permitted for provers: https://archive1.piwheels.org/simple/provers/provers-0.1.3-py3-none-any.whl#sha256=f49e5283cdfec90379f9db05e908b1effb4b1cb892bac656305df578b1e46b35 (from https://www.piwheels.org/simple/provers/) (requires-python:>=3.5) 2025-09-04T20:27:38,775 Skipping link: No binaries permitted for provers: https://archive1.piwheels.org/simple/provers/provers-0.1.2-py3-none-any.whl#sha256=8113415d85631769830d3065e440daafb94526f1e07fab9108c3376ec2e7a83a (from https://www.piwheels.org/simple/provers/) (requires-python:>=3.5) 2025-09-04T20:27:38,775 Skipping link: No binaries permitted for provers: https://archive1.piwheels.org/simple/provers/provers-0.0.0-py3-none-any.whl#sha256=2b6401a015f9339d47a44c6727d44b6722f93271ca63ad98f80aa51019274445 (from https://www.piwheels.org/simple/provers/) (requires-python:>=3.5) 2025-09-04T20:27:38,776 Skipping link: No binaries permitted for provers: https://archive1.piwheels.org/simple/provers/provers-0.1.0-py3-none-any.whl#sha256=0fe13627ac43c9265cab689feb720eb375bb27305aafb187486477272eaa43d4 (from https://www.piwheels.org/simple/provers/) (requires-python:>=3.5) 2025-09-04T20:27:38,776 Skipping link: not a file: https://www.piwheels.org/simple/provers/ 2025-09-04T20:27:38,776 Skipping link: not a file: https://pypi.org/simple/provers/ 2025-09-04T20:27:38,801 Given no hashes to check 1 links for project 'provers': discarding no candidates 2025-09-04T20:27:38,802 Collecting provers==0.1.9 2025-09-04T20:27:38,803 Created temporary directory: /tmp/pip-unpack-3fdmih6f 2025-09-04T20:27:38,941 Downloading provers-0.1.9.tar.gz (14 kB) 2025-09-04T20:27:38,973 Added provers==0.1.9 from https://files.pythonhosted.org/packages/d6/e2/7c55cecd9a72bf4614488178a122f091149bca11a14039b5366e577cd3f2/provers-0.1.9.tar.gz to build tracker '/tmp/pip-build-tracker-jmrzwi7e' 2025-09-04T20:27:38,974 Running setup.py (path:/tmp/pip-wheel-n4rj0g7z/provers_90a90cc8759b411f9602e759bbebbfbf/setup.py) egg_info for package provers 2025-09-04T20:27:38,974 Created temporary directory: /tmp/pip-pip-egg-info-bhhn_0zh 2025-09-04T20:27:38,974 Preparing metadata (setup.py): started 2025-09-04T20:27:38,975 Running command python setup.py egg_info 2025-09-04T20:27:39,598 /usr/local/lib/python3.13/dist-packages/setuptools/__init__.py:92: _DeprecatedInstaller: setuptools.installer and fetch_build_eggs are deprecated. 2025-09-04T20:27:39,599 !! 2025-09-04T20:27:39,599 ******************************************************************************** 2025-09-04T20:27:39,599 Requirements should be satisfied by a PEP 517 installer. 2025-09-04T20:27:39,599 If you are using pip, you can try `pip install --use-pep517`. 2025-09-04T20:27:39,599 By 2025-Oct-31, you need to update your project and remove deprecated calls 2025-09-04T20:27:39,599 or your builds will no longer be supported. 2025-09-04T20:27:39,599 ******************************************************************************** 2025-09-04T20:27:39,600 !! 2025-09-04T20:27:39,600 dist.fetch_build_eggs(dist.setup_requires) 2025-09-04T20:27:43,122 running egg_info 2025-09-04T20:27:43,199 creating /tmp/pip-pip-egg-info-bhhn_0zh/provers.egg-info 2025-09-04T20:27:43,199 writing /tmp/pip-pip-egg-info-bhhn_0zh/provers.egg-info/PKG-INFO 2025-09-04T20:27:43,200 writing dependency_links to /tmp/pip-pip-egg-info-bhhn_0zh/provers.egg-info/dependency_links.txt 2025-09-04T20:27:43,201 writing entry points to /tmp/pip-pip-egg-info-bhhn_0zh/provers.egg-info/entry_points.txt 2025-09-04T20:27:43,202 writing top-level names to /tmp/pip-pip-egg-info-bhhn_0zh/provers.egg-info/top_level.txt 2025-09-04T20:27:43,203 writing manifest file '/tmp/pip-pip-egg-info-bhhn_0zh/provers.egg-info/SOURCES.txt' 2025-09-04T20:27:43,600 listing git files failed - pretending there aren't any 2025-09-04T20:27:43,614 reading manifest file '/tmp/pip-pip-egg-info-bhhn_0zh/provers.egg-info/SOURCES.txt' 2025-09-04T20:27:43,615 reading manifest template 'MANIFEST.in' 2025-09-04T20:27:43,616 warning: no previously-included files found matching 'provers/bin/*' 2025-09-04T20:27:43,616 adding license file 'LICENSE' 2025-09-04T20:27:43,619 writing manifest file '/tmp/pip-pip-egg-info-bhhn_0zh/provers.egg-info/SOURCES.txt' 2025-09-04T20:27:43,739 Preparing metadata (setup.py): finished with status 'done' 2025-09-04T20:27:43,743 Source in /tmp/pip-wheel-n4rj0g7z/provers_90a90cc8759b411f9602e759bbebbfbf has version 0.1.9, which satisfies requirement provers==0.1.9 from https://files.pythonhosted.org/packages/d6/e2/7c55cecd9a72bf4614488178a122f091149bca11a14039b5366e577cd3f2/provers-0.1.9.tar.gz 2025-09-04T20:27:43,744 Removed provers==0.1.9 from https://files.pythonhosted.org/packages/d6/e2/7c55cecd9a72bf4614488178a122f091149bca11a14039b5366e577cd3f2/provers-0.1.9.tar.gz from build tracker '/tmp/pip-build-tracker-jmrzwi7e' 2025-09-04T20:27:43,747 Created temporary directory: /tmp/pip-unpack-ibi3je1m 2025-09-04T20:27:43,748 Created temporary directory: /tmp/pip-unpack-lvjm0f5l 2025-09-04T20:27:43,748 Building wheels for collected packages: provers 2025-09-04T20:27:43,749 Created temporary directory: /tmp/pip-wheel-hiqf9cg8 2025-09-04T20:27:43,750 DEPRECATION: Building 'provers' using the legacy setup.py bdist_wheel mechanism, which will be removed in a future version. pip 25.3 will enforce this behaviour change. A possible replacement is to use the standardized build interface by setting the `--use-pep517` option, (possibly combined with `--no-build-isolation`), or adding a `pyproject.toml` file to the source tree of 'provers'. Discussion can be found at https://github.com/pypa/pip/issues/6334 2025-09-04T20:27:43,751 Building wheel for provers (setup.py): started 2025-09-04T20:27:43,751 Destination directory: /tmp/pip-wheel-hiqf9cg8 2025-09-04T20:27:43,751 Running command python setup.py bdist_wheel 2025-09-04T20:27:44,372 /usr/local/lib/python3.13/dist-packages/setuptools/__init__.py:92: _DeprecatedInstaller: setuptools.installer and fetch_build_eggs are deprecated. 2025-09-04T20:27:44,372 !! 2025-09-04T20:27:44,372 ******************************************************************************** 2025-09-04T20:27:44,372 Requirements should be satisfied by a PEP 517 installer. 2025-09-04T20:27:44,372 If you are using pip, you can try `pip install --use-pep517`. 2025-09-04T20:27:44,373 By 2025-Oct-31, you need to update your project and remove deprecated calls 2025-09-04T20:27:44,373 or your builds will no longer be supported. 2025-09-04T20:27:44,373 ******************************************************************************** 2025-09-04T20:27:44,373 !! 2025-09-04T20:27:44,373 dist.fetch_build_eggs(dist.setup_requires) 2025-09-04T20:27:45,417 running bdist_wheel 2025-09-04T20:27:45,802 running build 2025-09-04T20:27:45,803 running build_py 2025-09-04T20:27:45,810 mkdir tmp || true 2025-09-04T20:27:45,819 cd tmp && wget https://www.cs.unm.edu/~mccune/mace4/download/LADR-2009-11A.tar.gz 2025-09-04T20:27:45,853 --2025-09-04 20:27:45-- https://www.cs.unm.edu/~mccune/mace4/download/LADR-2009-11A.tar.gz 2025-09-04T20:27:45,898 Resolving www.cs.unm.edu (www.cs.unm.edu)... 64:ff9b::406a:144c, 64.106.20.76 2025-09-04T20:27:46,041 Connecting to www.cs.unm.edu (www.cs.unm.edu)|64:ff9b::406a:144c|:443... connected. 2025-09-04T20:27:46,484 HTTP request sent, awaiting response... 200 OK 2025-09-04T20:27:46,485 Length: 1795750 (1.7M) [application/x-gzip] 2025-09-04T20:27:46,485 Saving to: ‘LADR-2009-11A.tar.gz’ 2025-09-04T20:27:46,771 0K .......... .......... .......... .......... .......... 2% 175K 10s 2025-09-04T20:27:46,910 50K .......... .......... .......... .......... .......... 5% 362K 7s 2025-09-04T20:27:46,923 100K .......... .......... .......... .......... .......... 8% 3.61M 5s 2025-09-04T20:27:47,002 150K .......... .......... .......... .......... .......... 11% 632K 4s 2025-09-04T20:27:47,064 200K .......... .......... .......... .......... .......... 14% 811K 3s 2025-09-04T20:27:47,071 250K .......... .......... .......... .......... .......... 17% 6.11M 3s 2025-09-04T20:27:47,078 300K .......... .......... .......... .......... .......... 19% 7.23M 2s 2025-09-04T20:27:47,095 350K .......... .......... .......... .......... .......... 22% 2.92M 2s 2025-09-04T20:27:47,202 400K .......... .......... .......... .......... .......... 25% 468K 2s 2025-09-04T20:27:47,215 450K .......... .......... .......... .......... .......... 28% 3.63M 2s 2025-09-04T20:27:47,221 500K .......... .......... .......... .......... .......... 31% 8.54M 2s 2025-09-04T20:27:47,225 550K .......... .......... .......... .......... .......... 34% 10.2M 1s 2025-09-04T20:27:47,231 600K .......... .......... .......... .......... .......... 37% 8.66M 1s 2025-09-04T20:27:47,236 650K .......... .......... .......... .......... .......... 39% 10.5M 1s 2025-09-04T20:27:47,240 700K .......... .......... .......... .......... .......... 42% 10.7M 1s 2025-09-04T20:27:47,244 750K .......... .......... .......... .......... .......... 45% 12.7M 1s 2025-09-04T20:27:47,285 800K .......... .......... .......... .......... .......... 48% 1.18M 1s 2025-09-04T20:27:47,343 850K .......... .......... .......... .......... .......... 51% 871K 1s 2025-09-04T20:27:47,351 900K .......... .......... .......... .......... .......... 54% 5.82M 1s 2025-09-04T20:27:47,359 950K .......... .......... .......... .......... .......... 57% 5.98M 1s 2025-09-04T20:27:47,363 1000K .......... .......... .......... .......... .......... 59% 12.4M 1s 2025-09-04T20:27:47,367 1050K .......... .......... .......... .......... .......... 62% 12.3M 1s 2025-09-04T20:27:47,372 1100K .......... .......... .......... .......... .......... 65% 10.8M 0s 2025-09-04T20:27:47,376 1150K .......... .......... .......... .......... .......... 68% 12.7M 0s 2025-09-04T20:27:47,380 1200K .......... .......... .......... .......... .......... 71% 10.8M 0s 2025-09-04T20:27:47,384 1250K .......... .......... .......... .......... .......... 74% 12.7M 0s 2025-09-04T20:27:47,388 1300K .......... .......... .......... .......... .......... 76% 12.6M 0s 2025-09-04T20:27:47,392 1350K .......... .......... .......... .......... .......... 79% 10.9M 0s 2025-09-04T20:27:47,396 1400K .......... .......... .......... .......... .......... 82% 12.7M 0s 2025-09-04T20:27:47,401 1450K .......... .......... .......... .......... .......... 85% 10.9M 0s 2025-09-04T20:27:47,404 1500K .......... .......... .......... .......... .......... 88% 12.7M 0s 2025-09-04T20:27:47,408 1550K .......... .......... .......... .......... .......... 91% 12.6M 0s 2025-09-04T20:27:47,413 1600K .......... .......... .......... .......... .......... 94% 10.9M 0s 2025-09-04T20:27:47,417 1650K .......... .......... .......... .......... .......... 96% 12.6M 0s 2025-09-04T20:27:47,430 1700K .......... .......... .......... .......... .......... 99% 3.63M 0s 2025-09-04T20:27:47,430 1750K ... 100% 6.82T=0.9s 2025-09-04T20:27:47,431 2025-09-04 20:27:47 (1.81 MB/s) - ‘LADR-2009-11A.tar.gz’ saved [1795750/1795750] 2025-09-04T20:27:47,433 cd tmp && tar -xzf LADR-2009-11A.tar.gz 2025-09-04T20:27:47,605 cd tmp/LADR-2009-11A/provers.src && sed -i.old 's/^\([ \t]*\$(CC).*\) -lm \(.*\)$/\1 \2 -lm/g' Makefile 2025-09-04T20:27:47,615 cd tmp/LADR-2009-11A && make all 2025-09-04T20:27:47,625 make[1]: Entering directory '/tmp/pip-wheel-n4rj0g7z/provers_90a90cc8759b411f9602e759bbebbfbf/provers/bin/tmp/LADR-2009-11A' 2025-09-04T20:27:47,625 cd ladr && make lib 2025-09-04T20:27:47,639 make[2]: Entering directory '/tmp/pip-wheel-n4rj0g7z/provers_90a90cc8759b411f9602e759bbebbfbf/provers/bin/tmp/LADR-2009-11A/ladr' 2025-09-04T20:27:47,640 make libladr.a 2025-09-04T20:27:47,652 make[3]: Entering directory '/tmp/pip-wheel-n4rj0g7z/provers_90a90cc8759b411f9602e759bbebbfbf/provers/bin/tmp/LADR-2009-11A/ladr' 2025-09-04T20:27:47,652 gcc -O -Wall -c -o order.o order.c 2025-09-04T20:27:47,819 gcc -O -Wall -c -o clock.o clock.c 2025-09-04T20:27:48,046 gcc -O -Wall -c -o nonport.o nonport.c 2025-09-04T20:27:48,151 gcc -O -Wall -c -o fatal.o fatal.c 2025-09-04T20:27:48,283 gcc -O -Wall -c -o ibuffer.o ibuffer.c 2025-09-04T20:27:48,480 gcc -O -Wall -c -o memory.o memory.c 2025-09-04T20:27:48,695 gcc -O -Wall -c -o hash.o hash.c 2025-09-04T20:27:48,891 gcc -O -Wall -c -o string.o string.c 2025-09-04T20:27:49,132 gcc -O -Wall -c -o strbuf.o strbuf.c 2025-09-04T20:27:49,404 gcc -O -Wall -c -o glist.o glist.c 2025-09-04T20:27:50,001 gcc -O -Wall -c -o options.o options.c 2025-09-04T20:27:50,518 gcc -O -Wall -c -o symbols.o symbols.c 2025-09-04T20:27:50,631 symbols.c: In function ‘declare_base_symbols’: 2025-09-04T20:27:50,631 symbols.c:1304:7: warning: variable ‘sn’ set but not used [-Wunused-but-set-variable] 2025-09-04T20:27:50,632 1304 | int sn; 2025-09-04T20:27:50,632 | ^~ 2025-09-04T20:27:51,471 gcc -O -Wall -c -o avltree.o avltree.c 2025-09-04T20:27:51,828 gcc -O -Wall -c -o term.o term.c 2025-09-04T20:27:52,682 gcc -O -Wall -c -o termflag.o termflag.c 2025-09-04T20:27:52,874 gcc -O -Wall -c -o listterm.o listterm.c 2025-09-04T20:27:53,064 gcc -O -Wall -c -o tlist.o tlist.c 2025-09-04T20:27:53,242 gcc -O -Wall -c -o flatterm.o flatterm.c 2025-09-04T20:27:53,502 gcc -O -Wall -c -o multiset.o multiset.c 2025-09-04T20:27:53,682 gcc -O -Wall -c -o termorder.o termorder.c 2025-09-04T20:27:54,141 gcc -O -Wall -c -o parse.o parse.c 2025-09-04T20:27:54,925 gcc -O -Wall -c -o accanon.o accanon.c 2025-09-04T20:27:55,120 gcc -O -Wall -c -o unify.o unify.c 2025-09-04T20:27:55,555 gcc -O -Wall -c -o fpalist.o fpalist.c 2025-09-04T20:27:55,876 gcc -O -Wall -c -o fpa.o fpa.c 2025-09-04T20:27:56,382 gcc -O -Wall -c -o discrim.o discrim.c 2025-09-04T20:27:56,570 gcc -O -Wall -c -o discrimb.o discrimb.c 2025-09-04T20:27:56,693 discrimb.c:487:7: warning: ‘check_flat2’ defined but not used [-Wunused-function] 2025-09-04T20:27:56,693 487 | Flat2 check_flat2(Flat2 f) 2025-09-04T20:27:56,693 | ^~~~~~~~~~~ 2025-09-04T20:27:56,936 gcc -O -Wall -c -o discrimw.o discrimw.c 2025-09-04T20:27:57,066 discrimw.c:146:6: warning: ‘check_flat’ defined but not used [-Wunused-function] 2025-09-04T20:27:57,066 146 | Flat check_flat(Flat f) 2025-09-04T20:27:57,067 | ^~~~~~~~~~ 2025-09-04T20:27:57,358 gcc -O -Wall -c -o dioph.o dioph.c 2025-09-04T20:27:57,956 gcc -O -Wall -c -o btu.o btu.c 2025-09-04T20:27:58,607 gcc -O -Wall -c -o btm.o btm.c 2025-09-04T20:27:59,261 gcc -O -Wall -c -o mindex.o mindex.c 2025-09-04T20:27:59,384 mindex.c: In function ‘mindex_retrieve_next’: 2025-09-04T20:27:59,385 mindex.c:650:11: warning: variable ‘tr’ set but not used [-Wunused-but-set-variable] 2025-09-04T20:27:59,385 650 | Trail tr; 2025-09-04T20:27:59,385 | ^~ 2025-09-04T20:27:59,571 gcc -O -Wall -c -o basic.o basic.c 2025-09-04T20:27:59,795 gcc -O -Wall -c -o attrib.o attrib.c 2025-09-04T20:28:00,227 gcc -O -Wall -c -o formula.o formula.c 2025-09-04T20:28:01,063 gcc -O -Wall -c -o definitions.o definitions.c 2025-09-04T20:28:01,329 gcc -O -Wall -c -o literals.o literals.c 2025-09-04T20:28:01,752 gcc -O -Wall -c -o topform.o topform.c 2025-09-04T20:28:02,138 gcc -O -Wall -c -o clist.o clist.c 2025-09-04T20:28:02,564 gcc -O -Wall -c -o clauseid.o clauseid.c 2025-09-04T20:28:02,772 gcc -O -Wall -c -o clauses.o clauses.c 2025-09-04T20:28:02,994 gcc -O -Wall -c -o just.o just.c 2025-09-04T20:28:03,766 gcc -O -Wall -c -o cnf.o cnf.c 2025-09-04T20:28:04,341 gcc -O -Wall -c -o clausify.o clausify.c 2025-09-04T20:28:04,564 gcc -O -Wall -c -o parautil.o parautil.c 2025-09-04T20:28:04,866 gcc -O -Wall -c -o pindex.o pindex.c 2025-09-04T20:28:05,248 gcc -O -Wall -c -o compress.o compress.c 2025-09-04T20:28:05,436 gcc -O -Wall -c -o maximal.o maximal.c 2025-09-04T20:28:05,671 gcc -O -Wall -c -o lindex.o lindex.c 2025-09-04T20:28:05,859 gcc -O -Wall -c -o weight.o weight.c 2025-09-04T20:28:06,139 gcc -O -Wall -c -o weight2.o weight2.c 2025-09-04T20:28:06,313 gcc -O -Wall -c -o int_code.o int_code.c 2025-09-04T20:28:06,562 gcc -O -Wall -c -o features.o features.c 2025-09-04T20:28:06,771 gcc -O -Wall -c -o di_tree.o di_tree.c 2025-09-04T20:28:07,052 gcc -O -Wall -c -o fastparse.o fastparse.c 2025-09-04T20:28:07,266 gcc -O -Wall -c -o random.o random.c 2025-09-04T20:28:07,537 gcc -O -Wall -c -o subsume.o subsume.c 2025-09-04T20:28:07,958 gcc -O -Wall -c -o clause_misc.o clause_misc.c 2025-09-04T20:28:08,160 gcc -O -Wall -c -o clause_eval.o clause_eval.c 2025-09-04T20:28:08,406 gcc -O -Wall -c -o complex.o complex.c 2025-09-04T20:28:08,522 complex.c: In function ‘complex4_p1’: 2025-09-04T20:28:08,523 complex.c:275:8: warning: variable ‘dummy’ set but not used [-Wunused-but-set-variable] 2025-09-04T20:28:08,523 275 | BOOL dummy; 2025-09-04T20:28:08,523 | ^~~~~ 2025-09-04T20:28:08,679 gcc -O -Wall -c -o dollar.o dollar.c 2025-09-04T20:28:09,048 gcc -O -Wall -c -o flatdemod.o flatdemod.c 2025-09-04T20:28:09,169 flatdemod.c: In function ‘discrim_flat_retrieve_leaf’: 2025-09-04T20:28:09,169 flatdemod.c:122:16: warning: comparison between ‘BOOL’ and ‘enum ’ [-Wenum-compare] 2025-09-04T20:28:09,169 122 | if (status == BACKTRACK) { 2025-09-04T20:28:09,169 | ^~ 2025-09-04T20:28:09,171 flatdemod.c:158:15: warning: variable ‘dd’ set but not used [-Wunused-but-set-variable] 2025-09-04T20:28:09,171 158 | Discrim dd = NULL; 2025-09-04T20:28:09,171 | ^~ 2025-09-04T20:28:09,171 flatdemod.c:167:16: warning: comparison between ‘BOOL’ and ‘enum ’ [-Wenum-compare] 2025-09-04T20:28:09,171 167 | if (status == GO) { 2025-09-04T20:28:09,171 | ^~ 2025-09-04T20:28:09,328 gcc -O -Wall -c -o demod.o demod.c 2025-09-04T20:28:09,449 demod.c: In function ‘demod1’: 2025-09-04T20:28:09,450 demod.c:376:8: warning: variable ‘result’ set but not used [-Wunused-but-set-variable] 2025-09-04T20:28:09,450 376 | Term result; 2025-09-04T20:28:09,450 | ^~~~~~ 2025-09-04T20:28:09,645 gcc -O -Wall -c -o clash.o clash.c 2025-09-04T20:28:09,760 clash.c: In function ‘clash_recurse’: 2025-09-04T20:28:09,760 clash.c:283:12: warning: suggest parentheses around operand of ‘!’ or change ‘|’ to ‘||’ or ‘!’ to ‘~’ [-Wparentheses] 2025-09-04T20:28:09,760 283 | else if (!p->clashable | p->clashed) 2025-09-04T20:28:09,760 | ^~~~~~~~~~~~~ 2025-09-04T20:28:09,885 gcc -O -Wall -c -o resolve.o resolve.c 2025-09-04T20:28:10,386 gcc -O -Wall -c -o paramod.o paramod.c 2025-09-04T20:28:10,506 paramod.c: In function ‘para_into’: 2025-09-04T20:28:10,506 paramod.c:347:8: warning: suggest parentheses around operand of ‘!’ or change ‘|’ to ‘||’ or ‘!’ to ‘~’ [-Wparentheses] 2025-09-04T20:28:10,506 347 | if ((!VARIABLE(into) | Para_into_vars) && basic_check(into)) { 2025-09-04T20:28:10,737 gcc -O -Wall -c -o backdemod.o backdemod.c 2025-09-04T20:28:10,966 gcc -O -Wall -c -o hints.o hints.c 2025-09-04T20:28:11,208 gcc -O -Wall -c -o ac_redun.o ac_redun.c 2025-09-04T20:28:11,551 gcc -O -Wall -c -o xproofs.o xproofs.c 2025-09-04T20:28:11,904 gcc -O -Wall -c -o ivy.o ivy.c 2025-09-04T20:28:12,035 ivy.c: In function ‘factor2_instances’: 2025-09-04T20:28:12,035 ivy.c:633:14: warning: variable ‘l1i’ set but not used [-Wunused-but-set-variable] 2025-09-04T20:28:12,035 633 | Literals l1i, l2i, lit; 2025-09-04T20:28:12,036 | ^~~ 2025-09-04T20:28:12,382 gcc -O -Wall -c -o interp.o interp.c 2025-09-04T20:28:12,509 interp.c: In function ‘transpose_binary’: 2025-09-04T20:28:12,510 interp.c:358:10: warning: variable ‘rc’ set but not used [-Wunused-but-set-variable] 2025-09-04T20:28:12,510 358 | int i, rc; 2025-09-04T20:28:12,510 | ^~ 2025-09-04T20:28:14,193 gcc -O -Wall -c -o std_options.o std_options.c 2025-09-04T20:28:14,343 gcc -O -Wall -c -o banner.o banner.c 2025-09-04T20:28:14,512 gcc -O -Wall -c -o ioutil.o ioutil.c 2025-09-04T20:28:14,920 gcc -O -Wall -c -o tptp_trans.o tptp_trans.c 2025-09-04T20:28:15,352 gcc -O -Wall -c -o top_input.o top_input.c 2025-09-04T20:28:15,920 ar rs libladr.a order.o clock.o nonport.o fatal.o ibuffer.o memory.o hash.o string.o strbuf.o glist.o options.o symbols.o avltree.o term.o termflag.o listterm.o tlist.o flatterm.o multiset.o termorder.o parse.o accanon.o unify.o fpalist.o fpa.o discrim.o discrimb.o discrimw.o dioph.o btu.o btm.o mindex.o basic.o attrib.o formula.o definitions.o literals.o topform.o clist.o clauseid.o clauses.o just.o cnf.o clausify.o parautil.o pindex.o compress.o maximal.o lindex.o weight.o weight2.o int_code.o features.o di_tree.o fastparse.o random.o subsume.o clause_misc.o clause_eval.o complex.o dollar.o flatdemod.o demod.o clash.o resolve.o paramod.o backdemod.o hints.o ac_redun.o xproofs.o ivy.o interp.o std_options.o banner.o ioutil.o tptp_trans.o top_input.o 2025-09-04T20:28:15,926 ar: creating libladr.a 2025-09-04T20:28:16,102 make[3]: Leaving directory '/tmp/pip-wheel-n4rj0g7z/provers_90a90cc8759b411f9602e759bbebbfbf/provers/bin/tmp/LADR-2009-11A/ladr' 2025-09-04T20:28:16,103 make[2]: Leaving directory '/tmp/pip-wheel-n4rj0g7z/provers_90a90cc8759b411f9602e759bbebbfbf/provers/bin/tmp/LADR-2009-11A/ladr' 2025-09-04T20:28:16,104 cd mace4.src && make all 2025-09-04T20:28:16,114 make[2]: Entering directory '/tmp/pip-wheel-n4rj0g7z/provers_90a90cc8759b411f9602e759bbebbfbf/provers/bin/tmp/LADR-2009-11A/mace4.src' 2025-09-04T20:28:16,114 cd ../ladr && make libladr.a 2025-09-04T20:28:16,142 make[3]: Entering directory '/tmp/pip-wheel-n4rj0g7z/provers_90a90cc8759b411f9602e759bbebbfbf/provers/bin/tmp/LADR-2009-11A/ladr' 2025-09-04T20:28:16,142 make[3]: 'libladr.a' is up to date. 2025-09-04T20:28:16,142 make[3]: Leaving directory '/tmp/pip-wheel-n4rj0g7z/provers_90a90cc8759b411f9602e759bbebbfbf/provers/bin/tmp/LADR-2009-11A/ladr' 2025-09-04T20:28:16,143 make clean 2025-09-04T20:28:16,150 make[3]: Entering directory '/tmp/pip-wheel-n4rj0g7z/provers_90a90cc8759b411f9602e759bbebbfbf/provers/bin/tmp/LADR-2009-11A/mace4.src' 2025-09-04T20:28:16,151 /bin/rm -f *.o 2025-09-04T20:28:16,159 make[3]: Leaving directory '/tmp/pip-wheel-n4rj0g7z/provers_90a90cc8759b411f9602e759bbebbfbf/provers/bin/tmp/LADR-2009-11A/mace4.src' 2025-09-04T20:28:16,160 make libmace4.a 2025-09-04T20:28:16,170 make[3]: Entering directory '/tmp/pip-wheel-n4rj0g7z/provers_90a90cc8759b411f9602e759bbebbfbf/provers/bin/tmp/LADR-2009-11A/mace4.src' 2025-09-04T20:28:16,170 gcc -O -Wall -c -o estack.o estack.c 2025-09-04T20:28:16,353 gcc -O -Wall -c -o util.o util.c 2025-09-04T20:28:16,507 gcc -O -Wall -c -o print.o print.c 2025-09-04T20:28:16,892 gcc -O -Wall -c -o syms.o syms.c 2025-09-04T20:28:17,347 gcc -O -Wall -c -o ground.o ground.c 2025-09-04T20:28:17,758 gcc -O -Wall -c -o arithmetic.o arithmetic.c 2025-09-04T20:28:18,174 gcc -O -Wall -c -o select.o select.c 2025-09-04T20:28:18,310 select.c: In function ‘select_concentric_band’: 2025-09-04T20:28:18,310 select.c:236:5: error: type of ‘min_id’ defaults to ‘int’ [-Wimplicit-int] 2025-09-04T20:28:18,311 236 | int select_concentric_band(min_id, max_id, max_constrained) 2025-09-04T20:28:18,311 | ^~~~~~~~~~~~~~~~~~~~~~ 2025-09-04T20:28:18,311 select.c:236:5: error: type of ‘max_id’ defaults to ‘int’ [-Wimplicit-int] 2025-09-04T20:28:18,311 select.c:236:5: error: type of ‘max_constrained’ defaults to ‘int’ [-Wimplicit-int] 2025-09-04T20:28:18,319 make[3]: *** [: select.o] Error 1 2025-09-04T20:28:18,320 make[3]: Leaving directory '/tmp/pip-wheel-n4rj0g7z/provers_90a90cc8759b411f9602e759bbebbfbf/provers/bin/tmp/LADR-2009-11A/mace4.src' 2025-09-04T20:28:18,320 make[2]: *** [Makefile:26: lib] Error 2 2025-09-04T20:28:18,320 make[2]: Leaving directory '/tmp/pip-wheel-n4rj0g7z/provers_90a90cc8759b411f9602e759bbebbfbf/provers/bin/tmp/LADR-2009-11A/mace4.src' 2025-09-04T20:28:18,320 make[1]: *** [Makefile:6: all] Error 2 2025-09-04T20:28:18,321 make[1]: Leaving directory '/tmp/pip-wheel-n4rj0g7z/provers_90a90cc8759b411f9602e759bbebbfbf/provers/bin/tmp/LADR-2009-11A' 2025-09-04T20:28:18,321 make: *** [Makefile:15: prover9] Error 2 2025-09-04T20:28:18,330 Traceback (most recent call last): 2025-09-04T20:28:18,336 File "", line 2, in 2025-09-04T20:28:18,336 exec(compile(''' 2025-09-04T20:28:18,336 ~~~~^^^^^^^^^^^^ 2025-09-04T20:28:18,336 # This is -- a caller that pip uses to run setup.py 2025-09-04T20:28:18,337 ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ 2025-09-04T20:28:18,337 ...<32 lines>... 2025-09-04T20:28:18,337 exec(compile(setup_py_code, filename, "exec")) 2025-09-04T20:28:18,337 ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ 2025-09-04T20:28:18,337 ''' % ('/tmp/pip-wheel-n4rj0g7z/provers_90a90cc8759b411f9602e759bbebbfbf/setup.py',), "", "exec")) 2025-09-04T20:28:18,337 ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ 2025-09-04T20:28:18,337 File "", line 35, in 2025-09-04T20:28:18,337 File "/tmp/pip-wheel-n4rj0g7z/provers_90a90cc8759b411f9602e759bbebbfbf/setup.py", line 34, in 2025-09-04T20:28:18,338 setup( 2025-09-04T20:28:18,338 ~~~~~^ 2025-09-04T20:28:18,338 name='provers', 2025-09-04T20:28:18,338 ^^^^^^^^^^^^^^^ 2025-09-04T20:28:18,338 ...<34 lines>... 2025-09-04T20:28:18,338 } 2025-09-04T20:28:18,338 ^ 2025-09-04T20:28:18,338 ) 2025-09-04T20:28:18,338 ^ 2025-09-04T20:28:18,338 File "/usr/local/lib/python3.13/dist-packages/setuptools/__init__.py", line 115, in setup 2025-09-04T20:28:18,339 return distutils.core.setup(**attrs) 2025-09-04T20:28:18,339 ~~~~~~~~~~~~~~~~~~~~^^^^^^^^^ 2025-09-04T20:28:18,339 File "/usr/local/lib/python3.13/dist-packages/setuptools/_distutils/core.py", line 186, in setup 2025-09-04T20:28:18,339 return run_commands(dist) 2025-09-04T20:28:18,339 File "/usr/local/lib/python3.13/dist-packages/setuptools/_distutils/core.py", line 202, in run_commands 2025-09-04T20:28:18,339 dist.run_commands() 2025-09-04T20:28:18,339 ~~~~~~~~~~~~~~~~~^^ 2025-09-04T20:28:18,339 File "/usr/local/lib/python3.13/dist-packages/setuptools/_distutils/dist.py", line 1002, in run_commands 2025-09-04T20:28:18,339 self.run_command(cmd) 2025-09-04T20:28:18,340 ~~~~~~~~~~~~~~~~^^^^^ 2025-09-04T20:28:18,340 File "/usr/local/lib/python3.13/dist-packages/setuptools/dist.py", line 1102, in run_command 2025-09-04T20:28:18,340 super().run_command(command) 2025-09-04T20:28:18,340 ~~~~~~~~~~~~~~~~~~~^^^^^^^^^ 2025-09-04T20:28:18,340 File "/usr/local/lib/python3.13/dist-packages/setuptools/_distutils/dist.py", line 1021, in run_command 2025-09-04T20:28:18,340 cmd_obj.run() 2025-09-04T20:28:18,340 ~~~~~~~~~~~^^ 2025-09-04T20:28:18,340 File "/usr/local/lib/python3.13/dist-packages/setuptools/command/bdist_wheel.py", line 370, in run 2025-09-04T20:28:18,341 self.run_command("build") 2025-09-04T20:28:18,341 ~~~~~~~~~~~~~~~~^^^^^^^^^ 2025-09-04T20:28:18,341 File "/usr/local/lib/python3.13/dist-packages/setuptools/_distutils/cmd.py", line 357, in run_command 2025-09-04T20:28:18,341 self.distribution.run_command(command) 2025-09-04T20:28:18,341 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~^^^^^^^^^ 2025-09-04T20:28:18,341 File "/usr/local/lib/python3.13/dist-packages/setuptools/dist.py", line 1102, in run_command 2025-09-04T20:28:18,341 super().run_command(command) 2025-09-04T20:28:18,341 ~~~~~~~~~~~~~~~~~~~^^^^^^^^^ 2025-09-04T20:28:18,341 File "/usr/local/lib/python3.13/dist-packages/setuptools/_distutils/dist.py", line 1021, in run_command 2025-09-04T20:28:18,342 cmd_obj.run() 2025-09-04T20:28:18,342 ~~~~~~~~~~~^^ 2025-09-04T20:28:18,342 File "/usr/local/lib/python3.13/dist-packages/setuptools/_distutils/command/build.py", line 135, in run 2025-09-04T20:28:18,342 self.run_command(cmd_name) 2025-09-04T20:28:18,342 ~~~~~~~~~~~~~~~~^^^^^^^^^^ 2025-09-04T20:28:18,342 File "/usr/local/lib/python3.13/dist-packages/setuptools/_distutils/cmd.py", line 357, in run_command 2025-09-04T20:28:18,342 self.distribution.run_command(command) 2025-09-04T20:28:18,342 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~^^^^^^^^^ 2025-09-04T20:28:18,343 File "/usr/local/lib/python3.13/dist-packages/setuptools/dist.py", line 1102, in run_command 2025-09-04T20:28:18,343 super().run_command(command) 2025-09-04T20:28:18,343 ~~~~~~~~~~~~~~~~~~~^^^^^^^^^ 2025-09-04T20:28:18,343 File "/usr/local/lib/python3.13/dist-packages/setuptools/_distutils/dist.py", line 1021, in run_command 2025-09-04T20:28:18,343 cmd_obj.run() 2025-09-04T20:28:18,343 ~~~~~~~~~~~^^ 2025-09-04T20:28:18,343 File "/tmp/pip-wheel-n4rj0g7z/provers_90a90cc8759b411f9602e759bbebbfbf/setup.py", line 25, in run 2025-09-04T20:28:18,343 subprocess.check_call(['make', 'all'], cwd='provers/bin') 2025-09-04T20:28:18,343 ~~~~~~~~~~~~~~~~~~~~~^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ 2025-09-04T20:28:18,344 File "/usr/lib/python3.13/subprocess.py", line 419, in check_call 2025-09-04T20:28:18,344 raise CalledProcessError(retcode, cmd) 2025-09-04T20:28:18,344 subprocess.CalledProcessError: Command '['make', 'all']' returned non-zero exit status 2. 2025-09-04T20:28:18,457 ERROR: python setup.py bdist_wheel exited with 1 2025-09-04T20:28:18,469 [bold magenta]full command[/]: [blue]/usr/bin/python3 -u -c ' 2025-09-04T20:28:18,469 exec(compile('"'"''"'"''"'"' 2025-09-04T20:28:18,469 # This is -- a caller that pip uses to run setup.py 2025-09-04T20:28:18,469 # 2025-09-04T20:28:18,469 # - It imports setuptools before invoking setup.py, to enable projects that directly 2025-09-04T20:28:18,469 # import from `distutils.core` to work with newer packaging standards. 2025-09-04T20:28:18,469 # - It provides a clear error message when setuptools is not installed. 2025-09-04T20:28:18,469 # - It sets `sys.argv[0]` to the underlying `setup.py`, when invoking `setup.py` so 2025-09-04T20:28:18,469 # setuptools doesn'"'"'t think the script is `-c`. This avoids the following warning: 2025-09-04T20:28:18,469 # manifest_maker: standard file '"'"'-c'"'"' not found". 2025-09-04T20:28:18,469 # - It generates a shim setup.py, for handling setup.cfg-only projects. 2025-09-04T20:28:18,469 import os, sys, tokenize, traceback 2025-09-04T20:28:18,469 2025-09-04T20:28:18,469 try: 2025-09-04T20:28:18,469 import setuptools 2025-09-04T20:28:18,469 except ImportError: 2025-09-04T20:28:18,469 print( 2025-09-04T20:28:18,469 "ERROR: Can not execute `setup.py` since setuptools failed to import in " 2025-09-04T20:28:18,469 "the build environment with exception:", 2025-09-04T20:28:18,469 file=sys.stderr, 2025-09-04T20:28:18,469 ) 2025-09-04T20:28:18,469 traceback.print_exc() 2025-09-04T20:28:18,469 sys.exit(1) 2025-09-04T20:28:18,469 2025-09-04T20:28:18,469 __file__ = %r 2025-09-04T20:28:18,469 sys.argv[0] = __file__ 2025-09-04T20:28:18,469 2025-09-04T20:28:18,469 if os.path.exists(__file__): 2025-09-04T20:28:18,469 filename = __file__ 2025-09-04T20:28:18,469 with tokenize.open(__file__) as f: 2025-09-04T20:28:18,469 setup_py_code = f.read() 2025-09-04T20:28:18,469 else: 2025-09-04T20:28:18,469 filename = "" 2025-09-04T20:28:18,469 setup_py_code = "from setuptools import setup; setup()" 2025-09-04T20:28:18,469 2025-09-04T20:28:18,469 exec(compile(setup_py_code, filename, "exec")) 2025-09-04T20:28:18,469 '"'"''"'"''"'"' % ('"'"'/tmp/pip-wheel-n4rj0g7z/provers_90a90cc8759b411f9602e759bbebbfbf/setup.py'"'"',), "", "exec"))' bdist_wheel -d /tmp/pip-wheel-hiqf9cg8[/] 2025-09-04T20:28:18,469 [bold magenta]cwd[/]: /tmp/pip-wheel-n4rj0g7z/provers_90a90cc8759b411f9602e759bbebbfbf/ 2025-09-04T20:28:18,470 Building wheel for provers (setup.py): finished with status 'error' 2025-09-04T20:28:18,471 ERROR: Failed building wheel for provers 2025-09-04T20:28:18,472 Running setup.py clean for provers 2025-09-04T20:28:18,472 Running command python setup.py clean 2025-09-04T20:28:19,228 /usr/local/lib/python3.13/dist-packages/setuptools/__init__.py:92: _DeprecatedInstaller: setuptools.installer and fetch_build_eggs are deprecated. 2025-09-04T20:28:19,228 !! 2025-09-04T20:28:19,229 ******************************************************************************** 2025-09-04T20:28:19,229 Requirements should be satisfied by a PEP 517 installer. 2025-09-04T20:28:19,229 If you are using pip, you can try `pip install --use-pep517`. 2025-09-04T20:28:19,229 By 2025-Oct-31, you need to update your project and remove deprecated calls 2025-09-04T20:28:19,229 or your builds will no longer be supported. 2025-09-04T20:28:19,229 ******************************************************************************** 2025-09-04T20:28:19,229 !! 2025-09-04T20:28:19,230 dist.fetch_build_eggs(dist.setup_requires) 2025-09-04T20:28:20,362 running clean 2025-09-04T20:28:20,515 'build/lib.linux-armv7l-cpython-313' does not exist -- can't clean it 2025-09-04T20:28:20,516 'build/bdist.linux-armv7l' does not exist -- can't clean it 2025-09-04T20:28:20,516 'build/scripts-3.13' does not exist -- can't clean it 2025-09-04T20:28:20,632 Failed to build provers 2025-09-04T20:28:20,633 ERROR: Failed to build one or more wheels 2025-09-04T20:28:20,633 Exception information: 2025-09-04T20:28:20,633 Traceback (most recent call last): 2025-09-04T20:28:20,633 File "/usr/lib/python3/dist-packages/pip/_internal/cli/base_command.py", line 105, in _run_wrapper 2025-09-04T20:28:20,633 status = _inner_run() 2025-09-04T20:28:20,633 File "/usr/lib/python3/dist-packages/pip/_internal/cli/base_command.py", line 96, in _inner_run 2025-09-04T20:28:20,633 return self.run(options, args) 2025-09-04T20:28:20,633 ~~~~~~~~^^^^^^^^^^^^^^^ 2025-09-04T20:28:20,633 File "/usr/lib/python3/dist-packages/pip/_internal/cli/req_command.py", line 68, in wrapper 2025-09-04T20:28:20,633 return func(self, options, args) 2025-09-04T20:28:20,633 File "/usr/lib/python3/dist-packages/pip/_internal/commands/wheel.py", line 180, in run 2025-09-04T20:28:20,633 raise CommandError("Failed to build one or more wheels") 2025-09-04T20:28:20,633 pip._internal.exceptions.CommandError: Failed to build one or more wheels 2025-09-04T20:28:20,638 Removed build tracker: '/tmp/pip-build-tracker-jmrzwi7e'