2025-12-15T20:02:09,067 Created temporary directory: /tmp/pip-ephem-wheel-cache-jv0mp4z6 2025-12-15T20:02:09,069 Created temporary directory: /tmp/pip-build-tracker-zziob22l 2025-12-15T20:02:09,070 Initialized build tracking at /tmp/pip-build-tracker-zziob22l 2025-12-15T20:02:09,070 Created build tracker: /tmp/pip-build-tracker-zziob22l 2025-12-15T20:02:09,071 Entered build tracker: /tmp/pip-build-tracker-zziob22l 2025-12-15T20:02:09,072 Created temporary directory: /tmp/pip-wheel-vvk24lcn 2025-12-15T20:02:09,074 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-12-15T20:02:09,077 Created temporary directory: /tmp/pip-ephem-wheel-cache-xkvy7kmk 2025-12-15T20:02:09,100 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple 2025-12-15T20:02:09,103 2 location(s) to search for versions of proof: 2025-12-15T20:02:09,103 * https://pypi.org/simple/proof/ 2025-12-15T20:02:09,103 * https://www.piwheels.org/simple/proof/ 2025-12-15T20:02:09,104 Fetching project page and analyzing links: https://pypi.org/simple/proof/ 2025-12-15T20:02:09,105 Getting page https://pypi.org/simple/proof/ 2025-12-15T20:02:09,106 Found index url https://pypi.org/simple 2025-12-15T20:02:09,314 Fetched page https://pypi.org/simple/proof/ as application/vnd.pypi.simple.v1+json 2025-12-15T20:02:09,317 Skipping link: No binaries permitted for proof: https://files.pythonhosted.org/packages/e8/7f/91676d533b615fab5ce56191d239ad61c8b11b48214a38132ad67ed4872f/proof-0.1.0-py2.py3-none-any.whl (from https://pypi.org/simple/proof/) 2025-12-15T20:02:09,318 Found link https://files.pythonhosted.org/packages/b1/64/732195235ce0828717aab5140c17ae50a60c726495ebea5b88e053a3f3b7/proof-0.1.0.tar.gz (from https://pypi.org/simple/proof/), version: 0.1.0 2025-12-15T20:02:09,319 Skipping link: No binaries permitted for proof: https://files.pythonhosted.org/packages/1a/30/5a9cc23d0e63332e093f0185f97e16310eae51b75076dd0fb17279e314f3/proof-0.2.0-py2.py3-none-any.whl (from https://pypi.org/simple/proof/) 2025-12-15T20:02:09,319 Found link https://files.pythonhosted.org/packages/7c/c2/4cb18da7bc03a0e637de5bfec758500cb3f987cec55b22352263a9e9e2af/proof-0.2.0.tar.gz (from https://pypi.org/simple/proof/), version: 0.2.0 2025-12-15T20:02:09,320 Skipping link: No binaries permitted for proof: https://files.pythonhosted.org/packages/94/00/eb55a17fb2798f98063aa0d133b0e6d18e0e4fb089f99b9c94af7cc0ec03/proof-0.3.0-py2.py3-none-any.whl (from https://pypi.org/simple/proof/) 2025-12-15T20:02:09,321 Found link https://files.pythonhosted.org/packages/fc/c1/f61f84795ff49386cb1793bff49df70705bdf2f466db1dad3ca55e80572f/proof-0.3.0.tar.gz (from https://pypi.org/simple/proof/), version: 0.3.0 2025-12-15T20:02:09,322 Skipping link: No binaries permitted for proof: https://files.pythonhosted.org/packages/fc/63/61dd59d14143ae9ded59be01a65cf707d81a578a4d7ab76b2c8da8da3514/proof-0.4.0-py2.py3-none-any.whl (from https://pypi.org/simple/proof/) 2025-12-15T20:02:09,323 Found link https://files.pythonhosted.org/packages/e6/58/2a0451001be04e67aabda1e3a916129cefe2d08fb9625e087457c6da15e4/proof-0.4.0.tar.gz (from https://pypi.org/simple/proof/), version: 0.4.0 2025-12-15T20:02:09,323 Skipping link: No binaries permitted for proof: https://files.pythonhosted.org/packages/40/d5/de7e994865dc59c231ba001d881d348a2a29f3788ea7bf61b2e27c5e8bc1/proof-0.4.1-py3-none-any.whl (from https://pypi.org/simple/proof/) 2025-12-15T20:02:09,324 Found link https://files.pythonhosted.org/packages/99/82/2fa5c47885d40f46f0e340dc98912f53a9373ebc7d8b180535699891c194/proof-0.4.1.tar.gz (from https://pypi.org/simple/proof/), version: 0.4.1 2025-12-15T20:02:09,325 Fetching project page and analyzing links: https://www.piwheels.org/simple/proof/ 2025-12-15T20:02:09,326 Getting page https://www.piwheels.org/simple/proof/ 2025-12-15T20:02:09,328 Found index url https://www.piwheels.org/simple 2025-12-15T20:02:09,486 Fetched page https://www.piwheels.org/simple/proof/ as text/html 2025-12-15T20:02:09,488 Skipping link: No binaries permitted for proof: https://archive1.piwheels.org/simple/proof/proof-0.4.0-py2.py3-none-any.whl#sha256=8911f3a5f7b3fd38a82616fe31a701c29202bfe91753048d37e114a507d7bb9a (from https://www.piwheels.org/simple/proof/) 2025-12-15T20:02:09,489 Skipping link: No binaries permitted for proof: https://archive1.piwheels.org/simple/proof/proof-0.3.0-py2.py3-none-any.whl#sha256=12535414321b7a555eae7a77108bd65aea17583b64a0f2cbbfce97cf712e159d (from https://www.piwheels.org/simple/proof/) 2025-12-15T20:02:09,489 Skipping link: No binaries permitted for proof: https://archive1.piwheels.org/simple/proof/proof-0.2.0-py2.py3-none-any.whl#sha256=2170c11537cef6fc87d5022f2e3b3bd1e064d669d339890e9a267da7b5710bcc (from https://www.piwheels.org/simple/proof/) 2025-12-15T20:02:09,490 Skipping link: No binaries permitted for proof: https://archive1.piwheels.org/simple/proof/proof-0.1.0-py2.py3-none-any.whl#sha256=bb48e2a78872a82769eac157321288cbcecd99148b08ededcfa8971fea9cab55 (from https://www.piwheels.org/simple/proof/) 2025-12-15T20:02:09,491 Skipping link: not a file: https://www.piwheels.org/simple/proof/ 2025-12-15T20:02:09,491 Skipping link: not a file: https://pypi.org/simple/proof/ 2025-12-15T20:02:09,510 Given no hashes to check 1 links for project 'proof': discarding no candidates 2025-12-15T20:02:09,528 Collecting proof==0.4.1 2025-12-15T20:02:09,531 Created temporary directory: /tmp/pip-unpack-z0_3x307 2025-12-15T20:02:09,738 Downloading proof-0.4.1.tar.gz (11 kB) 2025-12-15T20:02:09,797 Added proof==0.4.1 from https://files.pythonhosted.org/packages/99/82/2fa5c47885d40f46f0e340dc98912f53a9373ebc7d8b180535699891c194/proof-0.4.1.tar.gz to build tracker '/tmp/pip-build-tracker-zziob22l' 2025-12-15T20:02:09,799 Running setup.py (path:/tmp/pip-wheel-vvk24lcn/proof_7dd193a46b584f89b193fb1bed28e3a2/setup.py) egg_info for package proof 2025-12-15T20:02:09,800 Created temporary directory: /tmp/pip-pip-egg-info-6xqqkke7 2025-12-15T20:02:09,800 Preparing metadata (setup.py): started 2025-12-15T20:02:09,802 Running command python setup.py egg_info 2025-12-15T20:02:10,687 /usr/local/lib/python3.11/dist-packages/setuptools/dist.py:759: SetuptoolsDeprecationWarning: License classifiers are deprecated. 2025-12-15T20:02:10,687 !! 2025-12-15T20:02:10,688 ******************************************************************************** 2025-12-15T20:02:10,689 Please consider removing the following classifiers in favor of a SPDX license expression: 2025-12-15T20:02:10,690 License :: OSI Approved :: MIT License 2025-12-15T20:02:10,691 See https://packaging.python.org/en/latest/guides/writing-pyproject-toml/#license for details. 2025-12-15T20:02:10,692 ******************************************************************************** 2025-12-15T20:02:10,693 !! 2025-12-15T20:02:10,694 self._finalize_license_expression() 2025-12-15T20:02:10,717 running egg_info 2025-12-15T20:02:10,744 creating /tmp/pip-pip-egg-info-6xqqkke7/proof.egg-info 2025-12-15T20:02:10,745 writing /tmp/pip-pip-egg-info-6xqqkke7/proof.egg-info/PKG-INFO 2025-12-15T20:02:10,749 writing dependency_links to /tmp/pip-pip-egg-info-6xqqkke7/proof.egg-info/dependency_links.txt 2025-12-15T20:02:10,752 writing requirements to /tmp/pip-pip-egg-info-6xqqkke7/proof.egg-info/requires.txt 2025-12-15T20:02:10,753 writing top-level names to /tmp/pip-pip-egg-info-6xqqkke7/proof.egg-info/top_level.txt 2025-12-15T20:02:10,754 writing manifest file '/tmp/pip-pip-egg-info-6xqqkke7/proof.egg-info/SOURCES.txt' 2025-12-15T20:02:10,844 reading manifest file '/tmp/pip-pip-egg-info-6xqqkke7/proof.egg-info/SOURCES.txt' 2025-12-15T20:02:10,845 reading manifest template 'MANIFEST.in' 2025-12-15T20:02:10,848 warning: no files found matching 'CHANGELOG' 2025-12-15T20:02:10,862 warning: no previously-included files found matching '.readthedocs.yaml' 2025-12-15T20:02:10,863 adding license file 'COPYING' 2025-12-15T20:02:10,863 adding license file 'AUTHORS.rst' 2025-12-15T20:02:10,865 writing manifest file '/tmp/pip-pip-egg-info-6xqqkke7/proof.egg-info/SOURCES.txt' 2025-12-15T20:02:10,973 Preparing metadata (setup.py): finished with status 'done' 2025-12-15T20:02:10,976 Source in /tmp/pip-wheel-vvk24lcn/proof_7dd193a46b584f89b193fb1bed28e3a2 has version 0.4.1, which satisfies requirement proof==0.4.1 from https://files.pythonhosted.org/packages/99/82/2fa5c47885d40f46f0e340dc98912f53a9373ebc7d8b180535699891c194/proof-0.4.1.tar.gz 2025-12-15T20:02:10,977 Removed proof==0.4.1 from https://files.pythonhosted.org/packages/99/82/2fa5c47885d40f46f0e340dc98912f53a9373ebc7d8b180535699891c194/proof-0.4.1.tar.gz from build tracker '/tmp/pip-build-tracker-zziob22l' 2025-12-15T20:02:10,982 Created temporary directory: /tmp/pip-unpack-ir5zc2hw 2025-12-15T20:02:10,982 Building wheels for collected packages: proof 2025-12-15T20:02:10,987 Created temporary directory: /tmp/pip-wheel-x16ilulg 2025-12-15T20:02:10,987 Building wheel for proof (setup.py): started 2025-12-15T20:02:10,989 Destination directory: /tmp/pip-wheel-x16ilulg 2025-12-15T20:02:10,989 Running command python setup.py bdist_wheel 2025-12-15T20:02:11,839 /usr/local/lib/python3.11/dist-packages/setuptools/dist.py:759: SetuptoolsDeprecationWarning: License classifiers are deprecated. 2025-12-15T20:02:11,840 !! 2025-12-15T20:02:11,841 ******************************************************************************** 2025-12-15T20:02:11,842 Please consider removing the following classifiers in favor of a SPDX license expression: 2025-12-15T20:02:11,843 License :: OSI Approved :: MIT License 2025-12-15T20:02:11,844 See https://packaging.python.org/en/latest/guides/writing-pyproject-toml/#license for details. 2025-12-15T20:02:11,844 ******************************************************************************** 2025-12-15T20:02:11,845 !! 2025-12-15T20:02:11,846 self._finalize_license_expression() 2025-12-15T20:02:11,846 running bdist_wheel 2025-12-15T20:02:11,984 running build 2025-12-15T20:02:11,985 running build_py 2025-12-15T20:02:12,018 creating build/lib/proof 2025-12-15T20:02:12,021 copying proof/analysis.py -> build/lib/proof 2025-12-15T20:02:12,024 copying proof/__init__.py -> build/lib/proof 2025-12-15T20:02:12,055 /usr/local/lib/python3.11/dist-packages/setuptools/_distutils/cmd.py:90: SetuptoolsDeprecationWarning: setup.py install is deprecated. 2025-12-15T20:02:12,056 !! 2025-12-15T20:02:12,057 ******************************************************************************** 2025-12-15T20:02:12,057 Please avoid running ``setup.py`` directly. 2025-12-15T20:02:12,058 Instead, use pypa/build, pypa/installer or other 2025-12-15T20:02:12,058 standards-based tools. 2025-12-15T20:02:12,059 This deprecation is overdue, please update your project and remove deprecated 2025-12-15T20:02:12,060 calls to avoid build errors in the future. 2025-12-15T20:02:12,061 See https://blog.ganssle.io/articles/2021/10/setup-py-deprecated.html for details. 2025-12-15T20:02:12,062 ******************************************************************************** 2025-12-15T20:02:12,063 !! 2025-12-15T20:02:12,063 self.initialize_options() 2025-12-15T20:02:12,089 installing to build/bdist.linux-armv7l/wheel 2025-12-15T20:02:12,090 running install 2025-12-15T20:02:12,113 running install_lib 2025-12-15T20:02:12,142 creating build/bdist.linux-armv7l/wheel 2025-12-15T20:02:12,144 creating build/bdist.linux-armv7l/wheel/proof 2025-12-15T20:02:12,146 copying build/lib/proof/analysis.py -> build/bdist.linux-armv7l/wheel/./proof 2025-12-15T20:02:12,149 copying build/lib/proof/__init__.py -> build/bdist.linux-armv7l/wheel/./proof 2025-12-15T20:02:12,151 running install_egg_info 2025-12-15T20:02:12,188 running egg_info 2025-12-15T20:02:12,219 writing proof.egg-info/PKG-INFO 2025-12-15T20:02:12,225 writing dependency_links to proof.egg-info/dependency_links.txt 2025-12-15T20:02:12,231 writing requirements to proof.egg-info/requires.txt 2025-12-15T20:02:12,234 writing top-level names to proof.egg-info/top_level.txt 2025-12-15T20:02:12,267 reading manifest file 'proof.egg-info/SOURCES.txt' 2025-12-15T20:02:12,270 reading manifest template 'MANIFEST.in' 2025-12-15T20:02:12,272 warning: no files found matching 'CHANGELOG' 2025-12-15T20:02:12,282 warning: no previously-included files found matching '.readthedocs.yaml' 2025-12-15T20:02:12,282 adding license file 'COPYING' 2025-12-15T20:02:12,283 adding license file 'AUTHORS.rst' 2025-12-15T20:02:12,285 writing manifest file 'proof.egg-info/SOURCES.txt' 2025-12-15T20:02:12,287 Copying proof.egg-info to build/bdist.linux-armv7l/wheel/./proof-0.4.1-py3.11.egg-info 2025-12-15T20:02:12,297 running install_scripts 2025-12-15T20:02:12,310 creating build/bdist.linux-armv7l/wheel/proof-0.4.1.dist-info/WHEEL 2025-12-15T20:02:12,312 creating '/tmp/pip-wheel-x16ilulg/proof-0.4.1-py3-none-any.whl' and adding 'build/bdist.linux-armv7l/wheel' to it 2025-12-15T20:02:12,314 adding 'proof/__init__.py' 2025-12-15T20:02:12,316 adding 'proof/analysis.py' 2025-12-15T20:02:12,319 adding 'proof-0.4.1.dist-info/licenses/AUTHORS.rst' 2025-12-15T20:02:12,320 adding 'proof-0.4.1.dist-info/licenses/COPYING' 2025-12-15T20:02:12,321 adding 'proof-0.4.1.dist-info/METADATA' 2025-12-15T20:02:12,322 adding 'proof-0.4.1.dist-info/WHEEL' 2025-12-15T20:02:12,323 adding 'proof-0.4.1.dist-info/top_level.txt' 2025-12-15T20:02:12,324 adding 'proof-0.4.1.dist-info/RECORD' 2025-12-15T20:02:12,325 removing build/bdist.linux-armv7l/wheel 2025-12-15T20:02:12,438 Building wheel for proof (setup.py): finished with status 'done' 2025-12-15T20:02:12,440 Created wheel for proof: filename=proof-0.4.1-py3-none-any.whl size=5629 sha256=b44307a7cd0c9282649d6888577afab92e164d8307d38c4e1d461b5adc77926a 2025-12-15T20:02:12,442 Stored in directory: /tmp/pip-ephem-wheel-cache-xkvy7kmk/wheels/09/e4/ff/030d7beb1dd77a9a76ba7f9bce6f9e9786a6bb571030d1320f 2025-12-15T20:02:12,452 Successfully built proof 2025-12-15T20:02:12,455 Removed build tracker: '/tmp/pip-build-tracker-zziob22l'