2025-09-04T22:22:54,446 Created temporary directory: /tmp/pip-build-tracker-xcabtfxd 2025-09-04T22:22:54,446 Initialized build tracking at /tmp/pip-build-tracker-xcabtfxd 2025-09-04T22:22:54,447 Created build tracker: /tmp/pip-build-tracker-xcabtfxd 2025-09-04T22:22:54,447 Entered build tracker: /tmp/pip-build-tracker-xcabtfxd 2025-09-04T22:22:54,447 Created temporary directory: /tmp/pip-wheel-b18_gj00 2025-09-04T22:22:54,450 Created temporary directory: /tmp/pip-ephem-wheel-cache-2o0akmp0 2025-09-04T22:22:54,509 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple 2025-09-04T22:22:54,512 2 location(s) to search for versions of provers: 2025-09-04T22:22:54,512 * https://pypi.org/simple/provers/ 2025-09-04T22:22:54,512 * https://www.piwheels.org/simple/provers/ 2025-09-04T22:22:54,512 Fetching project page and analyzing links: https://pypi.org/simple/provers/ 2025-09-04T22:22:54,512 Getting page https://pypi.org/simple/provers/ 2025-09-04T22:22:54,513 Found index url https://pypi.org/simple/ 2025-09-04T22:22:54,583 Fetched page https://pypi.org/simple/provers/ as application/vnd.pypi.simple.v1+json 2025-09-04T22:22:54,586 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-04T22:22:54,586 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-04T22:22:54,587 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-04T22:22:54,587 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-04T22:22:54,587 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-04T22:22:54,587 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-04T22:22:54,587 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-04T22:22:54,588 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-04T22:22:54,588 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-04T22:22:54,588 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-04T22:22:54,588 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-04T22:22:54,589 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-04T22:22:54,589 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-04T22:22:54,589 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-04T22:22:54,589 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-04T22:22:54,589 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-04T22:22:54,590 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-04T22:22:54,590 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-04T22:22:54,590 Fetching project page and analyzing links: https://www.piwheels.org/simple/provers/ 2025-09-04T22:22:54,591 Getting page https://www.piwheels.org/simple/provers/ 2025-09-04T22:22:54,591 Found index url https://www.piwheels.org/simple/ 2025-09-04T22:22:54,697 Fetched page https://www.piwheels.org/simple/provers/ as text/html 2025-09-04T22:22:54,713 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-04T22:22:54,713 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-04T22:22:54,713 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-04T22:22:54,714 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-04T22:22:54,714 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-04T22:22:54,714 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-04T22:22:54,714 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-04T22:22:54,714 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-04T22:22:54,715 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-04T22:22:54,715 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-04T22:22:54,715 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-04T22:22:54,715 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-04T22:22:54,715 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-04T22:22:54,715 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-04T22:22:54,716 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-04T22:22:54,716 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-04T22:22:54,716 Skipping link: No binaries permitted for provers: https://www.piwheels.org/simple/provers/provers-0.1.17-cp313-cp313-linux_armv6l.whl#sha256=16e0586d22810c25462eb4cc600744d89ee77c2f798a86154d6237983f3b2162 (from https://www.piwheels.org/simple/provers/) (requires-python:>=3.5) 2025-09-04T22:22:54,716 Skipping link: No binaries permitted for provers: https://www.piwheels.org/simple/provers/provers-0.1.17-cp313-cp313-linux_armv7l.whl#sha256=16e0586d22810c25462eb4cc600744d89ee77c2f798a86154d6237983f3b2162 (from https://www.piwheels.org/simple/provers/) (requires-python:>=3.5) 2025-09-04T22:22:54,716 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-04T22:22:54,716 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-04T22:22:54,717 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-04T22:22:54,717 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-04T22:22:54,717 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-04T22:22:54,717 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-04T22:22:54,717 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-04T22:22:54,717 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-04T22:22:54,718 Skipping link: No binaries permitted for provers: https://www.piwheels.org/simple/provers/provers-0.1.16-cp313-cp313-linux_armv6l.whl#sha256=1566541bde5c78e51daa1b547848d6401672a0c34473babe73cd38dfbb92b1c9 (from https://www.piwheels.org/simple/provers/) (requires-python:>=3.5) 2025-09-04T22:22:54,718 Skipping link: No binaries permitted for provers: https://www.piwheels.org/simple/provers/provers-0.1.16-cp313-cp313-linux_armv7l.whl#sha256=1566541bde5c78e51daa1b547848d6401672a0c34473babe73cd38dfbb92b1c9 (from https://www.piwheels.org/simple/provers/) (requires-python:>=3.5) 2025-09-04T22:22:54,718 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-04T22:22:54,718 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-04T22:22:54,718 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-04T22:22:54,718 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-04T22:22:54,718 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-04T22:22:54,719 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-04T22:22:54,719 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-04T22:22:54,719 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-04T22:22:54,719 Skipping link: No binaries permitted for provers: https://www.piwheels.org/simple/provers/provers-0.1.15-cp313-cp313-linux_armv6l.whl#sha256=0e68553d4500679206f23b671b0b2bfb1f0b21d99a66cdab5c8325888b8f6530 (from https://www.piwheels.org/simple/provers/) (requires-python:>=3.5) 2025-09-04T22:22:54,719 Skipping link: No binaries permitted for provers: https://www.piwheels.org/simple/provers/provers-0.1.15-cp313-cp313-linux_armv7l.whl#sha256=0e68553d4500679206f23b671b0b2bfb1f0b21d99a66cdab5c8325888b8f6530 (from https://www.piwheels.org/simple/provers/) (requires-python:>=3.5) 2025-09-04T22:22:54,719 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-04T22:22:54,720 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-04T22:22:54,720 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-04T22:22:54,720 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-04T22:22:54,720 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-04T22:22:54,720 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-04T22:22:54,720 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-04T22:22:54,721 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-04T22:22:54,721 Skipping link: No binaries permitted for provers: https://www.piwheels.org/simple/provers/provers-0.1.13-cp313-cp313-linux_armv6l.whl#sha256=1f25378ed4970720a71702b22bf56897838bc53f48da0f917d0373e8d2b0c82e (from https://www.piwheels.org/simple/provers/) (requires-python:>=3.5) 2025-09-04T22:22:54,721 Skipping link: No binaries permitted for provers: https://www.piwheels.org/simple/provers/provers-0.1.13-cp313-cp313-linux_armv7l.whl#sha256=1f25378ed4970720a71702b22bf56897838bc53f48da0f917d0373e8d2b0c82e (from https://www.piwheels.org/simple/provers/) (requires-python:>=3.5) 2025-09-04T22:22:54,721 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-04T22:22:54,721 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-04T22:22:54,721 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-04T22:22:54,722 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-04T22:22:54,722 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-04T22:22:54,722 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-04T22:22:54,722 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-04T22:22:54,722 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-04T22:22:54,722 Skipping link: No binaries permitted for provers: https://www.piwheels.org/simple/provers/provers-0.1.12-cp313-cp313-linux_armv6l.whl#sha256=6709f0e65f7e63c3f32ddd5eace580af78c083d11bc15df48ba1f683c5ad9127 (from https://www.piwheels.org/simple/provers/) (requires-python:>=3.5) 2025-09-04T22:22:54,723 Skipping link: No binaries permitted for provers: https://www.piwheels.org/simple/provers/provers-0.1.12-cp313-cp313-linux_armv7l.whl#sha256=6709f0e65f7e63c3f32ddd5eace580af78c083d11bc15df48ba1f683c5ad9127 (from https://www.piwheels.org/simple/provers/) (requires-python:>=3.5) 2025-09-04T22:22:54,723 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-04T22:22:54,723 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-04T22:22:54,723 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-04T22:22:54,723 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-04T22:22:54,723 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-04T22:22:54,724 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-04T22:22:54,724 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-04T22:22:54,724 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-04T22:22:54,724 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-04T22:22:54,724 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-04T22:22:54,724 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-04T22:22:54,724 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-04T22:22:54,725 Skipping link: not a file: https://www.piwheels.org/simple/provers/ 2025-09-04T22:22:54,725 Skipping link: not a file: https://pypi.org/simple/provers/ 2025-09-04T22:22:54,749 Given no hashes to check 1 links for project 'provers': discarding no candidates 2025-09-04T22:22:54,750 Collecting provers==0.1.18 2025-09-04T22:22:54,751 Created temporary directory: /tmp/pip-unpack-zh4nqg6n 2025-09-04T22:22:54,889 Downloading provers-0.1.18.tar.gz (23 kB) 2025-09-04T22:22:54,925 Added provers==0.1.18 from https://files.pythonhosted.org/packages/a0/83/53fa97757df59f24e7504b841e0b4c92a557eab3f1e330de827521279acf/provers-0.1.18.tar.gz to build tracker '/tmp/pip-build-tracker-xcabtfxd' 2025-09-04T22:22:54,926 Running setup.py (path:/tmp/pip-wheel-b18_gj00/provers_fabbbdd55b3a4fbab4ce71014ab24e7b/setup.py) egg_info for package provers 2025-09-04T22:22:54,927 Created temporary directory: /tmp/pip-pip-egg-info-9hulpls9 2025-09-04T22:22:54,927 Preparing metadata (setup.py): started 2025-09-04T22:22:54,928 Running command python setup.py egg_info 2025-09-04T22:22:55,557 /usr/local/lib/python3.13/dist-packages/setuptools/__init__.py:92: _DeprecatedInstaller: setuptools.installer and fetch_build_eggs are deprecated. 2025-09-04T22:22:55,557 !! 2025-09-04T22:22:55,557 ******************************************************************************** 2025-09-04T22:22:55,557 Requirements should be satisfied by a PEP 517 installer. 2025-09-04T22:22:55,557 If you are using pip, you can try `pip install --use-pep517`. 2025-09-04T22:22:55,558 By 2025-Oct-31, you need to update your project and remove deprecated calls 2025-09-04T22:22:55,558 or your builds will no longer be supported. 2025-09-04T22:22:55,558 ******************************************************************************** 2025-09-04T22:22:55,558 !! 2025-09-04T22:22:55,558 dist.fetch_build_eggs(dist.setup_requires) 2025-09-04T22:22:59,190 /usr/local/lib/python3.13/dist-packages/setuptools/dist.py:759: SetuptoolsDeprecationWarning: License classifiers are deprecated. 2025-09-04T22:22:59,190 !! 2025-09-04T22:22:59,190 ******************************************************************************** 2025-09-04T22:22:59,190 Please consider removing the following classifiers in favor of a SPDX license expression: 2025-09-04T22:22:59,191 License :: OSI Approved :: GNU General Public License v3 or later (GPLv3+) 2025-09-04T22:22:59,191 See https://packaging.python.org/en/latest/guides/writing-pyproject-toml/#license for details. 2025-09-04T22:22:59,191 ******************************************************************************** 2025-09-04T22:22:59,191 !! 2025-09-04T22:22:59,191 self._finalize_license_expression() 2025-09-04T22:22:59,268 running egg_info 2025-09-04T22:22:59,343 creating /tmp/pip-pip-egg-info-9hulpls9/provers.egg-info 2025-09-04T22:22:59,344 writing /tmp/pip-pip-egg-info-9hulpls9/provers.egg-info/PKG-INFO 2025-09-04T22:22:59,345 writing dependency_links to /tmp/pip-pip-egg-info-9hulpls9/provers.egg-info/dependency_links.txt 2025-09-04T22:22:59,345 writing entry points to /tmp/pip-pip-egg-info-9hulpls9/provers.egg-info/entry_points.txt 2025-09-04T22:22:59,346 writing top-level names to /tmp/pip-pip-egg-info-9hulpls9/provers.egg-info/top_level.txt 2025-09-04T22:22:59,346 writing manifest file '/tmp/pip-pip-egg-info-9hulpls9/provers.egg-info/SOURCES.txt' 2025-09-04T22:22:59,786 listing git files failed - pretending there aren't any 2025-09-04T22:22:59,803 reading manifest file '/tmp/pip-pip-egg-info-9hulpls9/provers.egg-info/SOURCES.txt' 2025-09-04T22:22:59,804 reading manifest template 'MANIFEST.in' 2025-09-04T22:22:59,805 warning: no previously-included files found matching 'provers/bin/*' 2025-09-04T22:22:59,805 adding license file 'LICENSE' 2025-09-04T22:22:59,808 writing manifest file '/tmp/pip-pip-egg-info-9hulpls9/provers.egg-info/SOURCES.txt' 2025-09-04T22:22:59,930 Preparing metadata (setup.py): finished with status 'done' 2025-09-04T22:22:59,935 Source in /tmp/pip-wheel-b18_gj00/provers_fabbbdd55b3a4fbab4ce71014ab24e7b has version 0.1.18, which satisfies requirement provers==0.1.18 from https://files.pythonhosted.org/packages/a0/83/53fa97757df59f24e7504b841e0b4c92a557eab3f1e330de827521279acf/provers-0.1.18.tar.gz 2025-09-04T22:22:59,935 Removed provers==0.1.18 from https://files.pythonhosted.org/packages/a0/83/53fa97757df59f24e7504b841e0b4c92a557eab3f1e330de827521279acf/provers-0.1.18.tar.gz from build tracker '/tmp/pip-build-tracker-xcabtfxd' 2025-09-04T22:22:59,939 Created temporary directory: /tmp/pip-unpack-gfy869if 2025-09-04T22:22:59,939 Created temporary directory: /tmp/pip-unpack-7xs75o6y 2025-09-04T22:22:59,939 Building wheels for collected packages: provers 2025-09-04T22:22:59,941 Created temporary directory: /tmp/pip-wheel-8y6kcoub 2025-09-04T22:22:59,941 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-04T22:22:59,942 Building wheel for provers (setup.py): started 2025-09-04T22:22:59,943 Destination directory: /tmp/pip-wheel-8y6kcoub 2025-09-04T22:22:59,943 Running command python setup.py bdist_wheel 2025-09-04T22:23:00,589 /usr/local/lib/python3.13/dist-packages/setuptools/__init__.py:92: _DeprecatedInstaller: setuptools.installer and fetch_build_eggs are deprecated. 2025-09-04T22:23:00,590 !! 2025-09-04T22:23:00,590 ******************************************************************************** 2025-09-04T22:23:00,590 Requirements should be satisfied by a PEP 517 installer. 2025-09-04T22:23:00,590 If you are using pip, you can try `pip install --use-pep517`. 2025-09-04T22:23:00,590 By 2025-Oct-31, you need to update your project and remove deprecated calls 2025-09-04T22:23:00,590 or your builds will no longer be supported. 2025-09-04T22:23:00,590 ******************************************************************************** 2025-09-04T22:23:00,591 !! 2025-09-04T22:23:00,591 dist.fetch_build_eggs(dist.setup_requires) 2025-09-04T22:23:01,631 /usr/local/lib/python3.13/dist-packages/setuptools/dist.py:759: SetuptoolsDeprecationWarning: License classifiers are deprecated. 2025-09-04T22:23:01,631 !! 2025-09-04T22:23:01,632 ******************************************************************************** 2025-09-04T22:23:01,632 Please consider removing the following classifiers in favor of a SPDX license expression: 2025-09-04T22:23:01,632 License :: OSI Approved :: GNU General Public License v3 or later (GPLv3+) 2025-09-04T22:23:01,632 See https://packaging.python.org/en/latest/guides/writing-pyproject-toml/#license for details. 2025-09-04T22:23:01,632 ******************************************************************************** 2025-09-04T22:23:01,632 !! 2025-09-04T22:23:01,632 self._finalize_license_expression() 2025-09-04T22:23:01,633 running bdist_wheel 2025-09-04T22:23:02,009 running build 2025-09-04T22:23:02,009 running build_py 2025-09-04T22:23:02,021 mkdir tmp || true 2025-09-04T22:23:02,034 cd tmp && wget https://www.cs.unm.edu/~mccune/mace4/download/LADR-2009-11A.tar.gz 2025-09-04T22:23:02,141 --2025-09-04 22:23:02-- https://www.cs.unm.edu/~mccune/mace4/download/LADR-2009-11A.tar.gz 2025-09-04T22:23:02,476 Resolving www.cs.unm.edu (www.cs.unm.edu)... 64:ff9b::406a:144c, 64.106.20.76 2025-09-04T22:23:02,619 Connecting to www.cs.unm.edu (www.cs.unm.edu)|64:ff9b::406a:144c|:443... connected. 2025-09-04T22:23:03,057 HTTP request sent, awaiting response... 200 OK 2025-09-04T22:23:03,058 Length: 1795750 (1.7M) [application/x-gzip] 2025-09-04T22:23:03,058 Saving to: ‘LADR-2009-11A.tar.gz’ 2025-09-04T22:23:03,343 0K .......... .......... .......... .......... .......... 2% 175K 10s 2025-09-04T22:23:03,484 50K .......... .......... .......... .......... .......... 5% 355K 7s 2025-09-04T22:23:03,494 100K .......... .......... .......... .......... .......... 8% 4.85M 5s 2025-09-04T22:23:03,502 150K .......... .......... .......... .......... .......... 11% 5.87M 3s 2025-09-04T22:23:03,636 200K .......... .......... .......... .......... .......... 14% 374K 3s 2025-09-04T22:23:03,645 250K .......... .......... .......... .......... .......... 17% 5.14M 3s 2025-09-04T22:23:03,649 300K .......... .......... .......... .......... .......... 19% 11.7M 2s 2025-09-04T22:23:03,654 350K .......... .......... .......... .......... .......... 22% 10.1M 2s 2025-09-04T22:23:03,774 400K .......... .......... .......... .......... .......... 25% 419K 2s 2025-09-04T22:23:03,783 450K .......... .......... .......... .......... .......... 28% 5.08M 2s 2025-09-04T22:23:03,791 500K .......... .......... .......... .......... .......... 31% 6.37M 2s 2025-09-04T22:23:03,795 550K .......... .......... .......... .......... .......... 34% 11.8M 1s 2025-09-04T22:23:03,800 600K .......... .......... .......... .......... .......... 37% 10.0M 1s 2025-09-04T22:23:03,804 650K .......... .......... .......... .......... .......... 39% 11.8M 1s 2025-09-04T22:23:03,809 700K .......... .......... .......... .......... .......... 42% 10.2M 1s 2025-09-04T22:23:03,813 750K .......... .......... .......... .......... .......... 45% 12.5M 1s 2025-09-04T22:23:03,817 800K .......... .......... .......... .......... .......... 48% 12.6M 1s 2025-09-04T22:23:03,912 850K .......... .......... .......... .......... .......... 51% 526K 1s 2025-09-04T22:23:03,918 900K .......... .......... .......... .......... .......... 54% 7.60M 1s 2025-09-04T22:23:03,928 950K .......... .......... .......... .......... .......... 57% 4.73M 1s 2025-09-04T22:23:03,938 1000K .......... .......... .......... .......... .......... 59% 5.28M 1s 2025-09-04T22:23:03,943 1050K .......... .......... .......... .......... .......... 62% 9.30M 1s 2025-09-04T22:23:03,949 1100K .......... .......... .......... .......... .......... 65% 8.41M 0s 2025-09-04T22:23:03,954 1150K .......... .......... .......... .......... .......... 68% 9.91M 0s 2025-09-04T22:23:03,959 1200K .......... .......... .......... .......... .......... 71% 8.61M 0s 2025-09-04T22:23:03,963 1250K .......... .......... .......... .......... .......... 74% 12.4M 0s 2025-09-04T22:23:03,967 1300K .......... .......... .......... .......... .......... 76% 12.6M 0s 2025-09-04T22:23:03,972 1350K .......... .......... .......... .......... .......... 79% 10.9M 0s 2025-09-04T22:23:03,975 1400K .......... .......... .......... .......... .......... 82% 12.6M 0s 2025-09-04T22:23:03,980 1450K .......... .......... .......... .......... .......... 85% 10.9M 0s 2025-09-04T22:23:03,984 1500K .......... .......... .......... .......... .......... 88% 12.7M 0s 2025-09-04T22:23:03,988 1550K .......... .......... .......... .......... .......... 91% 12.7M 0s 2025-09-04T22:23:04,250 1600K .......... .......... .......... .......... .......... 94% 191K 0s 2025-09-04T22:23:04,537 1650K .......... .......... .......... .......... .......... 96% 174K 0s 2025-09-04T22:23:04,685 1700K .......... .......... .......... .......... .......... 99% 337K 0s 2025-09-04T22:23:04,686 1750K ... 100% 6.82T=1.6s 2025-09-04T22:23:04,686 2025-09-04 22:23:04 (1.05 MB/s) - ‘LADR-2009-11A.tar.gz’ saved [1795750/1795750] 2025-09-04T22:23:04,692 cd tmp && tar -xzf LADR-2009-11A.tar.gz 2025-09-04T22:23:04,899 cd tmp/LADR-2009-11A/provers.src && sed -i.old 's/^\([ \t]*\$(CC).*\) -lm \(.*\)$/\1 \2 -lm/g' Makefile 2025-09-04T22:23:04,912 cd tmp/LADR-2009-11A && make all 2025-09-04T22:23:04,922 make[1]: Entering directory '/tmp/pip-wheel-b18_gj00/provers_fabbbdd55b3a4fbab4ce71014ab24e7b/provers/bin/tmp/LADR-2009-11A' 2025-09-04T22:23:04,922 cd ladr && make lib 2025-09-04T22:23:04,937 make[2]: Entering directory '/tmp/pip-wheel-b18_gj00/provers_fabbbdd55b3a4fbab4ce71014ab24e7b/provers/bin/tmp/LADR-2009-11A/ladr' 2025-09-04T22:23:04,937 make libladr.a 2025-09-04T22:23:04,949 make[3]: Entering directory '/tmp/pip-wheel-b18_gj00/provers_fabbbdd55b3a4fbab4ce71014ab24e7b/provers/bin/tmp/LADR-2009-11A/ladr' 2025-09-04T22:23:04,950 gcc -O -Wall -c -o order.o order.c 2025-09-04T22:23:05,115 gcc -O -Wall -c -o clock.o clock.c 2025-09-04T22:23:05,349 gcc -O -Wall -c -o nonport.o nonport.c 2025-09-04T22:23:05,456 gcc -O -Wall -c -o fatal.o fatal.c 2025-09-04T22:23:05,586 gcc -O -Wall -c -o ibuffer.o ibuffer.c 2025-09-04T22:23:05,783 gcc -O -Wall -c -o memory.o memory.c 2025-09-04T22:23:06,000 gcc -O -Wall -c -o hash.o hash.c 2025-09-04T22:23:06,204 gcc -O -Wall -c -o string.o string.c 2025-09-04T22:23:06,448 gcc -O -Wall -c -o strbuf.o strbuf.c 2025-09-04T22:23:06,722 gcc -O -Wall -c -o glist.o glist.c 2025-09-04T22:23:07,331 gcc -O -Wall -c -o options.o options.c 2025-09-04T22:23:07,845 gcc -O -Wall -c -o symbols.o symbols.c 2025-09-04T22:23:07,955 symbols.c: In function ‘declare_base_symbols’: 2025-09-04T22:23:07,955 symbols.c:1304:7: warning: variable ‘sn’ set but not used [-Wunused-but-set-variable] 2025-09-04T22:23:07,955 1304 | int sn; 2025-09-04T22:23:07,955 | ^~ 2025-09-04T22:23:08,806 gcc -O -Wall -c -o avltree.o avltree.c 2025-09-04T22:23:09,164 gcc -O -Wall -c -o term.o term.c 2025-09-04T22:23:10,025 gcc -O -Wall -c -o termflag.o termflag.c 2025-09-04T22:23:10,221 gcc -O -Wall -c -o listterm.o listterm.c 2025-09-04T22:23:10,412 gcc -O -Wall -c -o tlist.o tlist.c 2025-09-04T22:23:10,581 gcc -O -Wall -c -o flatterm.o flatterm.c 2025-09-04T22:23:10,849 gcc -O -Wall -c -o multiset.o multiset.c 2025-09-04T22:23:11,027 gcc -O -Wall -c -o termorder.o termorder.c 2025-09-04T22:23:11,490 gcc -O -Wall -c -o parse.o parse.c 2025-09-04T22:23:12,281 gcc -O -Wall -c -o accanon.o accanon.c 2025-09-04T22:23:12,470 gcc -O -Wall -c -o unify.o unify.c 2025-09-04T22:23:12,906 gcc -O -Wall -c -o fpalist.o fpalist.c 2025-09-04T22:23:13,220 gcc -O -Wall -c -o fpa.o fpa.c 2025-09-04T22:23:13,725 gcc -O -Wall -c -o discrim.o discrim.c 2025-09-04T22:23:13,913 gcc -O -Wall -c -o discrimb.o discrimb.c 2025-09-04T22:23:14,038 discrimb.c:487:7: warning: ‘check_flat2’ defined but not used [-Wunused-function] 2025-09-04T22:23:14,039 487 | Flat2 check_flat2(Flat2 f) 2025-09-04T22:23:14,039 | ^~~~~~~~~~~ 2025-09-04T22:23:14,283 gcc -O -Wall -c -o discrimw.o discrimw.c 2025-09-04T22:23:14,419 discrimw.c:146:6: warning: ‘check_flat’ defined but not used [-Wunused-function] 2025-09-04T22:23:14,419 146 | Flat check_flat(Flat f) 2025-09-04T22:23:14,419 | ^~~~~~~~~~ 2025-09-04T22:23:14,712 gcc -O -Wall -c -o dioph.o dioph.c 2025-09-04T22:23:15,313 gcc -O -Wall -c -o btu.o btu.c 2025-09-04T22:23:15,974 gcc -O -Wall -c -o btm.o btm.c 2025-09-04T22:23:16,632 gcc -O -Wall -c -o mindex.o mindex.c 2025-09-04T22:23:16,761 mindex.c: In function ‘mindex_retrieve_next’: 2025-09-04T22:23:16,762 mindex.c:650:11: warning: variable ‘tr’ set but not used [-Wunused-but-set-variable] 2025-09-04T22:23:16,762 650 | Trail tr; 2025-09-04T22:23:16,762 | ^~ 2025-09-04T22:23:16,955 gcc -O -Wall -c -o basic.o basic.c 2025-09-04T22:23:17,185 gcc -O -Wall -c -o attrib.o attrib.c 2025-09-04T22:23:17,624 gcc -O -Wall -c -o formula.o formula.c 2025-09-04T22:23:18,481 gcc -O -Wall -c -o definitions.o definitions.c 2025-09-04T22:23:18,743 gcc -O -Wall -c -o literals.o literals.c 2025-09-04T22:23:19,176 gcc -O -Wall -c -o topform.o topform.c 2025-09-04T22:23:19,564 gcc -O -Wall -c -o clist.o clist.c 2025-09-04T22:23:19,989 gcc -O -Wall -c -o clauseid.o clauseid.c 2025-09-04T22:23:20,197 gcc -O -Wall -c -o clauses.o clauses.c 2025-09-04T22:23:20,422 gcc -O -Wall -c -o just.o just.c 2025-09-04T22:23:21,195 gcc -O -Wall -c -o cnf.o cnf.c 2025-09-04T22:23:21,797 gcc -O -Wall -c -o clausify.o clausify.c 2025-09-04T22:23:22,016 gcc -O -Wall -c -o parautil.o parautil.c 2025-09-04T22:23:22,314 gcc -O -Wall -c -o pindex.o pindex.c 2025-09-04T22:23:22,695 gcc -O -Wall -c -o compress.o compress.c 2025-09-04T22:23:22,881 gcc -O -Wall -c -o maximal.o maximal.c 2025-09-04T22:23:23,106 gcc -O -Wall -c -o lindex.o lindex.c 2025-09-04T22:23:23,289 gcc -O -Wall -c -o weight.o weight.c 2025-09-04T22:23:23,573 gcc -O -Wall -c -o weight2.o weight2.c 2025-09-04T22:23:23,748 gcc -O -Wall -c -o int_code.o int_code.c 2025-09-04T22:23:24,002 gcc -O -Wall -c -o features.o features.c 2025-09-04T22:23:24,214 gcc -O -Wall -c -o di_tree.o di_tree.c 2025-09-04T22:23:24,502 gcc -O -Wall -c -o fastparse.o fastparse.c 2025-09-04T22:23:24,715 gcc -O -Wall -c -o random.o random.c 2025-09-04T22:23:24,984 gcc -O -Wall -c -o subsume.o subsume.c 2025-09-04T22:23:25,399 gcc -O -Wall -c -o clause_misc.o clause_misc.c 2025-09-04T22:23:25,604 gcc -O -Wall -c -o clause_eval.o clause_eval.c 2025-09-04T22:23:25,848 gcc -O -Wall -c -o complex.o complex.c 2025-09-04T22:23:25,964 complex.c: In function ‘complex4_p1’: 2025-09-04T22:23:25,964 complex.c:275:8: warning: variable ‘dummy’ set but not used [-Wunused-but-set-variable] 2025-09-04T22:23:25,964 275 | BOOL dummy; 2025-09-04T22:23:25,964 | ^~~~~ 2025-09-04T22:23:26,121 gcc -O -Wall -c -o dollar.o dollar.c 2025-09-04T22:23:26,488 gcc -O -Wall -c -o flatdemod.o flatdemod.c 2025-09-04T22:23:26,603 flatdemod.c: In function ‘discrim_flat_retrieve_leaf’: 2025-09-04T22:23:26,603 flatdemod.c:122:16: warning: comparison between ‘BOOL’ and ‘enum ’ [-Wenum-compare] 2025-09-04T22:23:26,603 122 | if (status == BACKTRACK) { 2025-09-04T22:23:26,604 | ^~ 2025-09-04T22:23:26,604 flatdemod.c:158:15: warning: variable ‘dd’ set but not used [-Wunused-but-set-variable] 2025-09-04T22:23:26,605 158 | Discrim dd = NULL; 2025-09-04T22:23:26,605 | ^~ 2025-09-04T22:23:26,605 flatdemod.c:167:16: warning: comparison between ‘BOOL’ and ‘enum ’ [-Wenum-compare] 2025-09-04T22:23:26,605 167 | if (status == GO) { 2025-09-04T22:23:26,605 | ^~ 2025-09-04T22:23:26,760 gcc -O -Wall -c -o demod.o demod.c 2025-09-04T22:23:26,881 demod.c: In function ‘demod1’: 2025-09-04T22:23:26,881 demod.c:376:8: warning: variable ‘result’ set but not used [-Wunused-but-set-variable] 2025-09-04T22:23:26,881 376 | Term result; 2025-09-04T22:23:26,881 | ^~~~~~ 2025-09-04T22:23:27,077 gcc -O -Wall -c -o clash.o clash.c 2025-09-04T22:23:27,198 clash.c: In function ‘clash_recurse’: 2025-09-04T22:23:27,198 clash.c:283:12: warning: suggest parentheses around operand of ‘!’ or change ‘|’ to ‘||’ or ‘!’ to ‘~’ [-Wparentheses] 2025-09-04T22:23:27,198 283 | else if (!p->clashable | p->clashed) 2025-09-04T22:23:27,198 | ^~~~~~~~~~~~~ 2025-09-04T22:23:27,326 gcc -O -Wall -c -o resolve.o resolve.c 2025-09-04T22:23:27,830 gcc -O -Wall -c -o paramod.o paramod.c 2025-09-04T22:23:27,955 paramod.c: In function ‘para_into’: 2025-09-04T22:23:27,955 paramod.c:347:8: warning: suggest parentheses around operand of ‘!’ or change ‘|’ to ‘||’ or ‘!’ to ‘~’ [-Wparentheses] 2025-09-04T22:23:27,955 347 | if ((!VARIABLE(into) | Para_into_vars) && basic_check(into)) { 2025-09-04T22:23:28,187 gcc -O -Wall -c -o backdemod.o backdemod.c 2025-09-04T22:23:28,423 gcc -O -Wall -c -o hints.o hints.c 2025-09-04T22:23:28,660 gcc -O -Wall -c -o ac_redun.o ac_redun.c 2025-09-04T22:23:29,006 gcc -O -Wall -c -o xproofs.o xproofs.c 2025-09-04T22:23:29,362 gcc -O -Wall -c -o ivy.o ivy.c 2025-09-04T22:23:29,489 ivy.c: In function ‘factor2_instances’: 2025-09-04T22:23:29,489 ivy.c:633:14: warning: variable ‘l1i’ set but not used [-Wunused-but-set-variable] 2025-09-04T22:23:29,489 633 | Literals l1i, l2i, lit; 2025-09-04T22:23:29,489 | ^~~ 2025-09-04T22:23:29,839 gcc -O -Wall -c -o interp.o interp.c 2025-09-04T22:23:29,968 interp.c: In function ‘transpose_binary’: 2025-09-04T22:23:29,968 interp.c:358:10: warning: variable ‘rc’ set but not used [-Wunused-but-set-variable] 2025-09-04T22:23:29,969 358 | int i, rc; 2025-09-04T22:23:29,969 | ^~ 2025-09-04T22:23:31,652 gcc -O -Wall -c -o std_options.o std_options.c 2025-09-04T22:23:31,799 gcc -O -Wall -c -o banner.o banner.c 2025-09-04T22:23:31,967 gcc -O -Wall -c -o ioutil.o ioutil.c 2025-09-04T22:23:32,379 gcc -O -Wall -c -o tptp_trans.o tptp_trans.c 2025-09-04T22:23:32,810 gcc -O -Wall -c -o top_input.o top_input.c 2025-09-04T22:23:33,378 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-04T22:23:33,384 ar: creating libladr.a 2025-09-04T22:23:33,559 make[3]: Leaving directory '/tmp/pip-wheel-b18_gj00/provers_fabbbdd55b3a4fbab4ce71014ab24e7b/provers/bin/tmp/LADR-2009-11A/ladr' 2025-09-04T22:23:33,560 make[2]: Leaving directory '/tmp/pip-wheel-b18_gj00/provers_fabbbdd55b3a4fbab4ce71014ab24e7b/provers/bin/tmp/LADR-2009-11A/ladr' 2025-09-04T22:23:33,560 cd mace4.src && make all 2025-09-04T22:23:33,571 make[2]: Entering directory '/tmp/pip-wheel-b18_gj00/provers_fabbbdd55b3a4fbab4ce71014ab24e7b/provers/bin/tmp/LADR-2009-11A/mace4.src' 2025-09-04T22:23:33,571 cd ../ladr && make libladr.a 2025-09-04T22:23:33,599 make[3]: Entering directory '/tmp/pip-wheel-b18_gj00/provers_fabbbdd55b3a4fbab4ce71014ab24e7b/provers/bin/tmp/LADR-2009-11A/ladr' 2025-09-04T22:23:33,599 make[3]: 'libladr.a' is up to date. 2025-09-04T22:23:33,599 make[3]: Leaving directory '/tmp/pip-wheel-b18_gj00/provers_fabbbdd55b3a4fbab4ce71014ab24e7b/provers/bin/tmp/LADR-2009-11A/ladr' 2025-09-04T22:23:33,600 make clean 2025-09-04T22:23:33,608 make[3]: Entering directory '/tmp/pip-wheel-b18_gj00/provers_fabbbdd55b3a4fbab4ce71014ab24e7b/provers/bin/tmp/LADR-2009-11A/mace4.src' 2025-09-04T22:23:33,608 /bin/rm -f *.o 2025-09-04T22:23:33,619 make[3]: Leaving directory '/tmp/pip-wheel-b18_gj00/provers_fabbbdd55b3a4fbab4ce71014ab24e7b/provers/bin/tmp/LADR-2009-11A/mace4.src' 2025-09-04T22:23:33,619 make libmace4.a 2025-09-04T22:23:33,627 make[3]: Entering directory '/tmp/pip-wheel-b18_gj00/provers_fabbbdd55b3a4fbab4ce71014ab24e7b/provers/bin/tmp/LADR-2009-11A/mace4.src' 2025-09-04T22:23:33,627 gcc -O -Wall -c -o estack.o estack.c 2025-09-04T22:23:33,808 gcc -O -Wall -c -o util.o util.c 2025-09-04T22:23:33,960 gcc -O -Wall -c -o print.o print.c 2025-09-04T22:23:34,348 gcc -O -Wall -c -o syms.o syms.c 2025-09-04T22:23:34,579 gcc -O -Wall -c -o ground.o ground.c 2025-09-04T22:23:34,996 gcc -O -Wall -c -o arithmetic.o arithmetic.c 2025-09-04T22:23:35,408 gcc -O -Wall -c -o select.o select.c 2025-09-04T22:23:35,536 select.c: In function ‘select_concentric_band’: 2025-09-04T22:23:35,536 select.c:236:5: error: type of ‘min_id’ defaults to ‘int’ [-Wimplicit-int] 2025-09-04T22:23:35,536 236 | int select_concentric_band(min_id, max_id, max_constrained) 2025-09-04T22:23:35,536 | ^~~~~~~~~~~~~~~~~~~~~~ 2025-09-04T22:23:35,537 select.c:236:5: error: type of ‘max_id’ defaults to ‘int’ [-Wimplicit-int] 2025-09-04T22:23:35,537 select.c:236:5: error: type of ‘max_constrained’ defaults to ‘int’ [-Wimplicit-int] 2025-09-04T22:23:35,545 make[3]: *** [: select.o] Error 1 2025-09-04T22:23:35,545 make[3]: Leaving directory '/tmp/pip-wheel-b18_gj00/provers_fabbbdd55b3a4fbab4ce71014ab24e7b/provers/bin/tmp/LADR-2009-11A/mace4.src' 2025-09-04T22:23:35,545 make[2]: *** [Makefile:26: lib] Error 2 2025-09-04T22:23:35,545 make[2]: Leaving directory '/tmp/pip-wheel-b18_gj00/provers_fabbbdd55b3a4fbab4ce71014ab24e7b/provers/bin/tmp/LADR-2009-11A/mace4.src' 2025-09-04T22:23:35,546 make[1]: *** [Makefile:6: all] Error 2 2025-09-04T22:23:35,546 make[1]: Leaving directory '/tmp/pip-wheel-b18_gj00/provers_fabbbdd55b3a4fbab4ce71014ab24e7b/provers/bin/tmp/LADR-2009-11A' 2025-09-04T22:23:35,547 make: *** [Makefile:15: prover9] Error 2 2025-09-04T22:23:35,548 creating build/lib.linux-armv7l-cpython-313/provers 2025-09-04T22:23:35,549 copying provers/util.py -> build/lib.linux-armv7l-cpython-313/provers 2025-09-04T22:23:35,550 copying provers/prover9.py -> build/lib.linux-armv7l-cpython-313/provers 2025-09-04T22:23:35,550 copying provers/fol.py -> build/lib.linux-armv7l-cpython-313/provers 2025-09-04T22:23:35,551 copying provers/eprover.py -> build/lib.linux-armv7l-cpython-313/provers 2025-09-04T22:23:35,551 copying provers/__init__.py -> build/lib.linux-armv7l-cpython-313/provers 2025-09-04T22:23:35,553 running build_ext 2025-09-04T22:23:35,694 /usr/local/lib/python3.13/dist-packages/setuptools/_distutils/cmd.py:90: SetuptoolsDeprecationWarning: setup.py install is deprecated. 2025-09-04T22:23:35,694 !! 2025-09-04T22:23:35,695 ******************************************************************************** 2025-09-04T22:23:35,695 Please avoid running ``setup.py`` directly. 2025-09-04T22:23:35,695 Instead, use pypa/build, pypa/installer or other 2025-09-04T22:23:35,695 standards-based tools. 2025-09-04T22:23:35,695 By 2025-Oct-31, you need to update your project and remove deprecated calls 2025-09-04T22:23:35,695 or your builds will no longer be supported. 2025-09-04T22:23:35,695 See https://blog.ganssle.io/articles/2021/10/setup-py-deprecated.html for details. 2025-09-04T22:23:35,695 ******************************************************************************** 2025-09-04T22:23:35,696 !! 2025-09-04T22:23:35,696 self.initialize_options() 2025-09-04T22:23:35,773 installing to build/bdist.linux-armv7l/wheel 2025-09-04T22:23:35,773 running install 2025-09-04T22:23:35,795 running install_lib 2025-09-04T22:23:35,870 creating build/bdist.linux-armv7l/wheel 2025-09-04T22:23:35,871 creating build/bdist.linux-armv7l/wheel/provers 2025-09-04T22:23:35,871 copying build/lib.linux-armv7l-cpython-313/provers/__init__.py -> build/bdist.linux-armv7l/wheel/./provers 2025-09-04T22:23:35,872 copying build/lib.linux-armv7l-cpython-313/provers/eprover.py -> build/bdist.linux-armv7l/wheel/./provers 2025-09-04T22:23:35,872 copying build/lib.linux-armv7l-cpython-313/provers/fol.py -> build/bdist.linux-armv7l/wheel/./provers 2025-09-04T22:23:35,872 copying build/lib.linux-armv7l-cpython-313/provers/prover9.py -> build/bdist.linux-armv7l/wheel/./provers 2025-09-04T22:23:35,873 copying build/lib.linux-armv7l-cpython-313/provers/util.py -> build/bdist.linux-armv7l/wheel/./provers 2025-09-04T22:23:35,873 running install_egg_info 2025-09-04T22:23:35,953 running egg_info 2025-09-04T22:23:36,030 writing provers.egg-info/PKG-INFO 2025-09-04T22:23:36,031 writing dependency_links to provers.egg-info/dependency_links.txt 2025-09-04T22:23:36,032 writing entry points to provers.egg-info/entry_points.txt 2025-09-04T22:23:36,032 writing top-level names to provers.egg-info/top_level.txt 2025-09-04T22:23:36,271 listing git files failed - pretending there aren't any 2025-09-04T22:23:36,275 reading manifest file 'provers.egg-info/SOURCES.txt' 2025-09-04T22:23:36,276 reading manifest template 'MANIFEST.in' 2025-09-04T22:23:36,277 adding license file 'LICENSE' 2025-09-04T22:23:36,280 writing manifest file 'provers.egg-info/SOURCES.txt' 2025-09-04T22:23:36,280 Copying provers.egg-info to build/bdist.linux-armv7l/wheel/./provers-0.1.18-py3.13.egg-info 2025-09-04T22:23:36,282 running install_scripts 2025-09-04T22:23:36,340 creating build/bdist.linux-armv7l/wheel/provers-0.1.18.dist-info/WHEEL 2025-09-04T22:23:36,341 creating '/tmp/pip-wheel-8y6kcoub/provers-0.1.18-cp313-cp313-linux_armv7l.whl' and adding 'build/bdist.linux-armv7l/wheel' to it 2025-09-04T22:23:36,342 adding 'provers/__init__.py' 2025-09-04T22:23:36,343 adding 'provers/eprover.py' 2025-09-04T22:23:36,344 adding 'provers/fol.py' 2025-09-04T22:23:36,346 adding 'provers/prover9.py' 2025-09-04T22:23:36,347 adding 'provers/util.py' 2025-09-04T22:23:36,353 adding 'provers-0.1.18.dist-info/licenses/LICENSE' 2025-09-04T22:23:36,354 adding 'provers-0.1.18.dist-info/METADATA' 2025-09-04T22:23:36,354 adding 'provers-0.1.18.dist-info/WHEEL' 2025-09-04T22:23:36,355 adding 'provers-0.1.18.dist-info/entry_points.txt' 2025-09-04T22:23:36,355 adding 'provers-0.1.18.dist-info/top_level.txt' 2025-09-04T22:23:36,356 adding 'provers-0.1.18.dist-info/RECORD' 2025-09-04T22:23:36,356 removing build/bdist.linux-armv7l/wheel 2025-09-04T22:23:36,477 Building wheel for provers (setup.py): finished with status 'done' 2025-09-04T22:23:36,478 Created wheel for provers: filename=provers-0.1.18-cp313-cp313-linux_armv7l.whl size=25085 sha256=f42d6ec84897da144de0e0a1dd8cbe8720fd3d721beb17eb4636e53d4313588c 2025-09-04T22:23:36,479 Stored in directory: /tmp/pip-ephem-wheel-cache-2o0akmp0/wheels/24/55/ca/25efe6380235e0d0813dcdce832f4526f44a3ccf9cc0b94f0d 2025-09-04T22:23:36,487 Successfully built provers 2025-09-04T22:23:36,489 Removed build tracker: '/tmp/pip-build-tracker-xcabtfxd'