2026-03-21T02:35:13,207 Created temporary directory: /tmp/pip-ephem-wheel-cache-lyynhej8
2026-03-21T02:35:13,208 Created temporary directory: /tmp/pip-build-tracker-joqgllfp
2026-03-21T02:35:13,209 Initialized build tracking at /tmp/pip-build-tracker-joqgllfp
2026-03-21T02:35:13,209 Created build tracker: /tmp/pip-build-tracker-joqgllfp
2026-03-21T02:35:13,210 Entered build tracker: /tmp/pip-build-tracker-joqgllfp
2026-03-21T02:35:13,211 Created temporary directory: /tmp/pip-wheel-s2f34hwt
2026-03-21T02:35:13,214 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-21T02:35:13,216 Created temporary directory: /tmp/pip-ephem-wheel-cache-setn329v
2026-03-21T02:35:13,238 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple
2026-03-21T02:35:13,242 2 location(s) to search for versions of specware:
2026-03-21T02:35:13,242 * https://pypi.org/simple/specware/
2026-03-21T02:35:13,242 * https://www.piwheels.org/simple/specware/
2026-03-21T02:35:13,242 Fetching project page and analyzing links: https://pypi.org/simple/specware/
2026-03-21T02:35:13,243 Getting page https://pypi.org/simple/specware/
2026-03-21T02:35:13,245 Found index url https://pypi.org/simple
2026-03-21T02:35:13,458 Fetched page https://pypi.org/simple/specware/ as application/vnd.pypi.simple.v1+json
2026-03-21T02:35:13,461   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-21T02:35:13,462   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-21T02:35:13,463   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-21T02:35:13,464   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-21T02:35:13,465   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-21T02:35:13,466   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-21T02:35:13,466   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-21T02:35:13,467   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-21T02:35:13,468   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-21T02:35:13,469   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-21T02:35:13,470   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-21T02:35:13,471   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-21T02:35:13,471 Fetching project page and analyzing links: https://www.piwheels.org/simple/specware/
2026-03-21T02:35:13,472 Getting page https://www.piwheels.org/simple/specware/
2026-03-21T02:35:13,473 Found index url https://www.piwheels.org/simple
2026-03-21T02:35:13,628 Fetched page https://www.piwheels.org/simple/specware/ as text/html
2026-03-21T02:35:13,631   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-21T02:35:13,632   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-21T02:35:13,632   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-21T02:35:13,633   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-21T02:35:13,633   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-21T02:35:13,634 Skipping link: not a file: https://www.piwheels.org/simple/specware/
2026-03-21T02:35:13,634 Skipping link: not a file: https://pypi.org/simple/specware/
2026-03-21T02:35:13,655 Given no hashes to check 1 links for project 'specware': discarding no candidates
2026-03-21T02:35:13,675 Collecting specware==1.1.5
2026-03-21T02:35:13,678   Created temporary directory: /tmp/pip-unpack-p3_2wcgt
2026-03-21T02:35:13,887   Downloading specware-1.1.5.tar.gz (80 kB)
2026-03-21T02:35:13,995   Added specware==1.1.5 from https://files.pythonhosted.org/packages/c7/82/aa1ac25f21fb37941dd3096ce554e8df79e9732bcd3adcdadbb72b9118af/specware-1.1.5.tar.gz to build tracker '/tmp/pip-build-tracker-joqgllfp'
2026-03-21T02:35:14,000   Created temporary directory: /tmp/pip-build-env-86wvld88
2026-03-21T02:35:14,005   Installing build dependencies: started
2026-03-21T02:35:14,007   Running command pip subprocess to install build dependencies
2026-03-21T02:35:15,190   Using pip 23.0.1 from /usr/lib/python3/dist-packages/pip (python 3.11)
2026-03-21T02:35:15,770   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-21T02:35:15,793   Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple
2026-03-21T02:35:17,099   Collecting uv_build<0.11.0,>=0.10.0
2026-03-21T02:35:17,126     Using cached uv_build-0.10.12-py3-none-manylinux_2_17_armv7l.manylinux2014_armv7l.whl (1.5 MB)
2026-03-21T02:35:19,805   Installing collected packages: uv_build
2026-03-21T02:35:19,948   Successfully installed uv_build-0.10.12
2026-03-21T02:35:20,217   Installing build dependencies: finished with status 'done'
2026-03-21T02:35:20,224   Getting requirements to build wheel: started
2026-03-21T02:35:20,225   Running command Getting requirements to build wheel
2026-03-21T02:35:20,362   Getting requirements to build wheel: finished with status 'done'
2026-03-21T02:35:20,366   Created temporary directory: /tmp/pip-modern-metadata-zdnz8if6
2026-03-21T02:35:20,368   Preparing metadata (pyproject.toml): started
2026-03-21T02:35:20,369   Running command Preparing metadata (pyproject.toml)
2026-03-21T02:35:20,529   Preparing metadata (pyproject.toml): finished with status 'done'
2026-03-21T02:35:20,533   Source in /tmp/pip-wheel-s2f34hwt/specware_14fddd74d971480ba71569a2a1c603f4 has version 1.1.5, which satisfies requirement specware==1.1.5 from https://files.pythonhosted.org/packages/c7/82/aa1ac25f21fb37941dd3096ce554e8df79e9732bcd3adcdadbb72b9118af/specware-1.1.5.tar.gz
2026-03-21T02:35:20,534   Removed specware==1.1.5 from https://files.pythonhosted.org/packages/c7/82/aa1ac25f21fb37941dd3096ce554e8df79e9732bcd3adcdadbb72b9118af/specware-1.1.5.tar.gz from build tracker '/tmp/pip-build-tracker-joqgllfp'
2026-03-21T02:35:20,539 Created temporary directory: /tmp/pip-unpack-p8oty27c
2026-03-21T02:35:20,540 Building wheels for collected packages: specware
2026-03-21T02:35:20,545   Created temporary directory: /tmp/pip-wheel-zkqjt0u_
2026-03-21T02:35:20,545   Destination directory: /tmp/pip-wheel-zkqjt0u_
2026-03-21T02:35:20,547   Building wheel for specware (pyproject.toml): started
2026-03-21T02:35:20,548   Running command Building wheel for specware (pyproject.toml)
2026-03-21T02:35:20,766   Building wheel for specware (pyproject.toml): finished with status 'done'
2026-03-21T02:35:20,770   Created wheel for specware: filename=specware-1.1.5-py3-none-any.whl size=95847 sha256=fdd4aff1b39ae0f048ba129810427c0d83cfa94e3137579fb721e2283d969011
2026-03-21T02:35:20,772   Stored in directory: /tmp/pip-ephem-wheel-cache-setn329v/wheels/05/6e/63/5d864a9632ef9bb859cc3dd70db23f874e29047216c5fedc04
2026-03-21T02:35:20,782 Successfully built specware
2026-03-21T02:35:20,788 Removed build tracker: '/tmp/pip-build-tracker-joqgllfp'