2023-08-28T15:13:07,201 Created temporary directory: /tmp/pip-build-tracker-2zh1qfkn
2023-08-28T15:13:07,204 Initialized build tracking at /tmp/pip-build-tracker-2zh1qfkn
2023-08-28T15:13:07,204 Created build tracker: /tmp/pip-build-tracker-2zh1qfkn
2023-08-28T15:13:07,205 Entered build tracker: /tmp/pip-build-tracker-2zh1qfkn
2023-08-28T15:13:07,206 Created temporary directory: /tmp/pip-wheel-e7ejrevx
2023-08-28T15:13:07,214 Created temporary directory: /tmp/pip-ephem-wheel-cache-jxf_giij
2023-08-28T15:13:07,273 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple
2023-08-28T15:13:07,281 2 location(s) to search for versions of imandra:
2023-08-28T15:13:07,281 * https://pypi.org/simple/imandra/
2023-08-28T15:13:07,281 * https://www.piwheels.org/simple/imandra/
2023-08-28T15:13:07,282 Fetching project page and analyzing links: https://pypi.org/simple/imandra/
2023-08-28T15:13:07,283 Getting page https://pypi.org/simple/imandra/
2023-08-28T15:13:07,287 Found index url https://pypi.org/simple/
2023-08-28T15:13:07,472 Fetched page https://pypi.org/simple/imandra/ as application/vnd.pypi.simple.v1+json
2023-08-28T15:13:07,483   Skipping link: No binaries permitted for imandra: https://files.pythonhosted.org/packages/ab/15/5869f913d3290163e477aed1965d9dce68676bb2c6fcd9240ad1896773f8/imandra-0.1.3-py3-none-any.whl (from https://pypi.org/simple/imandra/)
2023-08-28T15:13:07,483   Found link https://files.pythonhosted.org/packages/bf/4d/ae7ed042215314ce9bb17392d928f79a811cf7b040fcf5a2892aca89d283/imandra-0.1.3.tar.gz (from https://pypi.org/simple/imandra/), version: 0.1.3
2023-08-28T15:13:07,484   Skipping link: No binaries permitted for imandra: https://files.pythonhosted.org/packages/fa/84/094146b705f0d94afda4ff256e368fef0150bee18b7e6861c38393d6c8c5/imandra-0.1.4-py3-none-any.whl (from https://pypi.org/simple/imandra/)
2023-08-28T15:13:07,485   Found link https://files.pythonhosted.org/packages/de/ca/8c41eeb73ce363d1493159ab0de018ea0807cb9a45fd64bd48c24aa34a5e/imandra-0.1.4.tar.gz (from https://pypi.org/simple/imandra/), version: 0.1.4
2023-08-28T15:13:07,485   Skipping link: No binaries permitted for imandra: https://files.pythonhosted.org/packages/54/5e/7b9d2181be86300eab4ea3f5c69b21d1992dab20132eabc95c6b5b6c2a3d/imandra-0.1.5-py3-none-any.whl (from https://pypi.org/simple/imandra/)
2023-08-28T15:13:07,486   Found link https://files.pythonhosted.org/packages/95/3b/6a74e2e8f7f5652585c40c4f01410cdd07011c952872eff77fb9bdb0129c/imandra-0.1.5.tar.gz (from https://pypi.org/simple/imandra/), version: 0.1.5
2023-08-28T15:13:07,487   Skipping link: No binaries permitted for imandra: https://files.pythonhosted.org/packages/c8/54/761bc88bdf276ed0417396954e094755dfdfd58cdb9cd38a29bb3892c864/imandra-0.1.9-py3-none-any.whl (from https://pypi.org/simple/imandra/)
2023-08-28T15:13:07,487   Found link https://files.pythonhosted.org/packages/ce/39/38106116e6401724a90dbd1b688de8005bdfd8f1568f3caa12d5554b2d03/imandra-0.1.9.tar.gz (from https://pypi.org/simple/imandra/), version: 0.1.9
2023-08-28T15:13:07,488   Skipping link: No binaries permitted for imandra: https://files.pythonhosted.org/packages/68/82/a97923e3971649589668508a523cf2ffe7cfc484e0cde38f275706508b43/imandra-0.1.10-py3-none-any.whl (from https://pypi.org/simple/imandra/)
2023-08-28T15:13:07,488   Found link https://files.pythonhosted.org/packages/59/89/efc30d6fd3c1ea3503fda7f232e20fa30ade62ca1e51a78c35ab1e9dc621/imandra-0.1.10.tar.gz (from https://pypi.org/simple/imandra/), version: 0.1.10
2023-08-28T15:13:07,489   Skipping link: No binaries permitted for imandra: https://files.pythonhosted.org/packages/ce/45/dc8c79ede34f0e9e0b955f8d5c23e5bb0ccca8d59006cdcebecf75e9e996/imandra-0.1.11-py3-none-any.whl (from https://pypi.org/simple/imandra/)
2023-08-28T15:13:07,490   Found link https://files.pythonhosted.org/packages/d9/94/a876a73bc0652f76069ad586dc06f97f2169b5f354a0fa6480fd55cb56b1/imandra-0.1.11.tar.gz (from https://pypi.org/simple/imandra/), version: 0.1.11
2023-08-28T15:13:07,490   Skipping link: No binaries permitted for imandra: https://files.pythonhosted.org/packages/d2/9a/5e88bef599fb29bbc79fa90b442c9bc8684bd3e872cdda84f8f62a897253/imandra-0.1.12-py3-none-any.whl (from https://pypi.org/simple/imandra/)
2023-08-28T15:13:07,491   Found link https://files.pythonhosted.org/packages/d5/f2/ac4a14322331cd8f9b097729cc77431abfca8305d74ad91f069475e3bb30/imandra-0.1.12.tar.gz (from https://pypi.org/simple/imandra/), version: 0.1.12
2023-08-28T15:13:07,492   Skipping link: No binaries permitted for imandra: https://files.pythonhosted.org/packages/af/46/20b5fdd392f524f195af46740a45c491b173418dee9a99c9db235eb6c955/imandra-1.0.0-py3-none-any.whl (from https://pypi.org/simple/imandra/)
2023-08-28T15:13:07,492   Found link https://files.pythonhosted.org/packages/72/e4/a1eed4370a3a52fa2479ef7fbf3249b644b336b270f6bd4dedad1aa75feb/imandra-1.0.0.tar.gz (from https://pypi.org/simple/imandra/), version: 1.0.0
2023-08-28T15:13:07,493   Skipping link: No binaries permitted for imandra: https://files.pythonhosted.org/packages/e1/86/0ef337ce4a3c8cf6d9a9ad55c9550e741638ecb3b0171834e54a462e9bb7/imandra-1.0.1-py3-none-any.whl (from https://pypi.org/simple/imandra/)
2023-08-28T15:13:07,493   Found link https://files.pythonhosted.org/packages/05/f2/8025724d8b6d0b378e595893ffc51f42a2e511bc82dbc665c823597be945/imandra-1.0.1.tar.gz (from https://pypi.org/simple/imandra/), version: 1.0.1
2023-08-28T15:13:07,494   Skipping link: No binaries permitted for imandra: https://files.pythonhosted.org/packages/c4/11/1284147f714f209f89f8fae39be95ca1ced53ebd489ed764ecbbe612e2f1/imandra-1.0.2-py3-none-any.whl (from https://pypi.org/simple/imandra/)
2023-08-28T15:13:07,494   Found link https://files.pythonhosted.org/packages/aa/73/a9d343b1747e2b746ed251cfc7477e67f40ccd393a881bdc16ce8f543ca1/imandra-1.0.2.tar.gz (from https://pypi.org/simple/imandra/), version: 1.0.2
2023-08-28T15:13:07,495 Fetching project page and analyzing links: https://www.piwheels.org/simple/imandra/
2023-08-28T15:13:07,496 Getting page https://www.piwheels.org/simple/imandra/
2023-08-28T15:13:07,498 Found index url https://www.piwheels.org/simple/
2023-08-28T15:13:12,034 Fetched page https://www.piwheels.org/simple/imandra/ as text/html
2023-08-28T15:13:12,042   Skipping link: No binaries permitted for imandra: https://www.piwheels.org/simple/imandra/imandra-1.0.1-py3-none-any.whl#sha256=5d6ab82386aea0fb1ce1d2afde692e865f9b36297033011983af98ce3db86aef (from https://www.piwheels.org/simple/imandra/)
2023-08-28T15:13:12,043   Skipping link: No binaries permitted for imandra: https://www.piwheels.org/simple/imandra/imandra-1.0.0-py3-none-any.whl#sha256=db28520a9d452d1960f1d32cfbb1ebeff1ec5e201d22259982616c9ca7cdcc2b (from https://www.piwheels.org/simple/imandra/)
2023-08-28T15:13:12,044   Skipping link: No binaries permitted for imandra: https://www.piwheels.org/simple/imandra/imandra-0.1.12-py3-none-any.whl#sha256=c8fb9c984f88da41da53a2738d98a646501cba3788be8e59ce4c1bf532e64bd5 (from https://www.piwheels.org/simple/imandra/)
2023-08-28T15:13:12,044   Skipping link: No binaries permitted for imandra: https://www.piwheels.org/simple/imandra/imandra-0.1.11-py3-none-any.whl#sha256=940ee22f36dc10bc8195272d7be270d19f81c9cca00f2f7538be8ec8e0bea514 (from https://www.piwheels.org/simple/imandra/)
2023-08-28T15:13:12,045   Skipping link: No binaries permitted for imandra: https://www.piwheels.org/simple/imandra/imandra-0.1.10-py3-none-any.whl#sha256=5c2f41b6ca40c46c8a156827b2a0ba62c16021ff3c8c48a69139875feaf0f6ee (from https://www.piwheels.org/simple/imandra/)
2023-08-28T15:13:12,045   Skipping link: No binaries permitted for imandra: https://www.piwheels.org/simple/imandra/imandra-0.1.9-py3-none-any.whl#sha256=9d6c1a57554cfdf7f40e30bdfc09497f98e2e18d13daa2bc7aec8ebb53767a37 (from https://www.piwheels.org/simple/imandra/)
2023-08-28T15:13:12,046   Skipping link: No binaries permitted for imandra: https://www.piwheels.org/simple/imandra/imandra-0.1.5-py3-none-any.whl#sha256=84ae76c5c35a8e017eb39f7ca1f25ce37a9a1760d9c99e1cd607f48c8254d4dc (from https://www.piwheels.org/simple/imandra/)
2023-08-28T15:13:12,046   Skipping link: No binaries permitted for imandra: https://www.piwheels.org/simple/imandra/imandra-0.1.4-py3-none-any.whl#sha256=b679d11e49970647fad7d1fbd8a46b2f325ed50f4e15d722345567ed882e5357 (from https://www.piwheels.org/simple/imandra/)
2023-08-28T15:13:12,046   Skipping link: No binaries permitted for imandra: https://www.piwheels.org/simple/imandra/imandra-0.1.3-py3-none-any.whl#sha256=30e2fdb107964061e765814f34de28effcd6389d981277ae23615b53b95bf278 (from https://www.piwheels.org/simple/imandra/)
2023-08-28T15:13:12,047 Skipping link: not a file: https://www.piwheels.org/simple/imandra/
2023-08-28T15:13:12,048 Skipping link: not a file: https://pypi.org/simple/imandra/
2023-08-28T15:13:12,084 Given no hashes to check 1 links for project 'imandra': discarding no candidates
2023-08-28T15:13:12,116 Collecting imandra==1.0.2
2023-08-28T15:13:12,120   Created temporary directory: /tmp/pip-unpack-h3z2dxh8
2023-08-28T15:13:12,296   Downloading imandra-1.0.2.tar.gz (46 kB)
2023-08-28T15:13:12,758   Added imandra==1.0.2 from https://files.pythonhosted.org/packages/aa/73/a9d343b1747e2b746ed251cfc7477e67f40ccd393a881bdc16ce8f543ca1/imandra-1.0.2.tar.gz to build tracker '/tmp/pip-build-tracker-2zh1qfkn'
2023-08-28T15:13:12,768   Created temporary directory: /tmp/pip-build-env-7y9imebk
2023-08-28T15:13:12,788   Installing build dependencies: started
2023-08-28T15:13:12,790   Running command pip subprocess to install build dependencies
2023-08-28T15:13:15,765   Using pip 23.1.2 from /home/piwheels/.local/lib/python3.7/site-packages/pip (python 3.7)
2023-08-28T15:13:16,790   Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple
2023-08-28T15:13:18,708     Link requires a different Python (3.7.3 not in: '>=3.8'): https://files.pythonhosted.org/packages/b8/49/b3b29c52b09075fb77f69309763a563b4054d5808a3f3b95df3a62ef3d3f/setuptools-68.1.0-py3-none-any.whl (from https://pypi.org/simple/setuptools/) (requires-python:>=3.8)
2023-08-28T15:13:18,711     Link requires a different Python (3.7.3 not in: '>=3.8'): https://files.pythonhosted.org/packages/83/b0/18310b45f6eec3757c0554dbc1e03f2f7685c8a87831aea6adc1276faacc/setuptools-68.1.0.tar.gz (from https://pypi.org/simple/setuptools/) (requires-python:>=3.8)
2023-08-28T15:13:18,714     Link requires a different Python (3.7.3 not in: '>=3.8'): https://files.pythonhosted.org/packages/4f/ab/0bcfebdfc3bfa8554b2b2c97a555569c4c1ebc74ea288741ea8326c51906/setuptools-68.1.2-py3-none-any.whl (from https://pypi.org/simple/setuptools/) (requires-python:>=3.8)
2023-08-28T15:13:18,717     Link requires a different Python (3.7.3 not in: '>=3.8'): https://files.pythonhosted.org/packages/19/20/d8dd9d8becaf3e2d6fdc17cc41870d5ada5ceda518996cf5968c2ca71bd8/setuptools-68.1.2.tar.gz (from https://pypi.org/simple/setuptools/) (requires-python:>=3.8)
2023-08-28T15:13:22,492     Link requires a different Python (3.7.3 not in: '>=3.8'): https://www.piwheels.org/simple/setuptools/setuptools-68.1.2-py3-none-any.whl#sha256=9e076b8e4f5535e0e67305a15e9eb418006751b9bf0bb8d0a367d09ad0adf3a1 (from https://www.piwheels.org/simple/setuptools/) (requires-python:>=3.8)
2023-08-28T15:13:22,496     Link requires a different Python (3.7.3 not in: '>=3.8'): https://www.piwheels.org/simple/setuptools/setuptools-68.1.0-py3-none-any.whl#sha256=0637a8df7f9d79ffffa7010fdd3db5ca70836acda6994af5f7edb9524838aa23 (from https://www.piwheels.org/simple/setuptools/) (requires-python:>=3.8)
2023-08-28T15:13:23,841   Collecting setuptools>=61.0.0
2023-08-28T15:13:24,613     Using cached https://www.piwheels.org/simple/setuptools/setuptools-68.0.0-py3-none-any.whl (804 kB)
2023-08-28T15:13:27,980   Collecting wheel
2023-08-28T15:13:31,883     Using cached https://www.piwheels.org/simple/wheel/wheel-0.41.2-py3-none-any.whl (64 kB)
2023-08-28T15:13:38,090   Installing collected packages: wheel, setuptools
2023-08-28T15:13:38,542     Creating /tmp/pip-build-env-7y9imebk/overlay/bin
2023-08-28T15:13:38,547     changing mode of /tmp/pip-build-env-7y9imebk/overlay/bin/wheel to 755
2023-08-28T15:13:42,811   Successfully installed setuptools-68.0.0 wheel-0.41.2

2023-08-28T15:13:42,849   [notice] A new release of pip is available: 23.1.2 -> 23.2.1
2023-08-28T15:13:42,849   [notice] To update, run: python3 -m pip install --upgrade pip
2023-08-28T15:13:43,303   Installing build dependencies: finished with status 'done'
2023-08-28T15:13:43,314   Getting requirements to build wheel: started
2023-08-28T15:13:43,316   Running command Getting requirements to build wheel
2023-08-28T15:13:45,240   running egg_info
2023-08-28T15:13:45,254   writing src/imandra.egg-info/PKG-INFO
2023-08-28T15:13:45,259   writing dependency_links to src/imandra.egg-info/dependency_links.txt
2023-08-28T15:13:45,263   writing entry points to src/imandra.egg-info/entry_points.txt
2023-08-28T15:13:45,266   writing requirements to src/imandra.egg-info/requires.txt
2023-08-28T15:13:45,268   writing top-level names to src/imandra.egg-info/top_level.txt
2023-08-28T15:13:45,321   reading manifest file 'src/imandra.egg-info/SOURCES.txt'
2023-08-28T15:13:45,347   writing manifest file 'src/imandra.egg-info/SOURCES.txt'
2023-08-28T15:13:45,351   /tmp/pip-build-env-7y9imebk/overlay/lib/python3.7/site-packages/setuptools/config/pyprojecttoml.py:66: _BetaConfiguration: Support for `[tool.setuptools]` in `pyproject.toml` is still *beta*.
2023-08-28T15:13:45,352     config = read_configuration(filepath, True, ignore_option_errors, dist)
2023-08-28T15:13:45,530   Getting requirements to build wheel: finished with status 'done'
2023-08-28T15:13:45,553   Created temporary directory: /tmp/pip-modern-metadata-7ftzdr7v
2023-08-28T15:13:45,560   Preparing metadata (pyproject.toml): started
2023-08-28T15:13:45,562   Running command Preparing metadata (pyproject.toml)
2023-08-28T15:13:47,377   running dist_info
2023-08-28T15:13:47,392   creating /tmp/pip-modern-metadata-7ftzdr7v/imandra.egg-info
2023-08-28T15:13:47,401   writing /tmp/pip-modern-metadata-7ftzdr7v/imandra.egg-info/PKG-INFO
2023-08-28T15:13:47,406   writing dependency_links to /tmp/pip-modern-metadata-7ftzdr7v/imandra.egg-info/dependency_links.txt
2023-08-28T15:13:47,410   writing entry points to /tmp/pip-modern-metadata-7ftzdr7v/imandra.egg-info/entry_points.txt
2023-08-28T15:13:47,413   writing requirements to /tmp/pip-modern-metadata-7ftzdr7v/imandra.egg-info/requires.txt
2023-08-28T15:13:47,415   writing top-level names to /tmp/pip-modern-metadata-7ftzdr7v/imandra.egg-info/top_level.txt
2023-08-28T15:13:47,418   writing manifest file '/tmp/pip-modern-metadata-7ftzdr7v/imandra.egg-info/SOURCES.txt'
2023-08-28T15:13:47,468   reading manifest file '/tmp/pip-modern-metadata-7ftzdr7v/imandra.egg-info/SOURCES.txt'
2023-08-28T15:13:47,486   writing manifest file '/tmp/pip-modern-metadata-7ftzdr7v/imandra.egg-info/SOURCES.txt'
2023-08-28T15:13:47,488   creating '/tmp/pip-modern-metadata-7ftzdr7v/imandra-1.0.2.dist-info'
2023-08-28T15:13:47,562   /tmp/pip-build-env-7y9imebk/overlay/lib/python3.7/site-packages/setuptools/config/pyprojecttoml.py:66: _BetaConfiguration: Support for `[tool.setuptools]` in `pyproject.toml` is still *beta*.
2023-08-28T15:13:47,563     config = read_configuration(filepath, True, ignore_option_errors, dist)
2023-08-28T15:13:47,740   Preparing metadata (pyproject.toml): finished with status 'done'
2023-08-28T15:13:47,756   Source in /tmp/pip-wheel-e7ejrevx/imandra_e4fb20415347405e870755531835146c has version 1.0.2, which satisfies requirement imandra==1.0.2 from https://files.pythonhosted.org/packages/aa/73/a9d343b1747e2b746ed251cfc7477e67f40ccd393a881bdc16ce8f543ca1/imandra-1.0.2.tar.gz
2023-08-28T15:13:47,757   Removed imandra==1.0.2 from https://files.pythonhosted.org/packages/aa/73/a9d343b1747e2b746ed251cfc7477e67f40ccd393a881bdc16ce8f543ca1/imandra-1.0.2.tar.gz from build tracker '/tmp/pip-build-tracker-2zh1qfkn'
2023-08-28T15:13:47,767 Created temporary directory: /tmp/pip-unpack-vkll0c1d
2023-08-28T15:13:47,769 Building wheels for collected packages: imandra
2023-08-28T15:13:47,777   Created temporary directory: /tmp/pip-wheel-bslh_6m1
2023-08-28T15:13:47,778   Destination directory: /tmp/pip-wheel-bslh_6m1
2023-08-28T15:13:47,783   Building wheel for imandra (pyproject.toml): started
2023-08-28T15:13:47,785   Running command Building wheel for imandra (pyproject.toml)
2023-08-28T15:13:49,562   running bdist_wheel
2023-08-28T15:13:49,607   running build
2023-08-28T15:13:49,608   running build_py
2023-08-28T15:13:49,620   creating build
2023-08-28T15:13:49,621   creating build/lib
2023-08-28T15:13:49,622   creating build/lib/imandra_http_api_client
2023-08-28T15:13:49,624   copying src/imandra_http_api_client/configuration.py -> build/lib/imandra_http_api_client
2023-08-28T15:13:49,629   copying src/imandra_http_api_client/rest.py -> build/lib/imandra_http_api_client
2023-08-28T15:13:49,634   copying src/imandra_http_api_client/api_client.py -> build/lib/imandra_http_api_client
2023-08-28T15:13:49,639   copying src/imandra_http_api_client/api_response.py -> build/lib/imandra_http_api_client
2023-08-28T15:13:49,642   copying src/imandra_http_api_client/__init__.py -> build/lib/imandra_http_api_client
2023-08-28T15:13:49,646   copying src/imandra_http_api_client/exceptions.py -> build/lib/imandra_http_api_client
2023-08-28T15:13:49,652   creating build/lib/imandra
2023-08-28T15:13:49,653   copying src/imandra/cfb.py -> build/lib/imandra
2023-08-28T15:13:49,657   copying src/imandra/ipl.py -> build/lib/imandra
2023-08-28T15:13:49,661   copying src/imandra/session.py -> build/lib/imandra
2023-08-28T15:13:49,664   copying src/imandra/core.py -> build/lib/imandra
2023-08-28T15:13:49,667   copying src/imandra/instance.py -> build/lib/imandra
2023-08-28T15:13:49,671   copying src/imandra/__init__.py -> build/lib/imandra
2023-08-28T15:13:49,675   copying src/imandra/rule_synth.py -> build/lib/imandra
2023-08-28T15:13:49,678   copying src/imandra/auth.py -> build/lib/imandra
2023-08-28T15:13:49,687   creating build/lib/imandra_http_api_client/models
2023-08-28T15:13:49,689   copying src/imandra_http_api_client/models/induct_structural_style.py -> build/lib/imandra_http_api_client/models
2023-08-28T15:13:49,693   copying src/imandra_http_api_client/models/induct_type.py -> build/lib/imandra_http_api_client/models
2023-08-28T15:13:49,696   copying src/imandra_http_api_client/models/induct_structural_body.py -> build/lib/imandra_http_api_client/models
2023-08-28T15:13:49,700   copying src/imandra_http_api_client/models/response_error.py -> build/lib/imandra_http_api_client/models
2023-08-28T15:13:49,709   copying src/imandra_http_api_client/models/eval_response.py -> build/lib/imandra_http_api_client/models
2023-08-28T15:13:49,713   copying src/imandra_http_api_client/models/method_body.py -> build/lib/imandra_http_api_client/models
2023-08-28T15:13:49,717   copying src/imandra_http_api_client/models/decompose_region.py -> build/lib/imandra_http_api_client/models
2023-08-28T15:13:49,720   copying src/imandra_http_api_client/models/decompose_request_src.py -> build/lib/imandra_http_api_client/models
2023-08-28T15:13:49,728   copying src/imandra_http_api_client/models/verify_request_src.py -> build/lib/imandra_http_api_client/models
2023-08-28T15:13:49,732   copying src/imandra_http_api_client/models/syntax.py -> build/lib/imandra_http_api_client/models
2023-08-28T15:13:49,736   copying src/imandra_http_api_client/models/verify_response_body.py -> build/lib/imandra_http_api_client/models
2023-08-28T15:13:49,741   copying src/imandra_http_api_client/models/method_ext_solver_body.py -> build/lib/imandra_http_api_client/models
2023-08-28T15:13:49,747   copying src/imandra_http_api_client/models/instance_request_name.py -> build/lib/imandra_http_api_client/models
2023-08-28T15:13:49,751   copying src/imandra_http_api_client/models/with_instance_body.py -> build/lib/imandra_http_api_client/models
2023-08-28T15:13:49,755   copying src/imandra_http_api_client/models/__init__.py -> build/lib/imandra_http_api_client/models
2023-08-28T15:13:49,759   copying src/imandra_http_api_client/models/verify_request_name.py -> build/lib/imandra_http_api_client/models
2023-08-28T15:13:49,787   copying src/imandra_http_api_client/models/instance_type.py -> build/lib/imandra_http_api_client/models
2023-08-28T15:13:49,790   copying src/imandra_http_api_client/models/response_instance.py -> build/lib/imandra_http_api_client/models
2023-08-28T15:13:49,794   copying src/imandra_http_api_client/models/eval_request_src.py -> build/lib/imandra_http_api_client/models
2023-08-28T15:13:49,797   copying src/imandra_http_api_client/models/method_type.py -> build/lib/imandra_http_api_client/models
2023-08-28T15:13:49,800   copying src/imandra_http_api_client/models/response_model.py -> build/lib/imandra_http_api_client/models
2023-08-28T15:13:49,804   copying src/imandra_http_api_client/models/induct_functional_body.py -> build/lib/imandra_http_api_client/models
2023-08-28T15:13:49,807   copying src/imandra_http_api_client/models/decompose_result.py -> build/lib/imandra_http_api_client/models
2023-08-28T15:13:49,811   copying src/imandra_http_api_client/models/method.py -> build/lib/imandra_http_api_client/models
2023-08-28T15:13:49,814   copying src/imandra_http_api_client/models/verify_result.py -> build/lib/imandra_http_api_client/models
2023-08-28T15:13:49,818   copying src/imandra_http_api_client/models/instance_request_src.py -> build/lib/imandra_http_api_client/models
2023-08-28T15:13:49,821   copying src/imandra_http_api_client/models/up_to_body.py -> build/lib/imandra_http_api_client/models
2023-08-28T15:13:49,825   copying src/imandra_http_api_client/models/method_induct_body_body.py -> build/lib/imandra_http_api_client/models
2023-08-28T15:13:49,833   copying src/imandra_http_api_client/models/instance_response.py -> build/lib/imandra_http_api_client/models
2023-08-28T15:13:49,837   copying src/imandra_http_api_client/models/verify_response.py -> build/lib/imandra_http_api_client/models
2023-08-28T15:13:49,841   copying src/imandra_http_api_client/models/with_unknown_reason_body.py -> build/lib/imandra_http_api_client/models
2023-08-28T15:13:49,845   copying src/imandra_http_api_client/models/printer_details.py -> build/lib/imandra_http_api_client/models
2023-08-28T15:13:49,849   copying src/imandra_http_api_client/models/method_induct_body.py -> build/lib/imandra_http_api_client/models
2023-08-28T15:13:49,853   copying src/imandra_http_api_client/models/method_unroll_body.py -> build/lib/imandra_http_api_client/models
2023-08-28T15:13:49,857   copying src/imandra_http_api_client/models/hints.py -> build/lib/imandra_http_api_client/models
2023-08-28T15:13:49,861   copying src/imandra_http_api_client/models/instance_result.py -> build/lib/imandra_http_api_client/models
2023-08-28T15:13:50,378   creating build/lib/imandra_http_api_client/api
2023-08-28T15:13:50,380   copying src/imandra_http_api_client/api/__init__.py -> build/lib/imandra_http_api_client/api
2023-08-28T15:13:50,384   copying src/imandra_http_api_client/api/default_api.py -> build/lib/imandra_http_api_client/api
2023-08-28T15:13:50,397   creating build/lib/imandra_http_api_client/test
2023-08-28T15:13:50,399   copying src/imandra_http_api_client/test/test_induct_structural_body.py -> build/lib/imandra_http_api_client/test
2023-08-28T15:13:50,403   copying src/imandra_http_api_client/test/test_verify_request_src.py -> build/lib/imandra_http_api_client/test
2023-08-28T15:13:50,407   copying src/imandra_http_api_client/test/test_decompose_region.py -> build/lib/imandra_http_api_client/test
2023-08-28T15:13:50,411   copying src/imandra_http_api_client/test/test_eval_response.py -> build/lib/imandra_http_api_client/test
2023-08-28T15:13:50,415   copying src/imandra_http_api_client/test/test_method_induct_body_body.py -> build/lib/imandra_http_api_client/test
2023-08-28T15:13:50,418   copying src/imandra_http_api_client/test/test_response_error.py -> build/lib/imandra_http_api_client/test
2023-08-28T15:13:50,426   copying src/imandra_http_api_client/test/test_response_model.py -> build/lib/imandra_http_api_client/test
2023-08-28T15:13:50,430   copying src/imandra_http_api_client/test/test_decompose_result.py -> build/lib/imandra_http_api_client/test
2023-08-28T15:13:50,434   copying src/imandra_http_api_client/test/test_syntax.py -> build/lib/imandra_http_api_client/test
2023-08-28T15:13:50,438   copying src/imandra_http_api_client/test/test_eval_request_src.py -> build/lib/imandra_http_api_client/test
2023-08-28T15:13:50,442   copying src/imandra_http_api_client/test/test_with_unknown_reason_body.py -> build/lib/imandra_http_api_client/test
2023-08-28T15:13:50,446   copying src/imandra_http_api_client/test/test_hints.py -> build/lib/imandra_http_api_client/test
2023-08-28T15:13:50,450   copying src/imandra_http_api_client/test/test_instance_result.py -> build/lib/imandra_http_api_client/test
2023-08-28T15:13:50,453   copying src/imandra_http_api_client/test/test_instance_response.py -> build/lib/imandra_http_api_client/test
2023-08-28T15:13:50,458   copying src/imandra_http_api_client/test/test_verify_result.py -> build/lib/imandra_http_api_client/test
2023-08-28T15:13:50,462   copying src/imandra_http_api_client/test/test_induct_functional_body.py -> build/lib/imandra_http_api_client/test
2023-08-28T15:13:50,465   copying src/imandra_http_api_client/test/__init__.py -> build/lib/imandra_http_api_client/test
2023-08-28T15:13:50,469   copying src/imandra_http_api_client/test/test_instance_request_name.py -> build/lib/imandra_http_api_client/test
2023-08-28T15:13:50,473   copying src/imandra_http_api_client/test/test_induct_structural_style.py -> build/lib/imandra_http_api_client/test
2023-08-28T15:13:50,476   copying src/imandra_http_api_client/test/test_with_instance_body.py -> build/lib/imandra_http_api_client/test
2023-08-28T15:13:50,480   copying src/imandra_http_api_client/test/test_decompose_request_src.py -> build/lib/imandra_http_api_client/test
2023-08-28T15:13:50,484   copying src/imandra_http_api_client/test/test_up_to_body.py -> build/lib/imandra_http_api_client/test
2023-08-28T15:13:50,488   copying src/imandra_http_api_client/test/test_method_ext_solver_body.py -> build/lib/imandra_http_api_client/test
2023-08-28T15:13:50,491   copying src/imandra_http_api_client/test/test_method_type.py -> build/lib/imandra_http_api_client/test
2023-08-28T15:13:50,499   copying src/imandra_http_api_client/test/test_verify_response_body.py -> build/lib/imandra_http_api_client/test
2023-08-28T15:13:50,503   copying src/imandra_http_api_client/test/test_method_body.py -> build/lib/imandra_http_api_client/test
2023-08-28T15:13:50,507   copying src/imandra_http_api_client/test/test_verify_response.py -> build/lib/imandra_http_api_client/test
2023-08-28T15:13:50,511   copying src/imandra_http_api_client/test/test_printer_details.py -> build/lib/imandra_http_api_client/test
2023-08-28T15:13:50,515   copying src/imandra_http_api_client/test/test_verify_request_name.py -> build/lib/imandra_http_api_client/test
2023-08-28T15:13:50,518   copying src/imandra_http_api_client/test/test_default_api.py -> build/lib/imandra_http_api_client/test
2023-08-28T15:13:50,522   copying src/imandra_http_api_client/test/test_response_instance.py -> build/lib/imandra_http_api_client/test
2023-08-28T15:13:50,526   copying src/imandra_http_api_client/test/test_instance_type.py -> build/lib/imandra_http_api_client/test
2023-08-28T15:13:50,530   copying src/imandra_http_api_client/test/test_instance_request_src.py -> build/lib/imandra_http_api_client/test
2023-08-28T15:13:50,533   copying src/imandra_http_api_client/test/test_method.py -> build/lib/imandra_http_api_client/test
2023-08-28T15:13:50,537   copying src/imandra_http_api_client/test/test_induct_type.py -> build/lib/imandra_http_api_client/test
2023-08-28T15:13:50,540   copying src/imandra_http_api_client/test/test_method_induct_body.py -> build/lib/imandra_http_api_client/test
2023-08-28T15:13:50,544   copying src/imandra_http_api_client/test/test_method_unroll_body.py -> build/lib/imandra_http_api_client/test
2023-08-28T15:13:50,548   running egg_info
2023-08-28T15:13:50,556   writing src/imandra.egg-info/PKG-INFO
2023-08-28T15:13:50,560   writing dependency_links to src/imandra.egg-info/dependency_links.txt
2023-08-28T15:13:50,564   writing entry points to src/imandra.egg-info/entry_points.txt
2023-08-28T15:13:50,567   writing requirements to src/imandra.egg-info/requires.txt
2023-08-28T15:13:50,569   writing top-level names to src/imandra.egg-info/top_level.txt
2023-08-28T15:13:50,604   reading manifest file 'src/imandra.egg-info/SOURCES.txt'
2023-08-28T15:13:50,631   writing manifest file 'src/imandra.egg-info/SOURCES.txt'
2023-08-28T15:13:50,676   installing to build/bdist.linux-armv7l/wheel
2023-08-28T15:13:50,677   running install
2023-08-28T15:13:50,736   running install_lib
2023-08-28T15:13:50,746   creating build/bdist.linux-armv7l
2023-08-28T15:13:50,747   creating build/bdist.linux-armv7l/wheel
2023-08-28T15:13:50,751   creating build/bdist.linux-armv7l/wheel/imandra_http_api_client
2023-08-28T15:13:50,755   creating build/bdist.linux-armv7l/wheel/imandra_http_api_client/models
2023-08-28T15:13:50,758   copying build/lib/imandra_http_api_client/models/induct_structural_style.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/models
2023-08-28T15:13:50,762   copying build/lib/imandra_http_api_client/models/induct_type.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/models
2023-08-28T15:13:50,766   copying build/lib/imandra_http_api_client/models/induct_structural_body.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/models
2023-08-28T15:13:50,770   copying build/lib/imandra_http_api_client/models/response_error.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/models
2023-08-28T15:13:50,774   copying build/lib/imandra_http_api_client/models/eval_response.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/models
2023-08-28T15:13:50,778   copying build/lib/imandra_http_api_client/models/method_body.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/models
2023-08-28T15:13:50,782   copying build/lib/imandra_http_api_client/models/decompose_region.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/models
2023-08-28T15:13:50,787   copying build/lib/imandra_http_api_client/models/decompose_request_src.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/models
2023-08-28T15:13:50,791   copying build/lib/imandra_http_api_client/models/verify_request_src.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/models
2023-08-28T15:13:50,795   copying build/lib/imandra_http_api_client/models/syntax.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/models
2023-08-28T15:13:50,799   copying build/lib/imandra_http_api_client/models/verify_response_body.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/models
2023-08-28T15:13:50,803   copying build/lib/imandra_http_api_client/models/method_ext_solver_body.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/models
2023-08-28T15:13:50,807   copying build/lib/imandra_http_api_client/models/instance_request_name.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/models
2023-08-28T15:13:50,810   copying build/lib/imandra_http_api_client/models/with_instance_body.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/models
2023-08-28T15:13:50,814   copying build/lib/imandra_http_api_client/models/__init__.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/models
2023-08-28T15:13:50,822   copying build/lib/imandra_http_api_client/models/verify_request_name.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/models
2023-08-28T15:13:50,826   copying build/lib/imandra_http_api_client/models/instance_type.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/models
2023-08-28T15:13:50,830   copying build/lib/imandra_http_api_client/models/response_instance.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/models
2023-08-28T15:13:50,834   copying build/lib/imandra_http_api_client/models/eval_request_src.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/models
2023-08-28T15:13:50,838   copying build/lib/imandra_http_api_client/models/method_type.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/models
2023-08-28T15:13:50,842   copying build/lib/imandra_http_api_client/models/response_model.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/models
2023-08-28T15:13:50,847   copying build/lib/imandra_http_api_client/models/induct_functional_body.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/models
2023-08-28T15:13:50,851   copying build/lib/imandra_http_api_client/models/decompose_result.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/models
2023-08-28T15:13:50,855   copying build/lib/imandra_http_api_client/models/method.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/models
2023-08-28T15:13:50,859   copying build/lib/imandra_http_api_client/models/verify_result.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/models
2023-08-28T15:13:50,862   copying build/lib/imandra_http_api_client/models/instance_request_src.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/models
2023-08-28T15:13:50,866   copying build/lib/imandra_http_api_client/models/up_to_body.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/models
2023-08-28T15:13:50,870   copying build/lib/imandra_http_api_client/models/method_induct_body_body.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/models
2023-08-28T15:13:50,875   copying build/lib/imandra_http_api_client/models/instance_response.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/models
2023-08-28T15:13:50,879   copying build/lib/imandra_http_api_client/models/verify_response.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/models
2023-08-28T15:13:50,883   copying build/lib/imandra_http_api_client/models/with_unknown_reason_body.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/models
2023-08-28T15:13:50,887   copying build/lib/imandra_http_api_client/models/printer_details.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/models
2023-08-28T15:13:50,891   copying build/lib/imandra_http_api_client/models/method_induct_body.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/models
2023-08-28T15:13:50,894   copying build/lib/imandra_http_api_client/models/method_unroll_body.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/models
2023-08-28T15:13:50,899   copying build/lib/imandra_http_api_client/models/hints.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/models
2023-08-28T15:13:50,903   copying build/lib/imandra_http_api_client/models/instance_result.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/models
2023-08-28T15:13:50,907   creating build/bdist.linux-armv7l/wheel/imandra_http_api_client/api
2023-08-28T15:13:50,909   copying build/lib/imandra_http_api_client/api/__init__.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/api
2023-08-28T15:13:50,913   copying build/lib/imandra_http_api_client/api/default_api.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/api
2023-08-28T15:13:50,920   copying build/lib/imandra_http_api_client/configuration.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client
2023-08-28T15:13:50,925   copying build/lib/imandra_http_api_client/rest.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client
2023-08-28T15:13:50,930   copying build/lib/imandra_http_api_client/api_client.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client
2023-08-28T15:13:50,937   creating build/bdist.linux-armv7l/wheel/imandra_http_api_client/test
2023-08-28T15:13:50,939   copying build/lib/imandra_http_api_client/test/test_induct_structural_body.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/test
2023-08-28T15:13:50,943   copying build/lib/imandra_http_api_client/test/test_verify_request_src.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/test
2023-08-28T15:13:50,946   copying build/lib/imandra_http_api_client/test/test_decompose_region.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/test
2023-08-28T15:13:50,950   copying build/lib/imandra_http_api_client/test/test_eval_response.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/test
2023-08-28T15:13:50,953   copying build/lib/imandra_http_api_client/test/test_method_induct_body_body.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/test
2023-08-28T15:13:50,957   copying build/lib/imandra_http_api_client/test/test_response_error.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/test
2023-08-28T15:13:50,960   copying build/lib/imandra_http_api_client/test/test_response_model.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/test
2023-08-28T15:13:50,964   copying build/lib/imandra_http_api_client/test/test_decompose_result.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/test
2023-08-28T15:13:50,967   copying build/lib/imandra_http_api_client/test/test_syntax.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/test
2023-08-28T15:13:50,970   copying build/lib/imandra_http_api_client/test/test_eval_request_src.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/test
2023-08-28T15:13:50,974   copying build/lib/imandra_http_api_client/test/test_with_unknown_reason_body.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/test
2023-08-28T15:13:50,977   copying build/lib/imandra_http_api_client/test/test_hints.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/test
2023-08-28T15:13:50,981   copying build/lib/imandra_http_api_client/test/test_instance_result.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/test
2023-08-28T15:13:50,984   copying build/lib/imandra_http_api_client/test/test_instance_response.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/test
2023-08-28T15:13:50,987   copying build/lib/imandra_http_api_client/test/test_verify_result.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/test
2023-08-28T15:13:50,991   copying build/lib/imandra_http_api_client/test/test_induct_functional_body.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/test
2023-08-28T15:13:50,994   copying build/lib/imandra_http_api_client/test/__init__.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/test
2023-08-28T15:13:50,997   copying build/lib/imandra_http_api_client/test/test_instance_request_name.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/test
2023-08-28T15:13:51,001   copying build/lib/imandra_http_api_client/test/test_induct_structural_style.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/test
2023-08-28T15:13:51,004   copying build/lib/imandra_http_api_client/test/test_with_instance_body.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/test
2023-08-28T15:13:51,008   copying build/lib/imandra_http_api_client/test/test_decompose_request_src.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/test
2023-08-28T15:13:51,011   copying build/lib/imandra_http_api_client/test/test_up_to_body.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/test
2023-08-28T15:13:51,014   copying build/lib/imandra_http_api_client/test/test_method_ext_solver_body.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/test
2023-08-28T15:13:51,018   copying build/lib/imandra_http_api_client/test/test_method_type.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/test
2023-08-28T15:13:51,021   copying build/lib/imandra_http_api_client/test/test_verify_response_body.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/test
2023-08-28T15:13:51,025   copying build/lib/imandra_http_api_client/test/test_method_body.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/test
2023-08-28T15:13:51,029   copying build/lib/imandra_http_api_client/test/test_verify_response.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/test
2023-08-28T15:13:51,032   copying build/lib/imandra_http_api_client/test/test_printer_details.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/test
2023-08-28T15:13:51,035   copying build/lib/imandra_http_api_client/test/test_verify_request_name.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/test
2023-08-28T15:13:51,039   copying build/lib/imandra_http_api_client/test/test_default_api.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/test
2023-08-28T15:13:51,042   copying build/lib/imandra_http_api_client/test/test_response_instance.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/test
2023-08-28T15:13:51,046   copying build/lib/imandra_http_api_client/test/test_instance_type.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/test
2023-08-28T15:13:51,049   copying build/lib/imandra_http_api_client/test/test_instance_request_src.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/test
2023-08-28T15:13:51,053   copying build/lib/imandra_http_api_client/test/test_method.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/test
2023-08-28T15:13:51,056   copying build/lib/imandra_http_api_client/test/test_induct_type.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/test
2023-08-28T15:13:51,060   copying build/lib/imandra_http_api_client/test/test_method_induct_body.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/test
2023-08-28T15:13:51,063   copying build/lib/imandra_http_api_client/test/test_method_unroll_body.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/test
2023-08-28T15:13:51,067   copying build/lib/imandra_http_api_client/api_response.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client
2023-08-28T15:13:51,070   copying build/lib/imandra_http_api_client/__init__.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client
2023-08-28T15:13:51,073   copying build/lib/imandra_http_api_client/exceptions.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client
2023-08-28T15:13:51,079   creating build/bdist.linux-armv7l/wheel/imandra
2023-08-28T15:13:51,080   copying build/lib/imandra/cfb.py -> build/bdist.linux-armv7l/wheel/imandra
2023-08-28T15:13:51,084   copying build/lib/imandra/ipl.py -> build/bdist.linux-armv7l/wheel/imandra
2023-08-28T15:13:51,088   copying build/lib/imandra/session.py -> build/bdist.linux-armv7l/wheel/imandra
2023-08-28T15:13:51,091   copying build/lib/imandra/core.py -> build/bdist.linux-armv7l/wheel/imandra
2023-08-28T15:13:51,095   copying build/lib/imandra/instance.py -> build/bdist.linux-armv7l/wheel/imandra
2023-08-28T15:13:51,098   copying build/lib/imandra/__init__.py -> build/bdist.linux-armv7l/wheel/imandra
2023-08-28T15:13:51,102   copying build/lib/imandra/rule_synth.py -> build/bdist.linux-armv7l/wheel/imandra
2023-08-28T15:13:51,106   copying build/lib/imandra/auth.py -> build/bdist.linux-armv7l/wheel/imandra
2023-08-28T15:13:51,110   running install_egg_info
2023-08-28T15:13:51,119   Copying src/imandra.egg-info to build/bdist.linux-armv7l/wheel/imandra-1.0.2-py3.7.egg-info
2023-08-28T15:13:51,142   running install_scripts
2023-08-28T15:13:51,175   creating build/bdist.linux-armv7l/wheel/imandra-1.0.2.dist-info/WHEEL
2023-08-28T15:13:51,180   creating '/tmp/pip-wheel-bslh_6m1/.tmp-teu0pnwc/imandra-1.0.2-py3-none-any.whl' and adding 'build/bdist.linux-armv7l/wheel' to it
2023-08-28T15:13:51,186   adding 'imandra/__init__.py'
2023-08-28T15:13:51,191   adding 'imandra/auth.py'
2023-08-28T15:13:51,194   adding 'imandra/cfb.py'
2023-08-28T15:13:51,197   adding 'imandra/core.py'
2023-08-28T15:13:51,200   adding 'imandra/instance.py'
2023-08-28T15:13:51,203   adding 'imandra/ipl.py'
2023-08-28T15:13:51,205   adding 'imandra/rule_synth.py'
2023-08-28T15:13:51,208   adding 'imandra/session.py'
2023-08-28T15:13:51,214   adding 'imandra_http_api_client/__init__.py'
2023-08-28T15:13:51,222   adding 'imandra_http_api_client/api_client.py'
2023-08-28T15:13:51,225   adding 'imandra_http_api_client/api_response.py'
2023-08-28T15:13:51,231   adding 'imandra_http_api_client/configuration.py'
2023-08-28T15:13:51,234   adding 'imandra_http_api_client/exceptions.py'
2023-08-28T15:13:51,238   adding 'imandra_http_api_client/rest.py'
2023-08-28T15:13:51,242   adding 'imandra_http_api_client/api/__init__.py'
2023-08-28T15:13:51,249   adding 'imandra_http_api_client/api/default_api.py'
2023-08-28T15:13:51,255   adding 'imandra_http_api_client/models/__init__.py'
2023-08-28T15:13:51,258   adding 'imandra_http_api_client/models/decompose_region.py'
2023-08-28T15:13:51,261   adding 'imandra_http_api_client/models/decompose_request_src.py'
2023-08-28T15:13:51,263   adding 'imandra_http_api_client/models/decompose_result.py'
2023-08-28T15:13:51,266   adding 'imandra_http_api_client/models/eval_request_src.py'
2023-08-28T15:13:51,269   adding 'imandra_http_api_client/models/eval_response.py'
2023-08-28T15:13:51,272   adding 'imandra_http_api_client/models/hints.py'
2023-08-28T15:13:51,275   adding 'imandra_http_api_client/models/induct_functional_body.py'
2023-08-28T15:13:51,277   adding 'imandra_http_api_client/models/induct_structural_body.py'
2023-08-28T15:13:51,280   adding 'imandra_http_api_client/models/induct_structural_style.py'
2023-08-28T15:13:51,282   adding 'imandra_http_api_client/models/induct_type.py'
2023-08-28T15:13:51,285   adding 'imandra_http_api_client/models/instance_request_name.py'
2023-08-28T15:13:51,288   adding 'imandra_http_api_client/models/instance_request_src.py'
2023-08-28T15:13:51,291   adding 'imandra_http_api_client/models/instance_response.py'
2023-08-28T15:13:51,293   adding 'imandra_http_api_client/models/instance_result.py'
2023-08-28T15:13:51,296   adding 'imandra_http_api_client/models/instance_type.py'
2023-08-28T15:13:51,299   adding 'imandra_http_api_client/models/method.py'
2023-08-28T15:13:51,302   adding 'imandra_http_api_client/models/method_body.py'
2023-08-28T15:13:51,305   adding 'imandra_http_api_client/models/method_ext_solver_body.py'
2023-08-28T15:13:51,308   adding 'imandra_http_api_client/models/method_induct_body.py'
2023-08-28T15:13:51,311   adding 'imandra_http_api_client/models/method_induct_body_body.py'
2023-08-28T15:13:51,313   adding 'imandra_http_api_client/models/method_type.py'
2023-08-28T15:13:51,316   adding 'imandra_http_api_client/models/method_unroll_body.py'
2023-08-28T15:13:51,319   adding 'imandra_http_api_client/models/printer_details.py'
2023-08-28T15:13:51,321   adding 'imandra_http_api_client/models/response_error.py'
2023-08-28T15:13:51,324   adding 'imandra_http_api_client/models/response_instance.py'
2023-08-28T15:13:51,327   adding 'imandra_http_api_client/models/response_model.py'
2023-08-28T15:13:51,330   adding 'imandra_http_api_client/models/syntax.py'
2023-08-28T15:13:51,333   adding 'imandra_http_api_client/models/up_to_body.py'
2023-08-28T15:13:51,336   adding 'imandra_http_api_client/models/verify_request_name.py'
2023-08-28T15:13:51,339   adding 'imandra_http_api_client/models/verify_request_src.py'
2023-08-28T15:13:51,341   adding 'imandra_http_api_client/models/verify_response.py'
2023-08-28T15:13:51,344   adding 'imandra_http_api_client/models/verify_response_body.py'
2023-08-28T15:13:51,347   adding 'imandra_http_api_client/models/verify_result.py'
2023-08-28T15:13:51,350   adding 'imandra_http_api_client/models/with_instance_body.py'
2023-08-28T15:13:51,352   adding 'imandra_http_api_client/models/with_unknown_reason_body.py'
2023-08-28T15:13:51,357   adding 'imandra_http_api_client/test/__init__.py'
2023-08-28T15:13:51,360   adding 'imandra_http_api_client/test/test_decompose_region.py'
2023-08-28T15:13:51,362   adding 'imandra_http_api_client/test/test_decompose_request_src.py'
2023-08-28T15:13:51,365   adding 'imandra_http_api_client/test/test_decompose_result.py'
2023-08-28T15:13:51,368   adding 'imandra_http_api_client/test/test_default_api.py'
2023-08-28T15:13:51,371   adding 'imandra_http_api_client/test/test_eval_request_src.py'
2023-08-28T15:13:51,373   adding 'imandra_http_api_client/test/test_eval_response.py'
2023-08-28T15:13:51,376   adding 'imandra_http_api_client/test/test_hints.py'
2023-08-28T15:13:51,379   adding 'imandra_http_api_client/test/test_induct_functional_body.py'
2023-08-28T15:13:51,381   adding 'imandra_http_api_client/test/test_induct_structural_body.py'
2023-08-28T15:13:51,384   adding 'imandra_http_api_client/test/test_induct_structural_style.py'
2023-08-28T15:13:51,386   adding 'imandra_http_api_client/test/test_induct_type.py'
2023-08-28T15:13:51,389   adding 'imandra_http_api_client/test/test_instance_request_name.py'
2023-08-28T15:13:51,392   adding 'imandra_http_api_client/test/test_instance_request_src.py'
2023-08-28T15:13:51,394   adding 'imandra_http_api_client/test/test_instance_response.py'
2023-08-28T15:13:51,397   adding 'imandra_http_api_client/test/test_instance_result.py'
2023-08-28T15:13:51,399   adding 'imandra_http_api_client/test/test_instance_type.py'
2023-08-28T15:13:51,402   adding 'imandra_http_api_client/test/test_method.py'
2023-08-28T15:13:51,405   adding 'imandra_http_api_client/test/test_method_body.py'
2023-08-28T15:13:51,408   adding 'imandra_http_api_client/test/test_method_ext_solver_body.py'
2023-08-28T15:13:51,410   adding 'imandra_http_api_client/test/test_method_induct_body.py'
2023-08-28T15:13:51,413   adding 'imandra_http_api_client/test/test_method_induct_body_body.py'
2023-08-28T15:13:51,415   adding 'imandra_http_api_client/test/test_method_type.py'
2023-08-28T15:13:51,418   adding 'imandra_http_api_client/test/test_method_unroll_body.py'
2023-08-28T15:13:51,421   adding 'imandra_http_api_client/test/test_printer_details.py'
2023-08-28T15:13:51,423   adding 'imandra_http_api_client/test/test_response_error.py'
2023-08-28T15:13:51,426   adding 'imandra_http_api_client/test/test_response_instance.py'
2023-08-28T15:13:51,429   adding 'imandra_http_api_client/test/test_response_model.py'
2023-08-28T15:13:51,431   adding 'imandra_http_api_client/test/test_syntax.py'
2023-08-28T15:13:51,434   adding 'imandra_http_api_client/test/test_up_to_body.py'
2023-08-28T15:13:51,437   adding 'imandra_http_api_client/test/test_verify_request_name.py'
2023-08-28T15:13:51,439   adding 'imandra_http_api_client/test/test_verify_request_src.py'
2023-08-28T15:13:51,442   adding 'imandra_http_api_client/test/test_verify_response.py'
2023-08-28T15:13:51,445   adding 'imandra_http_api_client/test/test_verify_response_body.py'
2023-08-28T15:13:51,447   adding 'imandra_http_api_client/test/test_verify_result.py'
2023-08-28T15:13:51,450   adding 'imandra_http_api_client/test/test_with_instance_body.py'
2023-08-28T15:13:51,453   adding 'imandra_http_api_client/test/test_with_unknown_reason_body.py'
2023-08-28T15:13:51,456   adding 'imandra-1.0.2.dist-info/METADATA'
2023-08-28T15:13:51,458   adding 'imandra-1.0.2.dist-info/WHEEL'
2023-08-28T15:13:51,460   adding 'imandra-1.0.2.dist-info/entry_points.txt'
2023-08-28T15:13:51,462   adding 'imandra-1.0.2.dist-info/top_level.txt'
2023-08-28T15:13:51,467   adding 'imandra-1.0.2.dist-info/RECORD'
2023-08-28T15:13:51,477   removing build/bdist.linux-armv7l/wheel
2023-08-28T15:13:51,527   /tmp/pip-build-env-7y9imebk/overlay/lib/python3.7/site-packages/setuptools/config/pyprojecttoml.py:66: _BetaConfiguration: Support for `[tool.setuptools]` in `pyproject.toml` is still *beta*.
2023-08-28T15:13:51,527     config = read_configuration(filepath, True, ignore_option_errors, dist)
2023-08-28T15:13:51,707   Building wheel for imandra (pyproject.toml): finished with status 'done'
2023-08-28T15:13:51,726   Created wheel for imandra: filename=imandra-1.0.2-py3-none-any.whl size=104174 sha256=0d0429742091c0b55ac167d0e20a110684281e4991e4a730bf2e49962a12e30e
2023-08-28T15:13:51,729   Stored in directory: /tmp/pip-ephem-wheel-cache-jxf_giij/wheels/36/e5/34/5693998491c224582bd3b814a10736840efd0cf46286cd3012
2023-08-28T15:13:51,763 Successfully built imandra
2023-08-28T15:13:51,780 Removed build tracker: '/tmp/pip-build-tracker-2zh1qfkn'