2026-03-24T17:28:14,216 Created temporary directory: /tmp/pip-ephem-wheel-cache-19xknp6j
2026-03-24T17:28:14,218 Created temporary directory: /tmp/pip-build-tracker-rycek14r
2026-03-24T17:28:14,219 Initialized build tracking at /tmp/pip-build-tracker-rycek14r
2026-03-24T17:28:14,219 Created build tracker: /tmp/pip-build-tracker-rycek14r
2026-03-24T17:28:14,219 Entered build tracker: /tmp/pip-build-tracker-rycek14r
2026-03-24T17:28:14,220 Created temporary directory: /tmp/pip-wheel-g7h71qh9
2026-03-24T17:28:14,223 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-24T17:28:14,226 Created temporary directory: /tmp/pip-ephem-wheel-cache-41a7bdtk
2026-03-24T17:28:14,250 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple
2026-03-24T17:28:14,254 2 location(s) to search for versions of specware:
2026-03-24T17:28:14,254 * https://pypi.org/simple/specware/
2026-03-24T17:28:14,254 * https://www.piwheels.org/simple/specware/
2026-03-24T17:28:14,255 Fetching project page and analyzing links: https://pypi.org/simple/specware/
2026-03-24T17:28:14,255 Getting page https://pypi.org/simple/specware/
2026-03-24T17:28:14,257 Found index url https://pypi.org/simple
2026-03-24T17:28:14,473 Fetched page https://pypi.org/simple/specware/ as application/vnd.pypi.simple.v1+json
2026-03-24T17:28:14,477   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-24T17:28:14,478   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-24T17:28:14,479   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-24T17:28:14,480   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-24T17:28:14,481   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-24T17:28:14,482   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-24T17:28:14,483   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-24T17:28:14,484   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-24T17:28:14,484   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-24T17:28:14,485   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-24T17:28:14,486   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-24T17:28:14,487   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-24T17:28:14,488   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-24T17:28:14,489   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-24T17:28:14,490   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-24T17:28:14,490   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-24T17:28:14,491 Fetching project page and analyzing links: https://www.piwheels.org/simple/specware/
2026-03-24T17:28:14,492 Getting page https://www.piwheels.org/simple/specware/
2026-03-24T17:28:14,493 Found index url https://www.piwheels.org/simple
2026-03-24T17:28:14,671 Fetched page https://www.piwheels.org/simple/specware/ as text/html
2026-03-24T17:28:14,674   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-24T17:28:14,674   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-24T17:28:14,675   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-24T17:28:14,676   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-24T17:28:14,676   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-24T17:28:14,677   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-24T17:28:14,677 Skipping link: not a file: https://www.piwheels.org/simple/specware/
2026-03-24T17:28:14,678 Skipping link: not a file: https://pypi.org/simple/specware/
2026-03-24T17:28:14,698 Given no hashes to check 1 links for project 'specware': discarding no candidates
2026-03-24T17:28:14,716 Collecting specware==1.1.6
2026-03-24T17:28:14,718   Created temporary directory: /tmp/pip-unpack-yztcy_r2
2026-03-24T17:28:14,932   Downloading specware-1.1.6.tar.gz (80 kB)
2026-03-24T17:28:15,052   Added specware==1.1.6 from https://files.pythonhosted.org/packages/e7/bd/faf187a704ca00c31dd2c6d3313fe9613d384f8273f267dc07992160a8eb/specware-1.1.6.tar.gz to build tracker '/tmp/pip-build-tracker-rycek14r'
2026-03-24T17:28:15,057   Created temporary directory: /tmp/pip-build-env-kt3vvslf
2026-03-24T17:28:15,061   Installing build dependencies: started
2026-03-24T17:28:15,062   Running command pip subprocess to install build dependencies
2026-03-24T17:28:16,227   Using pip 23.0.1 from /usr/lib/python3/dist-packages/pip (python 3.11)
2026-03-24T17:28:16,848   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-24T17:28:16,871   Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple
2026-03-24T17:28:18,155   Collecting uv_build<0.11.0,>=0.10.0
2026-03-24T17:28:18,183     Using cached uv_build-0.10.12-py3-none-manylinux_2_17_armv7l.manylinux2014_armv7l.whl (1.5 MB)
2026-03-24T17:28:20,937   Installing collected packages: uv_build
2026-03-24T17:28:21,088   Successfully installed uv_build-0.10.12
2026-03-24T17:28:21,352   Installing build dependencies: finished with status 'done'
2026-03-24T17:28:21,358   Getting requirements to build wheel: started
2026-03-24T17:28:21,360   Running command Getting requirements to build wheel
2026-03-24T17:28:21,496   Getting requirements to build wheel: finished with status 'done'
2026-03-24T17:28:21,499   Created temporary directory: /tmp/pip-modern-metadata-b0r38i_0
2026-03-24T17:28:21,502   Preparing metadata (pyproject.toml): started
2026-03-24T17:28:21,503   Running command Preparing metadata (pyproject.toml)
2026-03-24T17:28:21,666   Preparing metadata (pyproject.toml): finished with status 'done'
2026-03-24T17:28:21,670   Source in /tmp/pip-wheel-g7h71qh9/specware_562cd4d9449141e29af4595043e20936 has version 1.1.6, which satisfies requirement specware==1.1.6 from https://files.pythonhosted.org/packages/e7/bd/faf187a704ca00c31dd2c6d3313fe9613d384f8273f267dc07992160a8eb/specware-1.1.6.tar.gz
2026-03-24T17:28:21,671   Removed specware==1.1.6 from https://files.pythonhosted.org/packages/e7/bd/faf187a704ca00c31dd2c6d3313fe9613d384f8273f267dc07992160a8eb/specware-1.1.6.tar.gz from build tracker '/tmp/pip-build-tracker-rycek14r'
2026-03-24T17:28:21,676 Created temporary directory: /tmp/pip-unpack-hwc9r74q
2026-03-24T17:28:21,677 Building wheels for collected packages: specware
2026-03-24T17:28:21,681   Created temporary directory: /tmp/pip-wheel-n3k7e23u
2026-03-24T17:28:21,682   Destination directory: /tmp/pip-wheel-n3k7e23u
2026-03-24T17:28:21,684   Building wheel for specware (pyproject.toml): started
2026-03-24T17:28:21,685   Running command Building wheel for specware (pyproject.toml)
2026-03-24T17:28:21,902   Building wheel for specware (pyproject.toml): finished with status 'done'
2026-03-24T17:28:21,907   Created wheel for specware: filename=specware-1.1.6-py3-none-any.whl size=96035 sha256=f057b9f3df3fa471bc910022c98a88c1dcb790e89d57ec4a8c8d9ecba8c9312b
2026-03-24T17:28:21,908   Stored in directory: /tmp/pip-ephem-wheel-cache-41a7bdtk/wheels/1b/c8/d5/35df70f80fd8b29a2b98bd966bf22e09609e1a0c3d1ca76761
2026-03-24T17:28:21,918 Successfully built specware
2026-03-24T17:28:21,923 Removed build tracker: '/tmp/pip-build-tracker-rycek14r'