2025-11-12T00:20:08,800 Created temporary directory: /tmp/pip-ephem-wheel-cache-hoo_uzua 2025-11-12T00:20:08,802 Created temporary directory: /tmp/pip-build-tracker-ybl199j0 2025-11-12T00:20:08,802 Initialized build tracking at /tmp/pip-build-tracker-ybl199j0 2025-11-12T00:20:08,803 Created build tracker: /tmp/pip-build-tracker-ybl199j0 2025-11-12T00:20:08,803 Entered build tracker: /tmp/pip-build-tracker-ybl199j0 2025-11-12T00:20:08,804 Created temporary directory: /tmp/pip-wheel-_7gtf5i2 2025-11-12T00:20:08,807 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-12T00:20:08,809 Created temporary directory: /tmp/pip-ephem-wheel-cache-0d41ecf_ 2025-11-12T00:20:08,831 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple 2025-11-12T00:20:08,835 2 location(s) to search for versions of axiomatic-proofkit: 2025-11-12T00:20:08,835 * https://pypi.org/simple/axiomatic-proofkit/ 2025-11-12T00:20:08,835 * https://www.piwheels.org/simple/axiomatic-proofkit/ 2025-11-12T00:20:08,836 Fetching project page and analyzing links: https://pypi.org/simple/axiomatic-proofkit/ 2025-11-12T00:20:08,836 Getting page https://pypi.org/simple/axiomatic-proofkit/ 2025-11-12T00:20:08,838 Found index url https://pypi.org/simple 2025-11-12T00:20:09,060 Fetched page https://pypi.org/simple/axiomatic-proofkit/ as application/vnd.pypi.simple.v1+json 2025-11-12T00:20:09,062 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-12T00:20:09,063 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-12T00:20:09,063 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-12T00:20:09,065 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-12T00:20:09,065 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-12T00:20:09,066 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-12T00:20:09,067 Fetching project page and analyzing links: https://www.piwheels.org/simple/axiomatic-proofkit/ 2025-11-12T00:20:09,068 Getting page https://www.piwheels.org/simple/axiomatic-proofkit/ 2025-11-12T00:20:09,069 Found index url https://www.piwheels.org/simple 2025-11-12T00:20:09,225 Fetched page https://www.piwheels.org/simple/axiomatic-proofkit/ as text/html 2025-11-12T00:20:09,226 Skipping link: not a file: https://www.piwheels.org/simple/axiomatic-proofkit/ 2025-11-12T00:20:09,227 Skipping link: not a file: https://pypi.org/simple/axiomatic-proofkit/ 2025-11-12T00:20:09,246 Given no hashes to check 1 links for project 'axiomatic-proofkit': discarding no candidates 2025-11-12T00:20:09,264 Collecting axiomatic-proofkit==0.1.0 2025-11-12T00:20:09,267 Created temporary directory: /tmp/pip-unpack-uy7de6bc 2025-11-12T00:20:09,481 Downloading axiomatic_proofkit-0.1.0.tar.gz (4.0 kB) 2025-11-12T00:20:09,510 Added axiomatic-proofkit==0.1.0 from https://files.pythonhosted.org/packages/3b/ff/92221175b521bb559f6a0e4d8256561b55dbaadbd0b8ee35c1b66de8523a/axiomatic_proofkit-0.1.0.tar.gz to build tracker '/tmp/pip-build-tracker-ybl199j0' 2025-11-12T00:20:09,514 Created temporary directory: /tmp/pip-build-env-5jb50tmm 2025-11-12T00:20:09,519 Installing build dependencies: started 2025-11-12T00:20:09,520 Running command pip subprocess to install build dependencies 2025-11-12T00:20:10,651 Using pip 23.0.1 from /usr/lib/python3/dist-packages/pip (python 3.11) 2025-11-12T00:20:11,242 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-12T00:20:11,266 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple 2025-11-12T00:20:12,958 Collecting setuptools>=68 2025-11-12T00:20:13,053 Using cached https://www.piwheels.org/simple/setuptools/setuptools-80.9.0-py3-none-any.whl (1.2 MB) 2025-11-12T00:20:13,325 Collecting wheel 2025-11-12T00:20:13,342 Using cached https://www.piwheels.org/simple/wheel/wheel-0.45.1-py3-none-any.whl (72 kB) 2025-11-12T00:20:16,216 Installing collected packages: wheel, setuptools 2025-11-12T00:20:16,460 Creating /tmp/pip-build-env-5jb50tmm/overlay/local/bin 2025-11-12T00:20:16,462 changing mode of /tmp/pip-build-env-5jb50tmm/overlay/local/bin/wheel to 755 2025-11-12T00:20:20,069 Successfully installed setuptools-80.9.0 wheel-0.45.1 2025-11-12T00:20:20,340 Installing build dependencies: finished with status 'done' 2025-11-12T00:20:20,347 Getting requirements to build wheel: started 2025-11-12T00:20:20,348 Running command Getting requirements to build wheel 2025-11-12T00:20:21,022 running egg_info 2025-11-12T00:20:21,029 writing axiomatic_proofkit.egg-info/PKG-INFO 2025-11-12T00:20:21,031 writing dependency_links to axiomatic_proofkit.egg-info/dependency_links.txt 2025-11-12T00:20:21,033 writing requirements to axiomatic_proofkit.egg-info/requires.txt 2025-11-12T00:20:21,035 writing top-level names to axiomatic_proofkit.egg-info/top_level.txt 2025-11-12T00:20:21,056 reading manifest file 'axiomatic_proofkit.egg-info/SOURCES.txt' 2025-11-12T00:20:21,061 writing manifest file 'axiomatic_proofkit.egg-info/SOURCES.txt' 2025-11-12T00:20:21,158 Getting requirements to build wheel: finished with status 'done' 2025-11-12T00:20:21,162 Created temporary directory: /tmp/pip-modern-metadata-qsqxjipw 2025-11-12T00:20:21,164 Preparing metadata (pyproject.toml): started 2025-11-12T00:20:21,166 Running command Preparing metadata (pyproject.toml) 2025-11-12T00:20:21,797 running dist_info 2025-11-12T00:20:21,810 creating /tmp/pip-modern-metadata-qsqxjipw/axiomatic_proofkit.egg-info 2025-11-12T00:20:21,810 writing /tmp/pip-modern-metadata-qsqxjipw/axiomatic_proofkit.egg-info/PKG-INFO 2025-11-12T00:20:21,813 writing dependency_links to /tmp/pip-modern-metadata-qsqxjipw/axiomatic_proofkit.egg-info/dependency_links.txt 2025-11-12T00:20:21,815 writing requirements to /tmp/pip-modern-metadata-qsqxjipw/axiomatic_proofkit.egg-info/requires.txt 2025-11-12T00:20:21,817 writing top-level names to /tmp/pip-modern-metadata-qsqxjipw/axiomatic_proofkit.egg-info/top_level.txt 2025-11-12T00:20:21,818 writing manifest file '/tmp/pip-modern-metadata-qsqxjipw/axiomatic_proofkit.egg-info/SOURCES.txt' 2025-11-12T00:20:21,837 reading manifest file '/tmp/pip-modern-metadata-qsqxjipw/axiomatic_proofkit.egg-info/SOURCES.txt' 2025-11-12T00:20:21,841 writing manifest file '/tmp/pip-modern-metadata-qsqxjipw/axiomatic_proofkit.egg-info/SOURCES.txt' 2025-11-12T00:20:21,843 creating '/tmp/pip-modern-metadata-qsqxjipw/axiomatic_proofkit-0.1.0.dist-info' 2025-11-12T00:20:21,962 Preparing metadata (pyproject.toml): finished with status 'done' 2025-11-12T00:20:21,967 Source in /tmp/pip-wheel-_7gtf5i2/axiomatic-proofkit_f13f16a6ccad440dbb35f3ee4662ea1e has version 0.1.0, which satisfies requirement axiomatic-proofkit==0.1.0 from https://files.pythonhosted.org/packages/3b/ff/92221175b521bb559f6a0e4d8256561b55dbaadbd0b8ee35c1b66de8523a/axiomatic_proofkit-0.1.0.tar.gz 2025-11-12T00:20:21,968 Removed axiomatic-proofkit==0.1.0 from https://files.pythonhosted.org/packages/3b/ff/92221175b521bb559f6a0e4d8256561b55dbaadbd0b8ee35c1b66de8523a/axiomatic_proofkit-0.1.0.tar.gz from build tracker '/tmp/pip-build-tracker-ybl199j0' 2025-11-12T00:20:21,972 Created temporary directory: /tmp/pip-unpack-1oum8cgc 2025-11-12T00:20:21,973 Building wheels for collected packages: axiomatic-proofkit 2025-11-12T00:20:21,977 Created temporary directory: /tmp/pip-wheel-l6unyw23 2025-11-12T00:20:21,978 Destination directory: /tmp/pip-wheel-l6unyw23 2025-11-12T00:20:21,980 Building wheel for axiomatic-proofkit (pyproject.toml): started 2025-11-12T00:20:21,981 Running command Building wheel for axiomatic-proofkit (pyproject.toml) 2025-11-12T00:20:22,598 running bdist_wheel 2025-11-12T00:20:22,619 running build 2025-11-12T00:20:22,620 running build_py 2025-11-12T00:20:22,626 creating build/lib/axiomatic_proofkit 2025-11-12T00:20:22,628 copying axiomatic_proofkit/publish.py -> build/lib/axiomatic_proofkit 2025-11-12T00:20:22,631 copying axiomatic_proofkit/build.py -> build/lib/axiomatic_proofkit 2025-11-12T00:20:22,633 copying axiomatic_proofkit/__init__.py -> build/lib/axiomatic_proofkit 2025-11-12T00:20:22,635 copying axiomatic_proofkit/jcs.py -> build/lib/axiomatic_proofkit 2025-11-12T00:20:22,636 running egg_info 2025-11-12T00:20:22,648 writing axiomatic_proofkit.egg-info/PKG-INFO 2025-11-12T00:20:22,650 writing dependency_links to axiomatic_proofkit.egg-info/dependency_links.txt 2025-11-12T00:20:22,651 writing requirements to axiomatic_proofkit.egg-info/requires.txt 2025-11-12T00:20:22,652 writing top-level names to axiomatic_proofkit.egg-info/top_level.txt 2025-11-12T00:20:22,661 reading manifest file 'axiomatic_proofkit.egg-info/SOURCES.txt' 2025-11-12T00:20:22,666 writing manifest file 'axiomatic_proofkit.egg-info/SOURCES.txt' 2025-11-12T00:20:22,678 installing to build/bdist.linux-armv7l/wheel 2025-11-12T00:20:22,679 running install 2025-11-12T00:20:22,701 running install_lib 2025-11-12T00:20:22,708 creating build/bdist.linux-armv7l/wheel 2025-11-12T00:20:22,710 creating build/bdist.linux-armv7l/wheel/axiomatic_proofkit 2025-11-12T00:20:22,711 copying build/lib/axiomatic_proofkit/publish.py -> build/bdist.linux-armv7l/wheel/./axiomatic_proofkit 2025-11-12T00:20:22,714 copying build/lib/axiomatic_proofkit/build.py -> build/bdist.linux-armv7l/wheel/./axiomatic_proofkit 2025-11-12T00:20:22,716 copying build/lib/axiomatic_proofkit/__init__.py -> build/bdist.linux-armv7l/wheel/./axiomatic_proofkit 2025-11-12T00:20:22,718 copying build/lib/axiomatic_proofkit/jcs.py -> build/bdist.linux-armv7l/wheel/./axiomatic_proofkit 2025-11-12T00:20:22,719 running install_egg_info 2025-11-12T00:20:22,725 Copying axiomatic_proofkit.egg-info to build/bdist.linux-armv7l/wheel/./axiomatic_proofkit-0.1.0-py3.11.egg-info 2025-11-12T00:20:22,734 running install_scripts 2025-11-12T00:20:22,741 creating build/bdist.linux-armv7l/wheel/axiomatic_proofkit-0.1.0.dist-info/WHEEL 2025-11-12T00:20:22,744 creating '/tmp/pip-wheel-l6unyw23/.tmp-npjbb29f/axiomatic_proofkit-0.1.0-py3-none-any.whl' and adding 'build/bdist.linux-armv7l/wheel' to it 2025-11-12T00:20:22,747 adding 'axiomatic_proofkit/__init__.py' 2025-11-12T00:20:22,748 adding 'axiomatic_proofkit/build.py' 2025-11-12T00:20:22,750 adding 'axiomatic_proofkit/jcs.py' 2025-11-12T00:20:22,751 adding 'axiomatic_proofkit/publish.py' 2025-11-12T00:20:22,753 adding 'axiomatic_proofkit-0.1.0.dist-info/METADATA' 2025-11-12T00:20:22,754 adding 'axiomatic_proofkit-0.1.0.dist-info/WHEEL' 2025-11-12T00:20:22,755 adding 'axiomatic_proofkit-0.1.0.dist-info/top_level.txt' 2025-11-12T00:20:22,756 adding 'axiomatic_proofkit-0.1.0.dist-info/RECORD' 2025-11-12T00:20:22,757 removing build/bdist.linux-armv7l/wheel 2025-11-12T00:20:22,859 Building wheel for axiomatic-proofkit (pyproject.toml): finished with status 'done' 2025-11-12T00:20:22,864 Created wheel for axiomatic-proofkit: filename=axiomatic_proofkit-0.1.0-py3-none-any.whl size=5122 sha256=42c56910f5659af19c5655ad9386afa6cf5450f2d32e1d4eb28e5e946fc3c860 2025-11-12T00:20:22,865 Stored in directory: /tmp/pip-ephem-wheel-cache-0d41ecf_/wheels/82/7b/a5/53ca6a380dcd39c027772dd4b11f0fe6cc22017357a282c672 2025-11-12T00:20:22,874 Successfully built axiomatic-proofkit 2025-11-12T00:20:22,877 Removed build tracker: '/tmp/pip-build-tracker-ybl199j0'