2023-07-31T18:33:24,546 Created temporary directory: /tmp/pip-build-tracker-j8uj1_ki
2023-07-31T18:33:24,549 Initialized build tracking at /tmp/pip-build-tracker-j8uj1_ki
2023-07-31T18:33:24,549 Created build tracker: /tmp/pip-build-tracker-j8uj1_ki
2023-07-31T18:33:24,550 Entered build tracker: /tmp/pip-build-tracker-j8uj1_ki
2023-07-31T18:33:24,551 Created temporary directory: /tmp/pip-wheel-jwa17dvo
2023-07-31T18:33:24,559 Created temporary directory: /tmp/pip-ephem-wheel-cache-n64ducxr
2023-07-31T18:33:24,610 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple
2023-07-31T18:33:24,618 2 location(s) to search for versions of imandra:
2023-07-31T18:33:24,618 * https://pypi.org/simple/imandra/
2023-07-31T18:33:24,618 * https://www.piwheels.org/simple/imandra/
2023-07-31T18:33:24,619 Fetching project page and analyzing links: https://pypi.org/simple/imandra/
2023-07-31T18:33:24,620 Getting page https://pypi.org/simple/imandra/
2023-07-31T18:33:24,625 Found index url https://pypi.org/simple/
2023-07-31T18:33:25,052 Fetched page https://pypi.org/simple/imandra/ as application/vnd.pypi.simple.v1+json
2023-07-31T18:33:25,061   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-07-31T18:33:25,061   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-07-31T18:33:25,062   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-07-31T18:33:25,063   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-07-31T18:33:25,063   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-07-31T18:33:25,064   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-07-31T18:33:25,065   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-07-31T18:33:25,065   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-07-31T18:33:25,066   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-07-31T18:33:25,066   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-07-31T18:33:25,067   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-07-31T18:33:25,068   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-07-31T18:33:25,068   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-07-31T18:33:25,069   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-07-31T18:33:25,070   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-07-31T18:33:25,070   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-07-31T18:33:25,071 Fetching project page and analyzing links: https://www.piwheels.org/simple/imandra/
2023-07-31T18:33:25,072 Getting page https://www.piwheels.org/simple/imandra/
2023-07-31T18:33:25,074 Found index url https://www.piwheels.org/simple/
2023-07-31T18:33:25,283 Fetched page https://www.piwheels.org/simple/imandra/ as text/html
2023-07-31T18:33:25,290   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-07-31T18:33:25,290   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-07-31T18:33:25,291   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-07-31T18:33:25,291   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-07-31T18:33:25,292   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-07-31T18:33:25,292   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-07-31T18:33:25,293   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-07-31T18:33:25,293 Skipping link: not a file: https://www.piwheels.org/simple/imandra/
2023-07-31T18:33:25,294 Skipping link: not a file: https://pypi.org/simple/imandra/
2023-07-31T18:33:25,329 Given no hashes to check 1 links for project 'imandra': discarding no candidates
2023-07-31T18:33:25,360 Collecting imandra==1.0.0
2023-07-31T18:33:25,364   Created temporary directory: /tmp/pip-unpack-ej442uev
2023-07-31T18:33:25,778   Downloading imandra-1.0.0.tar.gz (43 kB)
2023-07-31T18:33:26,207   Added imandra==1.0.0 from https://files.pythonhosted.org/packages/72/e4/a1eed4370a3a52fa2479ef7fbf3249b644b336b270f6bd4dedad1aa75feb/imandra-1.0.0.tar.gz to build tracker '/tmp/pip-build-tracker-j8uj1_ki'
2023-07-31T18:33:26,218   Created temporary directory: /tmp/pip-build-env-xqu64n8u
2023-07-31T18:33:26,237   Installing build dependencies: started
2023-07-31T18:33:26,239   Running command pip subprocess to install build dependencies
2023-07-31T18:33:28,967   Using pip 23.1.2 from /home/piwheels/.local/lib/python3.7/site-packages/pip (python 3.7)
2023-07-31T18:33:29,748   Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple
2023-07-31T18:33:33,665   Collecting setuptools>=61.0.0
2023-07-31T18:33:33,855     Using cached https://www.piwheels.org/simple/setuptools/setuptools-68.0.0-py3-none-any.whl (804 kB)
2023-07-31T18:33:34,485   Collecting wheel
2023-07-31T18:33:34,526     Using cached https://www.piwheels.org/simple/wheel/wheel-0.41.0-py3-none-any.whl (64 kB)
2023-07-31T18:33:39,490   Installing collected packages: wheel, setuptools
2023-07-31T18:33:39,946     Creating /tmp/pip-build-env-xqu64n8u/overlay/bin
2023-07-31T18:33:39,951     changing mode of /tmp/pip-build-env-xqu64n8u/overlay/bin/wheel to 755
2023-07-31T18:33:44,205   Successfully installed setuptools-68.0.0 wheel-0.41.0

2023-07-31T18:33:44,240   [notice] A new release of pip is available: 23.1.2 -> 23.2.1
2023-07-31T18:33:44,240   [notice] To update, run: python3 -m pip install --upgrade pip
2023-07-31T18:33:44,673   Installing build dependencies: finished with status 'done'
2023-07-31T18:33:44,685   Getting requirements to build wheel: started
2023-07-31T18:33:44,687   Running command Getting requirements to build wheel
2023-07-31T18:33:46,670   running egg_info
2023-07-31T18:33:46,684   writing src/imandra.egg-info/PKG-INFO
2023-07-31T18:33:46,689   writing dependency_links to src/imandra.egg-info/dependency_links.txt
2023-07-31T18:33:46,693   writing entry points to src/imandra.egg-info/entry_points.txt
2023-07-31T18:33:46,696   writing requirements to src/imandra.egg-info/requires.txt
2023-07-31T18:33:46,698   writing top-level names to src/imandra.egg-info/top_level.txt
2023-07-31T18:33:46,749   reading manifest file 'src/imandra.egg-info/SOURCES.txt'
2023-07-31T18:33:46,774   writing manifest file 'src/imandra.egg-info/SOURCES.txt'
2023-07-31T18:33:46,778   /tmp/pip-build-env-xqu64n8u/overlay/lib/python3.7/site-packages/setuptools/config/pyprojecttoml.py:66: _BetaConfiguration: Support for `[tool.setuptools]` in `pyproject.toml` is still *beta*.
2023-07-31T18:33:46,779     config = read_configuration(filepath, True, ignore_option_errors, dist)
2023-07-31T18:33:46,954   Getting requirements to build wheel: finished with status 'done'
2023-07-31T18:33:46,974   Created temporary directory: /tmp/pip-modern-metadata-mqnu03pe
2023-07-31T18:33:46,980   Preparing metadata (pyproject.toml): started
2023-07-31T18:33:46,982   Running command Preparing metadata (pyproject.toml)
2023-07-31T18:33:48,835   running dist_info
2023-07-31T18:33:48,851   creating /tmp/pip-modern-metadata-mqnu03pe/imandra.egg-info
2023-07-31T18:33:48,860   writing /tmp/pip-modern-metadata-mqnu03pe/imandra.egg-info/PKG-INFO
2023-07-31T18:33:48,865   writing dependency_links to /tmp/pip-modern-metadata-mqnu03pe/imandra.egg-info/dependency_links.txt
2023-07-31T18:33:48,869   writing entry points to /tmp/pip-modern-metadata-mqnu03pe/imandra.egg-info/entry_points.txt
2023-07-31T18:33:48,872   writing requirements to /tmp/pip-modern-metadata-mqnu03pe/imandra.egg-info/requires.txt
2023-07-31T18:33:48,874   writing top-level names to /tmp/pip-modern-metadata-mqnu03pe/imandra.egg-info/top_level.txt
2023-07-31T18:33:48,877   writing manifest file '/tmp/pip-modern-metadata-mqnu03pe/imandra.egg-info/SOURCES.txt'
2023-07-31T18:33:48,925   reading manifest file '/tmp/pip-modern-metadata-mqnu03pe/imandra.egg-info/SOURCES.txt'
2023-07-31T18:33:48,942   writing manifest file '/tmp/pip-modern-metadata-mqnu03pe/imandra.egg-info/SOURCES.txt'
2023-07-31T18:33:48,944   creating '/tmp/pip-modern-metadata-mqnu03pe/imandra-1.0.0.dist-info'
2023-07-31T18:33:49,021   /tmp/pip-build-env-xqu64n8u/overlay/lib/python3.7/site-packages/setuptools/config/pyprojecttoml.py:66: _BetaConfiguration: Support for `[tool.setuptools]` in `pyproject.toml` is still *beta*.
2023-07-31T18:33:49,021     config = read_configuration(filepath, True, ignore_option_errors, dist)
2023-07-31T18:33:49,199   Preparing metadata (pyproject.toml): finished with status 'done'
2023-07-31T18:33:49,215   Source in /tmp/pip-wheel-jwa17dvo/imandra_974bc5a79f3143eea958b7eae3ce50b9 has version 1.0.0, which satisfies requirement imandra==1.0.0 from https://files.pythonhosted.org/packages/72/e4/a1eed4370a3a52fa2479ef7fbf3249b644b336b270f6bd4dedad1aa75feb/imandra-1.0.0.tar.gz
2023-07-31T18:33:49,217   Removed imandra==1.0.0 from https://files.pythonhosted.org/packages/72/e4/a1eed4370a3a52fa2479ef7fbf3249b644b336b270f6bd4dedad1aa75feb/imandra-1.0.0.tar.gz from build tracker '/tmp/pip-build-tracker-j8uj1_ki'
2023-07-31T18:33:49,227 Created temporary directory: /tmp/pip-unpack-t7uv2r9w
2023-07-31T18:33:49,228 Building wheels for collected packages: imandra
2023-07-31T18:33:49,237   Created temporary directory: /tmp/pip-wheel-wuvc3u6d
2023-07-31T18:33:49,238   Destination directory: /tmp/pip-wheel-wuvc3u6d
2023-07-31T18:33:49,243   Building wheel for imandra (pyproject.toml): started
2023-07-31T18:33:49,247   Running command Building wheel for imandra (pyproject.toml)
2023-07-31T18:33:51,088   running bdist_wheel
2023-07-31T18:33:51,126   running build
2023-07-31T18:33:51,127   running build_py
2023-07-31T18:33:51,140   creating build
2023-07-31T18:33:51,142   creating build/lib
2023-07-31T18:33:51,144   creating build/lib/imandra_http_api_client
2023-07-31T18:33:51,147   copying src/imandra_http_api_client/configuration.py -> build/lib/imandra_http_api_client
2023-07-31T18:33:51,153   copying src/imandra_http_api_client/rest.py -> build/lib/imandra_http_api_client
2023-07-31T18:33:51,158   copying src/imandra_http_api_client/api_client.py -> build/lib/imandra_http_api_client
2023-07-31T18:33:51,164   copying src/imandra_http_api_client/api_response.py -> build/lib/imandra_http_api_client
2023-07-31T18:33:51,168   copying src/imandra_http_api_client/__init__.py -> build/lib/imandra_http_api_client
2023-07-31T18:33:51,172   copying src/imandra_http_api_client/exceptions.py -> build/lib/imandra_http_api_client
2023-07-31T18:33:51,179   creating build/lib/imandra
2023-07-31T18:33:51,181   copying src/imandra/cfb.py -> build/lib/imandra
2023-07-31T18:33:51,185   copying src/imandra/ipl.py -> build/lib/imandra
2023-07-31T18:33:51,190   copying src/imandra/core.py -> build/lib/imandra
2023-07-31T18:33:51,193   copying src/imandra/instance.py -> build/lib/imandra
2023-07-31T18:33:51,197   copying src/imandra/__init__.py -> build/lib/imandra
2023-07-31T18:33:51,201   copying src/imandra/rule_synth.py -> build/lib/imandra
2023-07-31T18:33:51,204   copying src/imandra/auth.py -> build/lib/imandra
2023-07-31T18:33:51,213   creating build/lib/imandra_http_api_client/models
2023-07-31T18:33:51,215   copying src/imandra_http_api_client/models/induct_structural_style.py -> build/lib/imandra_http_api_client/models
2023-07-31T18:33:51,219   copying src/imandra_http_api_client/models/induct_type.py -> build/lib/imandra_http_api_client/models
2023-07-31T18:33:51,222   copying src/imandra_http_api_client/models/induct_structural_body.py -> build/lib/imandra_http_api_client/models
2023-07-31T18:33:51,226   copying src/imandra_http_api_client/models/response_error.py -> build/lib/imandra_http_api_client/models
2023-07-31T18:33:51,229   copying src/imandra_http_api_client/models/eval_response.py -> build/lib/imandra_http_api_client/models
2023-07-31T18:33:51,233   copying src/imandra_http_api_client/models/method_body.py -> build/lib/imandra_http_api_client/models
2023-07-31T18:33:51,236   copying src/imandra_http_api_client/models/verify_request_src.py -> build/lib/imandra_http_api_client/models
2023-07-31T18:33:51,240   copying src/imandra_http_api_client/models/syntax.py -> build/lib/imandra_http_api_client/models
2023-07-31T18:33:51,243   copying src/imandra_http_api_client/models/verify_response_body.py -> build/lib/imandra_http_api_client/models
2023-07-31T18:33:51,247   copying src/imandra_http_api_client/models/method_ext_solver_body.py -> build/lib/imandra_http_api_client/models
2023-07-31T18:33:51,251   copying src/imandra_http_api_client/models/instance_request_name.py -> build/lib/imandra_http_api_client/models
2023-07-31T18:33:51,254   copying src/imandra_http_api_client/models/with_instance_body.py -> build/lib/imandra_http_api_client/models
2023-07-31T18:33:51,258   copying src/imandra_http_api_client/models/__init__.py -> build/lib/imandra_http_api_client/models
2023-07-31T18:33:51,261   copying src/imandra_http_api_client/models/verify_request_name.py -> build/lib/imandra_http_api_client/models
2023-07-31T18:33:51,264   copying src/imandra_http_api_client/models/instance_type.py -> build/lib/imandra_http_api_client/models
2023-07-31T18:33:51,268   copying src/imandra_http_api_client/models/response_instance.py -> build/lib/imandra_http_api_client/models
2023-07-31T18:33:51,271   copying src/imandra_http_api_client/models/eval_request_src.py -> build/lib/imandra_http_api_client/models
2023-07-31T18:33:51,275   copying src/imandra_http_api_client/models/method_type.py -> build/lib/imandra_http_api_client/models
2023-07-31T18:33:51,278   copying src/imandra_http_api_client/models/response_model.py -> build/lib/imandra_http_api_client/models
2023-07-31T18:33:51,282   copying src/imandra_http_api_client/models/induct_functional_body.py -> build/lib/imandra_http_api_client/models
2023-07-31T18:33:51,285   copying src/imandra_http_api_client/models/method.py -> build/lib/imandra_http_api_client/models
2023-07-31T18:33:51,288   copying src/imandra_http_api_client/models/verify_result.py -> build/lib/imandra_http_api_client/models
2023-07-31T18:33:51,292   copying src/imandra_http_api_client/models/instance_request_src.py -> build/lib/imandra_http_api_client/models
2023-07-31T18:33:51,295   copying src/imandra_http_api_client/models/up_to_body.py -> build/lib/imandra_http_api_client/models
2023-07-31T18:33:51,298   copying src/imandra_http_api_client/models/method_induct_body_body.py -> build/lib/imandra_http_api_client/models
2023-07-31T18:33:51,302   copying src/imandra_http_api_client/models/instance_response.py -> build/lib/imandra_http_api_client/models
2023-07-31T18:33:51,306   copying src/imandra_http_api_client/models/verify_response.py -> build/lib/imandra_http_api_client/models
2023-07-31T18:33:51,310   copying src/imandra_http_api_client/models/with_unknown_reason_body.py -> build/lib/imandra_http_api_client/models
2023-07-31T18:33:51,313   copying src/imandra_http_api_client/models/printer_details.py -> build/lib/imandra_http_api_client/models
2023-07-31T18:33:51,316   copying src/imandra_http_api_client/models/method_induct_body.py -> build/lib/imandra_http_api_client/models
2023-07-31T18:33:51,320   copying src/imandra_http_api_client/models/method_unroll_body.py -> build/lib/imandra_http_api_client/models
2023-07-31T18:33:51,323   copying src/imandra_http_api_client/models/hints.py -> build/lib/imandra_http_api_client/models
2023-07-31T18:33:51,327   copying src/imandra_http_api_client/models/instance_result.py -> build/lib/imandra_http_api_client/models
2023-07-31T18:33:51,331   creating build/lib/imandra_http_api_client/api
2023-07-31T18:33:51,333   copying src/imandra_http_api_client/api/__init__.py -> build/lib/imandra_http_api_client/api
2023-07-31T18:33:51,337   copying src/imandra_http_api_client/api/default_api.py -> build/lib/imandra_http_api_client/api
2023-07-31T18:33:51,348   creating build/lib/imandra_http_api_client/test
2023-07-31T18:33:51,350   copying src/imandra_http_api_client/test/test_induct_structural_body.py -> build/lib/imandra_http_api_client/test
2023-07-31T18:33:51,354   copying src/imandra_http_api_client/test/test_verify_request_src.py -> build/lib/imandra_http_api_client/test
2023-07-31T18:33:51,357   copying src/imandra_http_api_client/test/test_eval_response.py -> build/lib/imandra_http_api_client/test
2023-07-31T18:33:51,361   copying src/imandra_http_api_client/test/test_method_induct_body_body.py -> build/lib/imandra_http_api_client/test
2023-07-31T18:33:51,364   copying src/imandra_http_api_client/test/test_response_error.py -> build/lib/imandra_http_api_client/test
2023-07-31T18:33:51,368   copying src/imandra_http_api_client/test/test_response_model.py -> build/lib/imandra_http_api_client/test
2023-07-31T18:33:51,371   copying src/imandra_http_api_client/test/test_syntax.py -> build/lib/imandra_http_api_client/test
2023-07-31T18:33:51,375   copying src/imandra_http_api_client/test/test_eval_request_src.py -> build/lib/imandra_http_api_client/test
2023-07-31T18:33:51,378   copying src/imandra_http_api_client/test/test_with_unknown_reason_body.py -> build/lib/imandra_http_api_client/test
2023-07-31T18:33:51,381   copying src/imandra_http_api_client/test/test_hints.py -> build/lib/imandra_http_api_client/test
2023-07-31T18:33:51,385   copying src/imandra_http_api_client/test/test_instance_result.py -> build/lib/imandra_http_api_client/test
2023-07-31T18:33:51,388   copying src/imandra_http_api_client/test/test_instance_response.py -> build/lib/imandra_http_api_client/test
2023-07-31T18:33:51,392   copying src/imandra_http_api_client/test/test_verify_result.py -> build/lib/imandra_http_api_client/test
2023-07-31T18:33:51,395   copying src/imandra_http_api_client/test/test_induct_functional_body.py -> build/lib/imandra_http_api_client/test
2023-07-31T18:33:51,398   copying src/imandra_http_api_client/test/__init__.py -> build/lib/imandra_http_api_client/test
2023-07-31T18:33:51,401   copying src/imandra_http_api_client/test/test_instance_request_name.py -> build/lib/imandra_http_api_client/test
2023-07-31T18:33:51,405   copying src/imandra_http_api_client/test/test_induct_structural_style.py -> build/lib/imandra_http_api_client/test
2023-07-31T18:33:51,408   copying src/imandra_http_api_client/test/test_with_instance_body.py -> build/lib/imandra_http_api_client/test
2023-07-31T18:33:51,412   copying src/imandra_http_api_client/test/test_up_to_body.py -> build/lib/imandra_http_api_client/test
2023-07-31T18:33:51,415   copying src/imandra_http_api_client/test/test_method_ext_solver_body.py -> build/lib/imandra_http_api_client/test
2023-07-31T18:33:51,419   copying src/imandra_http_api_client/test/test_method_type.py -> build/lib/imandra_http_api_client/test
2023-07-31T18:33:51,422   copying src/imandra_http_api_client/test/test_verify_response_body.py -> build/lib/imandra_http_api_client/test
2023-07-31T18:33:51,426   copying src/imandra_http_api_client/test/test_method_body.py -> build/lib/imandra_http_api_client/test
2023-07-31T18:33:51,429   copying src/imandra_http_api_client/test/test_verify_response.py -> build/lib/imandra_http_api_client/test
2023-07-31T18:33:51,433   copying src/imandra_http_api_client/test/test_printer_details.py -> build/lib/imandra_http_api_client/test
2023-07-31T18:33:51,436   copying src/imandra_http_api_client/test/test_verify_request_name.py -> build/lib/imandra_http_api_client/test
2023-07-31T18:33:51,439   copying src/imandra_http_api_client/test/test_default_api.py -> build/lib/imandra_http_api_client/test
2023-07-31T18:33:51,443   copying src/imandra_http_api_client/test/test_response_instance.py -> build/lib/imandra_http_api_client/test
2023-07-31T18:33:51,447   copying src/imandra_http_api_client/test/test_instance_type.py -> build/lib/imandra_http_api_client/test
2023-07-31T18:33:51,450   copying src/imandra_http_api_client/test/test_instance_request_src.py -> build/lib/imandra_http_api_client/test
2023-07-31T18:33:51,454   copying src/imandra_http_api_client/test/test_method.py -> build/lib/imandra_http_api_client/test
2023-07-31T18:33:51,457   copying src/imandra_http_api_client/test/test_induct_type.py -> build/lib/imandra_http_api_client/test
2023-07-31T18:33:51,460   copying src/imandra_http_api_client/test/test_method_induct_body.py -> build/lib/imandra_http_api_client/test
2023-07-31T18:33:51,464   copying src/imandra_http_api_client/test/test_method_unroll_body.py -> build/lib/imandra_http_api_client/test
2023-07-31T18:33:51,467   running egg_info
2023-07-31T18:33:51,485   writing src/imandra.egg-info/PKG-INFO
2023-07-31T18:33:51,489   writing dependency_links to src/imandra.egg-info/dependency_links.txt
2023-07-31T18:33:51,493   writing entry points to src/imandra.egg-info/entry_points.txt
2023-07-31T18:33:51,495   writing requirements to src/imandra.egg-info/requires.txt
2023-07-31T18:33:51,497   writing top-level names to src/imandra.egg-info/top_level.txt
2023-07-31T18:33:51,529   reading manifest file 'src/imandra.egg-info/SOURCES.txt'
2023-07-31T18:33:51,554   writing manifest file 'src/imandra.egg-info/SOURCES.txt'
2023-07-31T18:33:51,594   installing to build/bdist.linux-armv7l/wheel
2023-07-31T18:33:51,594   running install
2023-07-31T18:33:51,655   running install_lib
2023-07-31T18:33:51,666   creating build/bdist.linux-armv7l
2023-07-31T18:33:51,667   creating build/bdist.linux-armv7l/wheel
2023-07-31T18:33:51,670   creating build/bdist.linux-armv7l/wheel/imandra_http_api_client
2023-07-31T18:33:51,675   creating build/bdist.linux-armv7l/wheel/imandra_http_api_client/models
2023-07-31T18:33:51,677   copying build/lib/imandra_http_api_client/models/induct_structural_style.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/models
2023-07-31T18:33:51,682   copying build/lib/imandra_http_api_client/models/induct_type.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/models
2023-07-31T18:33:51,686   copying build/lib/imandra_http_api_client/models/induct_structural_body.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/models
2023-07-31T18:33:51,690   copying build/lib/imandra_http_api_client/models/response_error.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/models
2023-07-31T18:33:51,694   copying build/lib/imandra_http_api_client/models/eval_response.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/models
2023-07-31T18:33:51,697   copying build/lib/imandra_http_api_client/models/method_body.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/models
2023-07-31T18:33:51,702   copying build/lib/imandra_http_api_client/models/verify_request_src.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/models
2023-07-31T18:33:51,706   copying build/lib/imandra_http_api_client/models/syntax.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/models
2023-07-31T18:33:51,709   copying build/lib/imandra_http_api_client/models/verify_response_body.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/models
2023-07-31T18:33:51,713   copying build/lib/imandra_http_api_client/models/method_ext_solver_body.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/models
2023-07-31T18:33:51,718   copying build/lib/imandra_http_api_client/models/instance_request_name.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/models
2023-07-31T18:33:51,721   copying build/lib/imandra_http_api_client/models/with_instance_body.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/models
2023-07-31T18:33:51,725   copying build/lib/imandra_http_api_client/models/__init__.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/models
2023-07-31T18:33:51,729   copying build/lib/imandra_http_api_client/models/verify_request_name.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/models
2023-07-31T18:33:51,733   copying build/lib/imandra_http_api_client/models/instance_type.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/models
2023-07-31T18:33:51,737   copying build/lib/imandra_http_api_client/models/response_instance.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/models
2023-07-31T18:33:51,740   copying build/lib/imandra_http_api_client/models/eval_request_src.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/models
2023-07-31T18:33:51,744   copying build/lib/imandra_http_api_client/models/method_type.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/models
2023-07-31T18:33:51,748   copying build/lib/imandra_http_api_client/models/response_model.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/models
2023-07-31T18:33:51,752   copying build/lib/imandra_http_api_client/models/induct_functional_body.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/models
2023-07-31T18:33:51,756   copying build/lib/imandra_http_api_client/models/method.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/models
2023-07-31T18:33:51,759   copying build/lib/imandra_http_api_client/models/verify_result.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/models
2023-07-31T18:33:51,763   copying build/lib/imandra_http_api_client/models/instance_request_src.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/models
2023-07-31T18:33:51,767   copying build/lib/imandra_http_api_client/models/up_to_body.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/models
2023-07-31T18:33:51,771   copying build/lib/imandra_http_api_client/models/method_induct_body_body.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/models
2023-07-31T18:33:51,775   copying build/lib/imandra_http_api_client/models/instance_response.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/models
2023-07-31T18:33:51,779   copying build/lib/imandra_http_api_client/models/verify_response.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/models
2023-07-31T18:33:51,782   copying build/lib/imandra_http_api_client/models/with_unknown_reason_body.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/models
2023-07-31T18:33:51,786   copying build/lib/imandra_http_api_client/models/printer_details.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/models
2023-07-31T18:33:51,789   copying build/lib/imandra_http_api_client/models/method_induct_body.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/models
2023-07-31T18:33:51,793   copying build/lib/imandra_http_api_client/models/method_unroll_body.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/models
2023-07-31T18:33:51,796   copying build/lib/imandra_http_api_client/models/hints.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/models
2023-07-31T18:33:51,800   copying build/lib/imandra_http_api_client/models/instance_result.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/models
2023-07-31T18:33:51,804   creating build/bdist.linux-armv7l/wheel/imandra_http_api_client/api
2023-07-31T18:33:51,806   copying build/lib/imandra_http_api_client/api/__init__.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/api
2023-07-31T18:33:51,809   copying build/lib/imandra_http_api_client/api/default_api.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/api
2023-07-31T18:33:51,816   copying build/lib/imandra_http_api_client/configuration.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client
2023-07-31T18:33:51,821   copying build/lib/imandra_http_api_client/rest.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client
2023-07-31T18:33:51,826   copying build/lib/imandra_http_api_client/api_client.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client
2023-07-31T18:33:51,833   creating build/bdist.linux-armv7l/wheel/imandra_http_api_client/test
2023-07-31T18:33:51,835   copying build/lib/imandra_http_api_client/test/test_induct_structural_body.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/test
2023-07-31T18:33:51,839   copying build/lib/imandra_http_api_client/test/test_verify_request_src.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/test
2023-07-31T18:33:51,842   copying build/lib/imandra_http_api_client/test/test_eval_response.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/test
2023-07-31T18:33:51,846   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-07-31T18:33:51,849   copying build/lib/imandra_http_api_client/test/test_response_error.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/test
2023-07-31T18:33:51,853   copying build/lib/imandra_http_api_client/test/test_response_model.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/test
2023-07-31T18:33:51,857   copying build/lib/imandra_http_api_client/test/test_syntax.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/test
2023-07-31T18:33:51,860   copying build/lib/imandra_http_api_client/test/test_eval_request_src.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/test
2023-07-31T18:33:51,864   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-07-31T18:33:51,867   copying build/lib/imandra_http_api_client/test/test_hints.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/test
2023-07-31T18:33:51,871   copying build/lib/imandra_http_api_client/test/test_instance_result.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/test
2023-07-31T18:33:51,874   copying build/lib/imandra_http_api_client/test/test_instance_response.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/test
2023-07-31T18:33:51,879   copying build/lib/imandra_http_api_client/test/test_verify_result.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/test
2023-07-31T18:33:51,882   copying build/lib/imandra_http_api_client/test/test_induct_functional_body.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/test
2023-07-31T18:33:51,886   copying build/lib/imandra_http_api_client/test/__init__.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/test
2023-07-31T18:33:51,889   copying build/lib/imandra_http_api_client/test/test_instance_request_name.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/test
2023-07-31T18:33:51,893   copying build/lib/imandra_http_api_client/test/test_induct_structural_style.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/test
2023-07-31T18:33:51,896   copying build/lib/imandra_http_api_client/test/test_with_instance_body.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/test
2023-07-31T18:33:51,900   copying build/lib/imandra_http_api_client/test/test_up_to_body.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/test
2023-07-31T18:33:51,903   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-07-31T18:33:51,907   copying build/lib/imandra_http_api_client/test/test_method_type.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/test
2023-07-31T18:33:51,911   copying build/lib/imandra_http_api_client/test/test_verify_response_body.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/test
2023-07-31T18:33:51,914   copying build/lib/imandra_http_api_client/test/test_method_body.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/test
2023-07-31T18:33:51,918   copying build/lib/imandra_http_api_client/test/test_verify_response.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/test
2023-07-31T18:33:51,921   copying build/lib/imandra_http_api_client/test/test_printer_details.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/test
2023-07-31T18:33:51,925   copying build/lib/imandra_http_api_client/test/test_verify_request_name.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/test
2023-07-31T18:33:51,929   copying build/lib/imandra_http_api_client/test/test_default_api.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/test
2023-07-31T18:33:51,932   copying build/lib/imandra_http_api_client/test/test_response_instance.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/test
2023-07-31T18:33:51,936   copying build/lib/imandra_http_api_client/test/test_instance_type.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/test
2023-07-31T18:33:51,939   copying build/lib/imandra_http_api_client/test/test_instance_request_src.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/test
2023-07-31T18:33:51,943   copying build/lib/imandra_http_api_client/test/test_method.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/test
2023-07-31T18:33:51,947   copying build/lib/imandra_http_api_client/test/test_induct_type.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/test
2023-07-31T18:33:51,951   copying build/lib/imandra_http_api_client/test/test_method_induct_body.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/test
2023-07-31T18:33:51,956   copying build/lib/imandra_http_api_client/test/test_method_unroll_body.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/test
2023-07-31T18:33:51,961   copying build/lib/imandra_http_api_client/api_response.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client
2023-07-31T18:33:51,964   copying build/lib/imandra_http_api_client/__init__.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client
2023-07-31T18:33:51,969   copying build/lib/imandra_http_api_client/exceptions.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client
2023-07-31T18:33:51,974   creating build/bdist.linux-armv7l/wheel/imandra
2023-07-31T18:33:51,977   copying build/lib/imandra/cfb.py -> build/bdist.linux-armv7l/wheel/imandra
2023-07-31T18:33:51,981   copying build/lib/imandra/ipl.py -> build/bdist.linux-armv7l/wheel/imandra
2023-07-31T18:33:51,986   copying build/lib/imandra/core.py -> build/bdist.linux-armv7l/wheel/imandra
2023-07-31T18:33:51,990   copying build/lib/imandra/instance.py -> build/bdist.linux-armv7l/wheel/imandra
2023-07-31T18:33:51,994   copying build/lib/imandra/__init__.py -> build/bdist.linux-armv7l/wheel/imandra
2023-07-31T18:33:51,999   copying build/lib/imandra/rule_synth.py -> build/bdist.linux-armv7l/wheel/imandra
2023-07-31T18:33:52,003   copying build/lib/imandra/auth.py -> build/bdist.linux-armv7l/wheel/imandra
2023-07-31T18:33:52,008   running install_egg_info
2023-07-31T18:33:52,018   Copying src/imandra.egg-info to build/bdist.linux-armv7l/wheel/imandra-1.0.0-py3.7.egg-info
2023-07-31T18:33:52,041   running install_scripts
2023-07-31T18:33:52,074   creating build/bdist.linux-armv7l/wheel/imandra-1.0.0.dist-info/WHEEL
2023-07-31T18:33:52,080   creating '/tmp/pip-wheel-wuvc3u6d/.tmp-afxalk17/imandra-1.0.0-py3-none-any.whl' and adding 'build/bdist.linux-armv7l/wheel' to it
2023-07-31T18:33:52,087   adding 'imandra/__init__.py'
2023-07-31T18:33:52,093   adding 'imandra/auth.py'
2023-07-31T18:33:52,097   adding 'imandra/cfb.py'
2023-07-31T18:33:52,100   adding 'imandra/core.py'
2023-07-31T18:33:52,103   adding 'imandra/instance.py'
2023-07-31T18:33:52,108   adding 'imandra/ipl.py'
2023-07-31T18:33:52,111   adding 'imandra/rule_synth.py'
2023-07-31T18:33:52,118   adding 'imandra_http_api_client/__init__.py'
2023-07-31T18:33:52,127   adding 'imandra_http_api_client/api_client.py'
2023-07-31T18:33:52,131   adding 'imandra_http_api_client/api_response.py'
2023-07-31T18:33:52,136   adding 'imandra_http_api_client/configuration.py'
2023-07-31T18:33:52,140   adding 'imandra_http_api_client/exceptions.py'
2023-07-31T18:33:52,145   adding 'imandra_http_api_client/rest.py'
2023-07-31T18:33:52,150   adding 'imandra_http_api_client/api/__init__.py'
2023-07-31T18:33:52,157   adding 'imandra_http_api_client/api/default_api.py'
2023-07-31T18:33:52,164   adding 'imandra_http_api_client/models/__init__.py'
2023-07-31T18:33:52,167   adding 'imandra_http_api_client/models/eval_request_src.py'
2023-07-31T18:33:52,171   adding 'imandra_http_api_client/models/eval_response.py'
2023-07-31T18:33:52,174   adding 'imandra_http_api_client/models/hints.py'
2023-07-31T18:33:52,178   adding 'imandra_http_api_client/models/induct_functional_body.py'
2023-07-31T18:33:52,182   adding 'imandra_http_api_client/models/induct_structural_body.py'
2023-07-31T18:33:52,185   adding 'imandra_http_api_client/models/induct_structural_style.py'
2023-07-31T18:33:52,188   adding 'imandra_http_api_client/models/induct_type.py'
2023-07-31T18:33:52,191   adding 'imandra_http_api_client/models/instance_request_name.py'
2023-07-31T18:33:52,194   adding 'imandra_http_api_client/models/instance_request_src.py'
2023-07-31T18:33:52,198   adding 'imandra_http_api_client/models/instance_response.py'
2023-07-31T18:33:52,200   adding 'imandra_http_api_client/models/instance_result.py'
2023-07-31T18:33:52,203   adding 'imandra_http_api_client/models/instance_type.py'
2023-07-31T18:33:52,206   adding 'imandra_http_api_client/models/method.py'
2023-07-31T18:33:52,209   adding 'imandra_http_api_client/models/method_body.py'
2023-07-31T18:33:52,212   adding 'imandra_http_api_client/models/method_ext_solver_body.py'
2023-07-31T18:33:52,215   adding 'imandra_http_api_client/models/method_induct_body.py'
2023-07-31T18:33:52,218   adding 'imandra_http_api_client/models/method_induct_body_body.py'
2023-07-31T18:33:52,221   adding 'imandra_http_api_client/models/method_type.py'
2023-07-31T18:33:52,223   adding 'imandra_http_api_client/models/method_unroll_body.py'
2023-07-31T18:33:52,226   adding 'imandra_http_api_client/models/printer_details.py'
2023-07-31T18:33:52,229   adding 'imandra_http_api_client/models/response_error.py'
2023-07-31T18:33:52,232   adding 'imandra_http_api_client/models/response_instance.py'
2023-07-31T18:33:52,235   adding 'imandra_http_api_client/models/response_model.py'
2023-07-31T18:33:52,237   adding 'imandra_http_api_client/models/syntax.py'
2023-07-31T18:33:52,240   adding 'imandra_http_api_client/models/up_to_body.py'
2023-07-31T18:33:52,243   adding 'imandra_http_api_client/models/verify_request_name.py'
2023-07-31T18:33:52,246   adding 'imandra_http_api_client/models/verify_request_src.py'
2023-07-31T18:33:52,249   adding 'imandra_http_api_client/models/verify_response.py'
2023-07-31T18:33:52,252   adding 'imandra_http_api_client/models/verify_response_body.py'
2023-07-31T18:33:52,255   adding 'imandra_http_api_client/models/verify_result.py'
2023-07-31T18:33:52,258   adding 'imandra_http_api_client/models/with_instance_body.py'
2023-07-31T18:33:52,260   adding 'imandra_http_api_client/models/with_unknown_reason_body.py'
2023-07-31T18:33:52,265   adding 'imandra_http_api_client/test/__init__.py'
2023-07-31T18:33:52,268   adding 'imandra_http_api_client/test/test_default_api.py'
2023-07-31T18:33:52,270   adding 'imandra_http_api_client/test/test_eval_request_src.py'
2023-07-31T18:33:52,273   adding 'imandra_http_api_client/test/test_eval_response.py'
2023-07-31T18:33:52,276   adding 'imandra_http_api_client/test/test_hints.py'
2023-07-31T18:33:52,278   adding 'imandra_http_api_client/test/test_induct_functional_body.py'
2023-07-31T18:33:52,281   adding 'imandra_http_api_client/test/test_induct_structural_body.py'
2023-07-31T18:33:52,284   adding 'imandra_http_api_client/test/test_induct_structural_style.py'
2023-07-31T18:33:52,286   adding 'imandra_http_api_client/test/test_induct_type.py'
2023-07-31T18:33:52,289   adding 'imandra_http_api_client/test/test_instance_request_name.py'
2023-07-31T18:33:52,292   adding 'imandra_http_api_client/test/test_instance_request_src.py'
2023-07-31T18:33:52,295   adding 'imandra_http_api_client/test/test_instance_response.py'
2023-07-31T18:33:52,297   adding 'imandra_http_api_client/test/test_instance_result.py'
2023-07-31T18:33:52,300   adding 'imandra_http_api_client/test/test_instance_type.py'
2023-07-31T18:33:52,302   adding 'imandra_http_api_client/test/test_method.py'
2023-07-31T18:33:52,305   adding 'imandra_http_api_client/test/test_method_body.py'
2023-07-31T18:33:52,308   adding 'imandra_http_api_client/test/test_method_ext_solver_body.py'
2023-07-31T18:33:52,311   adding 'imandra_http_api_client/test/test_method_induct_body.py'
2023-07-31T18:33:52,313   adding 'imandra_http_api_client/test/test_method_induct_body_body.py'
2023-07-31T18:33:52,316   adding 'imandra_http_api_client/test/test_method_type.py'
2023-07-31T18:33:52,319   adding 'imandra_http_api_client/test/test_method_unroll_body.py'
2023-07-31T18:33:52,321   adding 'imandra_http_api_client/test/test_printer_details.py'
2023-07-31T18:33:52,324   adding 'imandra_http_api_client/test/test_response_error.py'
2023-07-31T18:33:52,327   adding 'imandra_http_api_client/test/test_response_instance.py'
2023-07-31T18:33:52,329   adding 'imandra_http_api_client/test/test_response_model.py'
2023-07-31T18:33:52,332   adding 'imandra_http_api_client/test/test_syntax.py'
2023-07-31T18:33:52,335   adding 'imandra_http_api_client/test/test_up_to_body.py'
2023-07-31T18:33:52,337   adding 'imandra_http_api_client/test/test_verify_request_name.py'
2023-07-31T18:33:52,340   adding 'imandra_http_api_client/test/test_verify_request_src.py'
2023-07-31T18:33:52,343   adding 'imandra_http_api_client/test/test_verify_response.py'
2023-07-31T18:33:52,345   adding 'imandra_http_api_client/test/test_verify_response_body.py'
2023-07-31T18:33:52,348   adding 'imandra_http_api_client/test/test_verify_result.py'
2023-07-31T18:33:52,351   adding 'imandra_http_api_client/test/test_with_instance_body.py'
2023-07-31T18:33:52,353   adding 'imandra_http_api_client/test/test_with_unknown_reason_body.py'
2023-07-31T18:33:52,356   adding 'imandra-1.0.0.dist-info/METADATA'
2023-07-31T18:33:52,359   adding 'imandra-1.0.0.dist-info/WHEEL'
2023-07-31T18:33:52,360   adding 'imandra-1.0.0.dist-info/entry_points.txt'
2023-07-31T18:33:52,362   adding 'imandra-1.0.0.dist-info/top_level.txt'
2023-07-31T18:33:52,367   adding 'imandra-1.0.0.dist-info/RECORD'
2023-07-31T18:33:52,374   removing build/bdist.linux-armv7l/wheel
2023-07-31T18:33:52,417   /tmp/pip-build-env-xqu64n8u/overlay/lib/python3.7/site-packages/setuptools/config/pyprojecttoml.py:66: _BetaConfiguration: Support for `[tool.setuptools]` in `pyproject.toml` is still *beta*.
2023-07-31T18:33:52,418     config = read_configuration(filepath, True, ignore_option_errors, dist)
2023-07-31T18:33:52,597   Building wheel for imandra (pyproject.toml): finished with status 'done'
2023-07-31T18:33:52,616   Created wheel for imandra: filename=imandra-1.0.0-py3-none-any.whl size=96678 sha256=db28520a9d452d1960f1d32cfbb1ebeff1ec5e201d22259982616c9ca7cdcc2b
2023-07-31T18:33:52,618   Stored in directory: /tmp/pip-ephem-wheel-cache-n64ducxr/wheels/df/1f/c5/64d4b64c16af316eacd8eb4d556bfbd77c8cec9633e2e56983
2023-07-31T18:33:52,651 Successfully built imandra
2023-07-31T18:33:52,669 Removed build tracker: '/tmp/pip-build-tracker-j8uj1_ki'