2026-03-20T09:31:45,447 Created temporary directory: /tmp/pip-ephem-wheel-cache-5qa8kf2y
2026-03-20T09:31:45,449 Created temporary directory: /tmp/pip-build-tracker-eoc_lan3
2026-03-20T09:31:45,450 Initialized build tracking at /tmp/pip-build-tracker-eoc_lan3
2026-03-20T09:31:45,450 Created build tracker: /tmp/pip-build-tracker-eoc_lan3
2026-03-20T09:31:45,450 Entered build tracker: /tmp/pip-build-tracker-eoc_lan3
2026-03-20T09:31:45,451 Created temporary directory: /tmp/pip-wheel-1o7paveu
2026-03-20T09:31:45,454 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-20T09:31:45,456 Created temporary directory: /tmp/pip-ephem-wheel-cache-i85p3vbn
2026-03-20T09:31:45,478 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple
2026-03-20T09:31:45,481 2 location(s) to search for versions of specware:
2026-03-20T09:31:45,481 * https://pypi.org/simple/specware/
2026-03-20T09:31:45,481 * https://www.piwheels.org/simple/specware/
2026-03-20T09:31:45,482 Fetching project page and analyzing links: https://pypi.org/simple/specware/
2026-03-20T09:31:45,483 Getting page https://pypi.org/simple/specware/
2026-03-20T09:31:45,484 Found index url https://pypi.org/simple
2026-03-20T09:31:45,693 Fetched page https://pypi.org/simple/specware/ as application/vnd.pypi.simple.v1+json
2026-03-20T09:31:45,696   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-20T09:31:45,697   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-20T09:31:45,697   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-20T09:31:45,698   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-20T09:31:45,699   Skipping link: No binaries permitted for specware: https://files.pythonhosted.org/packages/ab/97/fca113662780b97f31723f50277d54c84817870bd38f86194fed469120dc/specware-1.1.2-py3-none-any.whl (from https://pypi.org/simple/specware/) (requires-python:>=3.11)
2026-03-20T09:31:45,700   Found link https://files.pythonhosted.org/packages/bc/b7/7820ecb1fc5b1d628d1336f88f73898b1f1f9451d2e5952ac606a83306ef/specware-1.1.2.tar.gz (from https://pypi.org/simple/specware/) (requires-python:>=3.11), version: 1.1.2
2026-03-20T09:31:45,700   Skipping link: No binaries permitted for specware: https://files.pythonhosted.org/packages/c4/5a/9d24509b176fe6e9d572c5bdbe9866bd4fb091ede90e7cffba22506ded12/specware-1.1.3-py3-none-any.whl (from https://pypi.org/simple/specware/) (requires-python:>=3.11)
2026-03-20T09:31:45,701   Found link https://files.pythonhosted.org/packages/ba/7a/7402576d70abf7210d75c8c8057758b71daf5ea2ca569e79af193bf81b65/specware-1.1.3.tar.gz (from https://pypi.org/simple/specware/) (requires-python:>=3.11), version: 1.1.3
2026-03-20T09:31:45,702   Skipping link: No binaries permitted for specware: https://files.pythonhosted.org/packages/53/5a/98ecbb7a64074585937b78ece31179e2e93b0b8377a1f4be835f48d1f0e7/specware-1.1.4-py3-none-any.whl (from https://pypi.org/simple/specware/) (requires-python:>=3.11)
2026-03-20T09:31:45,703   Found link https://files.pythonhosted.org/packages/7d/54/308f6ff9122a9176a8319541056aaf02cf0308aadf9c4505c560955f34b1/specware-1.1.4.tar.gz (from https://pypi.org/simple/specware/) (requires-python:>=3.11), version: 1.1.4
2026-03-20T09:31:45,704 Fetching project page and analyzing links: https://www.piwheels.org/simple/specware/
2026-03-20T09:31:45,705 Getting page https://www.piwheels.org/simple/specware/
2026-03-20T09:31:45,706 Found index url https://www.piwheels.org/simple
2026-03-20T09:31:45,855 Fetched page https://www.piwheels.org/simple/specware/ as text/html
2026-03-20T09:31:45,858   Skipping link: No binaries permitted for specware: https://www.piwheels.org/simple/specware/specware-1.1.3-py3-none-any.whl#sha256=2d2bf9fad07f7f8a0c7cde24a6b8e13077e7d6c31666bc0e93265d1a22db9464 (from https://www.piwheels.org/simple/specware/) (requires-python:>=3.11)
2026-03-20T09:31:45,858   Skipping link: No binaries permitted for specware: https://www.piwheels.org/simple/specware/specware-1.1.2-py3-none-any.whl#sha256=763c508374508f23b5227cc28d2225b5585cc50b66034463ebf79605a0f4c82b (from https://www.piwheels.org/simple/specware/) (requires-python:>=3.11)
2026-03-20T09:31:45,859   Skipping link: No binaries permitted for specware: https://www.piwheels.org/simple/specware/specware-1.1.1-py3-none-any.whl#sha256=37c76a5daeeb91d89dbeb22b24785e8a704bc9385e5e8d3b79ae28933e8c0de7 (from https://www.piwheels.org/simple/specware/) (requires-python:>=3.11)
2026-03-20T09:31:45,859   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-20T09:31:45,860 Skipping link: not a file: https://www.piwheels.org/simple/specware/
2026-03-20T09:31:45,860 Skipping link: not a file: https://pypi.org/simple/specware/
2026-03-20T09:31:45,880 Given no hashes to check 1 links for project 'specware': discarding no candidates
2026-03-20T09:31:45,898 Collecting specware==1.1.4
2026-03-20T09:31:45,900   Created temporary directory: /tmp/pip-unpack-nd6v99v4
2026-03-20T09:31:46,105   Downloading specware-1.1.4.tar.gz (79 kB)
2026-03-20T09:31:46,217   Added specware==1.1.4 from https://files.pythonhosted.org/packages/7d/54/308f6ff9122a9176a8319541056aaf02cf0308aadf9c4505c560955f34b1/specware-1.1.4.tar.gz to build tracker '/tmp/pip-build-tracker-eoc_lan3'
2026-03-20T09:31:46,222   Created temporary directory: /tmp/pip-build-env-019mvejs
2026-03-20T09:31:46,226   Installing build dependencies: started
2026-03-20T09:31:46,228   Running command pip subprocess to install build dependencies
2026-03-20T09:31:47,358   Using pip 23.0.1 from /usr/lib/python3/dist-packages/pip (python 3.11)
2026-03-20T09:31:47,988   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-20T09:31:48,011   Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple
2026-03-20T09:31:49,533   Collecting uv_build<0.11.0,>=0.10.0
2026-03-20T09:31:49,560     Using cached uv_build-0.10.12-py3-none-manylinux_2_17_armv7l.manylinux2014_armv7l.whl (1.5 MB)
2026-03-20T09:31:52,219   Installing collected packages: uv_build
2026-03-20T09:31:52,373   Successfully installed uv_build-0.10.12
2026-03-20T09:31:52,639   Installing build dependencies: finished with status 'done'
2026-03-20T09:31:52,646   Getting requirements to build wheel: started
2026-03-20T09:31:52,647   Running command Getting requirements to build wheel
2026-03-20T09:31:52,803   Getting requirements to build wheel: finished with status 'done'
2026-03-20T09:31:52,806   Created temporary directory: /tmp/pip-modern-metadata-yirxqm0k
2026-03-20T09:31:52,809   Preparing metadata (pyproject.toml): started
2026-03-20T09:31:52,810   Running command Preparing metadata (pyproject.toml)
2026-03-20T09:31:52,967   Preparing metadata (pyproject.toml): finished with status 'done'
2026-03-20T09:31:52,972   Source in /tmp/pip-wheel-1o7paveu/specware_744e06b082484298889ab029b40462df has version 1.1.4, which satisfies requirement specware==1.1.4 from https://files.pythonhosted.org/packages/7d/54/308f6ff9122a9176a8319541056aaf02cf0308aadf9c4505c560955f34b1/specware-1.1.4.tar.gz
2026-03-20T09:31:52,973   Removed specware==1.1.4 from https://files.pythonhosted.org/packages/7d/54/308f6ff9122a9176a8319541056aaf02cf0308aadf9c4505c560955f34b1/specware-1.1.4.tar.gz from build tracker '/tmp/pip-build-tracker-eoc_lan3'
2026-03-20T09:31:52,978 Created temporary directory: /tmp/pip-unpack-i9419wo0
2026-03-20T09:31:52,978 Building wheels for collected packages: specware
2026-03-20T09:31:52,983   Created temporary directory: /tmp/pip-wheel-blb0gkuq
2026-03-20T09:31:52,983   Destination directory: /tmp/pip-wheel-blb0gkuq
2026-03-20T09:31:52,985   Building wheel for specware (pyproject.toml): started
2026-03-20T09:31:52,987   Running command Building wheel for specware (pyproject.toml)
2026-03-20T09:31:53,198   Building wheel for specware (pyproject.toml): finished with status 'done'
2026-03-20T09:31:53,203   Created wheel for specware: filename=specware-1.1.4-py3-none-any.whl size=95399 sha256=b63343fb900ab96a9ebc0d642d3b37751d77eeb977fdaa89ca45b1aee1797833
2026-03-20T09:31:53,204   Stored in directory: /tmp/pip-ephem-wheel-cache-i85p3vbn/wheels/fb/bc/db/09e2495dc8174d7bfbdc59fa7c023e3ba6f731b696ce3a0b61
2026-03-20T09:31:53,214 Successfully built specware
2026-03-20T09:31:53,220 Removed build tracker: '/tmp/pip-build-tracker-eoc_lan3'