2025-11-12T00:39:40,478 Created temporary directory: /tmp/pip-ephem-wheel-cache-w8vtdwkh 2025-11-12T00:39:40,480 Created temporary directory: /tmp/pip-build-tracker-j2o91hks 2025-11-12T00:39:40,480 Initialized build tracking at /tmp/pip-build-tracker-j2o91hks 2025-11-12T00:39:40,481 Created build tracker: /tmp/pip-build-tracker-j2o91hks 2025-11-12T00:39:40,481 Entered build tracker: /tmp/pip-build-tracker-j2o91hks 2025-11-12T00:39:40,482 Created temporary directory: /tmp/pip-wheel-glkilu6z 2025-11-12T00:39:40,485 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:39:40,488 Created temporary directory: /tmp/pip-ephem-wheel-cache-wlf9rect 2025-11-12T00:39:40,512 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple 2025-11-12T00:39:40,516 2 location(s) to search for versions of axiomatic-proofkit: 2025-11-12T00:39:40,516 * https://pypi.org/simple/axiomatic-proofkit/ 2025-11-12T00:39:40,516 * https://www.piwheels.org/simple/axiomatic-proofkit/ 2025-11-12T00:39:40,517 Fetching project page and analyzing links: https://pypi.org/simple/axiomatic-proofkit/ 2025-11-12T00:39:40,518 Getting page https://pypi.org/simple/axiomatic-proofkit/ 2025-11-12T00:39:40,519 Found index url https://pypi.org/simple 2025-11-12T00:39:40,660 Fetched page https://pypi.org/simple/axiomatic-proofkit/ as application/vnd.pypi.simple.v1+json 2025-11-12T00:39:40,662 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:39:40,663 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:39:40,664 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:39:40,665 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:39:40,666 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:39:40,667 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:39:40,667 Fetching project page and analyzing links: https://www.piwheels.org/simple/axiomatic-proofkit/ 2025-11-12T00:39:40,668 Getting page https://www.piwheels.org/simple/axiomatic-proofkit/ 2025-11-12T00:39:40,669 Found index url https://www.piwheels.org/simple 2025-11-12T00:39:40,829 Fetched page https://www.piwheels.org/simple/axiomatic-proofkit/ as text/html 2025-11-12T00:39:40,830 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-12T00:39:40,831 Skipping link: not a file: https://www.piwheels.org/simple/axiomatic-proofkit/ 2025-11-12T00:39:40,832 Skipping link: not a file: https://pypi.org/simple/axiomatic-proofkit/ 2025-11-12T00:39:40,851 Given no hashes to check 1 links for project 'axiomatic-proofkit': discarding no candidates 2025-11-12T00:39:40,869 Collecting axiomatic-proofkit==0.1.1 2025-11-12T00:39:40,871 Created temporary directory: /tmp/pip-unpack-4cfow7t_ 2025-11-12T00:39:41,109 Downloading axiomatic_proofkit-0.1.1.tar.gz (6.8 kB) 2025-11-12T00:39:41,141 Added axiomatic-proofkit==0.1.1 from https://files.pythonhosted.org/packages/06/53/bd7afce699913182ba81631f45083562630723073a54cfd08896b925da4d/axiomatic_proofkit-0.1.1.tar.gz to build tracker '/tmp/pip-build-tracker-j2o91hks' 2025-11-12T00:39:41,146 Created temporary directory: /tmp/pip-build-env-ze7_b_dn 2025-11-12T00:39:41,151 Installing build dependencies: started 2025-11-12T00:39:41,152 Running command pip subprocess to install build dependencies 2025-11-12T00:39:42,320 Using pip 23.0.1 from /usr/lib/python3/dist-packages/pip (python 3.11) 2025-11-12T00:39:42,925 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:39:42,948 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple 2025-11-12T00:39:44,656 Collecting setuptools>=68 2025-11-12T00:39:44,768 Using cached https://www.piwheels.org/simple/setuptools/setuptools-80.9.0-py3-none-any.whl (1.2 MB) 2025-11-12T00:39:45,037 Collecting wheel 2025-11-12T00:39:45,055 Using cached https://www.piwheels.org/simple/wheel/wheel-0.45.1-py3-none-any.whl (72 kB) 2025-11-12T00:39:47,934 Installing collected packages: wheel, setuptools 2025-11-12T00:39:48,182 Creating /tmp/pip-build-env-ze7_b_dn/overlay/local/bin 2025-11-12T00:39:48,185 changing mode of /tmp/pip-build-env-ze7_b_dn/overlay/local/bin/wheel to 755 2025-11-12T00:39:51,894 Successfully installed setuptools-80.9.0 wheel-0.45.1 2025-11-12T00:39:52,166 Installing build dependencies: finished with status 'done' 2025-11-12T00:39:52,173 Getting requirements to build wheel: started 2025-11-12T00:39:52,174 Running command Getting requirements to build wheel 2025-11-12T00:39:52,891 running egg_info 2025-11-12T00:39:52,898 writing axiomatic_proofkit.egg-info/PKG-INFO 2025-11-12T00:39:52,902 writing dependency_links to axiomatic_proofkit.egg-info/dependency_links.txt 2025-11-12T00:39:52,904 writing requirements to axiomatic_proofkit.egg-info/requires.txt 2025-11-12T00:39:52,906 writing top-level names to axiomatic_proofkit.egg-info/top_level.txt 2025-11-12T00:39:52,928 reading manifest file 'axiomatic_proofkit.egg-info/SOURCES.txt' 2025-11-12T00:39:52,933 writing manifest file 'axiomatic_proofkit.egg-info/SOURCES.txt' 2025-11-12T00:39:53,031 Getting requirements to build wheel: finished with status 'done' 2025-11-12T00:39:53,035 Created temporary directory: /tmp/pip-modern-metadata-fi1dqd46 2025-11-12T00:39:53,037 Preparing metadata (pyproject.toml): started 2025-11-12T00:39:53,038 Running command Preparing metadata (pyproject.toml) 2025-11-12T00:39:53,713 running dist_info 2025-11-12T00:39:53,726 creating /tmp/pip-modern-metadata-fi1dqd46/axiomatic_proofkit.egg-info 2025-11-12T00:39:53,727 writing /tmp/pip-modern-metadata-fi1dqd46/axiomatic_proofkit.egg-info/PKG-INFO 2025-11-12T00:39:53,731 writing dependency_links to /tmp/pip-modern-metadata-fi1dqd46/axiomatic_proofkit.egg-info/dependency_links.txt 2025-11-12T00:39:53,733 writing requirements to /tmp/pip-modern-metadata-fi1dqd46/axiomatic_proofkit.egg-info/requires.txt 2025-11-12T00:39:53,734 writing top-level names to /tmp/pip-modern-metadata-fi1dqd46/axiomatic_proofkit.egg-info/top_level.txt 2025-11-12T00:39:53,735 writing manifest file '/tmp/pip-modern-metadata-fi1dqd46/axiomatic_proofkit.egg-info/SOURCES.txt' 2025-11-12T00:39:53,754 reading manifest file '/tmp/pip-modern-metadata-fi1dqd46/axiomatic_proofkit.egg-info/SOURCES.txt' 2025-11-12T00:39:53,759 writing manifest file '/tmp/pip-modern-metadata-fi1dqd46/axiomatic_proofkit.egg-info/SOURCES.txt' 2025-11-12T00:39:53,760 creating '/tmp/pip-modern-metadata-fi1dqd46/axiomatic_proofkit-0.1.1.dist-info' 2025-11-12T00:39:53,882 Preparing metadata (pyproject.toml): finished with status 'done' 2025-11-12T00:39:53,887 Source in /tmp/pip-wheel-glkilu6z/axiomatic-proofkit_5c8c071474f4404ea5140ba0c027ac86 has version 0.1.1, which satisfies requirement axiomatic-proofkit==0.1.1 from https://files.pythonhosted.org/packages/06/53/bd7afce699913182ba81631f45083562630723073a54cfd08896b925da4d/axiomatic_proofkit-0.1.1.tar.gz 2025-11-12T00:39:53,888 Removed axiomatic-proofkit==0.1.1 from https://files.pythonhosted.org/packages/06/53/bd7afce699913182ba81631f45083562630723073a54cfd08896b925da4d/axiomatic_proofkit-0.1.1.tar.gz from build tracker '/tmp/pip-build-tracker-j2o91hks' 2025-11-12T00:39:53,893 Created temporary directory: /tmp/pip-unpack-hzmaahco 2025-11-12T00:39:53,894 Building wheels for collected packages: axiomatic-proofkit 2025-11-12T00:39:53,898 Created temporary directory: /tmp/pip-wheel-gbq1qdhw 2025-11-12T00:39:53,899 Destination directory: /tmp/pip-wheel-gbq1qdhw 2025-11-12T00:39:53,901 Building wheel for axiomatic-proofkit (pyproject.toml): started 2025-11-12T00:39:53,902 Running command Building wheel for axiomatic-proofkit (pyproject.toml) 2025-11-12T00:39:54,525 running bdist_wheel 2025-11-12T00:39:54,549 running build 2025-11-12T00:39:54,550 running build_py 2025-11-12T00:39:54,556 creating build/lib/axiomatic_proofkit 2025-11-12T00:39:54,559 copying axiomatic_proofkit/publish.py -> build/lib/axiomatic_proofkit 2025-11-12T00:39:54,561 copying axiomatic_proofkit/build.py -> build/lib/axiomatic_proofkit 2025-11-12T00:39:54,563 copying axiomatic_proofkit/__init__.py -> build/lib/axiomatic_proofkit 2025-11-12T00:39:54,565 copying axiomatic_proofkit/jcs.py -> build/lib/axiomatic_proofkit 2025-11-12T00:39:54,567 running egg_info 2025-11-12T00:39:54,579 writing axiomatic_proofkit.egg-info/PKG-INFO 2025-11-12T00:39:54,582 writing dependency_links to axiomatic_proofkit.egg-info/dependency_links.txt 2025-11-12T00:39:54,584 writing requirements to axiomatic_proofkit.egg-info/requires.txt 2025-11-12T00:39:54,585 writing top-level names to axiomatic_proofkit.egg-info/top_level.txt 2025-11-12T00:39:54,596 reading manifest file 'axiomatic_proofkit.egg-info/SOURCES.txt' 2025-11-12T00:39:54,601 writing manifest file 'axiomatic_proofkit.egg-info/SOURCES.txt' 2025-11-12T00:39:54,614 installing to build/bdist.linux-armv7l/wheel 2025-11-12T00:39:54,614 running install 2025-11-12T00:39:54,639 running install_lib 2025-11-12T00:39:54,645 creating build/bdist.linux-armv7l/wheel 2025-11-12T00:39:54,647 creating build/bdist.linux-armv7l/wheel/axiomatic_proofkit 2025-11-12T00:39:54,649 copying build/lib/axiomatic_proofkit/publish.py -> build/bdist.linux-armv7l/wheel/./axiomatic_proofkit 2025-11-12T00:39:54,651 copying build/lib/axiomatic_proofkit/build.py -> build/bdist.linux-armv7l/wheel/./axiomatic_proofkit 2025-11-12T00:39:54,653 copying build/lib/axiomatic_proofkit/__init__.py -> build/bdist.linux-armv7l/wheel/./axiomatic_proofkit 2025-11-12T00:39:54,655 copying build/lib/axiomatic_proofkit/jcs.py -> build/bdist.linux-armv7l/wheel/./axiomatic_proofkit 2025-11-12T00:39:54,656 running install_egg_info 2025-11-12T00:39:54,662 Copying axiomatic_proofkit.egg-info to build/bdist.linux-armv7l/wheel/./axiomatic_proofkit-0.1.1-py3.11.egg-info 2025-11-12T00:39:54,673 running install_scripts 2025-11-12T00:39:54,680 creating build/bdist.linux-armv7l/wheel/axiomatic_proofkit-0.1.1.dist-info/WHEEL 2025-11-12T00:39:54,683 creating '/tmp/pip-wheel-gbq1qdhw/.tmp-yvxpk8f1/axiomatic_proofkit-0.1.1-py3-none-any.whl' and adding 'build/bdist.linux-armv7l/wheel' to it 2025-11-12T00:39:54,685 adding 'axiomatic_proofkit/__init__.py' 2025-11-12T00:39:54,687 adding 'axiomatic_proofkit/build.py' 2025-11-12T00:39:54,688 adding 'axiomatic_proofkit/jcs.py' 2025-11-12T00:39:54,689 adding 'axiomatic_proofkit/publish.py' 2025-11-12T00:39:54,692 adding 'axiomatic_proofkit-0.1.1.dist-info/METADATA' 2025-11-12T00:39:54,693 adding 'axiomatic_proofkit-0.1.1.dist-info/WHEEL' 2025-11-12T00:39:54,694 adding 'axiomatic_proofkit-0.1.1.dist-info/top_level.txt' 2025-11-12T00:39:54,695 adding 'axiomatic_proofkit-0.1.1.dist-info/RECORD' 2025-11-12T00:39:54,696 removing build/bdist.linux-armv7l/wheel 2025-11-12T00:39:54,798 Building wheel for axiomatic-proofkit (pyproject.toml): finished with status 'done' 2025-11-12T00:39:54,802 Created wheel for axiomatic-proofkit: filename=axiomatic_proofkit-0.1.1-py3-none-any.whl size=7807 sha256=278004bb2f4c4f2a464c19e5f9ecf7026adc7483ceece371082da42ee63645a0 2025-11-12T00:39:54,804 Stored in directory: /tmp/pip-ephem-wheel-cache-wlf9rect/wheels/45/e2/77/630c5f4a0542812cf9c27917964a40fe4b0b6ec1d776c5e07c 2025-11-12T00:39:54,814 Successfully built axiomatic-proofkit 2025-11-12T00:39:54,817 Removed build tracker: '/tmp/pip-build-tracker-j2o91hks'