2026-03-26T23:56:48,668 Created temporary directory: /tmp/pip-ephem-wheel-cache-_xe5bsr7
2026-03-26T23:56:48,670 Created temporary directory: /tmp/pip-build-tracker-7xfa6h6r
2026-03-26T23:56:48,671 Initialized build tracking at /tmp/pip-build-tracker-7xfa6h6r
2026-03-26T23:56:48,671 Created build tracker: /tmp/pip-build-tracker-7xfa6h6r
2026-03-26T23:56:48,672 Entered build tracker: /tmp/pip-build-tracker-7xfa6h6r
2026-03-26T23:56:48,672 Created temporary directory: /tmp/pip-wheel-rms5b7q5
2026-03-26T23:56:48,675 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-26T23:56:48,678 Created temporary directory: /tmp/pip-ephem-wheel-cache-f320jepy
2026-03-26T23:56:48,699 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple
2026-03-26T23:56:48,703 2 location(s) to search for versions of specware:
2026-03-26T23:56:48,703 * https://pypi.org/simple/specware/
2026-03-26T23:56:48,703 * https://www.piwheels.org/simple/specware/
2026-03-26T23:56:48,704 Fetching project page and analyzing links: https://pypi.org/simple/specware/
2026-03-26T23:56:48,705 Getting page https://pypi.org/simple/specware/
2026-03-26T23:56:48,706 Found index url https://pypi.org/simple
2026-03-26T23:56:48,854 Fetched page https://pypi.org/simple/specware/ as application/vnd.pypi.simple.v1+json
2026-03-26T23:56:48,859   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-26T23:56:48,860   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-26T23:56:48,861   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-26T23:56:48,862   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-26T23:56:48,863   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-26T23:56:48,864   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-26T23:56:48,865   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-26T23:56:48,866   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-26T23:56:48,866   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-26T23:56:48,867   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-26T23:56:48,868   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-26T23:56:48,869   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-26T23:56:48,870   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-26T23:56:48,871   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-26T23:56:48,872   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-26T23:56:48,872   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-26T23:56:48,873   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-26T23:56:48,874   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-26T23:56:48,875   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-26T23:56:48,876   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-26T23:56:48,876   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-26T23:56:48,877   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-26T23:56:48,878 Fetching project page and analyzing links: https://www.piwheels.org/simple/specware/
2026-03-26T23:56:48,879 Getting page https://www.piwheels.org/simple/specware/
2026-03-26T23:56:48,880 Found index url https://www.piwheels.org/simple
2026-03-26T23:56:49,046 Fetched page https://www.piwheels.org/simple/specware/ as text/html
2026-03-26T23:56:49,049   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-26T23:56:49,050   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-26T23:56:49,051   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-26T23:56:49,052   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-26T23:56:49,052   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-26T23:56:49,053   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-26T23:56:49,053   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-26T23:56:49,054   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-26T23:56:49,054   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-26T23:56:49,055 Skipping link: not a file: https://www.piwheels.org/simple/specware/
2026-03-26T23:56:49,055 Skipping link: not a file: https://pypi.org/simple/specware/
2026-03-26T23:56:49,076 Given no hashes to check 1 links for project 'specware': discarding no candidates
2026-03-26T23:56:49,094 Collecting specware==1.1.9
2026-03-26T23:56:49,096   Created temporary directory: /tmp/pip-unpack-o1g56rf2
2026-03-26T23:56:49,243   Downloading specware-1.1.9.tar.gz (80 kB)
2026-03-26T23:56:49,365   Added specware==1.1.9 from https://files.pythonhosted.org/packages/ff/3f/6b41e5b9be8c5b3d353ebd268960ab5e3d31787af05adbe755a00feb8bc9/specware-1.1.9.tar.gz to build tracker '/tmp/pip-build-tracker-7xfa6h6r'
2026-03-26T23:56:49,371   Created temporary directory: /tmp/pip-build-env-a3n2ila1
2026-03-26T23:56:49,377   Installing build dependencies: started
2026-03-26T23:56:49,378   Running command pip subprocess to install build dependencies
2026-03-26T23:56:50,509   Using pip 23.0.1 from /usr/lib/python3/dist-packages/pip (python 3.11)
2026-03-26T23:56:50,963   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-26T23:56:50,986   Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple
2026-03-26T23:56:52,310   Collecting uv_build<0.11.0,>=0.10.0
2026-03-26T23:56:52,337     Using cached uv_build-0.10.12-py3-none-manylinux_2_17_armv7l.manylinux2014_armv7l.whl (1.5 MB)
2026-03-26T23:56:55,010   Installing collected packages: uv_build
2026-03-26T23:56:55,148   Successfully installed uv_build-0.10.12
2026-03-26T23:56:55,410   Installing build dependencies: finished with status 'done'
2026-03-26T23:56:55,417   Getting requirements to build wheel: started
2026-03-26T23:56:55,418   Running command Getting requirements to build wheel
2026-03-26T23:56:55,555   Getting requirements to build wheel: finished with status 'done'
2026-03-26T23:56:55,558   Created temporary directory: /tmp/pip-modern-metadata-2_ik1rbe
2026-03-26T23:56:55,560   Preparing metadata (pyproject.toml): started
2026-03-26T23:56:55,562   Running command Preparing metadata (pyproject.toml)
2026-03-26T23:56:55,719   Preparing metadata (pyproject.toml): finished with status 'done'
2026-03-26T23:56:55,723   Source in /tmp/pip-wheel-rms5b7q5/specware_2520d8084a4d470aa2f4e5e14054b874 has version 1.1.9, which satisfies requirement specware==1.1.9 from https://files.pythonhosted.org/packages/ff/3f/6b41e5b9be8c5b3d353ebd268960ab5e3d31787af05adbe755a00feb8bc9/specware-1.1.9.tar.gz
2026-03-26T23:56:55,724   Removed specware==1.1.9 from https://files.pythonhosted.org/packages/ff/3f/6b41e5b9be8c5b3d353ebd268960ab5e3d31787af05adbe755a00feb8bc9/specware-1.1.9.tar.gz from build tracker '/tmp/pip-build-tracker-7xfa6h6r'
2026-03-26T23:56:55,729 Created temporary directory: /tmp/pip-unpack-td4guun0
2026-03-26T23:56:55,729 Building wheels for collected packages: specware
2026-03-26T23:56:55,733   Created temporary directory: /tmp/pip-wheel-spdyp6ew
2026-03-26T23:56:55,734   Destination directory: /tmp/pip-wheel-spdyp6ew
2026-03-26T23:56:55,736   Building wheel for specware (pyproject.toml): started
2026-03-26T23:56:55,737   Running command Building wheel for specware (pyproject.toml)
2026-03-26T23:56:55,948   Building wheel for specware (pyproject.toml): finished with status 'done'
2026-03-26T23:56:55,953   Created wheel for specware: filename=specware-1.1.9-py3-none-any.whl size=96256 sha256=52d5fc99b4d3cffdd219317a2a3121786634aa04fc547ed579e77c03be2453c3
2026-03-26T23:56:55,954   Stored in directory: /tmp/pip-ephem-wheel-cache-f320jepy/wheels/21/b7/1e/04f5b172ae51da7f6c9334616472146041332bbe26ef4831e2
2026-03-26T23:56:55,965 Successfully built specware
2026-03-26T23:56:55,971 Removed build tracker: '/tmp/pip-build-tracker-7xfa6h6r'