2025-09-04T21:47:48,549 Created temporary directory: /tmp/pip-build-tracker-tdsd65tq 2025-09-04T21:47:48,549 Initialized build tracking at /tmp/pip-build-tracker-tdsd65tq 2025-09-04T21:47:48,550 Created build tracker: /tmp/pip-build-tracker-tdsd65tq 2025-09-04T21:47:48,550 Entered build tracker: /tmp/pip-build-tracker-tdsd65tq 2025-09-04T21:47:48,550 Created temporary directory: /tmp/pip-wheel-yyeed_ov 2025-09-04T21:47:48,553 Created temporary directory: /tmp/pip-ephem-wheel-cache-x2z2v3t7 2025-09-04T21:47:48,611 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple 2025-09-04T21:47:48,613 2 location(s) to search for versions of provers: 2025-09-04T21:47:48,613 * https://pypi.org/simple/provers/ 2025-09-04T21:47:48,613 * https://www.piwheels.org/simple/provers/ 2025-09-04T21:47:48,613 Fetching project page and analyzing links: https://pypi.org/simple/provers/ 2025-09-04T21:47:48,614 Getting page https://pypi.org/simple/provers/ 2025-09-04T21:47:48,615 Found index url https://pypi.org/simple/ 2025-09-04T21:47:48,685 Fetched page https://pypi.org/simple/provers/ as application/vnd.pypi.simple.v1+json 2025-09-04T21:47:48,688 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-04T21:47:48,688 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-04T21:47:48,688 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-04T21:47:48,688 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-04T21:47:48,689 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-04T21:47:48,689 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-04T21:47:48,689 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-04T21:47:48,689 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-04T21:47:48,690 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-04T21:47:48,690 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-04T21:47:48,690 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-04T21:47:48,690 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-04T21:47:48,690 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-04T21:47:48,691 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-04T21:47:48,691 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-04T21:47:48,691 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-04T21:47:48,691 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-04T21:47:48,691 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-04T21:47:48,692 Fetching project page and analyzing links: https://www.piwheels.org/simple/provers/ 2025-09-04T21:47:48,692 Getting page https://www.piwheels.org/simple/provers/ 2025-09-04T21:47:48,693 Found index url https://www.piwheels.org/simple/ 2025-09-04T21:47:48,801 Fetched page https://www.piwheels.org/simple/provers/ as text/html 2025-09-04T21:47:48,816 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-04T21:47:48,816 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-04T21:47:48,816 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-04T21:47:48,816 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-04T21:47:48,816 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-04T21:47:48,817 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-04T21:47:48,817 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-04T21:47:48,817 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-04T21:47:48,817 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-04T21:47:48,817 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-04T21:47:48,817 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-04T21:47:48,818 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-04T21:47:48,818 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-04T21:47:48,818 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-04T21:47:48,818 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-04T21:47:48,818 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-04T21:47:48,818 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-04T21:47:48,818 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-04T21:47:48,819 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-04T21:47:48,819 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-04T21:47:48,819 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-04T21:47:48,819 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-04T21:47:48,819 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-04T21:47:48,819 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-04T21:47:48,820 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-04T21:47:48,820 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-04T21:47:48,820 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-04T21:47:48,820 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-04T21:47:48,820 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-04T21:47:48,820 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-04T21:47:48,820 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-04T21:47:48,821 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-04T21:47:48,821 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-04T21:47:48,821 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-04T21:47:48,821 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-04T21:47:48,821 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-04T21:47:48,821 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-04T21:47:48,822 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-04T21:47:48,822 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-04T21:47:48,822 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-04T21:47:48,822 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-04T21:47:48,822 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-04T21:47:48,822 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-04T21:47:48,822 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-04T21:47:48,823 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-04T21:47:48,823 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-04T21:47:48,823 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-04T21:47:48,823 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-04T21:47:48,823 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-04T21:47:48,823 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-04T21:47:48,823 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-04T21:47:48,824 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-04T21:47:48,824 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-04T21:47:48,824 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-04T21:47:48,824 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-04T21:47:48,824 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-04T21:47:48,824 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-04T21:47:48,824 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-04T21:47:48,825 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-04T21:47:48,825 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-04T21:47:48,825 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-04T21:47:48,825 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-04T21:47:48,825 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-04T21:47:48,825 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-04T21:47:48,826 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-04T21:47:48,826 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-04T21:47:48,826 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-04T21:47:48,826 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-04T21:47:48,826 Skipping link: not a file: https://www.piwheels.org/simple/provers/ 2025-09-04T21:47:48,826 Skipping link: not a file: https://pypi.org/simple/provers/ 2025-09-04T21:47:48,851 Given no hashes to check 1 links for project 'provers': discarding no candidates 2025-09-04T21:47:48,852 Collecting provers==0.1.17 2025-09-04T21:47:48,853 Created temporary directory: /tmp/pip-unpack-kgx1ns4x 2025-09-04T21:47:48,988 Downloading provers-0.1.17.tar.gz (22 kB) 2025-09-04T21:47:49,013 Added provers==0.1.17 from https://files.pythonhosted.org/packages/22/b0/7bc22319c2dd0ac1ca9aeeb3d8ed4f912a68b70e88568114fbdcf100a167/provers-0.1.17.tar.gz to build tracker '/tmp/pip-build-tracker-tdsd65tq' 2025-09-04T21:47:49,014 Running setup.py (path:/tmp/pip-wheel-yyeed_ov/provers_3bd6a27e7b2949fe811e450978264362/setup.py) egg_info for package provers 2025-09-04T21:47:49,014 Created temporary directory: /tmp/pip-pip-egg-info-2clkvmem 2025-09-04T21:47:49,015 Preparing metadata (setup.py): started 2025-09-04T21:47:49,015 Running command python setup.py egg_info 2025-09-04T21:47:49,650 /usr/local/lib/python3.13/dist-packages/setuptools/__init__.py:92: _DeprecatedInstaller: setuptools.installer and fetch_build_eggs are deprecated. 2025-09-04T21:47:49,650 !! 2025-09-04T21:47:49,650 ******************************************************************************** 2025-09-04T21:47:49,650 Requirements should be satisfied by a PEP 517 installer. 2025-09-04T21:47:49,650 If you are using pip, you can try `pip install --use-pep517`. 2025-09-04T21:47:49,650 By 2025-Oct-31, you need to update your project and remove deprecated calls 2025-09-04T21:47:49,651 or your builds will no longer be supported. 2025-09-04T21:47:49,651 ******************************************************************************** 2025-09-04T21:47:49,651 !! 2025-09-04T21:47:49,651 dist.fetch_build_eggs(dist.setup_requires) 2025-09-04T21:47:53,136 /usr/local/lib/python3.13/dist-packages/setuptools/dist.py:759: SetuptoolsDeprecationWarning: License classifiers are deprecated. 2025-09-04T21:47:53,137 !! 2025-09-04T21:47:53,137 ******************************************************************************** 2025-09-04T21:47:53,137 Please consider removing the following classifiers in favor of a SPDX license expression: 2025-09-04T21:47:53,137 License :: OSI Approved :: GNU General Public License v3 or later (GPLv3+) 2025-09-04T21:47:53,138 See https://packaging.python.org/en/latest/guides/writing-pyproject-toml/#license for details. 2025-09-04T21:47:53,138 ******************************************************************************** 2025-09-04T21:47:53,138 !! 2025-09-04T21:47:53,138 self._finalize_license_expression() 2025-09-04T21:47:53,217 running egg_info 2025-09-04T21:47:53,296 creating /tmp/pip-pip-egg-info-2clkvmem/provers.egg-info 2025-09-04T21:47:53,296 writing /tmp/pip-pip-egg-info-2clkvmem/provers.egg-info/PKG-INFO 2025-09-04T21:47:53,297 writing dependency_links to /tmp/pip-pip-egg-info-2clkvmem/provers.egg-info/dependency_links.txt 2025-09-04T21:47:53,298 writing entry points to /tmp/pip-pip-egg-info-2clkvmem/provers.egg-info/entry_points.txt 2025-09-04T21:47:53,299 writing top-level names to /tmp/pip-pip-egg-info-2clkvmem/provers.egg-info/top_level.txt 2025-09-04T21:47:53,299 writing manifest file '/tmp/pip-pip-egg-info-2clkvmem/provers.egg-info/SOURCES.txt' 2025-09-04T21:47:53,699 listing git files failed - pretending there aren't any 2025-09-04T21:47:53,711 reading manifest file '/tmp/pip-pip-egg-info-2clkvmem/provers.egg-info/SOURCES.txt' 2025-09-04T21:47:53,712 reading manifest template 'MANIFEST.in' 2025-09-04T21:47:53,713 warning: no previously-included files found matching 'provers/bin/*' 2025-09-04T21:47:53,713 adding license file 'LICENSE' 2025-09-04T21:47:53,716 writing manifest file '/tmp/pip-pip-egg-info-2clkvmem/provers.egg-info/SOURCES.txt' 2025-09-04T21:47:53,837 Preparing metadata (setup.py): finished with status 'done' 2025-09-04T21:47:53,841 Source in /tmp/pip-wheel-yyeed_ov/provers_3bd6a27e7b2949fe811e450978264362 has version 0.1.17, which satisfies requirement provers==0.1.17 from https://files.pythonhosted.org/packages/22/b0/7bc22319c2dd0ac1ca9aeeb3d8ed4f912a68b70e88568114fbdcf100a167/provers-0.1.17.tar.gz 2025-09-04T21:47:53,841 Removed provers==0.1.17 from https://files.pythonhosted.org/packages/22/b0/7bc22319c2dd0ac1ca9aeeb3d8ed4f912a68b70e88568114fbdcf100a167/provers-0.1.17.tar.gz from build tracker '/tmp/pip-build-tracker-tdsd65tq' 2025-09-04T21:47:53,845 Created temporary directory: /tmp/pip-unpack-x6iphqnc 2025-09-04T21:47:53,846 Created temporary directory: /tmp/pip-unpack-60byla1s 2025-09-04T21:47:53,846 Building wheels for collected packages: provers 2025-09-04T21:47:53,847 Created temporary directory: /tmp/pip-wheel-qlj6l9xf 2025-09-04T21:47:53,847 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-04T21:47:53,849 Building wheel for provers (setup.py): started 2025-09-04T21:47:53,849 Destination directory: /tmp/pip-wheel-qlj6l9xf 2025-09-04T21:47:53,849 Running command python setup.py bdist_wheel 2025-09-04T21:47:54,497 /usr/local/lib/python3.13/dist-packages/setuptools/__init__.py:92: _DeprecatedInstaller: setuptools.installer and fetch_build_eggs are deprecated. 2025-09-04T21:47:54,497 !! 2025-09-04T21:47:54,498 ******************************************************************************** 2025-09-04T21:47:54,498 Requirements should be satisfied by a PEP 517 installer. 2025-09-04T21:47:54,498 If you are using pip, you can try `pip install --use-pep517`. 2025-09-04T21:47:54,498 By 2025-Oct-31, you need to update your project and remove deprecated calls 2025-09-04T21:47:54,498 or your builds will no longer be supported. 2025-09-04T21:47:54,498 ******************************************************************************** 2025-09-04T21:47:54,498 !! 2025-09-04T21:47:54,498 dist.fetch_build_eggs(dist.setup_requires) 2025-09-04T21:47:55,558 /usr/local/lib/python3.13/dist-packages/setuptools/dist.py:759: SetuptoolsDeprecationWarning: License classifiers are deprecated. 2025-09-04T21:47:55,558 !! 2025-09-04T21:47:55,559 ******************************************************************************** 2025-09-04T21:47:55,559 Please consider removing the following classifiers in favor of a SPDX license expression: 2025-09-04T21:47:55,559 License :: OSI Approved :: GNU General Public License v3 or later (GPLv3+) 2025-09-04T21:47:55,559 See https://packaging.python.org/en/latest/guides/writing-pyproject-toml/#license for details. 2025-09-04T21:47:55,559 ******************************************************************************** 2025-09-04T21:47:55,559 !! 2025-09-04T21:47:55,559 self._finalize_license_expression() 2025-09-04T21:47:55,560 running bdist_wheel 2025-09-04T21:47:55,946 running build 2025-09-04T21:47:55,946 running build_py 2025-09-04T21:47:55,953 mkdir tmp || true 2025-09-04T21:47:55,962 cd tmp && wget https://www.cs.unm.edu/~mccune/mace4/download/LADR-2009-11A.tar.gz 2025-09-04T21:47:55,996 --2025-09-04 21:47:55-- https://www.cs.unm.edu/~mccune/mace4/download/LADR-2009-11A.tar.gz 2025-09-04T21:47:56,604 Resolving www.cs.unm.edu (www.cs.unm.edu)... 64:ff9b::406a:144c, 64.106.20.76 2025-09-04T21:47:56,747 Connecting to www.cs.unm.edu (www.cs.unm.edu)|64:ff9b::406a:144c|:443... connected. 2025-09-04T21:47:57,190 HTTP request sent, awaiting response... 200 OK 2025-09-04T21:47:57,191 Length: 1795750 (1.7M) [application/x-gzip] 2025-09-04T21:47:57,192 Saving to: ‘LADR-2009-11A.tar.gz’ 2025-09-04T21:47:57,477 0K .......... .......... .......... .......... .......... 2% 176K 10s 2025-09-04T21:47:57,614 50K .......... .......... .......... .......... .......... 5% 365K 7s 2025-09-04T21:47:57,757 100K .......... .......... .......... .......... .......... 8% 348K 6s 2025-09-04T21:47:57,770 150K .......... .......... .......... .......... .......... 11% 3.88M 4s 2025-09-04T21:47:57,777 200K .......... .......... .......... .......... .......... 14% 6.35M 4s 2025-09-04T21:47:57,783 250K .......... .......... .......... .......... .......... 17% 7.83M 3s 2025-09-04T21:47:57,904 300K .......... .......... .......... .......... .......... 19% 415K 3s 2025-09-04T21:47:57,913 350K .......... .......... .......... .......... .......... 22% 5.01M 2s 2025-09-04T21:47:57,919 400K .......... .......... .......... .......... .......... 25% 9.32M 2s 2025-09-04T21:47:57,925 450K .......... .......... .......... .......... .......... 28% 7.98M 2s 2025-09-04T21:47:57,930 500K .......... .......... .......... .......... .......... 31% 9.33M 2s 2025-09-04T21:47:57,934 550K .......... .......... .......... .......... .......... 34% 11.9M 1s 2025-09-04T21:47:57,938 600K .......... .......... .......... .......... .......... 37% 10.9M 1s 2025-09-04T21:47:58,048 650K .......... .......... .......... .......... .......... 39% 458K 1s 2025-09-04T21:47:58,058 700K .......... .......... .......... .......... .......... 42% 5.00M 1s 2025-09-04T21:47:58,066 750K .......... .......... .......... .......... .......... 45% 5.77M 1s 2025-09-04T21:47:58,070 800K .......... .......... .......... .......... .......... 48% 12.5M 1s 2025-09-04T21:47:58,074 850K .......... .......... .......... .......... .......... 51% 10.8M 1s 2025-09-04T21:47:58,078 900K .......... .......... .......... .......... .......... 54% 12.7M 1s 2025-09-04T21:47:58,083 950K .......... .......... .......... .......... .......... 57% 10.9M 1s 2025-09-04T21:47:58,087 1000K .......... .......... .......... .......... .......... 59% 12.7M 1s 2025-09-04T21:47:58,091 1050K .......... .......... .......... .......... .......... 62% 12.6M 1s 2025-09-04T21:47:58,095 1100K .......... .......... .......... .......... .......... 65% 10.9M 0s 2025-09-04T21:47:58,099 1150K .......... .......... .......... .......... .......... 68% 12.7M 0s 2025-09-04T21:47:58,103 1200K .......... .......... .......... .......... .......... 71% 10.9M 0s 2025-09-04T21:47:58,107 1250K .......... .......... .......... .......... .......... 74% 12.7M 0s 2025-09-04T21:47:58,111 1300K .......... .......... .......... .......... .......... 76% 12.6M 0s 2025-09-04T21:47:58,190 1350K .......... .......... .......... .......... .......... 79% 638K 0s 2025-09-04T21:47:58,197 1400K .......... .......... .......... .......... .......... 82% 6.71M 0s 2025-09-04T21:47:58,205 1450K .......... .......... .......... .......... .......... 85% 5.76M 0s 2025-09-04T21:47:58,209 1500K .......... .......... .......... .......... .......... 88% 12.6M 0s 2025-09-04T21:47:58,213 1550K .......... .......... .......... .......... .......... 91% 12.6M 0s 2025-09-04T21:47:58,217 1600K .......... .......... .......... .......... .......... 94% 10.9M 0s 2025-09-04T21:47:58,221 1650K .......... .......... .......... .......... .......... 96% 12.7M 0s 2025-09-04T21:47:58,225 1700K .......... .......... .......... .......... .......... 99% 11.6M 0s 2025-09-04T21:47:58,226 1750K ... 100% 6.82T=1.0s 2025-09-04T21:47:58,226 2025-09-04 21:47:58 (1.66 MB/s) - ‘LADR-2009-11A.tar.gz’ saved [1795750/1795750] 2025-09-04T21:47:58,229 cd tmp && tar -xzf LADR-2009-11A.tar.gz 2025-09-04T21:47:58,406 cd tmp/LADR-2009-11A/provers.src && sed -i.old 's/^\([ \t]*\$(CC).*\) -lm \(.*\)$/\1 \2 -lm/g' Makefile 2025-09-04T21:47:58,417 cd tmp/LADR-2009-11A && make all 2025-09-04T21:47:58,426 make[1]: Entering directory '/tmp/pip-wheel-yyeed_ov/provers_3bd6a27e7b2949fe811e450978264362/provers/bin/tmp/LADR-2009-11A' 2025-09-04T21:47:58,427 cd ladr && make lib 2025-09-04T21:47:58,441 make[2]: Entering directory '/tmp/pip-wheel-yyeed_ov/provers_3bd6a27e7b2949fe811e450978264362/provers/bin/tmp/LADR-2009-11A/ladr' 2025-09-04T21:47:58,442 make libladr.a 2025-09-04T21:47:58,454 make[3]: Entering directory '/tmp/pip-wheel-yyeed_ov/provers_3bd6a27e7b2949fe811e450978264362/provers/bin/tmp/LADR-2009-11A/ladr' 2025-09-04T21:47:58,455 gcc -O -Wall -c -o order.o order.c 2025-09-04T21:47:58,623 gcc -O -Wall -c -o clock.o clock.c 2025-09-04T21:47:58,853 gcc -O -Wall -c -o nonport.o nonport.c 2025-09-04T21:47:58,957 gcc -O -Wall -c -o fatal.o fatal.c 2025-09-04T21:47:59,088 gcc -O -Wall -c -o ibuffer.o ibuffer.c 2025-09-04T21:47:59,285 gcc -O -Wall -c -o memory.o memory.c 2025-09-04T21:47:59,507 gcc -O -Wall -c -o hash.o hash.c 2025-09-04T21:47:59,708 gcc -O -Wall -c -o string.o string.c 2025-09-04T21:47:59,950 gcc -O -Wall -c -o strbuf.o strbuf.c 2025-09-04T21:48:00,225 gcc -O -Wall -c -o glist.o glist.c 2025-09-04T21:48:00,829 gcc -O -Wall -c -o options.o options.c 2025-09-04T21:48:01,346 gcc -O -Wall -c -o symbols.o symbols.c 2025-09-04T21:48:01,458 symbols.c: In function ‘declare_base_symbols’: 2025-09-04T21:48:01,459 symbols.c:1304:7: warning: variable ‘sn’ set but not used [-Wunused-but-set-variable] 2025-09-04T21:48:01,459 1304 | int sn; 2025-09-04T21:48:01,459 | ^~ 2025-09-04T21:48:02,302 gcc -O -Wall -c -o avltree.o avltree.c 2025-09-04T21:48:02,669 gcc -O -Wall -c -o term.o term.c 2025-09-04T21:48:03,522 gcc -O -Wall -c -o termflag.o termflag.c 2025-09-04T21:48:03,712 gcc -O -Wall -c -o listterm.o listterm.c 2025-09-04T21:48:03,905 gcc -O -Wall -c -o tlist.o tlist.c 2025-09-04T21:48:04,077 gcc -O -Wall -c -o flatterm.o flatterm.c 2025-09-04T21:48:04,335 gcc -O -Wall -c -o multiset.o multiset.c 2025-09-04T21:48:04,508 gcc -O -Wall -c -o termorder.o termorder.c 2025-09-04T21:48:04,968 gcc -O -Wall -c -o parse.o parse.c 2025-09-04T21:48:05,757 gcc -O -Wall -c -o accanon.o accanon.c 2025-09-04T21:48:05,950 gcc -O -Wall -c -o unify.o unify.c 2025-09-04T21:48:06,394 gcc -O -Wall -c -o fpalist.o fpalist.c 2025-09-04T21:48:06,714 gcc -O -Wall -c -o fpa.o fpa.c 2025-09-04T21:48:07,222 gcc -O -Wall -c -o discrim.o discrim.c 2025-09-04T21:48:07,405 gcc -O -Wall -c -o discrimb.o discrimb.c 2025-09-04T21:48:07,529 discrimb.c:487:7: warning: ‘check_flat2’ defined but not used [-Wunused-function] 2025-09-04T21:48:07,529 487 | Flat2 check_flat2(Flat2 f) 2025-09-04T21:48:07,529 | ^~~~~~~~~~~ 2025-09-04T21:48:07,773 gcc -O -Wall -c -o discrimw.o discrimw.c 2025-09-04T21:48:07,901 discrimw.c:146:6: warning: ‘check_flat’ defined but not used [-Wunused-function] 2025-09-04T21:48:07,901 146 | Flat check_flat(Flat f) 2025-09-04T21:48:07,901 | ^~~~~~~~~~ 2025-09-04T21:48:08,192 gcc -O -Wall -c -o dioph.o dioph.c 2025-09-04T21:48:08,794 gcc -O -Wall -c -o btu.o btu.c 2025-09-04T21:48:09,452 gcc -O -Wall -c -o btm.o btm.c 2025-09-04T21:48:10,109 gcc -O -Wall -c -o mindex.o mindex.c 2025-09-04T21:48:10,227 mindex.c: In function ‘mindex_retrieve_next’: 2025-09-04T21:48:10,227 mindex.c:650:11: warning: variable ‘tr’ set but not used [-Wunused-but-set-variable] 2025-09-04T21:48:10,227 650 | Trail tr; 2025-09-04T21:48:10,227 | ^~ 2025-09-04T21:48:10,413 gcc -O -Wall -c -o basic.o basic.c 2025-09-04T21:48:10,645 gcc -O -Wall -c -o attrib.o attrib.c 2025-09-04T21:48:11,081 gcc -O -Wall -c -o formula.o formula.c 2025-09-04T21:48:11,926 gcc -O -Wall -c -o definitions.o definitions.c 2025-09-04T21:48:12,192 gcc -O -Wall -c -o literals.o literals.c 2025-09-04T21:48:12,618 gcc -O -Wall -c -o topform.o topform.c 2025-09-04T21:48:13,011 gcc -O -Wall -c -o clist.o clist.c 2025-09-04T21:48:13,439 gcc -O -Wall -c -o clauseid.o clauseid.c 2025-09-04T21:48:13,652 gcc -O -Wall -c -o clauses.o clauses.c 2025-09-04T21:48:13,877 gcc -O -Wall -c -o just.o just.c 2025-09-04T21:48:14,651 gcc -O -Wall -c -o cnf.o cnf.c 2025-09-04T21:48:15,235 gcc -O -Wall -c -o clausify.o clausify.c 2025-09-04T21:48:15,459 gcc -O -Wall -c -o parautil.o parautil.c 2025-09-04T21:48:15,761 gcc -O -Wall -c -o pindex.o pindex.c 2025-09-04T21:48:16,153 gcc -O -Wall -c -o compress.o compress.c 2025-09-04T21:48:16,337 gcc -O -Wall -c -o maximal.o maximal.c 2025-09-04T21:48:16,565 gcc -O -Wall -c -o lindex.o lindex.c 2025-09-04T21:48:16,754 gcc -O -Wall -c -o weight.o weight.c 2025-09-04T21:48:17,270 gcc -O -Wall -c -o weight2.o weight2.c 2025-09-04T21:48:17,451 gcc -O -Wall -c -o int_code.o int_code.c 2025-09-04T21:48:17,927 gcc -O -Wall -c -o features.o features.c 2025-09-04T21:48:18,373 gcc -O -Wall -c -o di_tree.o di_tree.c 2025-09-04T21:48:18,655 gcc -O -Wall -c -o fastparse.o fastparse.c 2025-09-04T21:48:18,869 gcc -O -Wall -c -o random.o random.c 2025-09-04T21:48:19,128 gcc -O -Wall -c -o subsume.o subsume.c 2025-09-04T21:48:19,547 gcc -O -Wall -c -o clause_misc.o clause_misc.c 2025-09-04T21:48:19,754 gcc -O -Wall -c -o clause_eval.o clause_eval.c 2025-09-04T21:48:20,002 gcc -O -Wall -c -o complex.o complex.c 2025-09-04T21:48:20,119 complex.c: In function ‘complex4_p1’: 2025-09-04T21:48:20,119 complex.c:275:8: warning: variable ‘dummy’ set but not used [-Wunused-but-set-variable] 2025-09-04T21:48:20,119 275 | BOOL dummy; 2025-09-04T21:48:20,119 | ^~~~~ 2025-09-04T21:48:20,275 gcc -O -Wall -c -o dollar.o dollar.c 2025-09-04T21:48:20,648 gcc -O -Wall -c -o flatdemod.o flatdemod.c 2025-09-04T21:48:20,767 flatdemod.c: In function ‘discrim_flat_retrieve_leaf’: 2025-09-04T21:48:20,767 flatdemod.c:122:16: warning: comparison between ‘BOOL’ and ‘enum ’ [-Wenum-compare] 2025-09-04T21:48:20,767 122 | if (status == BACKTRACK) { 2025-09-04T21:48:20,767 | ^~ 2025-09-04T21:48:20,768 flatdemod.c:158:15: warning: variable ‘dd’ set but not used [-Wunused-but-set-variable] 2025-09-04T21:48:20,768 158 | Discrim dd = NULL; 2025-09-04T21:48:20,768 | ^~ 2025-09-04T21:48:20,768 flatdemod.c:167:16: warning: comparison between ‘BOOL’ and ‘enum ’ [-Wenum-compare] 2025-09-04T21:48:20,768 167 | if (status == GO) { 2025-09-04T21:48:20,768 | ^~ 2025-09-04T21:48:20,923 gcc -O -Wall -c -o demod.o demod.c 2025-09-04T21:48:21,045 demod.c: In function ‘demod1’: 2025-09-04T21:48:21,045 demod.c:376:8: warning: variable ‘result’ set but not used [-Wunused-but-set-variable] 2025-09-04T21:48:21,045 376 | Term result; 2025-09-04T21:48:21,045 | ^~~~~~ 2025-09-04T21:48:21,241 gcc -O -Wall -c -o clash.o clash.c 2025-09-04T21:48:21,360 clash.c: In function ‘clash_recurse’: 2025-09-04T21:48:21,361 clash.c:283:12: warning: suggest parentheses around operand of ‘!’ or change ‘|’ to ‘||’ or ‘!’ to ‘~’ [-Wparentheses] 2025-09-04T21:48:21,361 283 | else if (!p->clashable | p->clashed) 2025-09-04T21:48:21,361 | ^~~~~~~~~~~~~ 2025-09-04T21:48:21,486 gcc -O -Wall -c -o resolve.o resolve.c 2025-09-04T21:48:22,000 gcc -O -Wall -c -o paramod.o paramod.c 2025-09-04T21:48:22,123 paramod.c: In function ‘para_into’: 2025-09-04T21:48:22,124 paramod.c:347:8: warning: suggest parentheses around operand of ‘!’ or change ‘|’ to ‘||’ or ‘!’ to ‘~’ [-Wparentheses] 2025-09-04T21:48:22,124 347 | if ((!VARIABLE(into) | Para_into_vars) && basic_check(into)) { 2025-09-04T21:48:22,354 gcc -O -Wall -c -o backdemod.o backdemod.c 2025-09-04T21:48:22,589 gcc -O -Wall -c -o hints.o hints.c 2025-09-04T21:48:22,834 gcc -O -Wall -c -o ac_redun.o ac_redun.c 2025-09-04T21:48:23,176 gcc -O -Wall -c -o xproofs.o xproofs.c 2025-09-04T21:48:23,531 gcc -O -Wall -c -o ivy.o ivy.c 2025-09-04T21:48:23,660 ivy.c: In function ‘factor2_instances’: 2025-09-04T21:48:23,661 ivy.c:633:14: warning: variable ‘l1i’ set but not used [-Wunused-but-set-variable] 2025-09-04T21:48:23,661 633 | Literals l1i, l2i, lit; 2025-09-04T21:48:23,661 | ^~~ 2025-09-04T21:48:24,008 gcc -O -Wall -c -o interp.o interp.c 2025-09-04T21:48:24,142 interp.c: In function ‘transpose_binary’: 2025-09-04T21:48:24,142 interp.c:358:10: warning: variable ‘rc’ set but not used [-Wunused-but-set-variable] 2025-09-04T21:48:24,142 358 | int i, rc; 2025-09-04T21:48:24,142 | ^~ 2025-09-04T21:48:25,845 gcc -O -Wall -c -o std_options.o std_options.c 2025-09-04T21:48:25,994 gcc -O -Wall -c -o banner.o banner.c 2025-09-04T21:48:26,164 gcc -O -Wall -c -o ioutil.o ioutil.c 2025-09-04T21:48:26,573 gcc -O -Wall -c -o tptp_trans.o tptp_trans.c 2025-09-04T21:48:27,013 gcc -O -Wall -c -o top_input.o top_input.c 2025-09-04T21:48:27,584 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-04T21:48:27,590 ar: creating libladr.a 2025-09-04T21:48:27,769 make[3]: Leaving directory '/tmp/pip-wheel-yyeed_ov/provers_3bd6a27e7b2949fe811e450978264362/provers/bin/tmp/LADR-2009-11A/ladr' 2025-09-04T21:48:27,769 make[2]: Leaving directory '/tmp/pip-wheel-yyeed_ov/provers_3bd6a27e7b2949fe811e450978264362/provers/bin/tmp/LADR-2009-11A/ladr' 2025-09-04T21:48:27,770 cd mace4.src && make all 2025-09-04T21:48:27,779 make[2]: Entering directory '/tmp/pip-wheel-yyeed_ov/provers_3bd6a27e7b2949fe811e450978264362/provers/bin/tmp/LADR-2009-11A/mace4.src' 2025-09-04T21:48:27,780 cd ../ladr && make libladr.a 2025-09-04T21:48:27,807 make[3]: Entering directory '/tmp/pip-wheel-yyeed_ov/provers_3bd6a27e7b2949fe811e450978264362/provers/bin/tmp/LADR-2009-11A/ladr' 2025-09-04T21:48:27,807 make[3]: 'libladr.a' is up to date. 2025-09-04T21:48:27,807 make[3]: Leaving directory '/tmp/pip-wheel-yyeed_ov/provers_3bd6a27e7b2949fe811e450978264362/provers/bin/tmp/LADR-2009-11A/ladr' 2025-09-04T21:48:27,809 make clean 2025-09-04T21:48:27,816 make[3]: Entering directory '/tmp/pip-wheel-yyeed_ov/provers_3bd6a27e7b2949fe811e450978264362/provers/bin/tmp/LADR-2009-11A/mace4.src' 2025-09-04T21:48:27,816 /bin/rm -f *.o 2025-09-04T21:48:27,824 make[3]: Leaving directory '/tmp/pip-wheel-yyeed_ov/provers_3bd6a27e7b2949fe811e450978264362/provers/bin/tmp/LADR-2009-11A/mace4.src' 2025-09-04T21:48:27,824 make libmace4.a 2025-09-04T21:48:27,832 make[3]: Entering directory '/tmp/pip-wheel-yyeed_ov/provers_3bd6a27e7b2949fe811e450978264362/provers/bin/tmp/LADR-2009-11A/mace4.src' 2025-09-04T21:48:27,832 gcc -O -Wall -c -o estack.o estack.c 2025-09-04T21:48:28,019 gcc -O -Wall -c -o util.o util.c 2025-09-04T21:48:28,173 gcc -O -Wall -c -o print.o print.c 2025-09-04T21:48:28,560 gcc -O -Wall -c -o syms.o syms.c 2025-09-04T21:48:28,791 gcc -O -Wall -c -o ground.o ground.c 2025-09-04T21:48:29,202 gcc -O -Wall -c -o arithmetic.o arithmetic.c 2025-09-04T21:48:29,620 gcc -O -Wall -c -o select.o select.c 2025-09-04T21:48:29,749 select.c: In function ‘select_concentric_band’: 2025-09-04T21:48:29,749 select.c:236:5: error: type of ‘min_id’ defaults to ‘int’ [-Wimplicit-int] 2025-09-04T21:48:29,749 236 | int select_concentric_band(min_id, max_id, max_constrained) 2025-09-04T21:48:29,750 | ^~~~~~~~~~~~~~~~~~~~~~ 2025-09-04T21:48:29,750 select.c:236:5: error: type of ‘max_id’ defaults to ‘int’ [-Wimplicit-int] 2025-09-04T21:48:29,750 select.c:236:5: error: type of ‘max_constrained’ defaults to ‘int’ [-Wimplicit-int] 2025-09-04T21:48:29,757 make[3]: *** [: select.o] Error 1 2025-09-04T21:48:29,758 make[3]: Leaving directory '/tmp/pip-wheel-yyeed_ov/provers_3bd6a27e7b2949fe811e450978264362/provers/bin/tmp/LADR-2009-11A/mace4.src' 2025-09-04T21:48:29,758 make[2]: *** [Makefile:26: lib] Error 2 2025-09-04T21:48:29,758 make[2]: Leaving directory '/tmp/pip-wheel-yyeed_ov/provers_3bd6a27e7b2949fe811e450978264362/provers/bin/tmp/LADR-2009-11A/mace4.src' 2025-09-04T21:48:29,759 make[1]: *** [Makefile:6: all] Error 2 2025-09-04T21:48:29,759 make[1]: Leaving directory '/tmp/pip-wheel-yyeed_ov/provers_3bd6a27e7b2949fe811e450978264362/provers/bin/tmp/LADR-2009-11A' 2025-09-04T21:48:29,759 make: *** [Makefile:15: prover9] Error 2 2025-09-04T21:48:29,766 creating build/lib.linux-armv7l-cpython-313/provers 2025-09-04T21:48:29,766 copying provers/util.py -> build/lib.linux-armv7l-cpython-313/provers 2025-09-04T21:48:29,767 copying provers/prover9.py -> build/lib.linux-armv7l-cpython-313/provers 2025-09-04T21:48:29,767 copying provers/fol.py -> build/lib.linux-armv7l-cpython-313/provers 2025-09-04T21:48:29,767 copying provers/eprover.py -> build/lib.linux-armv7l-cpython-313/provers 2025-09-04T21:48:29,767 copying provers/__init__.py -> build/lib.linux-armv7l-cpython-313/provers 2025-09-04T21:48:29,767 running build_ext 2025-09-04T21:48:29,846 /usr/local/lib/python3.13/dist-packages/setuptools/_distutils/cmd.py:90: SetuptoolsDeprecationWarning: setup.py install is deprecated. 2025-09-04T21:48:29,846 !! 2025-09-04T21:48:29,846 ******************************************************************************** 2025-09-04T21:48:29,846 Please avoid running ``setup.py`` directly. 2025-09-04T21:48:29,846 Instead, use pypa/build, pypa/installer or other 2025-09-04T21:48:29,846 standards-based tools. 2025-09-04T21:48:29,846 By 2025-Oct-31, you need to update your project and remove deprecated calls 2025-09-04T21:48:29,846 or your builds will no longer be supported. 2025-09-04T21:48:29,847 See https://blog.ganssle.io/articles/2021/10/setup-py-deprecated.html for details. 2025-09-04T21:48:29,847 ******************************************************************************** 2025-09-04T21:48:29,847 !! 2025-09-04T21:48:29,847 self.initialize_options() 2025-09-04T21:48:29,924 installing to build/bdist.linux-armv7l/wheel 2025-09-04T21:48:29,925 running install 2025-09-04T21:48:29,947 running install_lib 2025-09-04T21:48:30,022 creating build/bdist.linux-armv7l/wheel 2025-09-04T21:48:30,023 creating build/bdist.linux-armv7l/wheel/provers 2025-09-04T21:48:30,024 copying build/lib.linux-armv7l-cpython-313/provers/__init__.py -> build/bdist.linux-armv7l/wheel/./provers 2025-09-04T21:48:30,024 copying build/lib.linux-armv7l-cpython-313/provers/eprover.py -> build/bdist.linux-armv7l/wheel/./provers 2025-09-04T21:48:30,025 copying build/lib.linux-armv7l-cpython-313/provers/fol.py -> build/bdist.linux-armv7l/wheel/./provers 2025-09-04T21:48:30,026 copying build/lib.linux-armv7l-cpython-313/provers/prover9.py -> build/bdist.linux-armv7l/wheel/./provers 2025-09-04T21:48:30,026 copying build/lib.linux-armv7l-cpython-313/provers/util.py -> build/bdist.linux-armv7l/wheel/./provers 2025-09-04T21:48:30,027 running install_egg_info 2025-09-04T21:48:30,105 running egg_info 2025-09-04T21:48:30,180 writing provers.egg-info/PKG-INFO 2025-09-04T21:48:30,181 writing dependency_links to provers.egg-info/dependency_links.txt 2025-09-04T21:48:30,182 writing entry points to provers.egg-info/entry_points.txt 2025-09-04T21:48:30,183 writing top-level names to provers.egg-info/top_level.txt 2025-09-04T21:48:30,417 listing git files failed - pretending there aren't any 2025-09-04T21:48:30,421 reading manifest file 'provers.egg-info/SOURCES.txt' 2025-09-04T21:48:30,423 reading manifest template 'MANIFEST.in' 2025-09-04T21:48:30,425 adding license file 'LICENSE' 2025-09-04T21:48:30,428 writing manifest file 'provers.egg-info/SOURCES.txt' 2025-09-04T21:48:30,428 Copying provers.egg-info to build/bdist.linux-armv7l/wheel/./provers-0.1.17-py3.13.egg-info 2025-09-04T21:48:30,431 running install_scripts 2025-09-04T21:48:30,488 creating build/bdist.linux-armv7l/wheel/provers-0.1.17.dist-info/WHEEL 2025-09-04T21:48:30,489 creating '/tmp/pip-wheel-qlj6l9xf/provers-0.1.17-cp313-cp313-linux_armv7l.whl' and adding 'build/bdist.linux-armv7l/wheel' to it 2025-09-04T21:48:30,490 adding 'provers/__init__.py' 2025-09-04T21:48:30,492 adding 'provers/eprover.py' 2025-09-04T21:48:30,493 adding 'provers/fol.py' 2025-09-04T21:48:30,495 adding 'provers/prover9.py' 2025-09-04T21:48:30,496 adding 'provers/util.py' 2025-09-04T21:48:30,503 adding 'provers-0.1.17.dist-info/licenses/LICENSE' 2025-09-04T21:48:30,504 adding 'provers-0.1.17.dist-info/METADATA' 2025-09-04T21:48:30,504 adding 'provers-0.1.17.dist-info/WHEEL' 2025-09-04T21:48:30,505 adding 'provers-0.1.17.dist-info/entry_points.txt' 2025-09-04T21:48:30,506 adding 'provers-0.1.17.dist-info/top_level.txt' 2025-09-04T21:48:30,507 adding 'provers-0.1.17.dist-info/RECORD' 2025-09-04T21:48:30,507 removing build/bdist.linux-armv7l/wheel 2025-09-04T21:48:30,628 Building wheel for provers (setup.py): finished with status 'done' 2025-09-04T21:48:30,629 Created wheel for provers: filename=provers-0.1.17-cp313-cp313-linux_armv7l.whl size=25054 sha256=16e0586d22810c25462eb4cc600744d89ee77c2f798a86154d6237983f3b2162 2025-09-04T21:48:30,630 Stored in directory: /tmp/pip-ephem-wheel-cache-x2z2v3t7/wheels/c4/d7/76/c99d0e28b0eacd7a1d7034a7386a9d569ff996dfb4e51991ae 2025-09-04T21:48:30,638 Successfully built provers 2025-09-04T21:48:30,639 Removed build tracker: '/tmp/pip-build-tracker-tdsd65tq'