2026-03-05T09:00:09,533 Created temporary directory: /tmp/pip-ephem-wheel-cache-55e3ql8n
2026-03-05T09:00:09,535 Created temporary directory: /tmp/pip-build-tracker-wll4o0q8
2026-03-05T09:00:09,535 Initialized build tracking at /tmp/pip-build-tracker-wll4o0q8
2026-03-05T09:00:09,536 Created build tracker: /tmp/pip-build-tracker-wll4o0q8
2026-03-05T09:00:09,537 Entered build tracker: /tmp/pip-build-tracker-wll4o0q8
2026-03-05T09:00:09,538 Created temporary directory: /tmp/pip-wheel-u0atgsoq
2026-03-05T09:00:09,541 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
2026-03-05T09:00:09,543 Created temporary directory: /tmp/pip-ephem-wheel-cache-1w7f8z9_
2026-03-05T09:00:09,566 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple
2026-03-05T09:00:09,569 2 location(s) to search for versions of specware:
2026-03-05T09:00:09,569 * https://pypi.org/simple/specware/
2026-03-05T09:00:09,569 * https://www.piwheels.org/simple/specware/
2026-03-05T09:00:09,570 Fetching project page and analyzing links: https://pypi.org/simple/specware/
2026-03-05T09:00:09,571 Getting page https://pypi.org/simple/specware/
2026-03-05T09:00:09,572 Found index url https://pypi.org/simple
2026-03-05T09:00:09,788 Fetched page https://pypi.org/simple/specware/ as application/vnd.pypi.simple.v1+json
2026-03-05T09:00:09,790   Skipping link: No binaries permitted for specware: https://files.pythonhosted.org/packages/db/4e/b6a4d6b6fbd1a22fd912c4c5c1f095f25be3459be271808f1b06ea3bfe1d/specware-1.1.0-py3-none-any.whl (from https://pypi.org/simple/specware/) (requires-python:>=3.11)
2026-03-05T09:00:09,791   Found link https://files.pythonhosted.org/packages/2b/d0/ecc15c770c555f353acdab791829fd1c9160c94b4585464e4a8c0edfa384/specware-1.1.0.tar.gz (from https://pypi.org/simple/specware/) (requires-python:>=3.11), version: 1.1.0
2026-03-05T09:00:09,792   Skipping link: No binaries permitted for specware: https://files.pythonhosted.org/packages/1e/da/c9250ec91c0669bc8497d884d190e218060769706c33a23364613fc24a70/specware-1.1.1-py3-none-any.whl (from https://pypi.org/simple/specware/) (requires-python:>=3.11)
2026-03-05T09:00:09,793   Found link https://files.pythonhosted.org/packages/4a/fb/b7ece7e6e25ba08b452eaabcddcd109cf80098033e76a769997c9e968f61/specware-1.1.1.tar.gz (from https://pypi.org/simple/specware/) (requires-python:>=3.11), version: 1.1.1
2026-03-05T09:00:09,794 Fetching project page and analyzing links: https://www.piwheels.org/simple/specware/
2026-03-05T09:00:09,795 Getting page https://www.piwheels.org/simple/specware/
2026-03-05T09:00:09,796 Found index url https://www.piwheels.org/simple
2026-03-05T09:00:09,950 Fetched page https://www.piwheels.org/simple/specware/ as text/html
2026-03-05T09:00:09,951   Skipping link: No binaries permitted for specware: https://www.piwheels.org/simple/specware/specware-1.1.0-py3-none-any.whl#sha256=c484eb36bb6cdb91b3b2b33d2207e4b15931c314929cc12095739811a08b50ea (from https://www.piwheels.org/simple/specware/) (requires-python:>=3.11)
2026-03-05T09:00:09,952 Skipping link: not a file: https://www.piwheels.org/simple/specware/
2026-03-05T09:00:09,953 Skipping link: not a file: https://pypi.org/simple/specware/
2026-03-05T09:00:09,972 Given no hashes to check 1 links for project 'specware': discarding no candidates
2026-03-05T09:00:09,990 Collecting specware==1.1.1
2026-03-05T09:00:09,992   Created temporary directory: /tmp/pip-unpack-w1eucnyw
2026-03-05T09:00:10,125   Downloading specware-1.1.1.tar.gz (79 kB)
2026-03-05T09:00:10,243   Added specware==1.1.1 from https://files.pythonhosted.org/packages/4a/fb/b7ece7e6e25ba08b452eaabcddcd109cf80098033e76a769997c9e968f61/specware-1.1.1.tar.gz to build tracker '/tmp/pip-build-tracker-wll4o0q8'
2026-03-05T09:00:10,249   Created temporary directory: /tmp/pip-build-env-dno135j2
2026-03-05T09:00:10,253   Installing build dependencies: started
2026-03-05T09:00:10,254   Running command pip subprocess to install build dependencies
2026-03-05T09:00:11,394   Using pip 23.0.1 from /usr/lib/python3/dist-packages/pip (python 3.11)
2026-03-05T09:00:11,965   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
2026-03-05T09:00:11,988   Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple
2026-03-05T09:00:13,232   Collecting uv_build<0.11.0,>=0.10.0
2026-03-05T09:00:13,259     Using cached uv_build-0.10.8-py3-none-manylinux_2_17_armv7l.manylinux2014_armv7l.whl (1.5 MB)
2026-03-05T09:00:15,861   Installing collected packages: uv_build
2026-03-05T09:00:15,997   Successfully installed uv_build-0.10.8
2026-03-05T09:00:16,266   Installing build dependencies: finished with status 'done'
2026-03-05T09:00:16,275   Getting requirements to build wheel: started
2026-03-05T09:00:16,276   Running command Getting requirements to build wheel
2026-03-05T09:00:16,425   Getting requirements to build wheel: finished with status 'done'
2026-03-05T09:00:16,428   Created temporary directory: /tmp/pip-modern-metadata-yfs4ymni
2026-03-05T09:00:16,430   Preparing metadata (pyproject.toml): started
2026-03-05T09:00:16,431   Running command Preparing metadata (pyproject.toml)
2026-03-05T09:00:16,587   Preparing metadata (pyproject.toml): finished with status 'done'
2026-03-05T09:00:16,591   Source in /tmp/pip-wheel-u0atgsoq/specware_337c6980781e4016ade5ff1aeb80a3de has version 1.1.1, which satisfies requirement specware==1.1.1 from https://files.pythonhosted.org/packages/4a/fb/b7ece7e6e25ba08b452eaabcddcd109cf80098033e76a769997c9e968f61/specware-1.1.1.tar.gz
2026-03-05T09:00:16,592   Removed specware==1.1.1 from https://files.pythonhosted.org/packages/4a/fb/b7ece7e6e25ba08b452eaabcddcd109cf80098033e76a769997c9e968f61/specware-1.1.1.tar.gz from build tracker '/tmp/pip-build-tracker-wll4o0q8'
2026-03-05T09:00:16,597 Created temporary directory: /tmp/pip-unpack-297wctl5
2026-03-05T09:00:16,598 Building wheels for collected packages: specware
2026-03-05T09:00:16,602   Created temporary directory: /tmp/pip-wheel-toaf2rky
2026-03-05T09:00:16,603   Destination directory: /tmp/pip-wheel-toaf2rky
2026-03-05T09:00:16,605   Building wheel for specware (pyproject.toml): started
2026-03-05T09:00:16,607   Running command Building wheel for specware (pyproject.toml)
2026-03-05T09:00:16,818   Building wheel for specware (pyproject.toml): finished with status 'done'
2026-03-05T09:00:16,822   Created wheel for specware: filename=specware-1.1.1-py3-none-any.whl size=94817 sha256=37c76a5daeeb91d89dbeb22b24785e8a704bc9385e5e8d3b79ae28933e8c0de7
2026-03-05T09:00:16,824   Stored in directory: /tmp/pip-ephem-wheel-cache-1w7f8z9_/wheels/3a/9c/c7/76bd4584f221c4494cd6d28b71adc3433e7afc04c9a8ed599c
2026-03-05T09:00:16,834 Successfully built specware
2026-03-05T09:00:16,839 Removed build tracker: '/tmp/pip-build-tracker-wll4o0q8'