2025-09-04T20:27:42,164 Created temporary directory: /tmp/pip-build-tracker-xc_4zxis 2025-09-04T20:27:42,164 Initialized build tracking at /tmp/pip-build-tracker-xc_4zxis 2025-09-04T20:27:42,164 Created build tracker: /tmp/pip-build-tracker-xc_4zxis 2025-09-04T20:27:42,165 Entered build tracker: /tmp/pip-build-tracker-xc_4zxis 2025-09-04T20:27:42,165 Created temporary directory: /tmp/pip-wheel-y47retk6 2025-09-04T20:27:42,168 Created temporary directory: /tmp/pip-ephem-wheel-cache-ohmuyaeh 2025-09-04T20:27:42,229 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple 2025-09-04T20:27:42,232 2 location(s) to search for versions of provers: 2025-09-04T20:27:42,232 * https://pypi.org/simple/provers/ 2025-09-04T20:27:42,232 * https://www.piwheels.org/simple/provers/ 2025-09-04T20:27:42,232 Fetching project page and analyzing links: https://pypi.org/simple/provers/ 2025-09-04T20:27:42,232 Getting page https://pypi.org/simple/provers/ 2025-09-04T20:27:42,234 Found index url https://pypi.org/simple/ 2025-09-04T20:27:42,304 Fetched page https://pypi.org/simple/provers/ as application/vnd.pypi.simple.v1+json 2025-09-04T20:27:42,308 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:42,308 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:42,308 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:42,308 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:42,309 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:42,309 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:42,309 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:42,309 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:42,310 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:42,310 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:42,310 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:42,310 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:42,310 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:42,311 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:42,311 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:42,311 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:42,311 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:42,312 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:42,312 Fetching project page and analyzing links: https://www.piwheels.org/simple/provers/ 2025-09-04T20:27:42,312 Getting page https://www.piwheels.org/simple/provers/ 2025-09-04T20:27:42,313 Found index url https://www.piwheels.org/simple/ 2025-09-04T20:27:42,396 Fetched page https://www.piwheels.org/simple/provers/ as text/html 2025-09-04T20:27:42,411 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:42,411 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:42,411 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:42,411 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:42,412 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:42,412 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:42,412 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:42,412 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:42,412 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:42,412 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:42,413 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:42,413 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:42,413 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:42,413 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:42,413 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:42,414 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:42,414 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:42,414 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:42,414 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:42,414 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:42,414 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:42,415 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:42,415 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:42,415 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:42,415 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:42,415 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:42,415 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:42,415 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:42,416 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:42,416 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:42,416 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:42,416 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:42,416 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:42,416 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:42,416 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:42,416 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:42,417 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:42,417 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:42,417 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:42,417 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:42,417 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:42,417 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:42,417 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:42,417 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:42,418 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:42,418 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:42,418 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:42,418 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:42,418 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:42,418 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:42,418 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:42,419 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:42,419 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:42,419 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:42,419 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:42,419 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:42,419 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:42,419 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:42,419 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:42,420 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:42,420 Skipping link: not a file: https://www.piwheels.org/simple/provers/ 2025-09-04T20:27:42,420 Skipping link: not a file: https://pypi.org/simple/provers/ 2025-09-04T20:27:42,444 Given no hashes to check 1 links for project 'provers': discarding no candidates 2025-09-04T20:27:42,445 Collecting provers==0.1.12 2025-09-04T20:27:42,446 Created temporary directory: /tmp/pip-unpack-erhkhimi 2025-09-04T20:27:42,584 Downloading provers-0.1.12.tar.gz (14 kB) 2025-09-04T20:27:42,612 Added provers==0.1.12 from https://files.pythonhosted.org/packages/36/64/37fdbfb859f41be3c0e014cedea06d40299561b18338914b46c37a3c6e8e/provers-0.1.12.tar.gz to build tracker '/tmp/pip-build-tracker-xc_4zxis' 2025-09-04T20:27:42,613 Running setup.py (path:/tmp/pip-wheel-y47retk6/provers_82e1eef496864d9f980b6c9206684b0c/setup.py) egg_info for package provers 2025-09-04T20:27:42,613 Created temporary directory: /tmp/pip-pip-egg-info-t38e9j9w 2025-09-04T20:27:42,614 Preparing metadata (setup.py): started 2025-09-04T20:27:42,614 Running command python setup.py egg_info 2025-09-04T20:27:43,279 /usr/local/lib/python3.13/dist-packages/setuptools/__init__.py:92: _DeprecatedInstaller: setuptools.installer and fetch_build_eggs are deprecated. 2025-09-04T20:27:43,279 !! 2025-09-04T20:27:43,279 ******************************************************************************** 2025-09-04T20:27:43,279 Requirements should be satisfied by a PEP 517 installer. 2025-09-04T20:27:43,279 If you are using pip, you can try `pip install --use-pep517`. 2025-09-04T20:27:43,280 By 2025-Oct-31, you need to update your project and remove deprecated calls 2025-09-04T20:27:43,280 or your builds will no longer be supported. 2025-09-04T20:27:43,280 ******************************************************************************** 2025-09-04T20:27:43,280 !! 2025-09-04T20:27:43,280 dist.fetch_build_eggs(dist.setup_requires) 2025-09-04T20:27:46,804 running egg_info 2025-09-04T20:27:46,881 creating /tmp/pip-pip-egg-info-t38e9j9w/provers.egg-info 2025-09-04T20:27:46,881 writing /tmp/pip-pip-egg-info-t38e9j9w/provers.egg-info/PKG-INFO 2025-09-04T20:27:46,882 writing dependency_links to /tmp/pip-pip-egg-info-t38e9j9w/provers.egg-info/dependency_links.txt 2025-09-04T20:27:46,883 writing entry points to /tmp/pip-pip-egg-info-t38e9j9w/provers.egg-info/entry_points.txt 2025-09-04T20:27:46,883 writing top-level names to /tmp/pip-pip-egg-info-t38e9j9w/provers.egg-info/top_level.txt 2025-09-04T20:27:46,884 writing manifest file '/tmp/pip-pip-egg-info-t38e9j9w/provers.egg-info/SOURCES.txt' 2025-09-04T20:27:47,279 listing git files failed - pretending there aren't any 2025-09-04T20:27:47,292 reading manifest file '/tmp/pip-pip-egg-info-t38e9j9w/provers.egg-info/SOURCES.txt' 2025-09-04T20:27:47,293 reading manifest template 'MANIFEST.in' 2025-09-04T20:27:47,294 warning: no previously-included files found matching 'provers/bin/*' 2025-09-04T20:27:47,294 adding license file 'LICENSE' 2025-09-04T20:27:47,297 writing manifest file '/tmp/pip-pip-egg-info-t38e9j9w/provers.egg-info/SOURCES.txt' 2025-09-04T20:27:47,417 Preparing metadata (setup.py): finished with status 'done' 2025-09-04T20:27:47,422 Source in /tmp/pip-wheel-y47retk6/provers_82e1eef496864d9f980b6c9206684b0c has version 0.1.12, which satisfies requirement provers==0.1.12 from https://files.pythonhosted.org/packages/36/64/37fdbfb859f41be3c0e014cedea06d40299561b18338914b46c37a3c6e8e/provers-0.1.12.tar.gz 2025-09-04T20:27:47,422 Removed provers==0.1.12 from https://files.pythonhosted.org/packages/36/64/37fdbfb859f41be3c0e014cedea06d40299561b18338914b46c37a3c6e8e/provers-0.1.12.tar.gz from build tracker '/tmp/pip-build-tracker-xc_4zxis' 2025-09-04T20:27:47,426 Created temporary directory: /tmp/pip-unpack-daw5nok2 2025-09-04T20:27:47,426 Created temporary directory: /tmp/pip-unpack-5knu6kx4 2025-09-04T20:27:47,426 Building wheels for collected packages: provers 2025-09-04T20:27:47,428 Created temporary directory: /tmp/pip-wheel-q88_lx0l 2025-09-04T20:27:47,428 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:47,429 Building wheel for provers (setup.py): started 2025-09-04T20:27:47,430 Destination directory: /tmp/pip-wheel-q88_lx0l 2025-09-04T20:27:47,430 Running command python setup.py bdist_wheel 2025-09-04T20:27:48,064 /usr/local/lib/python3.13/dist-packages/setuptools/__init__.py:92: _DeprecatedInstaller: setuptools.installer and fetch_build_eggs are deprecated. 2025-09-04T20:27:48,064 !! 2025-09-04T20:27:48,064 ******************************************************************************** 2025-09-04T20:27:48,064 Requirements should be satisfied by a PEP 517 installer. 2025-09-04T20:27:48,064 If you are using pip, you can try `pip install --use-pep517`. 2025-09-04T20:27:48,064 By 2025-Oct-31, you need to update your project and remove deprecated calls 2025-09-04T20:27:48,065 or your builds will no longer be supported. 2025-09-04T20:27:48,065 ******************************************************************************** 2025-09-04T20:27:48,065 !! 2025-09-04T20:27:48,065 dist.fetch_build_eggs(dist.setup_requires) 2025-09-04T20:27:49,110 running bdist_wheel 2025-09-04T20:27:49,491 running build 2025-09-04T20:27:49,491 running build_py 2025-09-04T20:27:49,498 mkdir tmp || true 2025-09-04T20:27:49,507 cd tmp && wget https://www.cs.unm.edu/~mccune/mace4/download/LADR-2009-11A.tar.gz 2025-09-04T20:27:49,539 --2025-09-04 20:27:49-- https://www.cs.unm.edu/~mccune/mace4/download/LADR-2009-11A.tar.gz 2025-09-04T20:27:49,585 Resolving www.cs.unm.edu (www.cs.unm.edu)... 64:ff9b::406a:144c, 64.106.20.76 2025-09-04T20:27:49,755 Connecting to www.cs.unm.edu (www.cs.unm.edu)|64:ff9b::406a:144c|:443... connected. 2025-09-04T20:27:50,191 HTTP request sent, awaiting response... 200 OK 2025-09-04T20:27:50,192 Length: 1795750 (1.7M) [application/x-gzip] 2025-09-04T20:27:50,192 Saving to: ‘LADR-2009-11A.tar.gz’ 2025-09-04T20:27:50,479 0K .......... .......... .......... .......... .......... 2% 174K 10s 2025-09-04T20:27:50,618 50K .......... .......... .......... .......... .......... 5% 359K 7s 2025-09-04T20:27:50,762 100K .......... .......... .......... .......... .......... 8% 347K 6s 2025-09-04T20:27:50,772 150K .......... .......... .......... .......... .......... 11% 5.07M 5s 2025-09-04T20:27:50,905 200K .......... .......... .......... .......... .......... 14% 377K 4s 2025-09-04T20:27:50,919 250K .......... .......... .......... .......... .......... 17% 3.35M 4s 2025-09-04T20:27:50,925 300K .......... .......... .......... .......... .......... 19% 7.83M 3s 2025-09-04T20:27:50,930 350K .......... .......... .......... .......... .......... 22% 9.45M 3s 2025-09-04T20:27:50,935 400K .......... .......... .......... .......... .......... 25% 11.0M 2s 2025-09-04T20:27:50,940 450K .......... .......... .......... .......... .......... 28% 9.16M 2s 2025-09-04T20:27:51,058 500K .......... .......... .......... .......... .......... 31% 425K 2s 2025-09-04T20:27:51,074 550K .......... .......... .......... .......... .......... 34% 3.07M 2s 2025-09-04T20:27:51,078 600K .......... .......... .......... .......... .......... 37% 10.1M 2s 2025-09-04T20:27:51,083 650K .......... .......... .......... .......... .......... 39% 11.9M 1s 2025-09-04T20:27:51,087 700K .......... .......... .......... .......... .......... 42% 10.1M 1s 2025-09-04T20:27:51,091 750K .......... .......... .......... .......... .......... 45% 12.0M 1s 2025-09-04T20:27:51,095 800K .......... .......... .......... .......... .......... 48% 12.6M 1s 2025-09-04T20:27:51,100 850K .......... .......... .......... .......... .......... 51% 10.9M 1s 2025-09-04T20:27:51,104 900K .......... .......... .......... .......... .......... 54% 12.6M 1s 2025-09-04T20:27:51,122 950K .......... .......... .......... .......... .......... 57% 2.65M 1s 2025-09-04T20:27:51,127 1000K .......... .......... .......... .......... .......... 59% 9.27M 1s 2025-09-04T20:27:51,200 1050K .......... .......... .......... .......... .......... 62% 693K 1s 2025-09-04T20:27:51,212 1100K .......... .......... .......... .......... .......... 65% 3.93M 1s 2025-09-04T20:27:51,220 1150K .......... .......... .......... .......... .......... 68% 6.34M 0s 2025-09-04T20:27:51,227 1200K .......... .......... .......... .......... .......... 71% 7.42M 0s 2025-09-04T20:27:51,231 1250K .......... .......... .......... .......... .......... 74% 10.4M 0s 2025-09-04T20:27:51,236 1300K .......... .......... .......... .......... .......... 76% 9.21M 0s 2025-09-04T20:27:51,241 1350K .......... .......... .......... .......... .......... 79% 10.5M 0s 2025-09-04T20:27:51,245 1400K .......... .......... .......... .......... .......... 82% 12.5M 0s 2025-09-04T20:27:51,249 1450K .......... .......... .......... .......... .......... 85% 10.9M 0s 2025-09-04T20:27:51,253 1500K .......... .......... .......... .......... .......... 88% 12.6M 0s 2025-09-04T20:27:51,257 1550K .......... .......... .......... .......... .......... 91% 12.3M 0s 2025-09-04T20:27:51,262 1600K .......... .......... .......... .......... .......... 94% 10.9M 0s 2025-09-04T20:27:51,265 1650K .......... .......... .......... .......... .......... 96% 12.6M 0s 2025-09-04T20:27:51,270 1700K .......... .......... .......... .......... .......... 99% 10.3M 0s 2025-09-04T20:27:51,270 1750K ... 100% 6.82T=1.1s 2025-09-04T20:27:51,271 2025-09-04 20:27:51 (1.59 MB/s) - ‘LADR-2009-11A.tar.gz’ saved [1795750/1795750] 2025-09-04T20:27:51,274 cd tmp && tar -xzf LADR-2009-11A.tar.gz 2025-09-04T20:27:51,438 cd tmp/LADR-2009-11A/provers.src && sed -i.old 's/^\([ \t]*\$(CC).*\) -lm \(.*\)$/\1 \2 -lm/g' Makefile 2025-09-04T20:27:51,450 cd tmp/LADR-2009-11A && make all 2025-09-04T20:27:51,459 make[1]: Entering directory '/tmp/pip-wheel-y47retk6/provers_82e1eef496864d9f980b6c9206684b0c/provers/bin/tmp/LADR-2009-11A' 2025-09-04T20:27:51,459 cd ladr && make lib 2025-09-04T20:27:51,472 make[2]: Entering directory '/tmp/pip-wheel-y47retk6/provers_82e1eef496864d9f980b6c9206684b0c/provers/bin/tmp/LADR-2009-11A/ladr' 2025-09-04T20:27:51,473 make libladr.a 2025-09-04T20:27:51,485 make[3]: Entering directory '/tmp/pip-wheel-y47retk6/provers_82e1eef496864d9f980b6c9206684b0c/provers/bin/tmp/LADR-2009-11A/ladr' 2025-09-04T20:27:51,485 gcc -O -Wall -c -o order.o order.c 2025-09-04T20:27:51,663 gcc -O -Wall -c -o clock.o clock.c 2025-09-04T20:27:51,898 gcc -O -Wall -c -o nonport.o nonport.c 2025-09-04T20:27:52,009 gcc -O -Wall -c -o fatal.o fatal.c 2025-09-04T20:27:52,142 gcc -O -Wall -c -o ibuffer.o ibuffer.c 2025-09-04T20:27:52,341 gcc -O -Wall -c -o memory.o memory.c 2025-09-04T20:27:52,560 gcc -O -Wall -c -o hash.o hash.c 2025-09-04T20:27:52,763 gcc -O -Wall -c -o string.o string.c 2025-09-04T20:27:53,004 gcc -O -Wall -c -o strbuf.o strbuf.c 2025-09-04T20:27:53,277 gcc -O -Wall -c -o glist.o glist.c 2025-09-04T20:27:53,877 gcc -O -Wall -c -o options.o options.c 2025-09-04T20:27:54,390 gcc -O -Wall -c -o symbols.o symbols.c 2025-09-04T20:27:54,506 symbols.c: In function ‘declare_base_symbols’: 2025-09-04T20:27:54,506 symbols.c:1304:7: warning: variable ‘sn’ set but not used [-Wunused-but-set-variable] 2025-09-04T20:27:54,506 1304 | int sn; 2025-09-04T20:27:54,506 | ^~ 2025-09-04T20:27:55,349 gcc -O -Wall -c -o avltree.o avltree.c 2025-09-04T20:27:55,707 gcc -O -Wall -c -o term.o term.c 2025-09-04T20:27:56,564 gcc -O -Wall -c -o termflag.o termflag.c 2025-09-04T20:27:56,756 gcc -O -Wall -c -o listterm.o listterm.c 2025-09-04T20:27:56,951 gcc -O -Wall -c -o tlist.o tlist.c 2025-09-04T20:27:57,117 gcc -O -Wall -c -o flatterm.o flatterm.c 2025-09-04T20:27:57,374 gcc -O -Wall -c -o multiset.o multiset.c 2025-09-04T20:27:57,553 gcc -O -Wall -c -o termorder.o termorder.c 2025-09-04T20:27:58,012 gcc -O -Wall -c -o parse.o parse.c 2025-09-04T20:27:58,797 gcc -O -Wall -c -o accanon.o accanon.c 2025-09-04T20:27:58,993 gcc -O -Wall -c -o unify.o unify.c 2025-09-04T20:27:59,432 gcc -O -Wall -c -o fpalist.o fpalist.c 2025-09-04T20:27:59,755 gcc -O -Wall -c -o fpa.o fpa.c 2025-09-04T20:28:00,258 gcc -O -Wall -c -o discrim.o discrim.c 2025-09-04T20:28:00,444 gcc -O -Wall -c -o discrimb.o discrimb.c 2025-09-04T20:28:00,571 discrimb.c:487:7: warning: ‘check_flat2’ defined but not used [-Wunused-function] 2025-09-04T20:28:00,571 487 | Flat2 check_flat2(Flat2 f) 2025-09-04T20:28:00,571 | ^~~~~~~~~~~ 2025-09-04T20:28:00,814 gcc -O -Wall -c -o discrimw.o discrimw.c 2025-09-04T20:28:00,947 discrimw.c:146:6: warning: ‘check_flat’ defined but not used [-Wunused-function] 2025-09-04T20:28:00,947 146 | Flat check_flat(Flat f) 2025-09-04T20:28:00,947 | ^~~~~~~~~~ 2025-09-04T20:28:01,239 gcc -O -Wall -c -o dioph.o dioph.c 2025-09-04T20:28:01,835 gcc -O -Wall -c -o btu.o btu.c 2025-09-04T20:28:02,483 gcc -O -Wall -c -o btm.o btm.c 2025-09-04T20:28:03,143 gcc -O -Wall -c -o mindex.o mindex.c 2025-09-04T20:28:03,264 mindex.c: In function ‘mindex_retrieve_next’: 2025-09-04T20:28:03,265 mindex.c:650:11: warning: variable ‘tr’ set but not used [-Wunused-but-set-variable] 2025-09-04T20:28:03,265 650 | Trail tr; 2025-09-04T20:28:03,265 | ^~ 2025-09-04T20:28:03,451 gcc -O -Wall -c -o basic.o basic.c 2025-09-04T20:28:03,678 gcc -O -Wall -c -o attrib.o attrib.c 2025-09-04T20:28:04,113 gcc -O -Wall -c -o formula.o formula.c 2025-09-04T20:28:04,951 gcc -O -Wall -c -o definitions.o definitions.c 2025-09-04T20:28:05,221 gcc -O -Wall -c -o literals.o literals.c 2025-09-04T20:28:05,649 gcc -O -Wall -c -o topform.o topform.c 2025-09-04T20:28:06,042 gcc -O -Wall -c -o clist.o clist.c 2025-09-04T20:28:06,468 gcc -O -Wall -c -o clauseid.o clauseid.c 2025-09-04T20:28:06,681 gcc -O -Wall -c -o clauses.o clauses.c 2025-09-04T20:28:06,902 gcc -O -Wall -c -o just.o just.c 2025-09-04T20:28:07,676 gcc -O -Wall -c -o cnf.o cnf.c 2025-09-04T20:28:08,256 gcc -O -Wall -c -o clausify.o clausify.c 2025-09-04T20:28:08,473 gcc -O -Wall -c -o parautil.o parautil.c 2025-09-04T20:28:08,775 gcc -O -Wall -c -o pindex.o pindex.c 2025-09-04T20:28:09,153 gcc -O -Wall -c -o compress.o compress.c 2025-09-04T20:28:09,334 gcc -O -Wall -c -o maximal.o maximal.c 2025-09-04T20:28:09,561 gcc -O -Wall -c -o lindex.o lindex.c 2025-09-04T20:28:09,746 gcc -O -Wall -c -o weight.o weight.c 2025-09-04T20:28:10,037 gcc -O -Wall -c -o weight2.o weight2.c 2025-09-04T20:28:10,212 gcc -O -Wall -c -o int_code.o int_code.c 2025-09-04T20:28:10,459 gcc -O -Wall -c -o features.o features.c 2025-09-04T20:28:10,666 gcc -O -Wall -c -o di_tree.o di_tree.c 2025-09-04T20:28:10,951 gcc -O -Wall -c -o fastparse.o fastparse.c 2025-09-04T20:28:11,170 gcc -O -Wall -c -o random.o random.c 2025-09-04T20:28:11,435 gcc -O -Wall -c -o subsume.o subsume.c 2025-09-04T20:28:11,848 gcc -O -Wall -c -o clause_misc.o clause_misc.c 2025-09-04T20:28:12,053 gcc -O -Wall -c -o clause_eval.o clause_eval.c 2025-09-04T20:28:12,299 gcc -O -Wall -c -o complex.o complex.c 2025-09-04T20:28:12,418 complex.c: In function ‘complex4_p1’: 2025-09-04T20:28:12,418 complex.c:275:8: warning: variable ‘dummy’ set but not used [-Wunused-but-set-variable] 2025-09-04T20:28:12,419 275 | BOOL dummy; 2025-09-04T20:28:12,419 | ^~~~~ 2025-09-04T20:28:12,575 gcc -O -Wall -c -o dollar.o dollar.c 2025-09-04T20:28:12,943 gcc -O -Wall -c -o flatdemod.o flatdemod.c 2025-09-04T20:28:13,065 flatdemod.c: In function ‘discrim_flat_retrieve_leaf’: 2025-09-04T20:28:13,066 flatdemod.c:122:16: warning: comparison between ‘BOOL’ and ‘enum ’ [-Wenum-compare] 2025-09-04T20:28:13,066 122 | if (status == BACKTRACK) { 2025-09-04T20:28:13,066 | ^~ 2025-09-04T20:28:13,067 flatdemod.c:158:15: warning: variable ‘dd’ set but not used [-Wunused-but-set-variable] 2025-09-04T20:28:13,067 158 | Discrim dd = NULL; 2025-09-04T20:28:13,067 | ^~ 2025-09-04T20:28:13,067 flatdemod.c:167:16: warning: comparison between ‘BOOL’ and ‘enum ’ [-Wenum-compare] 2025-09-04T20:28:13,068 167 | if (status == GO) { 2025-09-04T20:28:13,068 | ^~ 2025-09-04T20:28:13,223 gcc -O -Wall -c -o demod.o demod.c 2025-09-04T20:28:13,352 demod.c: In function ‘demod1’: 2025-09-04T20:28:13,353 demod.c:376:8: warning: variable ‘result’ set but not used [-Wunused-but-set-variable] 2025-09-04T20:28:13,353 376 | Term result; 2025-09-04T20:28:13,353 | ^~~~~~ 2025-09-04T20:28:13,549 gcc -O -Wall -c -o clash.o clash.c 2025-09-04T20:28:13,674 clash.c: In function ‘clash_recurse’: 2025-09-04T20:28:13,675 clash.c:283:12: warning: suggest parentheses around operand of ‘!’ or change ‘|’ to ‘||’ or ‘!’ to ‘~’ [-Wparentheses] 2025-09-04T20:28:13,675 283 | else if (!p->clashable | p->clashed) 2025-09-04T20:28:13,675 | ^~~~~~~~~~~~~ 2025-09-04T20:28:13,800 gcc -O -Wall -c -o resolve.o resolve.c 2025-09-04T20:28:14,309 gcc -O -Wall -c -o paramod.o paramod.c 2025-09-04T20:28:14,435 paramod.c: In function ‘para_into’: 2025-09-04T20:28:14,435 paramod.c:347:8: warning: suggest parentheses around operand of ‘!’ or change ‘|’ to ‘||’ or ‘!’ to ‘~’ [-Wparentheses] 2025-09-04T20:28:14,435 347 | if ((!VARIABLE(into) | Para_into_vars) && basic_check(into)) { 2025-09-04T20:28:14,665 gcc -O -Wall -c -o backdemod.o backdemod.c 2025-09-04T20:28:14,902 gcc -O -Wall -c -o hints.o hints.c 2025-09-04T20:28:15,143 gcc -O -Wall -c -o ac_redun.o ac_redun.c 2025-09-04T20:28:15,479 gcc -O -Wall -c -o xproofs.o xproofs.c 2025-09-04T20:28:15,836 gcc -O -Wall -c -o ivy.o ivy.c 2025-09-04T20:28:15,969 ivy.c: In function ‘factor2_instances’: 2025-09-04T20:28:15,970 ivy.c:633:14: warning: variable ‘l1i’ set but not used [-Wunused-but-set-variable] 2025-09-04T20:28:15,970 633 | Literals l1i, l2i, lit; 2025-09-04T20:28:15,970 | ^~~ 2025-09-04T20:28:16,316 gcc -O -Wall -c -o interp.o interp.c 2025-09-04T20:28:16,451 interp.c: In function ‘transpose_binary’: 2025-09-04T20:28:16,451 interp.c:358:10: warning: variable ‘rc’ set but not used [-Wunused-but-set-variable] 2025-09-04T20:28:16,451 358 | int i, rc; 2025-09-04T20:28:16,451 | ^~ 2025-09-04T20:28:18,134 gcc -O -Wall -c -o std_options.o std_options.c 2025-09-04T20:28:18,276 gcc -O -Wall -c -o banner.o banner.c 2025-09-04T20:28:18,445 gcc -O -Wall -c -o ioutil.o ioutil.c 2025-09-04T20:28:18,858 gcc -O -Wall -c -o tptp_trans.o tptp_trans.c 2025-09-04T20:28:19,291 gcc -O -Wall -c -o top_input.o top_input.c 2025-09-04T20:28:19,858 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:19,865 ar: creating libladr.a 2025-09-04T20:28:20,043 make[3]: Leaving directory '/tmp/pip-wheel-y47retk6/provers_82e1eef496864d9f980b6c9206684b0c/provers/bin/tmp/LADR-2009-11A/ladr' 2025-09-04T20:28:20,044 make[2]: Leaving directory '/tmp/pip-wheel-y47retk6/provers_82e1eef496864d9f980b6c9206684b0c/provers/bin/tmp/LADR-2009-11A/ladr' 2025-09-04T20:28:20,045 cd mace4.src && make all 2025-09-04T20:28:20,054 make[2]: Entering directory '/tmp/pip-wheel-y47retk6/provers_82e1eef496864d9f980b6c9206684b0c/provers/bin/tmp/LADR-2009-11A/mace4.src' 2025-09-04T20:28:20,054 cd ../ladr && make libladr.a 2025-09-04T20:28:20,084 make[3]: Entering directory '/tmp/pip-wheel-y47retk6/provers_82e1eef496864d9f980b6c9206684b0c/provers/bin/tmp/LADR-2009-11A/ladr' 2025-09-04T20:28:20,084 make[3]: 'libladr.a' is up to date. 2025-09-04T20:28:20,084 make[3]: Leaving directory '/tmp/pip-wheel-y47retk6/provers_82e1eef496864d9f980b6c9206684b0c/provers/bin/tmp/LADR-2009-11A/ladr' 2025-09-04T20:28:20,086 make clean 2025-09-04T20:28:20,094 make[3]: Entering directory '/tmp/pip-wheel-y47retk6/provers_82e1eef496864d9f980b6c9206684b0c/provers/bin/tmp/LADR-2009-11A/mace4.src' 2025-09-04T20:28:20,094 /bin/rm -f *.o 2025-09-04T20:28:20,102 make[3]: Leaving directory '/tmp/pip-wheel-y47retk6/provers_82e1eef496864d9f980b6c9206684b0c/provers/bin/tmp/LADR-2009-11A/mace4.src' 2025-09-04T20:28:20,103 make libmace4.a 2025-09-04T20:28:20,112 make[3]: Entering directory '/tmp/pip-wheel-y47retk6/provers_82e1eef496864d9f980b6c9206684b0c/provers/bin/tmp/LADR-2009-11A/mace4.src' 2025-09-04T20:28:20,112 gcc -O -Wall -c -o estack.o estack.c 2025-09-04T20:28:20,302 gcc -O -Wall -c -o util.o util.c 2025-09-04T20:28:20,458 gcc -O -Wall -c -o print.o print.c 2025-09-04T20:28:20,847 gcc -O -Wall -c -o syms.o syms.c 2025-09-04T20:28:21,078 gcc -O -Wall -c -o ground.o ground.c 2025-09-04T20:28:21,489 gcc -O -Wall -c -o arithmetic.o arithmetic.c 2025-09-04T20:28:21,905 gcc -O -Wall -c -o select.o select.c 2025-09-04T20:28:22,037 select.c: In function ‘select_concentric_band’: 2025-09-04T20:28:22,037 select.c:236:5: error: type of ‘min_id’ defaults to ‘int’ [-Wimplicit-int] 2025-09-04T20:28:22,037 236 | int select_concentric_band(min_id, max_id, max_constrained) 2025-09-04T20:28:22,037 | ^~~~~~~~~~~~~~~~~~~~~~ 2025-09-04T20:28:22,037 select.c:236:5: error: type of ‘max_id’ defaults to ‘int’ [-Wimplicit-int] 2025-09-04T20:28:22,038 select.c:236:5: error: type of ‘max_constrained’ defaults to ‘int’ [-Wimplicit-int] 2025-09-04T20:28:22,046 make[3]: *** [: select.o] Error 1 2025-09-04T20:28:22,046 make[3]: Leaving directory '/tmp/pip-wheel-y47retk6/provers_82e1eef496864d9f980b6c9206684b0c/provers/bin/tmp/LADR-2009-11A/mace4.src' 2025-09-04T20:28:22,047 make[2]: *** [Makefile:26: lib] Error 2 2025-09-04T20:28:22,047 make[2]: Leaving directory '/tmp/pip-wheel-y47retk6/provers_82e1eef496864d9f980b6c9206684b0c/provers/bin/tmp/LADR-2009-11A/mace4.src' 2025-09-04T20:28:22,047 make[1]: *** [Makefile:6: all] Error 2 2025-09-04T20:28:22,047 make[1]: Leaving directory '/tmp/pip-wheel-y47retk6/provers_82e1eef496864d9f980b6c9206684b0c/provers/bin/tmp/LADR-2009-11A' 2025-09-04T20:28:22,048 make: *** [Makefile:15: prover9] Error 2 2025-09-04T20:28:22,055 mkdir tmp || true 2025-09-04T20:28:22,063 mkdir: cannot create directory ‘tmp’: File exists 2025-09-04T20:28:22,064 cd tmp && git clone https://github.com/vprover/vampire.git || true 2025-09-04T20:28:22,075 Cloning into 'vampire'... 2025-09-04T20:28:22,099 fatal: transport 'https' not allowed 2025-09-04T20:28:22,101 cd tmp/vampire && make -j4 vampire_rel_static 2025-09-04T20:28:22,104 /bin/sh: 1: cd: can't cd to tmp/vampire 2025-09-04T20:28:22,104 make: *** [Makefile:27: vampire] Error 2 2025-09-04T20:28:22,114 mkdir tmp || true 2025-09-04T20:28:22,124 mkdir: cannot create directory ‘tmp’: File exists 2025-09-04T20:28:22,125 cd tmp && git clone https://github.com/eprover/eprover.git || true 2025-09-04T20:28:22,134 Cloning into 'eprover'... 2025-09-04T20:28:22,142 fatal: transport 'https' not allowed 2025-09-04T20:28:22,144 cd tmp/eprover && ./configure 2025-09-04T20:28:22,147 /bin/sh: 1: cd: can't cd to tmp/eprover 2025-09-04T20:28:22,147 make: *** [Makefile:34: eprover] Error 2 2025-09-04T20:28:22,149 creating build/lib.linux-armv7l-cpython-313/provers 2025-09-04T20:28:22,150 copying provers/util.py -> build/lib.linux-armv7l-cpython-313/provers 2025-09-04T20:28:22,150 copying provers/__init__.py -> build/lib.linux-armv7l-cpython-313/provers 2025-09-04T20:28:22,152 running build_ext 2025-09-04T20:28:22,230 /usr/local/lib/python3.13/dist-packages/setuptools/_distutils/cmd.py:90: SetuptoolsDeprecationWarning: setup.py install is deprecated. 2025-09-04T20:28:22,230 !! 2025-09-04T20:28:22,231 ******************************************************************************** 2025-09-04T20:28:22,231 Please avoid running ``setup.py`` directly. 2025-09-04T20:28:22,231 Instead, use pypa/build, pypa/installer or other 2025-09-04T20:28:22,231 standards-based tools. 2025-09-04T20:28:22,231 By 2025-Oct-31, you need to update your project and remove deprecated calls 2025-09-04T20:28:22,231 or your builds will no longer be supported. 2025-09-04T20:28:22,231 See https://blog.ganssle.io/articles/2021/10/setup-py-deprecated.html for details. 2025-09-04T20:28:22,231 ******************************************************************************** 2025-09-04T20:28:22,232 !! 2025-09-04T20:28:22,232 self.initialize_options() 2025-09-04T20:28:22,306 installing to build/bdist.linux-armv7l/wheel 2025-09-04T20:28:22,306 running install 2025-09-04T20:28:22,328 running install_lib 2025-09-04T20:28:22,404 creating build/bdist.linux-armv7l/wheel 2025-09-04T20:28:22,405 creating build/bdist.linux-armv7l/wheel/provers 2025-09-04T20:28:22,405 copying build/lib.linux-armv7l-cpython-313/provers/__init__.py -> build/bdist.linux-armv7l/wheel/./provers 2025-09-04T20:28:22,405 copying build/lib.linux-armv7l-cpython-313/provers/util.py -> build/bdist.linux-armv7l/wheel/./provers 2025-09-04T20:28:22,406 running install_egg_info 2025-09-04T20:28:22,482 running egg_info 2025-09-04T20:28:22,557 writing provers.egg-info/PKG-INFO 2025-09-04T20:28:22,559 writing dependency_links to provers.egg-info/dependency_links.txt 2025-09-04T20:28:22,559 writing entry points to provers.egg-info/entry_points.txt 2025-09-04T20:28:22,560 writing top-level names to provers.egg-info/top_level.txt 2025-09-04T20:28:22,795 listing git files failed - pretending there aren't any 2025-09-04T20:28:22,799 reading manifest file 'provers.egg-info/SOURCES.txt' 2025-09-04T20:28:22,800 reading manifest template 'MANIFEST.in' 2025-09-04T20:28:22,802 adding license file 'LICENSE' 2025-09-04T20:28:22,805 writing manifest file 'provers.egg-info/SOURCES.txt' 2025-09-04T20:28:22,805 Copying provers.egg-info to build/bdist.linux-armv7l/wheel/./provers-0.1.12-py3.13.egg-info 2025-09-04T20:28:22,807 running install_scripts 2025-09-04T20:28:22,865 creating build/bdist.linux-armv7l/wheel/provers-0.1.12.dist-info/WHEEL 2025-09-04T20:28:22,866 creating '/tmp/pip-wheel-q88_lx0l/provers-0.1.12-cp313-cp313-linux_armv7l.whl' and adding 'build/bdist.linux-armv7l/wheel' to it 2025-09-04T20:28:22,867 adding 'provers/__init__.py' 2025-09-04T20:28:22,868 adding 'provers/util.py' 2025-09-04T20:28:22,874 adding 'provers-0.1.12.dist-info/licenses/LICENSE' 2025-09-04T20:28:22,875 adding 'provers-0.1.12.dist-info/METADATA' 2025-09-04T20:28:22,875 adding 'provers-0.1.12.dist-info/WHEEL' 2025-09-04T20:28:22,876 adding 'provers-0.1.12.dist-info/entry_points.txt' 2025-09-04T20:28:22,876 adding 'provers-0.1.12.dist-info/top_level.txt' 2025-09-04T20:28:22,877 adding 'provers-0.1.12.dist-info/RECORD' 2025-09-04T20:28:22,877 removing build/bdist.linux-armv7l/wheel 2025-09-04T20:28:22,996 Building wheel for provers (setup.py): finished with status 'done' 2025-09-04T20:28:22,998 Created wheel for provers: filename=provers-0.1.12-cp313-cp313-linux_armv7l.whl size=15580 sha256=6709f0e65f7e63c3f32ddd5eace580af78c083d11bc15df48ba1f683c5ad9127 2025-09-04T20:28:22,998 Stored in directory: /tmp/pip-ephem-wheel-cache-ohmuyaeh/wheels/22/75/f2/a666ec5cf88b20f362e2331f06efeba544ce2689e9e6cb85c8 2025-09-04T20:28:23,007 Successfully built provers 2025-09-04T20:28:23,008 Removed build tracker: '/tmp/pip-build-tracker-xc_4zxis'