2024-03-28T23:18:19,280 Created temporary directory: /tmp/pip-build-tracker-ihwko28w
2024-03-28T23:18:19,282 Initialized build tracking at /tmp/pip-build-tracker-ihwko28w
2024-03-28T23:18:19,282 Created build tracker: /tmp/pip-build-tracker-ihwko28w
2024-03-28T23:18:19,283 Entered build tracker: /tmp/pip-build-tracker-ihwko28w
2024-03-28T23:18:19,284 Created temporary directory: /tmp/pip-wheel-yowdj3ox
2024-03-28T23:18:19,287 Created temporary directory: /tmp/pip-ephem-wheel-cache-zzsjdr18
2024-03-28T23:18:19,311 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple
2024-03-28T23:18:19,315 2 location(s) to search for versions of dafnyruntimepython:
2024-03-28T23:18:19,315 * https://pypi.org/simple/dafnyruntimepython/
2024-03-28T23:18:19,315 * https://www.piwheels.org/simple/dafnyruntimepython/
2024-03-28T23:18:19,315 Fetching project page and analyzing links: https://pypi.org/simple/dafnyruntimepython/
2024-03-28T23:18:19,316 Getting page https://pypi.org/simple/dafnyruntimepython/
2024-03-28T23:18:19,318 Found index url https://pypi.org/simple/
2024-03-28T23:18:19,535 Fetched page https://pypi.org/simple/dafnyruntimepython/ as application/vnd.pypi.simple.v1+json
2024-03-28T23:18:19,537   Skipping link: No binaries permitted for dafnyruntimepython: https://files.pythonhosted.org/packages/23/71/b6f63e2f6c36e4a5a5eb51dd2720b51828d974690cbe552669eba6ad0f2b/DafnyRuntimePython-4.4.0-py3-none-any.whl (from https://pypi.org/simple/dafnyruntimepython/) (requires-python:>=3.8)
2024-03-28T23:18:19,538   Found link https://files.pythonhosted.org/packages/3a/29/d92ae17ab2e8ce67b48175548d8bd44179684fc4d2b8a05a00a12a11cf8d/DafnyRuntimePython-4.4.0.tar.gz (from https://pypi.org/simple/dafnyruntimepython/) (requires-python:>=3.8), version: 4.4.0
2024-03-28T23:18:19,538   Skipping link: No binaries permitted for dafnyruntimepython: https://files.pythonhosted.org/packages/7a/31/08645d91d3cf9e1a833435a1bb60859785a9d93936ce7cc82b1419f6defc/DafnyRuntimePython-4.5.0-py3-none-any.whl (from https://pypi.org/simple/dafnyruntimepython/) (requires-python:>=3.8)
2024-03-28T23:18:19,539   Found link https://files.pythonhosted.org/packages/7d/c0/b5f9b8b90ee2d649e157f65d6983b70ff3211b67faf1601c9f6abfe08912/DafnyRuntimePython-4.5.0.tar.gz (from https://pypi.org/simple/dafnyruntimepython/) (requires-python:>=3.8), version: 4.5.0
2024-03-28T23:18:19,540   Skipping link: No binaries permitted for dafnyruntimepython: https://files.pythonhosted.org/packages/f0/1f/a7f5efb4df773af98fe75793039737156eac56b0d4076903c1193400de7f/DafnyRuntimePython-4.6.0-py3-none-any.whl (from https://pypi.org/simple/dafnyruntimepython/) (requires-python:>=3.8)
2024-03-28T23:18:19,541   Found link https://files.pythonhosted.org/packages/ba/63/361e920b3ae66bd9baaf5e39353fd17857569f6e6ed2b0e5bab770a2532c/DafnyRuntimePython-4.6.0.tar.gz (from https://pypi.org/simple/dafnyruntimepython/) (requires-python:>=3.8), version: 4.6.0
2024-03-28T23:18:19,542 Fetching project page and analyzing links: https://www.piwheels.org/simple/dafnyruntimepython/
2024-03-28T23:18:19,542 Getting page https://www.piwheels.org/simple/dafnyruntimepython/
2024-03-28T23:18:19,544 Found index url https://www.piwheels.org/simple/
2024-03-28T23:18:20,309 Fetched page https://www.piwheels.org/simple/dafnyruntimepython/ as text/html
2024-03-28T23:18:20,311   Skipping link: No binaries permitted for dafnyruntimepython: https://www.piwheels.org/simple/dafnyruntimepython/DafnyRuntimePython-4.5.0-py3-none-any.whl#sha256=b64dafc25cc0cb33949409fbf5b2b392043894fdb44ebe6cd340ea4b2b92d6a0 (from https://www.piwheels.org/simple/dafnyruntimepython/) (requires-python:>=3.8)
2024-03-28T23:18:20,312   Skipping link: No binaries permitted for dafnyruntimepython: https://www.piwheels.org/simple/dafnyruntimepython/DafnyRuntimePython-4.4.0-py3-none-any.whl#sha256=42ee21651f7ce4b66d740dae747466931993fe4982cd8756d32d51a6075ca3cf (from https://www.piwheels.org/simple/dafnyruntimepython/) (requires-python:>=3.8)
2024-03-28T23:18:20,313 Skipping link: not a file: https://www.piwheels.org/simple/dafnyruntimepython/
2024-03-28T23:18:20,313 Skipping link: not a file: https://pypi.org/simple/dafnyruntimepython/
2024-03-28T23:18:20,332 Given no hashes to check 1 links for project 'dafnyruntimepython': discarding no candidates
2024-03-28T23:18:20,350 Collecting dafnyruntimepython==4.6.0
2024-03-28T23:18:20,352   Created temporary directory: /tmp/pip-unpack-_3a00pdh
2024-03-28T23:18:20,568   Downloading DafnyRuntimePython-4.6.0.tar.gz (5.4 kB)
2024-03-28T23:18:20,826   Added dafnyruntimepython==4.6.0 from https://files.pythonhosted.org/packages/ba/63/361e920b3ae66bd9baaf5e39353fd17857569f6e6ed2b0e5bab770a2532c/DafnyRuntimePython-4.6.0.tar.gz to build tracker '/tmp/pip-build-tracker-ihwko28w'
2024-03-28T23:18:20,830   Created temporary directory: /tmp/pip-build-env-l3nzhwfw
2024-03-28T23:18:20,834   Installing build dependencies: started
2024-03-28T23:18:20,836   Running command pip subprocess to install build dependencies
2024-03-28T23:18:22,043   Using pip 24.0 from /usr/local/lib/python3.11/dist-packages/pip (python 3.11)
2024-03-28T23:18:22,802   Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple
2024-03-28T23:18:24,372   Collecting setuptools>=61.0
2024-03-28T23:18:24,387     Using cached https://www.piwheels.org/simple/setuptools/setuptools-69.2.0-py3-none-any.whl (821 kB)
2024-03-28T23:18:27,044   Installing collected packages: setuptools
2024-03-28T23:18:29,729   Successfully installed setuptools-69.2.0
2024-03-28T23:18:30,299   Installing build dependencies: finished with status 'done'
2024-03-28T23:18:30,303   Getting requirements to build wheel: started
2024-03-28T23:18:30,304   Running command Getting requirements to build wheel
2024-03-28T23:18:31,112   running egg_info
2024-03-28T23:18:31,116   writing src/DafnyRuntimePython.egg-info/PKG-INFO
2024-03-28T23:18:31,120   writing dependency_links to src/DafnyRuntimePython.egg-info/dependency_links.txt
2024-03-28T23:18:31,124   writing top-level names to src/DafnyRuntimePython.egg-info/top_level.txt
2024-03-28T23:18:31,140   reading manifest file 'src/DafnyRuntimePython.egg-info/SOURCES.txt'
2024-03-28T23:18:31,144   writing manifest file 'src/DafnyRuntimePython.egg-info/SOURCES.txt'
2024-03-28T23:18:31,256   Getting requirements to build wheel: finished with status 'done'
2024-03-28T23:18:31,266   Installing backend dependencies: started
2024-03-28T23:18:31,268   Running command pip subprocess to install backend dependencies
2024-03-28T23:18:32,487   Using pip 24.0 from /usr/local/lib/python3.11/dist-packages/pip (python 3.11)
2024-03-28T23:18:33,506   Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple
2024-03-28T23:18:34,015   Collecting wheel
2024-03-28T23:18:34,030     Using cached https://www.piwheels.org/simple/wheel/wheel-0.43.0-py3-none-any.whl (65 kB)
2024-03-28T23:18:36,320   Installing collected packages: wheel
2024-03-28T23:18:36,569     Creating /tmp/pip-build-env-l3nzhwfw/normal/local/bin
2024-03-28T23:18:36,571     changing mode of /tmp/pip-build-env-l3nzhwfw/normal/local/bin/wheel to 755
2024-03-28T23:18:36,583   Successfully installed wheel-0.43.0
2024-03-28T23:18:37,114   Installing backend dependencies: finished with status 'done'
2024-03-28T23:18:37,116   Created temporary directory: /tmp/pip-modern-metadata-w6tg3fc_
2024-03-28T23:18:37,119   Preparing metadata (pyproject.toml): started
2024-03-28T23:18:37,120   Running command Preparing metadata (pyproject.toml)
2024-03-28T23:18:38,160   running dist_info
2024-03-28T23:18:38,166   creating /tmp/pip-modern-metadata-w6tg3fc_/DafnyRuntimePython.egg-info
2024-03-28T23:18:38,170   writing /tmp/pip-modern-metadata-w6tg3fc_/DafnyRuntimePython.egg-info/PKG-INFO
2024-03-28T23:18:38,174   writing dependency_links to /tmp/pip-modern-metadata-w6tg3fc_/DafnyRuntimePython.egg-info/dependency_links.txt
2024-03-28T23:18:38,176   writing top-level names to /tmp/pip-modern-metadata-w6tg3fc_/DafnyRuntimePython.egg-info/top_level.txt
2024-03-28T23:18:38,178   writing manifest file '/tmp/pip-modern-metadata-w6tg3fc_/DafnyRuntimePython.egg-info/SOURCES.txt'
2024-03-28T23:18:38,191   reading manifest file '/tmp/pip-modern-metadata-w6tg3fc_/DafnyRuntimePython.egg-info/SOURCES.txt'
2024-03-28T23:18:38,195   writing manifest file '/tmp/pip-modern-metadata-w6tg3fc_/DafnyRuntimePython.egg-info/SOURCES.txt'
2024-03-28T23:18:38,196   creating '/tmp/pip-modern-metadata-w6tg3fc_/DafnyRuntimePython-4.6.0.dist-info'
2024-03-28T23:18:38,338   Preparing metadata (pyproject.toml): finished with status 'done'
2024-03-28T23:18:38,343   Source in /tmp/pip-wheel-yowdj3ox/dafnyruntimepython_0885706030dc47f38ffa1bb3022a3114 has version 4.6.0, which satisfies requirement dafnyruntimepython==4.6.0 from https://files.pythonhosted.org/packages/ba/63/361e920b3ae66bd9baaf5e39353fd17857569f6e6ed2b0e5bab770a2532c/DafnyRuntimePython-4.6.0.tar.gz
2024-03-28T23:18:38,344   Removed dafnyruntimepython==4.6.0 from https://files.pythonhosted.org/packages/ba/63/361e920b3ae66bd9baaf5e39353fd17857569f6e6ed2b0e5bab770a2532c/DafnyRuntimePython-4.6.0.tar.gz from build tracker '/tmp/pip-build-tracker-ihwko28w'
2024-03-28T23:18:38,349 Created temporary directory: /tmp/pip-unpack-qukq8b10
2024-03-28T23:18:38,350 Created temporary directory: /tmp/pip-unpack-iaz7ld2m
2024-03-28T23:18:38,353 Building wheels for collected packages: dafnyruntimepython
2024-03-28T23:18:38,358   Created temporary directory: /tmp/pip-wheel-j10kk1ym
2024-03-28T23:18:38,358   Destination directory: /tmp/pip-wheel-j10kk1ym
2024-03-28T23:18:38,361   Building wheel for dafnyruntimepython (pyproject.toml): started
2024-03-28T23:18:38,362   Running command Building wheel for dafnyruntimepython (pyproject.toml)
2024-03-28T23:18:39,108   running bdist_wheel
2024-03-28T23:18:39,124   running build
2024-03-28T23:18:39,124   running build_py
2024-03-28T23:18:39,128   creating build
2024-03-28T23:18:39,129   creating build/lib
2024-03-28T23:18:39,130   creating build/lib/System_
2024-03-28T23:18:39,131   copying src/System_/__init__.py -> build/lib/System_
2024-03-28T23:18:39,134   creating build/lib/_dafny
2024-03-28T23:18:39,135   copying src/_dafny/__init__.py -> build/lib/_dafny
2024-03-28T23:18:39,138   running egg_info
2024-03-28T23:18:39,141   writing src/DafnyRuntimePython.egg-info/PKG-INFO
2024-03-28T23:18:39,144   writing dependency_links to src/DafnyRuntimePython.egg-info/dependency_links.txt
2024-03-28T23:18:39,145   writing top-level names to src/DafnyRuntimePython.egg-info/top_level.txt
2024-03-28T23:18:39,153   reading manifest file 'src/DafnyRuntimePython.egg-info/SOURCES.txt'
2024-03-28T23:18:39,156   writing manifest file 'src/DafnyRuntimePython.egg-info/SOURCES.txt'
2024-03-28T23:18:39,165   installing to build/bdist.linux-armv7l/wheel
2024-03-28T23:18:39,166   running install
2024-03-28T23:18:39,189   running install_lib
2024-03-28T23:18:39,193   creating build/bdist.linux-armv7l
2024-03-28T23:18:39,194   creating build/bdist.linux-armv7l/wheel
2024-03-28T23:18:39,196   creating build/bdist.linux-armv7l/wheel/System_
2024-03-28T23:18:39,197   copying build/lib/System_/__init__.py -> build/bdist.linux-armv7l/wheel/System_
2024-03-28T23:18:39,200   creating build/bdist.linux-armv7l/wheel/_dafny
2024-03-28T23:18:39,201   copying build/lib/_dafny/__init__.py -> build/bdist.linux-armv7l/wheel/_dafny
2024-03-28T23:18:39,204   running install_egg_info
2024-03-28T23:18:39,207   Copying src/DafnyRuntimePython.egg-info to build/bdist.linux-armv7l/wheel/DafnyRuntimePython-4.6.0-py3.11.egg-info
2024-03-28T23:18:39,215   running install_scripts
2024-03-28T23:18:39,224   creating build/bdist.linux-armv7l/wheel/DafnyRuntimePython-4.6.0.dist-info/WHEEL
2024-03-28T23:18:39,227   creating '/tmp/pip-wheel-j10kk1ym/.tmp-kmvfucyt/DafnyRuntimePython-4.6.0-py3-none-any.whl' and adding 'build/bdist.linux-armv7l/wheel' to it
2024-03-28T23:18:39,229   adding 'System_/__init__.py'
2024-03-28T23:18:39,232   adding '_dafny/__init__.py'
2024-03-28T23:18:39,234   adding 'DafnyRuntimePython-4.6.0.dist-info/METADATA'
2024-03-28T23:18:39,235   adding 'DafnyRuntimePython-4.6.0.dist-info/WHEEL'
2024-03-28T23:18:39,236   adding 'DafnyRuntimePython-4.6.0.dist-info/top_level.txt'
2024-03-28T23:18:39,237   adding 'DafnyRuntimePython-4.6.0.dist-info/RECORD'
2024-03-28T23:18:39,238   removing build/bdist.linux-armv7l/wheel
2024-03-28T23:18:39,361   Building wheel for dafnyruntimepython (pyproject.toml): finished with status 'done'
2024-03-28T23:18:39,366   Created wheel for dafnyruntimepython: filename=DafnyRuntimePython-4.6.0-py3-none-any.whl size=5771 sha256=3d985d92157f3d9827897b66e4a5447f8f65c221787e5bb32f29160396090b7d
2024-03-28T23:18:39,367   Stored in directory: /tmp/pip-ephem-wheel-cache-zzsjdr18/wheels/7b/29/27/816528f1da3d2ac5dfb4a6bca6a61e21e98ab38ac5513d86ec
2024-03-28T23:18:39,375 Successfully built dafnyruntimepython
2024-03-28T23:18:39,379 Removed build tracker: '/tmp/pip-build-tracker-ihwko28w'