2024-03-19T22:24:31,770 Created temporary directory: /tmp/pip-build-tracker-i8m00en4 2024-03-19T22:24:31,771 Initialized build tracking at /tmp/pip-build-tracker-i8m00en4 2024-03-19T22:24:31,772 Created build tracker: /tmp/pip-build-tracker-i8m00en4 2024-03-19T22:24:31,772 Entered build tracker: /tmp/pip-build-tracker-i8m00en4 2024-03-19T22:24:31,773 Created temporary directory: /tmp/pip-wheel-5hzikdat 2024-03-19T22:24:31,776 Created temporary directory: /tmp/pip-ephem-wheel-cache-bhhn3w4s 2024-03-19T22:24:31,799 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple 2024-03-19T22:24:31,802 2 location(s) to search for versions of dafnyruntimepython: 2024-03-19T22:24:31,802 * https://pypi.org/simple/dafnyruntimepython/ 2024-03-19T22:24:31,802 * https://www.piwheels.org/simple/dafnyruntimepython/ 2024-03-19T22:24:31,803 Fetching project page and analyzing links: https://pypi.org/simple/dafnyruntimepython/ 2024-03-19T22:24:31,804 Getting page https://pypi.org/simple/dafnyruntimepython/ 2024-03-19T22:24:31,805 Found index url https://pypi.org/simple/ 2024-03-19T22:24:32,028 Fetched page https://pypi.org/simple/dafnyruntimepython/ as application/vnd.pypi.simple.v1+json 2024-03-19T22:24:32,030 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-19T22:24:32,031 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-19T22:24:32,032 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-19T22:24:32,033 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-19T22:24:32,034 Fetching project page and analyzing links: https://www.piwheels.org/simple/dafnyruntimepython/ 2024-03-19T22:24:32,034 Getting page https://www.piwheels.org/simple/dafnyruntimepython/ 2024-03-19T22:24:32,036 Found index url https://www.piwheels.org/simple/ 2024-03-19T22:24:32,348 Fetched page https://www.piwheels.org/simple/dafnyruntimepython/ as text/html 2024-03-19T22:24:32,350 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-19T22:24:32,351 Skipping link: not a file: https://www.piwheels.org/simple/dafnyruntimepython/ 2024-03-19T22:24:32,352 Skipping link: not a file: https://pypi.org/simple/dafnyruntimepython/ 2024-03-19T22:24:32,379 Given no hashes to check 1 links for project 'dafnyruntimepython': discarding no candidates 2024-03-19T22:24:32,406 Collecting dafnyruntimepython==4.5.0 2024-03-19T22:24:32,410 Created temporary directory: /tmp/pip-unpack-0otsv80z 2024-03-19T22:24:32,639 Downloading DafnyRuntimePython-4.5.0.tar.gz (5.4 kB) 2024-03-19T22:24:32,885 Added dafnyruntimepython==4.5.0 from https://files.pythonhosted.org/packages/7d/c0/b5f9b8b90ee2d649e157f65d6983b70ff3211b67faf1601c9f6abfe08912/DafnyRuntimePython-4.5.0.tar.gz to build tracker '/tmp/pip-build-tracker-i8m00en4' 2024-03-19T22:24:32,890 Created temporary directory: /tmp/pip-build-env-fdn9as3f 2024-03-19T22:24:32,895 Installing build dependencies: started 2024-03-19T22:24:32,897 Running command pip subprocess to install build dependencies 2024-03-19T22:24:34,096 Using pip 24.0 from /usr/local/lib/python3.11/dist-packages/pip (python 3.11) 2024-03-19T22:24:34,631 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple 2024-03-19T22:24:36,622 Collecting setuptools>=61.0 2024-03-19T22:24:37,302 Using cached https://www.piwheels.org/simple/setuptools/setuptools-69.2.0-py3-none-any.whl (821 kB) 2024-03-19T22:24:40,220 Installing collected packages: setuptools 2024-03-19T22:24:43,160 Successfully installed setuptools-69.2.0 2024-03-19T22:24:43,745 Installing build dependencies: finished with status 'done' 2024-03-19T22:24:43,749 Getting requirements to build wheel: started 2024-03-19T22:24:43,750 Running command Getting requirements to build wheel 2024-03-19T22:24:44,791 running egg_info 2024-03-19T22:24:44,795 writing src/DafnyRuntimePython.egg-info/PKG-INFO 2024-03-19T22:24:44,800 writing dependency_links to src/DafnyRuntimePython.egg-info/dependency_links.txt 2024-03-19T22:24:44,803 writing top-level names to src/DafnyRuntimePython.egg-info/top_level.txt 2024-03-19T22:24:44,818 reading manifest file 'src/DafnyRuntimePython.egg-info/SOURCES.txt' 2024-03-19T22:24:44,821 writing manifest file 'src/DafnyRuntimePython.egg-info/SOURCES.txt' 2024-03-19T22:24:44,933 Getting requirements to build wheel: finished with status 'done' 2024-03-19T22:24:44,941 Installing backend dependencies: started 2024-03-19T22:24:44,943 Running command pip subprocess to install backend dependencies 2024-03-19T22:24:46,113 Using pip 24.0 from /usr/local/lib/python3.11/dist-packages/pip (python 3.11) 2024-03-19T22:24:46,639 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple 2024-03-19T22:24:47,235 Collecting wheel 2024-03-19T22:24:47,263 Using cached https://www.piwheels.org/simple/wheel/wheel-0.43.0-py3-none-any.whl (65 kB) 2024-03-19T22:24:49,762 Installing collected packages: wheel 2024-03-19T22:24:50,018 Creating /tmp/pip-build-env-fdn9as3f/normal/local/bin 2024-03-19T22:24:50,020 changing mode of /tmp/pip-build-env-fdn9as3f/normal/local/bin/wheel to 755 2024-03-19T22:24:50,033 Successfully installed wheel-0.43.0 2024-03-19T22:24:50,566 Installing backend dependencies: finished with status 'done' 2024-03-19T22:24:50,568 Created temporary directory: /tmp/pip-modern-metadata-zgz31t7n 2024-03-19T22:24:50,570 Preparing metadata (pyproject.toml): started 2024-03-19T22:24:50,571 Running command Preparing metadata (pyproject.toml) 2024-03-19T22:24:51,593 running dist_info 2024-03-19T22:24:51,599 creating /tmp/pip-modern-metadata-zgz31t7n/DafnyRuntimePython.egg-info 2024-03-19T22:24:51,603 writing /tmp/pip-modern-metadata-zgz31t7n/DafnyRuntimePython.egg-info/PKG-INFO 2024-03-19T22:24:51,606 writing dependency_links to /tmp/pip-modern-metadata-zgz31t7n/DafnyRuntimePython.egg-info/dependency_links.txt 2024-03-19T22:24:51,609 writing top-level names to /tmp/pip-modern-metadata-zgz31t7n/DafnyRuntimePython.egg-info/top_level.txt 2024-03-19T22:24:51,610 writing manifest file '/tmp/pip-modern-metadata-zgz31t7n/DafnyRuntimePython.egg-info/SOURCES.txt' 2024-03-19T22:24:51,623 reading manifest file '/tmp/pip-modern-metadata-zgz31t7n/DafnyRuntimePython.egg-info/SOURCES.txt' 2024-03-19T22:24:51,627 writing manifest file '/tmp/pip-modern-metadata-zgz31t7n/DafnyRuntimePython.egg-info/SOURCES.txt' 2024-03-19T22:24:51,628 creating '/tmp/pip-modern-metadata-zgz31t7n/DafnyRuntimePython-4.5.0.dist-info' 2024-03-19T22:24:51,768 Preparing metadata (pyproject.toml): finished with status 'done' 2024-03-19T22:24:51,773 Source in /tmp/pip-wheel-5hzikdat/dafnyruntimepython_61e6fad8d97944a5bb5b5381d55314cc has version 4.5.0, which satisfies requirement dafnyruntimepython==4.5.0 from https://files.pythonhosted.org/packages/7d/c0/b5f9b8b90ee2d649e157f65d6983b70ff3211b67faf1601c9f6abfe08912/DafnyRuntimePython-4.5.0.tar.gz 2024-03-19T22:24:51,774 Removed dafnyruntimepython==4.5.0 from https://files.pythonhosted.org/packages/7d/c0/b5f9b8b90ee2d649e157f65d6983b70ff3211b67faf1601c9f6abfe08912/DafnyRuntimePython-4.5.0.tar.gz from build tracker '/tmp/pip-build-tracker-i8m00en4' 2024-03-19T22:24:51,780 Created temporary directory: /tmp/pip-unpack-it5f542h 2024-03-19T22:24:51,781 Created temporary directory: /tmp/pip-unpack-f7etbgil 2024-03-19T22:24:51,783 Building wheels for collected packages: dafnyruntimepython 2024-03-19T22:24:51,787 Created temporary directory: /tmp/pip-wheel-4v626r1o 2024-03-19T22:24:51,787 Destination directory: /tmp/pip-wheel-4v626r1o 2024-03-19T22:24:51,789 Building wheel for dafnyruntimepython (pyproject.toml): started 2024-03-19T22:24:51,790 Running command Building wheel for dafnyruntimepython (pyproject.toml) 2024-03-19T22:24:52,546 running bdist_wheel 2024-03-19T22:24:52,563 running build 2024-03-19T22:24:52,563 running build_py 2024-03-19T22:24:52,567 creating build 2024-03-19T22:24:52,568 creating build/lib 2024-03-19T22:24:52,568 creating build/lib/System_ 2024-03-19T22:24:52,570 copying src/System_/__init__.py -> build/lib/System_ 2024-03-19T22:24:52,572 creating build/lib/_dafny 2024-03-19T22:24:52,573 copying src/_dafny/__init__.py -> build/lib/_dafny 2024-03-19T22:24:52,576 running egg_info 2024-03-19T22:24:52,579 writing src/DafnyRuntimePython.egg-info/PKG-INFO 2024-03-19T22:24:52,582 writing dependency_links to src/DafnyRuntimePython.egg-info/dependency_links.txt 2024-03-19T22:24:52,583 writing top-level names to src/DafnyRuntimePython.egg-info/top_level.txt 2024-03-19T22:24:52,591 reading manifest file 'src/DafnyRuntimePython.egg-info/SOURCES.txt' 2024-03-19T22:24:52,594 writing manifest file 'src/DafnyRuntimePython.egg-info/SOURCES.txt' 2024-03-19T22:24:52,604 installing to build/bdist.linux-armv7l/wheel 2024-03-19T22:24:52,605 running install 2024-03-19T22:24:52,629 running install_lib 2024-03-19T22:24:52,633 creating build/bdist.linux-armv7l 2024-03-19T22:24:52,634 creating build/bdist.linux-armv7l/wheel 2024-03-19T22:24:52,635 creating build/bdist.linux-armv7l/wheel/System_ 2024-03-19T22:24:52,636 copying build/lib/System_/__init__.py -> build/bdist.linux-armv7l/wheel/System_ 2024-03-19T22:24:52,639 creating build/bdist.linux-armv7l/wheel/_dafny 2024-03-19T22:24:52,640 copying build/lib/_dafny/__init__.py -> build/bdist.linux-armv7l/wheel/_dafny 2024-03-19T22:24:52,642 running install_egg_info 2024-03-19T22:24:52,646 Copying src/DafnyRuntimePython.egg-info to build/bdist.linux-armv7l/wheel/DafnyRuntimePython-4.5.0-py3.11.egg-info 2024-03-19T22:24:52,656 running install_scripts 2024-03-19T22:24:52,667 creating build/bdist.linux-armv7l/wheel/DafnyRuntimePython-4.5.0.dist-info/WHEEL 2024-03-19T22:24:52,669 creating '/tmp/pip-wheel-4v626r1o/.tmp-gscgb32i/DafnyRuntimePython-4.5.0-py3-none-any.whl' and adding 'build/bdist.linux-armv7l/wheel' to it 2024-03-19T22:24:52,672 adding 'System_/__init__.py' 2024-03-19T22:24:52,676 adding '_dafny/__init__.py' 2024-03-19T22:24:52,677 adding 'DafnyRuntimePython-4.5.0.dist-info/METADATA' 2024-03-19T22:24:52,679 adding 'DafnyRuntimePython-4.5.0.dist-info/WHEEL' 2024-03-19T22:24:52,680 adding 'DafnyRuntimePython-4.5.0.dist-info/top_level.txt' 2024-03-19T22:24:52,681 adding 'DafnyRuntimePython-4.5.0.dist-info/RECORD' 2024-03-19T22:24:52,682 removing build/bdist.linux-armv7l/wheel 2024-03-19T22:24:52,805 Building wheel for dafnyruntimepython (pyproject.toml): finished with status 'done' 2024-03-19T22:24:52,810 Created wheel for dafnyruntimepython: filename=DafnyRuntimePython-4.5.0-py3-none-any.whl size=5733 sha256=b64dafc25cc0cb33949409fbf5b2b392043894fdb44ebe6cd340ea4b2b92d6a0 2024-03-19T22:24:52,811 Stored in directory: /tmp/pip-ephem-wheel-cache-bhhn3w4s/wheels/41/6d/91/c222754cb27dfa9e0453703ac6fd38eb74209e0fd729bedfd2 2024-03-19T22:24:52,820 Successfully built dafnyruntimepython 2024-03-19T22:24:52,823 Removed build tracker: '/tmp/pip-build-tracker-i8m00en4'