2024-01-24T21:35:38,955 Created temporary directory: /tmp/pip-build-tracker-8zricdwy 2024-01-24T21:35:38,956 Initialized build tracking at /tmp/pip-build-tracker-8zricdwy 2024-01-24T21:35:38,957 Created build tracker: /tmp/pip-build-tracker-8zricdwy 2024-01-24T21:35:38,957 Entered build tracker: /tmp/pip-build-tracker-8zricdwy 2024-01-24T21:35:38,958 Created temporary directory: /tmp/pip-wheel-f6y2y16w 2024-01-24T21:35:38,961 Created temporary directory: /tmp/pip-ephem-wheel-cache-rdg3tlnn 2024-01-24T21:35:38,983 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple 2024-01-24T21:35:38,987 2 location(s) to search for versions of dafnyruntimepython: 2024-01-24T21:35:38,987 * https://pypi.org/simple/dafnyruntimepython/ 2024-01-24T21:35:38,987 * https://www.piwheels.org/simple/dafnyruntimepython/ 2024-01-24T21:35:38,987 Fetching project page and analyzing links: https://pypi.org/simple/dafnyruntimepython/ 2024-01-24T21:35:38,988 Getting page https://pypi.org/simple/dafnyruntimepython/ 2024-01-24T21:35:38,990 Found index url https://pypi.org/simple/ 2024-01-24T21:35:39,202 Fetched page https://pypi.org/simple/dafnyruntimepython/ as application/vnd.pypi.simple.v1+json 2024-01-24T21:35:39,203 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-01-24T21:35:39,204 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-01-24T21:35:39,205 Fetching project page and analyzing links: https://www.piwheels.org/simple/dafnyruntimepython/ 2024-01-24T21:35:39,206 Getting page https://www.piwheels.org/simple/dafnyruntimepython/ 2024-01-24T21:35:39,207 Found index url https://www.piwheels.org/simple/ 2024-01-24T21:35:39,376 Fetched page https://www.piwheels.org/simple/dafnyruntimepython/ as text/html 2024-01-24T21:35:39,377 Skipping link: not a file: https://www.piwheels.org/simple/dafnyruntimepython/ 2024-01-24T21:35:39,378 Skipping link: not a file: https://pypi.org/simple/dafnyruntimepython/ 2024-01-24T21:35:39,398 Given no hashes to check 1 links for project 'dafnyruntimepython': discarding no candidates 2024-01-24T21:35:39,417 Collecting dafnyruntimepython==4.4.0 2024-01-24T21:35:39,420 Created temporary directory: /tmp/pip-unpack-qbq8j4b9 2024-01-24T21:35:39,627 Downloading DafnyRuntimePython-4.4.0.tar.gz (5.3 kB) 2024-01-24T21:35:39,654 Added dafnyruntimepython==4.4.0 from https://files.pythonhosted.org/packages/3a/29/d92ae17ab2e8ce67b48175548d8bd44179684fc4d2b8a05a00a12a11cf8d/DafnyRuntimePython-4.4.0.tar.gz to build tracker '/tmp/pip-build-tracker-8zricdwy' 2024-01-24T21:35:39,658 Created temporary directory: /tmp/pip-build-env-n3pn_q75 2024-01-24T21:35:39,663 Installing build dependencies: started 2024-01-24T21:35:39,664 Running command pip subprocess to install build dependencies 2024-01-24T21:35:41,007 Using pip 23.3.1 from /usr/local/lib/python3.11/dist-packages/pip (python 3.11) 2024-01-24T21:35:41,604 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple 2024-01-24T21:35:43,021 Collecting setuptools>=61.0 2024-01-24T21:35:43,037 Using cached https://www.piwheels.org/simple/setuptools/setuptools-69.0.3-py3-none-any.whl (819 kB) 2024-01-24T21:35:46,554 Installing collected packages: setuptools 2024-01-24T21:35:48,803 Successfully installed setuptools-69.0.3 2024-01-24T21:35:49,278 [notice] A new release of pip is available: 23.3.1 -> 23.3.2 2024-01-24T21:35:49,279 [notice] To update, run: python3 -m pip install --upgrade pip 2024-01-24T21:35:49,539 Installing build dependencies: finished with status 'done' 2024-01-24T21:35:49,543 Getting requirements to build wheel: started 2024-01-24T21:35:49,544 Running command Getting requirements to build wheel 2024-01-24T21:35:50,280 running egg_info 2024-01-24T21:35:50,283 writing src/DafnyRuntimePython.egg-info/PKG-INFO 2024-01-24T21:35:50,286 writing dependency_links to src/DafnyRuntimePython.egg-info/dependency_links.txt 2024-01-24T21:35:50,288 writing top-level names to src/DafnyRuntimePython.egg-info/top_level.txt 2024-01-24T21:35:50,302 reading manifest file 'src/DafnyRuntimePython.egg-info/SOURCES.txt' 2024-01-24T21:35:50,305 writing manifest file 'src/DafnyRuntimePython.egg-info/SOURCES.txt' 2024-01-24T21:35:50,415 Getting requirements to build wheel: finished with status 'done' 2024-01-24T21:35:50,423 Installing backend dependencies: started 2024-01-24T21:35:50,424 Running command pip subprocess to install backend dependencies 2024-01-24T21:35:51,547 Using pip 23.3.1 from /usr/local/lib/python3.11/dist-packages/pip (python 3.11) 2024-01-24T21:35:52,133 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple 2024-01-24T21:35:52,627 Collecting wheel 2024-01-24T21:35:52,641 Using cached https://www.piwheels.org/simple/wheel/wheel-0.42.0-py3-none-any.whl (65 kB) 2024-01-24T21:35:55,787 Installing collected packages: wheel 2024-01-24T21:35:56,003 Creating /tmp/pip-build-env-n3pn_q75/normal/local/bin 2024-01-24T21:35:56,005 changing mode of /tmp/pip-build-env-n3pn_q75/normal/local/bin/wheel to 755 2024-01-24T21:35:56,017 Successfully installed wheel-0.42.0 2024-01-24T21:35:56,496 [notice] A new release of pip is available: 23.3.1 -> 23.3.2 2024-01-24T21:35:56,497 [notice] To update, run: python3 -m pip install --upgrade pip 2024-01-24T21:35:56,726 Installing backend dependencies: finished with status 'done' 2024-01-24T21:35:56,728 Created temporary directory: /tmp/pip-modern-metadata-wot0ttj9 2024-01-24T21:35:56,730 Preparing metadata (pyproject.toml): started 2024-01-24T21:35:56,731 Running command Preparing metadata (pyproject.toml) 2024-01-24T21:35:57,497 running dist_info 2024-01-24T21:35:57,502 creating /tmp/pip-modern-metadata-wot0ttj9/DafnyRuntimePython.egg-info 2024-01-24T21:35:57,506 writing /tmp/pip-modern-metadata-wot0ttj9/DafnyRuntimePython.egg-info/PKG-INFO 2024-01-24T21:35:57,509 writing dependency_links to /tmp/pip-modern-metadata-wot0ttj9/DafnyRuntimePython.egg-info/dependency_links.txt 2024-01-24T21:35:57,511 writing top-level names to /tmp/pip-modern-metadata-wot0ttj9/DafnyRuntimePython.egg-info/top_level.txt 2024-01-24T21:35:57,512 writing manifest file '/tmp/pip-modern-metadata-wot0ttj9/DafnyRuntimePython.egg-info/SOURCES.txt' 2024-01-24T21:35:57,525 reading manifest file '/tmp/pip-modern-metadata-wot0ttj9/DafnyRuntimePython.egg-info/SOURCES.txt' 2024-01-24T21:35:57,529 writing manifest file '/tmp/pip-modern-metadata-wot0ttj9/DafnyRuntimePython.egg-info/SOURCES.txt' 2024-01-24T21:35:57,530 creating '/tmp/pip-modern-metadata-wot0ttj9/DafnyRuntimePython-4.4.0.dist-info' 2024-01-24T21:35:57,668 Preparing metadata (pyproject.toml): finished with status 'done' 2024-01-24T21:35:57,673 Source in /tmp/pip-wheel-f6y2y16w/dafnyruntimepython_a2a125a141584a8bbfb08c8c9fe341a8 has version 4.4.0, which satisfies requirement dafnyruntimepython==4.4.0 from https://files.pythonhosted.org/packages/3a/29/d92ae17ab2e8ce67b48175548d8bd44179684fc4d2b8a05a00a12a11cf8d/DafnyRuntimePython-4.4.0.tar.gz 2024-01-24T21:35:57,674 Removed dafnyruntimepython==4.4.0 from https://files.pythonhosted.org/packages/3a/29/d92ae17ab2e8ce67b48175548d8bd44179684fc4d2b8a05a00a12a11cf8d/DafnyRuntimePython-4.4.0.tar.gz from build tracker '/tmp/pip-build-tracker-8zricdwy' 2024-01-24T21:35:57,678 Created temporary directory: /tmp/pip-unpack-t0_zncgi 2024-01-24T21:35:57,680 Created temporary directory: /tmp/pip-unpack-fq1m997e 2024-01-24T21:35:57,682 Building wheels for collected packages: dafnyruntimepython 2024-01-24T21:35:57,686 Created temporary directory: /tmp/pip-wheel-zw3se0hj 2024-01-24T21:35:57,687 Destination directory: /tmp/pip-wheel-zw3se0hj 2024-01-24T21:35:57,689 Building wheel for dafnyruntimepython (pyproject.toml): started 2024-01-24T21:35:57,691 Running command Building wheel for dafnyruntimepython (pyproject.toml) 2024-01-24T21:35:58,419 running bdist_wheel 2024-01-24T21:35:58,434 running build 2024-01-24T21:35:58,435 running build_py 2024-01-24T21:35:58,439 creating build 2024-01-24T21:35:58,439 creating build/lib 2024-01-24T21:35:58,440 creating build/lib/_dafny 2024-01-24T21:35:58,441 copying src/_dafny/__init__.py -> build/lib/_dafny 2024-01-24T21:35:58,444 creating build/lib/System_ 2024-01-24T21:35:58,445 copying src/System_/__init__.py -> build/lib/System_ 2024-01-24T21:35:58,446 running egg_info 2024-01-24T21:35:58,450 writing src/DafnyRuntimePython.egg-info/PKG-INFO 2024-01-24T21:35:58,452 writing dependency_links to src/DafnyRuntimePython.egg-info/dependency_links.txt 2024-01-24T21:35:58,453 writing top-level names to src/DafnyRuntimePython.egg-info/top_level.txt 2024-01-24T21:35:58,460 reading manifest file 'src/DafnyRuntimePython.egg-info/SOURCES.txt' 2024-01-24T21:35:58,463 writing manifest file 'src/DafnyRuntimePython.egg-info/SOURCES.txt' 2024-01-24T21:35:58,472 installing to build/bdist.linux-armv7l/wheel 2024-01-24T21:35:58,472 running install 2024-01-24T21:35:58,495 running install_lib 2024-01-24T21:35:58,500 creating build/bdist.linux-armv7l 2024-01-24T21:35:58,500 creating build/bdist.linux-armv7l/wheel 2024-01-24T21:35:58,502 creating build/bdist.linux-armv7l/wheel/_dafny 2024-01-24T21:35:58,503 copying build/lib/_dafny/__init__.py -> build/bdist.linux-armv7l/wheel/_dafny 2024-01-24T21:35:58,505 creating build/bdist.linux-armv7l/wheel/System_ 2024-01-24T21:35:58,506 copying build/lib/System_/__init__.py -> build/bdist.linux-armv7l/wheel/System_ 2024-01-24T21:35:58,508 running install_egg_info 2024-01-24T21:35:58,511 Copying src/DafnyRuntimePython.egg-info to build/bdist.linux-armv7l/wheel/DafnyRuntimePython-4.4.0-py3.11.egg-info 2024-01-24T21:35:58,519 running install_scripts 2024-01-24T21:35:58,528 creating build/bdist.linux-armv7l/wheel/DafnyRuntimePython-4.4.0.dist-info/WHEEL 2024-01-24T21:35:58,531 creating '/tmp/pip-wheel-zw3se0hj/.tmp-ecxttd8h/DafnyRuntimePython-4.4.0-py3-none-any.whl' and adding 'build/bdist.linux-armv7l/wheel' to it 2024-01-24T21:35:58,533 adding 'System_/__init__.py' 2024-01-24T21:35:58,536 adding '_dafny/__init__.py' 2024-01-24T21:35:58,538 adding 'DafnyRuntimePython-4.4.0.dist-info/METADATA' 2024-01-24T21:35:58,539 adding 'DafnyRuntimePython-4.4.0.dist-info/WHEEL' 2024-01-24T21:35:58,540 adding 'DafnyRuntimePython-4.4.0.dist-info/top_level.txt' 2024-01-24T21:35:58,541 adding 'DafnyRuntimePython-4.4.0.dist-info/RECORD' 2024-01-24T21:35:58,542 removing build/bdist.linux-armv7l/wheel 2024-01-24T21:35:58,662 Building wheel for dafnyruntimepython (pyproject.toml): finished with status 'done' 2024-01-24T21:35:58,666 Created wheel for dafnyruntimepython: filename=DafnyRuntimePython-4.4.0-py3-none-any.whl size=5657 sha256=42ee21651f7ce4b66d740dae747466931993fe4982cd8756d32d51a6075ca3cf 2024-01-24T21:35:58,668 Stored in directory: /tmp/pip-ephem-wheel-cache-rdg3tlnn/wheels/c1/13/da/79840d2a7b4b5314497eaa63bb096820f1110f602cb99b04f9 2024-01-24T21:35:58,676 Successfully built dafnyruntimepython 2024-01-24T21:35:58,679 Removed build tracker: '/tmp/pip-build-tracker-8zricdwy'