2026-03-27T04:52:57,079 Created temporary directory: /tmp/pip-ephem-wheel-cache-egl22k7r
2026-03-27T04:52:57,080 Created temporary directory: /tmp/pip-build-tracker-dmjje1cp
2026-03-27T04:52:57,081 Initialized build tracking at /tmp/pip-build-tracker-dmjje1cp
2026-03-27T04:52:57,082 Created build tracker: /tmp/pip-build-tracker-dmjje1cp
2026-03-27T04:52:57,082 Entered build tracker: /tmp/pip-build-tracker-dmjje1cp
2026-03-27T04:52:57,083 Created temporary directory: /tmp/pip-wheel-pmj4zksm
2026-03-27T04:52:57,085 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-27T04:52:57,088 Created temporary directory: /tmp/pip-ephem-wheel-cache-qnnld0pb
2026-03-27T04:52:57,110 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple
2026-03-27T04:52:57,113 2 location(s) to search for versions of specware:
2026-03-27T04:52:57,113 * https://pypi.org/simple/specware/
2026-03-27T04:52:57,113 * https://www.piwheels.org/simple/specware/
2026-03-27T04:52:57,114 Fetching project page and analyzing links: https://pypi.org/simple/specware/
2026-03-27T04:52:57,115 Getting page https://pypi.org/simple/specware/
2026-03-27T04:52:57,116 Found index url https://pypi.org/simple
2026-03-27T04:52:57,340 Fetched page https://pypi.org/simple/specware/ as application/vnd.pypi.simple.v1+json
2026-03-27T04:52:57,345   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-27T04:52:57,346   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-27T04:52:57,347   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-27T04:52:57,348   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-27T04:52:57,348   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-27T04:52:57,349   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-27T04:52:57,350   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-27T04:52:57,351   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-27T04:52:57,352   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-27T04:52:57,353   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-27T04:52:57,354   Skipping link: No binaries permitted for specware: https://files.pythonhosted.org/packages/a8/31/1790803cb5de051e266690a34badb1ec252e8dd938fa07eee882b9ebbddd/specware-1.1.5-py3-none-any.whl (from https://pypi.org/simple/specware/) (requires-python:>=3.11)
2026-03-27T04:52:57,355   Found link https://files.pythonhosted.org/packages/c7/82/aa1ac25f21fb37941dd3096ce554e8df79e9732bcd3adcdadbb72b9118af/specware-1.1.5.tar.gz (from https://pypi.org/simple/specware/) (requires-python:>=3.11), version: 1.1.5
2026-03-27T04:52:57,355   Skipping link: No binaries permitted for specware: https://files.pythonhosted.org/packages/ba/3f/f778940ba9ac4b142a1fc291aa7752a408b4959723b4e8e952564eea86ac/specware-1.1.6-py3-none-any.whl (from https://pypi.org/simple/specware/) (requires-python:>=3.11)
2026-03-27T04:52:57,356   Found link https://files.pythonhosted.org/packages/e7/bd/faf187a704ca00c31dd2c6d3313fe9613d384f8273f267dc07992160a8eb/specware-1.1.6.tar.gz (from https://pypi.org/simple/specware/) (requires-python:>=3.11), version: 1.1.6
2026-03-27T04:52:57,357   Skipping link: No binaries permitted for specware: https://files.pythonhosted.org/packages/15/23/2885f46214e29bf8a7330eac7d7cfc2ba3f48b46497641b5b13c19600f58/specware-1.1.7-py3-none-any.whl (from https://pypi.org/simple/specware/) (requires-python:>=3.11)
2026-03-27T04:52:57,358   Found link https://files.pythonhosted.org/packages/c4/af/576c787ac89cd77e4cba9a4a78db56707604942edb2126750120420a9072/specware-1.1.7.tar.gz (from https://pypi.org/simple/specware/) (requires-python:>=3.11), version: 1.1.7
2026-03-27T04:52:57,358   Skipping link: No binaries permitted for specware: https://files.pythonhosted.org/packages/d4/df/efe9a3ee8edb4da5f1413af63c05baf1239a64022454311525458ff7e9a4/specware-1.1.8-py3-none-any.whl (from https://pypi.org/simple/specware/) (requires-python:>=3.11)
2026-03-27T04:52:57,359   Found link https://files.pythonhosted.org/packages/29/47/ba5827dfd9d703152c0c6783d982b7dd1ec75f11912c46244dd61619b166/specware-1.1.8.tar.gz (from https://pypi.org/simple/specware/) (requires-python:>=3.11), version: 1.1.8
2026-03-27T04:52:57,360   Skipping link: No binaries permitted for specware: https://files.pythonhosted.org/packages/f3/94/4ee60def7b36b06e47641b9594932bc9cc4cf3ddf71cf02af1f61dedc4be/specware-1.1.9-py3-none-any.whl (from https://pypi.org/simple/specware/) (requires-python:>=3.11)
2026-03-27T04:52:57,361   Found link https://files.pythonhosted.org/packages/ff/3f/6b41e5b9be8c5b3d353ebd268960ab5e3d31787af05adbe755a00feb8bc9/specware-1.1.9.tar.gz (from https://pypi.org/simple/specware/) (requires-python:>=3.11), version: 1.1.9
2026-03-27T04:52:57,361   Skipping link: No binaries permitted for specware: https://files.pythonhosted.org/packages/da/90/2157124fbdd451e39968a11542b1be5c8ac207e84f7cb829fd860505b9f9/specware-1.1.10-py3-none-any.whl (from https://pypi.org/simple/specware/) (requires-python:>=3.11)
2026-03-27T04:52:57,362   Found link https://files.pythonhosted.org/packages/ae/f0/189571caab4c7a497881430e5c4cb7ec869f951337dda0f71da5ec479a97/specware-1.1.10.tar.gz (from https://pypi.org/simple/specware/) (requires-python:>=3.11), version: 1.1.10
2026-03-27T04:52:57,363 Fetching project page and analyzing links: https://www.piwheels.org/simple/specware/
2026-03-27T04:52:57,364 Getting page https://www.piwheels.org/simple/specware/
2026-03-27T04:52:57,365 Found index url https://www.piwheels.org/simple
2026-03-27T04:52:57,534 Fetched page https://www.piwheels.org/simple/specware/ as text/html
2026-03-27T04:52:57,538   Skipping link: No binaries permitted for specware: https://www.piwheels.org/simple/specware/specware-1.1.9-py3-none-any.whl#sha256=52d5fc99b4d3cffdd219317a2a3121786634aa04fc547ed579e77c03be2453c3 (from https://www.piwheels.org/simple/specware/) (requires-python:>=3.11)
2026-03-27T04:52:57,539   Skipping link: No binaries permitted for specware: https://www.piwheels.org/simple/specware/specware-1.1.8-py3-none-any.whl#sha256=ae28d5c13873058f04b9bdf747c6564c79f4eb70d2c110a5d05527a99cd1d088 (from https://www.piwheels.org/simple/specware/) (requires-python:>=3.11)
2026-03-27T04:52:57,540   Skipping link: No binaries permitted for specware: https://www.piwheels.org/simple/specware/specware-1.1.7-py3-none-any.whl#sha256=4df8774a02d55a0cb9944c284575b60de6555e91c332d3d6b48d6efee8d72371 (from https://www.piwheels.org/simple/specware/) (requires-python:>=3.11)
2026-03-27T04:52:57,540   Skipping link: No binaries permitted for specware: https://www.piwheels.org/simple/specware/specware-1.1.6-py3-none-any.whl#sha256=f057b9f3df3fa471bc910022c98a88c1dcb790e89d57ec4a8c8d9ecba8c9312b (from https://www.piwheels.org/simple/specware/) (requires-python:>=3.11)
2026-03-27T04:52:57,541   Skipping link: No binaries permitted for specware: https://www.piwheels.org/simple/specware/specware-1.1.5-py3-none-any.whl#sha256=fdd4aff1b39ae0f048ba129810427c0d83cfa94e3137579fb721e2283d969011 (from https://www.piwheels.org/simple/specware/) (requires-python:>=3.11)
2026-03-27T04:52:57,541   Skipping link: No binaries permitted for specware: https://www.piwheels.org/simple/specware/specware-1.1.4-py3-none-any.whl#sha256=b63343fb900ab96a9ebc0d642d3b37751d77eeb977fdaa89ca45b1aee1797833 (from https://www.piwheels.org/simple/specware/) (requires-python:>=3.11)
2026-03-27T04:52:57,542   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-27T04:52:57,542   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-27T04:52:57,543   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-27T04:52:57,543   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-27T04:52:57,544 Skipping link: not a file: https://www.piwheels.org/simple/specware/
2026-03-27T04:52:57,545 Skipping link: not a file: https://pypi.org/simple/specware/
2026-03-27T04:52:57,565 Given no hashes to check 1 links for project 'specware': discarding no candidates
2026-03-27T04:52:57,583 Collecting specware==1.1.10
2026-03-27T04:52:57,585   Created temporary directory: /tmp/pip-unpack-putz_4tl
2026-03-27T04:52:57,735   Downloading specware-1.1.10.tar.gz (80 kB)
2026-03-27T04:52:57,856   Added specware==1.1.10 from https://files.pythonhosted.org/packages/ae/f0/189571caab4c7a497881430e5c4cb7ec869f951337dda0f71da5ec479a97/specware-1.1.10.tar.gz to build tracker '/tmp/pip-build-tracker-dmjje1cp'
2026-03-27T04:52:57,861   Created temporary directory: /tmp/pip-build-env-oo2nrbzf
2026-03-27T04:52:57,866   Installing build dependencies: started
2026-03-27T04:52:57,867   Running command pip subprocess to install build dependencies
2026-03-27T04:52:59,030   Using pip 23.0.1 from /usr/lib/python3/dist-packages/pip (python 3.11)
2026-03-27T04:52:59,437   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-27T04:52:59,462   Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple
2026-03-27T04:53:00,943   Collecting uv_build<0.11.0,>=0.10.0
2026-03-27T04:53:00,971     Using cached uv_build-0.10.12-py3-none-manylinux_2_17_armv7l.manylinux2014_armv7l.whl (1.5 MB)
2026-03-27T04:53:03,649   Installing collected packages: uv_build
2026-03-27T04:53:03,789   Successfully installed uv_build-0.10.12
2026-03-27T04:53:04,056   Installing build dependencies: finished with status 'done'
2026-03-27T04:53:04,062   Getting requirements to build wheel: started
2026-03-27T04:53:04,063   Running command Getting requirements to build wheel
2026-03-27T04:53:04,205   Getting requirements to build wheel: finished with status 'done'
2026-03-27T04:53:04,208   Created temporary directory: /tmp/pip-modern-metadata-j6a3qf0n
2026-03-27T04:53:04,210   Preparing metadata (pyproject.toml): started
2026-03-27T04:53:04,211   Running command Preparing metadata (pyproject.toml)
2026-03-27T04:53:04,369   Preparing metadata (pyproject.toml): finished with status 'done'
2026-03-27T04:53:04,373   Source in /tmp/pip-wheel-pmj4zksm/specware_ac131a29904c4e87a80ff8d5fc168833 has version 1.1.10, which satisfies requirement specware==1.1.10 from https://files.pythonhosted.org/packages/ae/f0/189571caab4c7a497881430e5c4cb7ec869f951337dda0f71da5ec479a97/specware-1.1.10.tar.gz
2026-03-27T04:53:04,374   Removed specware==1.1.10 from https://files.pythonhosted.org/packages/ae/f0/189571caab4c7a497881430e5c4cb7ec869f951337dda0f71da5ec479a97/specware-1.1.10.tar.gz from build tracker '/tmp/pip-build-tracker-dmjje1cp'
2026-03-27T04:53:04,379 Created temporary directory: /tmp/pip-unpack-9q7e6hnb
2026-03-27T04:53:04,379 Building wheels for collected packages: specware
2026-03-27T04:53:04,383   Created temporary directory: /tmp/pip-wheel-20q1xev1
2026-03-27T04:53:04,384   Destination directory: /tmp/pip-wheel-20q1xev1
2026-03-27T04:53:04,386   Building wheel for specware (pyproject.toml): started
2026-03-27T04:53:04,387   Running command Building wheel for specware (pyproject.toml)
2026-03-27T04:53:04,600   Building wheel for specware (pyproject.toml): finished with status 'done'
2026-03-27T04:53:04,605   Created wheel for specware: filename=specware-1.1.10-py3-none-any.whl size=96315 sha256=d2afc39da0e386ce48e49c3fc3cfe1a5dccded673b9442ae935e4e1186e77174
2026-03-27T04:53:04,607   Stored in directory: /tmp/pip-ephem-wheel-cache-qnnld0pb/wheels/4f/f8/7a/2305baed8888f86a56bad31a278345ad236dd1c02cefea12d6
2026-03-27T04:53:04,617 Successfully built specware
2026-03-27T04:53:04,623 Removed build tracker: '/tmp/pip-build-tracker-dmjje1cp'