2025-11-12T01:22:11,096 Created temporary directory: /tmp/pip-ephem-wheel-cache-cx2k7av3 2025-11-12T01:22:11,098 Created temporary directory: /tmp/pip-build-tracker-s2x3079q 2025-11-12T01:22:11,099 Initialized build tracking at /tmp/pip-build-tracker-s2x3079q 2025-11-12T01:22:11,099 Created build tracker: /tmp/pip-build-tracker-s2x3079q 2025-11-12T01:22:11,100 Entered build tracker: /tmp/pip-build-tracker-s2x3079q 2025-11-12T01:22:11,100 Created temporary directory: /tmp/pip-wheel-qekz_0zy 2025-11-12T01:22:11,104 DEPRECATION: --no-binary currently disables reading from the cache of locally built wheels. In the future --no-binary will not influence the wheel cache. pip 23.1 will enforce this behaviour change. A possible replacement is to use the --no-cache-dir option. You can use the flag --use-feature=no-binary-enable-wheel-cache to test the upcoming behaviour. Discussion can be found at https://github.com/pypa/pip/issues/11453 2025-11-12T01:22:11,106 Created temporary directory: /tmp/pip-ephem-wheel-cache-yaoyljt6 2025-11-12T01:22:11,127 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple 2025-11-12T01:22:11,131 2 location(s) to search for versions of axiomatic-proofkit: 2025-11-12T01:22:11,131 * https://pypi.org/simple/axiomatic-proofkit/ 2025-11-12T01:22:11,131 * https://www.piwheels.org/simple/axiomatic-proofkit/ 2025-11-12T01:22:11,131 Fetching project page and analyzing links: https://pypi.org/simple/axiomatic-proofkit/ 2025-11-12T01:22:11,132 Getting page https://pypi.org/simple/axiomatic-proofkit/ 2025-11-12T01:22:11,134 Found index url https://pypi.org/simple 2025-11-12T01:22:11,267 Fetched page https://pypi.org/simple/axiomatic-proofkit/ as application/vnd.pypi.simple.v1+json 2025-11-12T01:22:11,269 Skipping link: No binaries permitted for axiomatic-proofkit: https://files.pythonhosted.org/packages/da/a1/90b675c44c02eb6d54406c63fbc83db337ebae3937a2a69750cf6de2c152/axiomatic_proofkit-0.1.0-py3-none-any.whl (from https://pypi.org/simple/axiomatic-proofkit/) (requires-python:>=3.10) 2025-11-12T01:22:11,270 Found link https://files.pythonhosted.org/packages/3b/ff/92221175b521bb559f6a0e4d8256561b55dbaadbd0b8ee35c1b66de8523a/axiomatic_proofkit-0.1.0.tar.gz (from https://pypi.org/simple/axiomatic-proofkit/) (requires-python:>=3.10), version: 0.1.0 2025-11-12T01:22:11,271 Skipping link: No binaries permitted for axiomatic-proofkit: https://files.pythonhosted.org/packages/78/62/91a6c7340d698c965cb4d84211cee3c743476502114027490c7b1e3138cb/axiomatic_proofkit-0.1.1-py3-none-any.whl (from https://pypi.org/simple/axiomatic-proofkit/) (requires-python:>=3.10) 2025-11-12T01:22:11,272 Found link https://files.pythonhosted.org/packages/06/53/bd7afce699913182ba81631f45083562630723073a54cfd08896b925da4d/axiomatic_proofkit-0.1.1.tar.gz (from https://pypi.org/simple/axiomatic-proofkit/) (requires-python:>=3.10), version: 0.1.1 2025-11-12T01:22:11,273 Skipping link: No binaries permitted for axiomatic-proofkit: https://files.pythonhosted.org/packages/81/e7/2711a441cbbea63ce23e145749b38833e8e0754e9660eb0b80f93e65fa3e/axiomatic_proofkit-0.1.3-py3-none-any.whl (from https://pypi.org/simple/axiomatic-proofkit/) (requires-python:>=3.10) 2025-11-12T01:22:11,274 Found link https://files.pythonhosted.org/packages/0d/1d/a8401bebd575e67d12bbffe1be65c77f41f883311e8e95d2efe42f40be7b/axiomatic_proofkit-0.1.3.tar.gz (from https://pypi.org/simple/axiomatic-proofkit/) (requires-python:>=3.10), version: 0.1.3 2025-11-12T01:22:11,275 Fetching project page and analyzing links: https://www.piwheels.org/simple/axiomatic-proofkit/ 2025-11-12T01:22:11,275 Getting page https://www.piwheels.org/simple/axiomatic-proofkit/ 2025-11-12T01:22:11,277 Found index url https://www.piwheels.org/simple 2025-11-12T01:22:11,484 Fetched page https://www.piwheels.org/simple/axiomatic-proofkit/ as text/html 2025-11-12T01:22:11,486 Skipping link: No binaries permitted for axiomatic-proofkit: https://www.piwheels.org/simple/axiomatic-proofkit/axiomatic_proofkit-0.1.1-py3-none-any.whl#sha256=278004bb2f4c4f2a464c19e5f9ecf7026adc7483ceece371082da42ee63645a0 (from https://www.piwheels.org/simple/axiomatic-proofkit/) (requires-python:>=3.10) 2025-11-12T01:22:11,486 Skipping link: No binaries permitted for axiomatic-proofkit: https://www.piwheels.org/simple/axiomatic-proofkit/axiomatic_proofkit-0.1.0-py3-none-any.whl#sha256=42c56910f5659af19c5655ad9386afa6cf5450f2d32e1d4eb28e5e946fc3c860 (from https://www.piwheels.org/simple/axiomatic-proofkit/) (requires-python:>=3.10) 2025-11-12T01:22:11,487 Skipping link: not a file: https://www.piwheels.org/simple/axiomatic-proofkit/ 2025-11-12T01:22:11,488 Skipping link: not a file: https://pypi.org/simple/axiomatic-proofkit/ 2025-11-12T01:22:11,507 Given no hashes to check 1 links for project 'axiomatic-proofkit': discarding no candidates 2025-11-12T01:22:11,525 Collecting axiomatic-proofkit==0.1.3 2025-11-12T01:22:11,527 Created temporary directory: /tmp/pip-unpack-rtfuczyn 2025-11-12T01:22:11,736 Downloading axiomatic_proofkit-0.1.3.tar.gz (6.7 kB) 2025-11-12T01:22:11,768 Added axiomatic-proofkit==0.1.3 from https://files.pythonhosted.org/packages/0d/1d/a8401bebd575e67d12bbffe1be65c77f41f883311e8e95d2efe42f40be7b/axiomatic_proofkit-0.1.3.tar.gz to build tracker '/tmp/pip-build-tracker-s2x3079q' 2025-11-12T01:22:11,772 Created temporary directory: /tmp/pip-build-env-79qsiwou 2025-11-12T01:22:11,777 Installing build dependencies: started 2025-11-12T01:22:11,778 Running command pip subprocess to install build dependencies 2025-11-12T01:22:12,936 Using pip 23.0.1 from /usr/lib/python3/dist-packages/pip (python 3.11) 2025-11-12T01:22:13,538 DEPRECATION: --no-binary currently disables reading from the cache of locally built wheels. In the future --no-binary will not influence the wheel cache. pip 23.1 will enforce this behaviour change. A possible replacement is to use the --no-cache-dir option. You can use the flag --use-feature=no-binary-enable-wheel-cache to test the upcoming behaviour. Discussion can be found at https://github.com/pypa/pip/issues/11453 2025-11-12T01:22:13,562 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple 2025-11-12T01:22:15,260 Collecting setuptools>=68 2025-11-12T01:22:15,358 Using cached https://www.piwheels.org/simple/setuptools/setuptools-80.9.0-py3-none-any.whl (1.2 MB) 2025-11-12T01:22:15,624 Collecting wheel 2025-11-12T01:22:15,640 Using cached https://www.piwheels.org/simple/wheel/wheel-0.45.1-py3-none-any.whl (72 kB) 2025-11-12T01:22:18,520 Installing collected packages: wheel, setuptools 2025-11-12T01:22:18,770 Creating /tmp/pip-build-env-79qsiwou/overlay/local/bin 2025-11-12T01:22:18,773 changing mode of /tmp/pip-build-env-79qsiwou/overlay/local/bin/wheel to 755 2025-11-12T01:22:22,397 Successfully installed setuptools-80.9.0 wheel-0.45.1 2025-11-12T01:22:22,668 Installing build dependencies: finished with status 'done' 2025-11-12T01:22:22,674 Getting requirements to build wheel: started 2025-11-12T01:22:22,676 Running command Getting requirements to build wheel 2025-11-12T01:22:23,359 running egg_info 2025-11-12T01:22:23,366 writing axiomatic_proofkit.egg-info/PKG-INFO 2025-11-12T01:22:23,370 writing dependency_links to axiomatic_proofkit.egg-info/dependency_links.txt 2025-11-12T01:22:23,372 writing requirements to axiomatic_proofkit.egg-info/requires.txt 2025-11-12T01:22:23,374 writing top-level names to axiomatic_proofkit.egg-info/top_level.txt 2025-11-12T01:22:23,396 reading manifest file 'axiomatic_proofkit.egg-info/SOURCES.txt' 2025-11-12T01:22:23,402 writing manifest file 'axiomatic_proofkit.egg-info/SOURCES.txt' 2025-11-12T01:22:23,499 Getting requirements to build wheel: finished with status 'done' 2025-11-12T01:22:23,503 Created temporary directory: /tmp/pip-modern-metadata-0gossdcg 2025-11-12T01:22:23,505 Preparing metadata (pyproject.toml): started 2025-11-12T01:22:23,507 Running command Preparing metadata (pyproject.toml) 2025-11-12T01:22:24,155 running dist_info 2025-11-12T01:22:24,168 creating /tmp/pip-modern-metadata-0gossdcg/axiomatic_proofkit.egg-info 2025-11-12T01:22:24,169 writing /tmp/pip-modern-metadata-0gossdcg/axiomatic_proofkit.egg-info/PKG-INFO 2025-11-12T01:22:24,173 writing dependency_links to /tmp/pip-modern-metadata-0gossdcg/axiomatic_proofkit.egg-info/dependency_links.txt 2025-11-12T01:22:24,175 writing requirements to /tmp/pip-modern-metadata-0gossdcg/axiomatic_proofkit.egg-info/requires.txt 2025-11-12T01:22:24,176 writing top-level names to /tmp/pip-modern-metadata-0gossdcg/axiomatic_proofkit.egg-info/top_level.txt 2025-11-12T01:22:24,178 writing manifest file '/tmp/pip-modern-metadata-0gossdcg/axiomatic_proofkit.egg-info/SOURCES.txt' 2025-11-12T01:22:24,197 reading manifest file '/tmp/pip-modern-metadata-0gossdcg/axiomatic_proofkit.egg-info/SOURCES.txt' 2025-11-12T01:22:24,202 writing manifest file '/tmp/pip-modern-metadata-0gossdcg/axiomatic_proofkit.egg-info/SOURCES.txt' 2025-11-12T01:22:24,203 creating '/tmp/pip-modern-metadata-0gossdcg/axiomatic_proofkit-0.1.3.dist-info' 2025-11-12T01:22:24,324 Preparing metadata (pyproject.toml): finished with status 'done' 2025-11-12T01:22:24,330 Source in /tmp/pip-wheel-qekz_0zy/axiomatic-proofkit_b3537bae84da49e18ee3b2c9d290c434 has version 0.1.3, which satisfies requirement axiomatic-proofkit==0.1.3 from https://files.pythonhosted.org/packages/0d/1d/a8401bebd575e67d12bbffe1be65c77f41f883311e8e95d2efe42f40be7b/axiomatic_proofkit-0.1.3.tar.gz 2025-11-12T01:22:24,331 Removed axiomatic-proofkit==0.1.3 from https://files.pythonhosted.org/packages/0d/1d/a8401bebd575e67d12bbffe1be65c77f41f883311e8e95d2efe42f40be7b/axiomatic_proofkit-0.1.3.tar.gz from build tracker '/tmp/pip-build-tracker-s2x3079q' 2025-11-12T01:22:24,336 Created temporary directory: /tmp/pip-unpack-n1zazpya 2025-11-12T01:22:24,337 Building wheels for collected packages: axiomatic-proofkit 2025-11-12T01:22:24,342 Created temporary directory: /tmp/pip-wheel-qd8bj467 2025-11-12T01:22:24,342 Destination directory: /tmp/pip-wheel-qd8bj467 2025-11-12T01:22:24,345 Building wheel for axiomatic-proofkit (pyproject.toml): started 2025-11-12T01:22:24,346 Running command Building wheel for axiomatic-proofkit (pyproject.toml) 2025-11-12T01:22:24,966 running bdist_wheel 2025-11-12T01:22:24,987 running build 2025-11-12T01:22:24,988 running build_py 2025-11-12T01:22:24,995 creating build/lib/axiomatic_proofkit 2025-11-12T01:22:24,997 copying axiomatic_proofkit/publish.py -> build/lib/axiomatic_proofkit 2025-11-12T01:22:24,999 copying axiomatic_proofkit/build.py -> build/lib/axiomatic_proofkit 2025-11-12T01:22:25,002 copying axiomatic_proofkit/__init__.py -> build/lib/axiomatic_proofkit 2025-11-12T01:22:25,004 copying axiomatic_proofkit/jcs.py -> build/lib/axiomatic_proofkit 2025-11-12T01:22:25,005 running egg_info 2025-11-12T01:22:25,017 writing axiomatic_proofkit.egg-info/PKG-INFO 2025-11-12T01:22:25,020 writing dependency_links to axiomatic_proofkit.egg-info/dependency_links.txt 2025-11-12T01:22:25,022 writing requirements to axiomatic_proofkit.egg-info/requires.txt 2025-11-12T01:22:25,023 writing top-level names to axiomatic_proofkit.egg-info/top_level.txt 2025-11-12T01:22:25,032 reading manifest file 'axiomatic_proofkit.egg-info/SOURCES.txt' 2025-11-12T01:22:25,037 writing manifest file 'axiomatic_proofkit.egg-info/SOURCES.txt' 2025-11-12T01:22:25,049 installing to build/bdist.linux-armv7l/wheel 2025-11-12T01:22:25,050 running install 2025-11-12T01:22:25,073 running install_lib 2025-11-12T01:22:25,080 creating build/bdist.linux-armv7l/wheel 2025-11-12T01:22:25,082 creating build/bdist.linux-armv7l/wheel/axiomatic_proofkit 2025-11-12T01:22:25,083 copying build/lib/axiomatic_proofkit/publish.py -> build/bdist.linux-armv7l/wheel/./axiomatic_proofkit 2025-11-12T01:22:25,086 copying build/lib/axiomatic_proofkit/build.py -> build/bdist.linux-armv7l/wheel/./axiomatic_proofkit 2025-11-12T01:22:25,088 copying build/lib/axiomatic_proofkit/__init__.py -> build/bdist.linux-armv7l/wheel/./axiomatic_proofkit 2025-11-12T01:22:25,090 copying build/lib/axiomatic_proofkit/jcs.py -> build/bdist.linux-armv7l/wheel/./axiomatic_proofkit 2025-11-12T01:22:25,091 running install_egg_info 2025-11-12T01:22:25,097 Copying axiomatic_proofkit.egg-info to build/bdist.linux-armv7l/wheel/./axiomatic_proofkit-0.1.3-py3.11.egg-info 2025-11-12T01:22:25,108 running install_scripts 2025-11-12T01:22:25,115 creating build/bdist.linux-armv7l/wheel/axiomatic_proofkit-0.1.3.dist-info/WHEEL 2025-11-12T01:22:25,118 creating '/tmp/pip-wheel-qd8bj467/.tmp-7t631nm5/axiomatic_proofkit-0.1.3-py3-none-any.whl' and adding 'build/bdist.linux-armv7l/wheel' to it 2025-11-12T01:22:25,121 adding 'axiomatic_proofkit/__init__.py' 2025-11-12T01:22:25,122 adding 'axiomatic_proofkit/build.py' 2025-11-12T01:22:25,124 adding 'axiomatic_proofkit/jcs.py' 2025-11-12T01:22:25,125 adding 'axiomatic_proofkit/publish.py' 2025-11-12T01:22:25,128 adding 'axiomatic_proofkit-0.1.3.dist-info/METADATA' 2025-11-12T01:22:25,129 adding 'axiomatic_proofkit-0.1.3.dist-info/WHEEL' 2025-11-12T01:22:25,130 adding 'axiomatic_proofkit-0.1.3.dist-info/top_level.txt' 2025-11-12T01:22:25,130 adding 'axiomatic_proofkit-0.1.3.dist-info/RECORD' 2025-11-12T01:22:25,132 removing build/bdist.linux-armv7l/wheel 2025-11-12T01:22:25,233 Building wheel for axiomatic-proofkit (pyproject.toml): finished with status 'done' 2025-11-12T01:22:25,237 Created wheel for axiomatic-proofkit: filename=axiomatic_proofkit-0.1.3-py3-none-any.whl size=7657 sha256=5f7c7bda1b5ebfdb38f584aac18c2ee1e0d5776222e86d2d19fd13d07304ab4b 2025-11-12T01:22:25,239 Stored in directory: /tmp/pip-ephem-wheel-cache-yaoyljt6/wheels/62/56/e5/30306389eea9d107c5596c9ea196f4086a8bd0eee43f1d0e55 2025-11-12T01:22:25,249 Successfully built axiomatic-proofkit 2025-11-12T01:22:25,252 Removed build tracker: '/tmp/pip-build-tracker-s2x3079q'