2025-11-20T18:12:29,553 Created temporary directory: /tmp/pip-ephem-wheel-cache-6t70ttrn 2025-11-20T18:12:29,555 Created temporary directory: /tmp/pip-build-tracker-p34mbim2 2025-11-20T18:12:29,555 Initialized build tracking at /tmp/pip-build-tracker-p34mbim2 2025-11-20T18:12:29,556 Created build tracker: /tmp/pip-build-tracker-p34mbim2 2025-11-20T18:12:29,556 Entered build tracker: /tmp/pip-build-tracker-p34mbim2 2025-11-20T18:12:29,557 Created temporary directory: /tmp/pip-wheel-m0f00q6q 2025-11-20T18:12:29,560 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-20T18:12:29,563 Created temporary directory: /tmp/pip-ephem-wheel-cache-h5ih3gtl 2025-11-20T18:12:29,585 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple 2025-11-20T18:12:29,589 2 location(s) to search for versions of axiomatic-proofkit: 2025-11-20T18:12:29,589 * https://pypi.org/simple/axiomatic-proofkit/ 2025-11-20T18:12:29,589 * https://www.piwheels.org/simple/axiomatic-proofkit/ 2025-11-20T18:12:29,590 Fetching project page and analyzing links: https://pypi.org/simple/axiomatic-proofkit/ 2025-11-20T18:12:29,591 Getting page https://pypi.org/simple/axiomatic-proofkit/ 2025-11-20T18:12:29,592 Found index url https://pypi.org/simple 2025-11-20T18:12:29,810 Fetched page https://pypi.org/simple/axiomatic-proofkit/ as application/vnd.pypi.simple.v1+json 2025-11-20T18:12:29,813 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-20T18:12:29,814 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-20T18:12:29,814 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-20T18:12:29,816 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-20T18:12:29,816 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-20T18:12:29,817 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-20T18:12:29,818 Skipping link: No binaries permitted for axiomatic-proofkit: https://files.pythonhosted.org/packages/4f/21/c345cefa1527f1bb0fc01d06016f979d7728f70cf11188df477db3c43f68/axiomatic_proofkit-0.1.4-py3-none-any.whl (from https://pypi.org/simple/axiomatic-proofkit/) (requires-python:>=3.10) 2025-11-20T18:12:29,819 Found link https://files.pythonhosted.org/packages/a6/67/b1a62bf00f37cfb0a16a7a482aca3054dd3c7938d690e7e7628d567e9762/axiomatic_proofkit-0.1.4.tar.gz (from https://pypi.org/simple/axiomatic-proofkit/) (requires-python:>=3.10), version: 0.1.4 2025-11-20T18:12:29,820 Fetching project page and analyzing links: https://www.piwheels.org/simple/axiomatic-proofkit/ 2025-11-20T18:12:29,821 Getting page https://www.piwheels.org/simple/axiomatic-proofkit/ 2025-11-20T18:12:29,822 Found index url https://www.piwheels.org/simple 2025-11-20T18:12:29,979 Fetched page https://www.piwheels.org/simple/axiomatic-proofkit/ as text/html 2025-11-20T18:12:29,981 Skipping link: No binaries permitted for axiomatic-proofkit: https://www.piwheels.org/simple/axiomatic-proofkit/axiomatic_proofkit-0.1.3-py3-none-any.whl#sha256=5f7c7bda1b5ebfdb38f584aac18c2ee1e0d5776222e86d2d19fd13d07304ab4b (from https://www.piwheels.org/simple/axiomatic-proofkit/) (requires-python:>=3.10) 2025-11-20T18:12:29,982 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-20T18:12:29,982 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-20T18:12:29,983 Skipping link: not a file: https://www.piwheels.org/simple/axiomatic-proofkit/ 2025-11-20T18:12:29,984 Skipping link: not a file: https://pypi.org/simple/axiomatic-proofkit/ 2025-11-20T18:12:30,003 Given no hashes to check 1 links for project 'axiomatic-proofkit': discarding no candidates 2025-11-20T18:12:30,020 Collecting axiomatic-proofkit==0.1.4 2025-11-20T18:12:30,023 Created temporary directory: /tmp/pip-unpack-w2_l72v4 2025-11-20T18:12:30,161 Downloading axiomatic_proofkit-0.1.4.tar.gz (7.7 kB) 2025-11-20T18:12:30,194 Added axiomatic-proofkit==0.1.4 from https://files.pythonhosted.org/packages/a6/67/b1a62bf00f37cfb0a16a7a482aca3054dd3c7938d690e7e7628d567e9762/axiomatic_proofkit-0.1.4.tar.gz to build tracker '/tmp/pip-build-tracker-p34mbim2' 2025-11-20T18:12:30,198 Created temporary directory: /tmp/pip-build-env-xtknze1c 2025-11-20T18:12:30,203 Installing build dependencies: started 2025-11-20T18:12:30,204 Running command pip subprocess to install build dependencies 2025-11-20T18:12:31,336 Using pip 23.0.1 from /usr/lib/python3/dist-packages/pip (python 3.11) 2025-11-20T18:12:31,994 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-20T18:12:32,017 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple 2025-11-20T18:12:33,722 Collecting setuptools>=68 2025-11-20T18:12:33,927 Using cached https://www.piwheels.org/simple/setuptools/setuptools-80.9.0-py3-none-any.whl (1.2 MB) 2025-11-20T18:12:34,214 Collecting wheel 2025-11-20T18:12:34,231 Using cached https://www.piwheels.org/simple/wheel/wheel-0.45.1-py3-none-any.whl (72 kB) 2025-11-20T18:12:37,125 Installing collected packages: wheel, setuptools 2025-11-20T18:12:37,365 Creating /tmp/pip-build-env-xtknze1c/overlay/local/bin 2025-11-20T18:12:37,367 changing mode of /tmp/pip-build-env-xtknze1c/overlay/local/bin/wheel to 755 2025-11-20T18:12:41,017 Successfully installed setuptools-80.9.0 wheel-0.45.1 2025-11-20T18:12:41,286 Installing build dependencies: finished with status 'done' 2025-11-20T18:12:41,293 Getting requirements to build wheel: started 2025-11-20T18:12:41,294 Running command Getting requirements to build wheel 2025-11-20T18:12:41,978 running egg_info 2025-11-20T18:12:41,985 writing axiomatic_proofkit.egg-info/PKG-INFO 2025-11-20T18:12:41,989 writing dependency_links to axiomatic_proofkit.egg-info/dependency_links.txt 2025-11-20T18:12:41,991 writing requirements to axiomatic_proofkit.egg-info/requires.txt 2025-11-20T18:12:41,992 writing top-level names to axiomatic_proofkit.egg-info/top_level.txt 2025-11-20T18:12:42,013 reading manifest file 'axiomatic_proofkit.egg-info/SOURCES.txt' 2025-11-20T18:12:42,018 writing manifest file 'axiomatic_proofkit.egg-info/SOURCES.txt' 2025-11-20T18:12:42,114 Getting requirements to build wheel: finished with status 'done' 2025-11-20T18:12:42,118 Created temporary directory: /tmp/pip-modern-metadata-it24hzc7 2025-11-20T18:12:42,120 Preparing metadata (pyproject.toml): started 2025-11-20T18:12:42,122 Running command Preparing metadata (pyproject.toml) 2025-11-20T18:12:42,756 running dist_info 2025-11-20T18:12:42,768 creating /tmp/pip-modern-metadata-it24hzc7/axiomatic_proofkit.egg-info 2025-11-20T18:12:42,769 writing /tmp/pip-modern-metadata-it24hzc7/axiomatic_proofkit.egg-info/PKG-INFO 2025-11-20T18:12:42,773 writing dependency_links to /tmp/pip-modern-metadata-it24hzc7/axiomatic_proofkit.egg-info/dependency_links.txt 2025-11-20T18:12:42,774 writing requirements to /tmp/pip-modern-metadata-it24hzc7/axiomatic_proofkit.egg-info/requires.txt 2025-11-20T18:12:42,775 writing top-level names to /tmp/pip-modern-metadata-it24hzc7/axiomatic_proofkit.egg-info/top_level.txt 2025-11-20T18:12:42,777 writing manifest file '/tmp/pip-modern-metadata-it24hzc7/axiomatic_proofkit.egg-info/SOURCES.txt' 2025-11-20T18:12:42,797 reading manifest file '/tmp/pip-modern-metadata-it24hzc7/axiomatic_proofkit.egg-info/SOURCES.txt' 2025-11-20T18:12:42,802 writing manifest file '/tmp/pip-modern-metadata-it24hzc7/axiomatic_proofkit.egg-info/SOURCES.txt' 2025-11-20T18:12:42,803 creating '/tmp/pip-modern-metadata-it24hzc7/axiomatic_proofkit-0.1.4.dist-info' 2025-11-20T18:12:42,924 Preparing metadata (pyproject.toml): finished with status 'done' 2025-11-20T18:12:42,929 Source in /tmp/pip-wheel-m0f00q6q/axiomatic-proofkit_b47c5994758940c2ab555c077e3998e6 has version 0.1.4, which satisfies requirement axiomatic-proofkit==0.1.4 from https://files.pythonhosted.org/packages/a6/67/b1a62bf00f37cfb0a16a7a482aca3054dd3c7938d690e7e7628d567e9762/axiomatic_proofkit-0.1.4.tar.gz 2025-11-20T18:12:42,930 Removed axiomatic-proofkit==0.1.4 from https://files.pythonhosted.org/packages/a6/67/b1a62bf00f37cfb0a16a7a482aca3054dd3c7938d690e7e7628d567e9762/axiomatic_proofkit-0.1.4.tar.gz from build tracker '/tmp/pip-build-tracker-p34mbim2' 2025-11-20T18:12:42,936 Created temporary directory: /tmp/pip-unpack-0cib6t26 2025-11-20T18:12:42,937 Building wheels for collected packages: axiomatic-proofkit 2025-11-20T18:12:42,941 Created temporary directory: /tmp/pip-wheel-oqrs7ss5 2025-11-20T18:12:42,942 Destination directory: /tmp/pip-wheel-oqrs7ss5 2025-11-20T18:12:42,944 Building wheel for axiomatic-proofkit (pyproject.toml): started 2025-11-20T18:12:42,945 Running command Building wheel for axiomatic-proofkit (pyproject.toml) 2025-11-20T18:12:43,583 running bdist_wheel 2025-11-20T18:12:43,604 running build 2025-11-20T18:12:43,604 running build_py 2025-11-20T18:12:43,611 creating build/lib/axiomatic_proofkit 2025-11-20T18:12:43,613 copying axiomatic_proofkit/publish.py -> build/lib/axiomatic_proofkit 2025-11-20T18:12:43,616 copying axiomatic_proofkit/jcs.py -> build/lib/axiomatic_proofkit 2025-11-20T18:12:43,618 copying axiomatic_proofkit/__init__.py -> build/lib/axiomatic_proofkit 2025-11-20T18:12:43,620 copying axiomatic_proofkit/build.py -> build/lib/axiomatic_proofkit 2025-11-20T18:12:43,622 running egg_info 2025-11-20T18:12:43,634 writing axiomatic_proofkit.egg-info/PKG-INFO 2025-11-20T18:12:43,637 writing dependency_links to axiomatic_proofkit.egg-info/dependency_links.txt 2025-11-20T18:12:43,639 writing requirements to axiomatic_proofkit.egg-info/requires.txt 2025-11-20T18:12:43,640 writing top-level names to axiomatic_proofkit.egg-info/top_level.txt 2025-11-20T18:12:43,649 reading manifest file 'axiomatic_proofkit.egg-info/SOURCES.txt' 2025-11-20T18:12:43,654 writing manifest file 'axiomatic_proofkit.egg-info/SOURCES.txt' 2025-11-20T18:12:43,666 installing to build/bdist.linux-armv7l/wheel 2025-11-20T18:12:43,667 running install 2025-11-20T18:12:43,690 running install_lib 2025-11-20T18:12:43,696 creating build/bdist.linux-armv7l/wheel 2025-11-20T18:12:43,698 creating build/bdist.linux-armv7l/wheel/axiomatic_proofkit 2025-11-20T18:12:43,700 copying build/lib/axiomatic_proofkit/publish.py -> build/bdist.linux-armv7l/wheel/./axiomatic_proofkit 2025-11-20T18:12:43,702 copying build/lib/axiomatic_proofkit/jcs.py -> build/bdist.linux-armv7l/wheel/./axiomatic_proofkit 2025-11-20T18:12:43,704 copying build/lib/axiomatic_proofkit/__init__.py -> build/bdist.linux-armv7l/wheel/./axiomatic_proofkit 2025-11-20T18:12:43,706 copying build/lib/axiomatic_proofkit/build.py -> build/bdist.linux-armv7l/wheel/./axiomatic_proofkit 2025-11-20T18:12:43,707 running install_egg_info 2025-11-20T18:12:43,713 Copying axiomatic_proofkit.egg-info to build/bdist.linux-armv7l/wheel/./axiomatic_proofkit-0.1.4-py3.11.egg-info 2025-11-20T18:12:43,723 running install_scripts 2025-11-20T18:12:43,731 creating build/bdist.linux-armv7l/wheel/axiomatic_proofkit-0.1.4.dist-info/WHEEL 2025-11-20T18:12:43,733 creating '/tmp/pip-wheel-oqrs7ss5/.tmp-1cgq8sv9/axiomatic_proofkit-0.1.4-py3-none-any.whl' and adding 'build/bdist.linux-armv7l/wheel' to it 2025-11-20T18:12:43,736 adding 'axiomatic_proofkit/__init__.py' 2025-11-20T18:12:43,737 adding 'axiomatic_proofkit/build.py' 2025-11-20T18:12:43,739 adding 'axiomatic_proofkit/jcs.py' 2025-11-20T18:12:43,740 adding 'axiomatic_proofkit/publish.py' 2025-11-20T18:12:43,743 adding 'axiomatic_proofkit-0.1.4.dist-info/METADATA' 2025-11-20T18:12:43,745 adding 'axiomatic_proofkit-0.1.4.dist-info/WHEEL' 2025-11-20T18:12:43,746 adding 'axiomatic_proofkit-0.1.4.dist-info/top_level.txt' 2025-11-20T18:12:43,747 adding 'axiomatic_proofkit-0.1.4.dist-info/RECORD' 2025-11-20T18:12:43,748 removing build/bdist.linux-armv7l/wheel 2025-11-20T18:12:43,849 Building wheel for axiomatic-proofkit (pyproject.toml): finished with status 'done' 2025-11-20T18:12:43,854 Created wheel for axiomatic-proofkit: filename=axiomatic_proofkit-0.1.4-py3-none-any.whl size=8618 sha256=2bd530dee98d8f5aaa9202a0dd40e4dd0db05ffea3985c2ff4c8096aa177d5ed 2025-11-20T18:12:43,855 Stored in directory: /tmp/pip-ephem-wheel-cache-h5ih3gtl/wheels/17/9d/7e/1b4a9eb64f5aa3bb3ebaddddac5a55263237dd0616af329775 2025-11-20T18:12:43,867 Successfully built axiomatic-proofkit 2025-11-20T18:12:43,870 Removed build tracker: '/tmp/pip-build-tracker-p34mbim2'