2023-08-14T14:41:57,853 Created temporary directory: /tmp/pip-build-tracker-7i0btn91
2023-08-14T14:41:57,856 Initialized build tracking at /tmp/pip-build-tracker-7i0btn91
2023-08-14T14:41:57,856 Created build tracker: /tmp/pip-build-tracker-7i0btn91
2023-08-14T14:41:57,857 Entered build tracker: /tmp/pip-build-tracker-7i0btn91
2023-08-14T14:41:57,858 Created temporary directory: /tmp/pip-wheel-cqsn0f74
2023-08-14T14:41:57,866 Created temporary directory: /tmp/pip-ephem-wheel-cache-uoycox7g
2023-08-14T14:41:57,918 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple
2023-08-14T14:41:57,926 2 location(s) to search for versions of imandra:
2023-08-14T14:41:57,926 * https://pypi.org/simple/imandra/
2023-08-14T14:41:57,926 * https://www.piwheels.org/simple/imandra/
2023-08-14T14:41:57,927 Fetching project page and analyzing links: https://pypi.org/simple/imandra/
2023-08-14T14:41:57,928 Getting page https://pypi.org/simple/imandra/
2023-08-14T14:41:57,933 Found index url https://pypi.org/simple/
2023-08-14T14:41:58,115 Fetched page https://pypi.org/simple/imandra/ as application/vnd.pypi.simple.v1+json
2023-08-14T14:41:58,126   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-14T14:41:58,126   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-14T14:41:58,127   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-14T14:41:58,128   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-14T14:41:58,128   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-14T14:41:58,129   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-14T14:41:58,130   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-14T14:41:58,130   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-14T14:41:58,131   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-14T14:41:58,132   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-14T14:41:58,132   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-14T14:41:58,133   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-14T14:41:58,133   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-14T14:41:58,134   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-14T14:41:58,135   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-14T14:41:58,135   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-14T14:41:58,136   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-14T14:41:58,137   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-14T14:41:58,137 Fetching project page and analyzing links: https://www.piwheels.org/simple/imandra/
2023-08-14T14:41:58,138 Getting page https://www.piwheels.org/simple/imandra/
2023-08-14T14:41:58,141 Found index url https://www.piwheels.org/simple/
2023-08-14T14:41:58,358 Fetched page https://www.piwheels.org/simple/imandra/ as text/html
2023-08-14T14:41:58,365   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-14T14:41:58,366   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-14T14:41:58,367   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-14T14:41:58,367   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-14T14:41:58,368   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-14T14:41:58,368   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-14T14:41:58,369   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-14T14:41:58,369   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-14T14:41:58,370 Skipping link: not a file: https://www.piwheels.org/simple/imandra/
2023-08-14T14:41:58,370 Skipping link: not a file: https://pypi.org/simple/imandra/
2023-08-14T14:41:58,406 Given no hashes to check 1 links for project 'imandra': discarding no candidates
2023-08-14T14:41:58,437 Collecting imandra==1.0.1
2023-08-14T14:41:58,442   Created temporary directory: /tmp/pip-unpack-btcgc9s3
2023-08-14T14:41:58,631   Downloading imandra-1.0.1.tar.gz (45 kB)
2023-08-14T14:41:59,096   Added imandra==1.0.1 from https://files.pythonhosted.org/packages/05/f2/8025724d8b6d0b378e595893ffc51f42a2e511bc82dbc665c823597be945/imandra-1.0.1.tar.gz to build tracker '/tmp/pip-build-tracker-7i0btn91'
2023-08-14T14:41:59,107   Created temporary directory: /tmp/pip-build-env-dg0gwfaz
2023-08-14T14:41:59,128   Installing build dependencies: started
2023-08-14T14:41:59,130   Running command pip subprocess to install build dependencies
2023-08-14T14:42:01,879   Using pip 23.1.2 from /home/piwheels/.local/lib/python3.7/site-packages/pip (python 3.7)
2023-08-14T14:42:02,723   Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple
2023-08-14T14:42:06,545   Collecting setuptools>=61.0.0
2023-08-14T14:42:06,714     Using cached https://www.piwheels.org/simple/setuptools/setuptools-68.0.0-py3-none-any.whl (804 kB)
2023-08-14T14:42:07,338   Collecting wheel
2023-08-14T14:42:07,374     Using cached https://www.piwheels.org/simple/wheel/wheel-0.41.1-py3-none-any.whl (64 kB)
2023-08-14T14:42:13,346   Installing collected packages: wheel, setuptools
2023-08-14T14:42:13,832     Creating /tmp/pip-build-env-dg0gwfaz/overlay/bin
2023-08-14T14:42:13,836     changing mode of /tmp/pip-build-env-dg0gwfaz/overlay/bin/wheel to 755
2023-08-14T14:42:18,028   Successfully installed setuptools-68.0.0 wheel-0.41.1

2023-08-14T14:42:18,062   [notice] A new release of pip is available: 23.1.2 -> 23.2.1
2023-08-14T14:42:18,063   [notice] To update, run: python3 -m pip install --upgrade pip
2023-08-14T14:42:18,504   Installing build dependencies: finished with status 'done'
2023-08-14T14:42:18,515   Getting requirements to build wheel: started
2023-08-14T14:42:18,517   Running command Getting requirements to build wheel
2023-08-14T14:42:20,517   running egg_info
2023-08-14T14:42:20,532   writing src/imandra.egg-info/PKG-INFO
2023-08-14T14:42:20,536   writing dependency_links to src/imandra.egg-info/dependency_links.txt
2023-08-14T14:42:20,540   writing entry points to src/imandra.egg-info/entry_points.txt
2023-08-14T14:42:20,543   writing requirements to src/imandra.egg-info/requires.txt
2023-08-14T14:42:20,546   writing top-level names to src/imandra.egg-info/top_level.txt
2023-08-14T14:42:20,600   reading manifest file 'src/imandra.egg-info/SOURCES.txt'
2023-08-14T14:42:20,626   writing manifest file 'src/imandra.egg-info/SOURCES.txt'
2023-08-14T14:42:20,630   /tmp/pip-build-env-dg0gwfaz/overlay/lib/python3.7/site-packages/setuptools/config/pyprojecttoml.py:66: _BetaConfiguration: Support for `[tool.setuptools]` in `pyproject.toml` is still *beta*.
2023-08-14T14:42:20,631     config = read_configuration(filepath, True, ignore_option_errors, dist)
2023-08-14T14:42:20,804   Getting requirements to build wheel: finished with status 'done'
2023-08-14T14:42:20,826   Created temporary directory: /tmp/pip-modern-metadata-r8_i7zgr
2023-08-14T14:42:20,831   Preparing metadata (pyproject.toml): started
2023-08-14T14:42:20,833   Running command Preparing metadata (pyproject.toml)
2023-08-14T14:42:22,692   running dist_info
2023-08-14T14:42:22,710   creating /tmp/pip-modern-metadata-r8_i7zgr/imandra.egg-info
2023-08-14T14:42:22,720   writing /tmp/pip-modern-metadata-r8_i7zgr/imandra.egg-info/PKG-INFO
2023-08-14T14:42:22,725   writing dependency_links to /tmp/pip-modern-metadata-r8_i7zgr/imandra.egg-info/dependency_links.txt
2023-08-14T14:42:22,729   writing entry points to /tmp/pip-modern-metadata-r8_i7zgr/imandra.egg-info/entry_points.txt
2023-08-14T14:42:22,732   writing requirements to /tmp/pip-modern-metadata-r8_i7zgr/imandra.egg-info/requires.txt
2023-08-14T14:42:22,734   writing top-level names to /tmp/pip-modern-metadata-r8_i7zgr/imandra.egg-info/top_level.txt
2023-08-14T14:42:22,736   writing manifest file '/tmp/pip-modern-metadata-r8_i7zgr/imandra.egg-info/SOURCES.txt'
2023-08-14T14:42:22,786   reading manifest file '/tmp/pip-modern-metadata-r8_i7zgr/imandra.egg-info/SOURCES.txt'
2023-08-14T14:42:22,803   writing manifest file '/tmp/pip-modern-metadata-r8_i7zgr/imandra.egg-info/SOURCES.txt'
2023-08-14T14:42:22,805   creating '/tmp/pip-modern-metadata-r8_i7zgr/imandra-1.0.1.dist-info'
2023-08-14T14:42:22,879   /tmp/pip-build-env-dg0gwfaz/overlay/lib/python3.7/site-packages/setuptools/config/pyprojecttoml.py:66: _BetaConfiguration: Support for `[tool.setuptools]` in `pyproject.toml` is still *beta*.
2023-08-14T14:42:22,879     config = read_configuration(filepath, True, ignore_option_errors, dist)
2023-08-14T14:42:23,056   Preparing metadata (pyproject.toml): finished with status 'done'
2023-08-14T14:42:23,071   Source in /tmp/pip-wheel-cqsn0f74/imandra_80cfe906dddc4f76b69d626c2246f23f has version 1.0.1, which satisfies requirement imandra==1.0.1 from https://files.pythonhosted.org/packages/05/f2/8025724d8b6d0b378e595893ffc51f42a2e511bc82dbc665c823597be945/imandra-1.0.1.tar.gz
2023-08-14T14:42:23,073   Removed imandra==1.0.1 from https://files.pythonhosted.org/packages/05/f2/8025724d8b6d0b378e595893ffc51f42a2e511bc82dbc665c823597be945/imandra-1.0.1.tar.gz from build tracker '/tmp/pip-build-tracker-7i0btn91'
2023-08-14T14:42:23,083 Created temporary directory: /tmp/pip-unpack-ctv2oro3
2023-08-14T14:42:23,084 Building wheels for collected packages: imandra
2023-08-14T14:42:23,093   Created temporary directory: /tmp/pip-wheel-_8ojwuki
2023-08-14T14:42:23,094   Destination directory: /tmp/pip-wheel-_8ojwuki
2023-08-14T14:42:23,099   Building wheel for imandra (pyproject.toml): started
2023-08-14T14:42:23,101   Running command Building wheel for imandra (pyproject.toml)
2023-08-14T14:42:24,941   running bdist_wheel
2023-08-14T14:42:24,986   running build
2023-08-14T14:42:24,986   running build_py
2023-08-14T14:42:24,999   creating build
2023-08-14T14:42:25,000   creating build/lib
2023-08-14T14:42:25,001   creating build/lib/imandra_http_api_client
2023-08-14T14:42:25,004   copying src/imandra_http_api_client/rest.py -> build/lib/imandra_http_api_client
2023-08-14T14:42:25,009   copying src/imandra_http_api_client/configuration.py -> build/lib/imandra_http_api_client
2023-08-14T14:42:25,013   copying src/imandra_http_api_client/__init__.py -> build/lib/imandra_http_api_client
2023-08-14T14:42:25,017   copying src/imandra_http_api_client/api_response.py -> build/lib/imandra_http_api_client
2023-08-14T14:42:25,020   copying src/imandra_http_api_client/api_client.py -> build/lib/imandra_http_api_client
2023-08-14T14:42:25,025   copying src/imandra_http_api_client/exceptions.py -> build/lib/imandra_http_api_client
2023-08-14T14:42:25,031   creating build/lib/imandra
2023-08-14T14:42:25,033   copying src/imandra/cfb.py -> build/lib/imandra
2023-08-14T14:42:25,036   copying src/imandra/__init__.py -> build/lib/imandra
2023-08-14T14:42:25,040   copying src/imandra/ipl.py -> build/lib/imandra
2023-08-14T14:42:25,044   copying src/imandra/rule_synth.py -> build/lib/imandra
2023-08-14T14:42:25,047   copying src/imandra/instance.py -> build/lib/imandra
2023-08-14T14:42:25,051   copying src/imandra/session.py -> build/lib/imandra
2023-08-14T14:42:25,054   copying src/imandra/auth.py -> build/lib/imandra
2023-08-14T14:42:25,059   copying src/imandra/core.py -> build/lib/imandra
2023-08-14T14:42:25,067   creating build/lib/imandra_http_api_client/test
2023-08-14T14:42:25,069   copying src/imandra_http_api_client/test/test_instance_request_name.py -> build/lib/imandra_http_api_client/test
2023-08-14T14:42:25,073   copying src/imandra_http_api_client/test/test_verify_request_name.py -> build/lib/imandra_http_api_client/test
2023-08-14T14:42:25,077   copying src/imandra_http_api_client/test/test_hints.py -> build/lib/imandra_http_api_client/test
2023-08-14T14:42:25,081   copying src/imandra_http_api_client/test/test_method_induct_body.py -> build/lib/imandra_http_api_client/test
2023-08-14T14:42:25,084   copying src/imandra_http_api_client/test/test_decompose_request_src.py -> build/lib/imandra_http_api_client/test
2023-08-14T14:42:25,088   copying src/imandra_http_api_client/test/test_verify_request_src.py -> build/lib/imandra_http_api_client/test
2023-08-14T14:42:25,091   copying src/imandra_http_api_client/test/test_instance_request_src.py -> build/lib/imandra_http_api_client/test
2023-08-14T14:42:25,095   copying src/imandra_http_api_client/test/test_syntax.py -> build/lib/imandra_http_api_client/test
2023-08-14T14:42:25,098   copying src/imandra_http_api_client/test/test_eval_response.py -> build/lib/imandra_http_api_client/test
2023-08-14T14:42:25,102   copying src/imandra_http_api_client/test/test_verify_response_body.py -> build/lib/imandra_http_api_client/test
2023-08-14T14:42:25,105   copying src/imandra_http_api_client/test/__init__.py -> build/lib/imandra_http_api_client/test
2023-08-14T14:42:25,108   copying src/imandra_http_api_client/test/test_response_model.py -> build/lib/imandra_http_api_client/test
2023-08-14T14:42:25,111   copying src/imandra_http_api_client/test/test_method_type.py -> build/lib/imandra_http_api_client/test
2023-08-14T14:42:25,115   copying src/imandra_http_api_client/test/test_decompose_region.py -> build/lib/imandra_http_api_client/test
2023-08-14T14:42:25,118   copying src/imandra_http_api_client/test/test_induct_structural_style.py -> build/lib/imandra_http_api_client/test
2023-08-14T14:42:25,122   copying src/imandra_http_api_client/test/test_method.py -> build/lib/imandra_http_api_client/test
2023-08-14T14:42:25,125   copying src/imandra_http_api_client/test/test_printer_details.py -> build/lib/imandra_http_api_client/test
2023-08-14T14:42:25,129   copying src/imandra_http_api_client/test/test_default_api.py -> build/lib/imandra_http_api_client/test
2023-08-14T14:42:25,132   copying src/imandra_http_api_client/test/test_response_instance.py -> build/lib/imandra_http_api_client/test
2023-08-14T14:42:25,136   copying src/imandra_http_api_client/test/test_induct_structural_body.py -> build/lib/imandra_http_api_client/test
2023-08-14T14:42:25,139   copying src/imandra_http_api_client/test/test_up_to_body.py -> build/lib/imandra_http_api_client/test
2023-08-14T14:42:25,143   copying src/imandra_http_api_client/test/test_method_induct_body_body.py -> build/lib/imandra_http_api_client/test
2023-08-14T14:42:25,146   copying src/imandra_http_api_client/test/test_instance_type.py -> build/lib/imandra_http_api_client/test
2023-08-14T14:42:25,149   copying src/imandra_http_api_client/test/test_with_instance_body.py -> build/lib/imandra_http_api_client/test
2023-08-14T14:42:25,154   copying src/imandra_http_api_client/test/test_induct_functional_body.py -> build/lib/imandra_http_api_client/test
2023-08-14T14:42:25,158   copying src/imandra_http_api_client/test/test_instance_result.py -> build/lib/imandra_http_api_client/test
2023-08-14T14:42:25,161   copying src/imandra_http_api_client/test/test_method_unroll_body.py -> build/lib/imandra_http_api_client/test
2023-08-14T14:42:25,165   copying src/imandra_http_api_client/test/test_instance_response.py -> build/lib/imandra_http_api_client/test
2023-08-14T14:42:25,168   copying src/imandra_http_api_client/test/test_eval_request_src.py -> build/lib/imandra_http_api_client/test
2023-08-14T14:42:25,172   copying src/imandra_http_api_client/test/test_verify_response.py -> build/lib/imandra_http_api_client/test
2023-08-14T14:42:25,176   copying src/imandra_http_api_client/test/test_method_ext_solver_body.py -> build/lib/imandra_http_api_client/test
2023-08-14T14:42:25,179   copying src/imandra_http_api_client/test/test_method_body.py -> build/lib/imandra_http_api_client/test
2023-08-14T14:42:25,183   copying src/imandra_http_api_client/test/test_verify_result.py -> build/lib/imandra_http_api_client/test
2023-08-14T14:42:25,186   copying src/imandra_http_api_client/test/test_with_unknown_reason_body.py -> build/lib/imandra_http_api_client/test
2023-08-14T14:42:25,189   copying src/imandra_http_api_client/test/test_induct_type.py -> build/lib/imandra_http_api_client/test
2023-08-14T14:42:25,193   copying src/imandra_http_api_client/test/test_response_error.py -> build/lib/imandra_http_api_client/test
2023-08-14T14:42:25,202   creating build/lib/imandra_http_api_client/models
2023-08-14T14:42:25,204   copying src/imandra_http_api_client/models/instance_request_name.py -> build/lib/imandra_http_api_client/models
2023-08-14T14:42:25,209   copying src/imandra_http_api_client/models/induct_functional_body.py -> build/lib/imandra_http_api_client/models
2023-08-14T14:42:25,213   copying src/imandra_http_api_client/models/verify_response.py -> build/lib/imandra_http_api_client/models
2023-08-14T14:42:25,216   copying src/imandra_http_api_client/models/instance_type.py -> build/lib/imandra_http_api_client/models
2023-08-14T14:42:25,220   copying src/imandra_http_api_client/models/method.py -> build/lib/imandra_http_api_client/models
2023-08-14T14:42:25,224   copying src/imandra_http_api_client/models/method_ext_solver_body.py -> build/lib/imandra_http_api_client/models
2023-08-14T14:42:25,227   copying src/imandra_http_api_client/models/method_induct_body_body.py -> build/lib/imandra_http_api_client/models
2023-08-14T14:42:25,231   copying src/imandra_http_api_client/models/syntax.py -> build/lib/imandra_http_api_client/models
2023-08-14T14:42:25,234   copying src/imandra_http_api_client/models/__init__.py -> build/lib/imandra_http_api_client/models
2023-08-14T14:42:25,238   copying src/imandra_http_api_client/models/instance_request_src.py -> build/lib/imandra_http_api_client/models
2023-08-14T14:42:25,242   copying src/imandra_http_api_client/models/verify_result.py -> build/lib/imandra_http_api_client/models
2023-08-14T14:42:25,246   copying src/imandra_http_api_client/models/up_to_body.py -> build/lib/imandra_http_api_client/models
2023-08-14T14:42:25,249   copying src/imandra_http_api_client/models/method_body.py -> build/lib/imandra_http_api_client/models
2023-08-14T14:42:25,253   copying src/imandra_http_api_client/models/response_model.py -> build/lib/imandra_http_api_client/models
2023-08-14T14:42:25,256   copying src/imandra_http_api_client/models/eval_response.py -> build/lib/imandra_http_api_client/models
2023-08-14T14:42:25,260   copying src/imandra_http_api_client/models/printer_details.py -> build/lib/imandra_http_api_client/models
2023-08-14T14:42:25,263   copying src/imandra_http_api_client/models/with_instance_body.py -> build/lib/imandra_http_api_client/models
2023-08-14T14:42:25,266   copying src/imandra_http_api_client/models/response_instance.py -> build/lib/imandra_http_api_client/models
2023-08-14T14:42:25,270   copying src/imandra_http_api_client/models/instance_result.py -> build/lib/imandra_http_api_client/models
2023-08-14T14:42:25,273   copying src/imandra_http_api_client/models/verify_response_body.py -> build/lib/imandra_http_api_client/models
2023-08-14T14:42:25,277   copying src/imandra_http_api_client/models/induct_structural_body.py -> build/lib/imandra_http_api_client/models
2023-08-14T14:42:25,280   copying src/imandra_http_api_client/models/response_error.py -> build/lib/imandra_http_api_client/models
2023-08-14T14:42:25,284   copying src/imandra_http_api_client/models/decompose_request_src.py -> build/lib/imandra_http_api_client/models
2023-08-14T14:42:25,287   copying src/imandra_http_api_client/models/verify_request_name.py -> build/lib/imandra_http_api_client/models
2023-08-14T14:42:25,291   copying src/imandra_http_api_client/models/instance_response.py -> build/lib/imandra_http_api_client/models
2023-08-14T14:42:25,294   copying src/imandra_http_api_client/models/method_unroll_body.py -> build/lib/imandra_http_api_client/models
2023-08-14T14:42:25,297   copying src/imandra_http_api_client/models/decompose_region.py -> build/lib/imandra_http_api_client/models
2023-08-14T14:42:25,300   copying src/imandra_http_api_client/models/verify_request_src.py -> build/lib/imandra_http_api_client/models
2023-08-14T14:42:25,304   copying src/imandra_http_api_client/models/method_type.py -> build/lib/imandra_http_api_client/models
2023-08-14T14:42:25,307   copying src/imandra_http_api_client/models/with_unknown_reason_body.py -> build/lib/imandra_http_api_client/models
2023-08-14T14:42:25,310   copying src/imandra_http_api_client/models/method_induct_body.py -> build/lib/imandra_http_api_client/models
2023-08-14T14:42:25,313   copying src/imandra_http_api_client/models/induct_type.py -> build/lib/imandra_http_api_client/models
2023-08-14T14:42:25,316   copying src/imandra_http_api_client/models/hints.py -> build/lib/imandra_http_api_client/models
2023-08-14T14:42:25,320   copying src/imandra_http_api_client/models/eval_request_src.py -> build/lib/imandra_http_api_client/models
2023-08-14T14:42:25,323   copying src/imandra_http_api_client/models/induct_structural_style.py -> build/lib/imandra_http_api_client/models
2023-08-14T14:42:25,327   creating build/lib/imandra_http_api_client/api
2023-08-14T14:42:25,329   copying src/imandra_http_api_client/api/__init__.py -> build/lib/imandra_http_api_client/api
2023-08-14T14:42:25,332   copying src/imandra_http_api_client/api/default_api.py -> build/lib/imandra_http_api_client/api
2023-08-14T14:42:25,339   running egg_info
2023-08-14T14:42:25,347   writing src/imandra.egg-info/PKG-INFO
2023-08-14T14:42:25,351   writing dependency_links to src/imandra.egg-info/dependency_links.txt
2023-08-14T14:42:25,354   writing entry points to src/imandra.egg-info/entry_points.txt
2023-08-14T14:42:25,356   writing requirements to src/imandra.egg-info/requires.txt
2023-08-14T14:42:25,358   writing top-level names to src/imandra.egg-info/top_level.txt
2023-08-14T14:42:25,392   reading manifest file 'src/imandra.egg-info/SOURCES.txt'
2023-08-14T14:42:25,417   writing manifest file 'src/imandra.egg-info/SOURCES.txt'
2023-08-14T14:42:25,458   installing to build/bdist.linux-armv7l/wheel
2023-08-14T14:42:25,459   running install
2023-08-14T14:42:25,519   running install_lib
2023-08-14T14:42:25,530   creating build/bdist.linux-armv7l
2023-08-14T14:42:25,531   creating build/bdist.linux-armv7l/wheel
2023-08-14T14:42:25,534   creating build/bdist.linux-armv7l/wheel/imandra_http_api_client
2023-08-14T14:42:25,536   copying build/lib/imandra_http_api_client/rest.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client
2023-08-14T14:42:25,544   creating build/bdist.linux-armv7l/wheel/imandra_http_api_client/test
2023-08-14T14:42:25,546   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-14T14:42:25,550   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-14T14:42:25,554   copying build/lib/imandra_http_api_client/test/test_hints.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/test
2023-08-14T14:42:25,559   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-14T14:42:25,563   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-14T14:42:25,567   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-14T14:42:25,571   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-14T14:42:25,575   copying build/lib/imandra_http_api_client/test/test_syntax.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/test
2023-08-14T14:42:25,579   copying build/lib/imandra_http_api_client/test/test_eval_response.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/test
2023-08-14T14:42:25,583   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-14T14:42:25,587   copying build/lib/imandra_http_api_client/test/__init__.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/test
2023-08-14T14:42:25,591   copying build/lib/imandra_http_api_client/test/test_response_model.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/test
2023-08-14T14:42:25,595   copying build/lib/imandra_http_api_client/test/test_method_type.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/test
2023-08-14T14:42:25,598   copying build/lib/imandra_http_api_client/test/test_decompose_region.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/test
2023-08-14T14:42:25,602   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-14T14:42:25,606   copying build/lib/imandra_http_api_client/test/test_method.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/test
2023-08-14T14:42:25,609   copying build/lib/imandra_http_api_client/test/test_printer_details.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/test
2023-08-14T14:42:25,613   copying build/lib/imandra_http_api_client/test/test_default_api.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/test
2023-08-14T14:42:25,616   copying build/lib/imandra_http_api_client/test/test_response_instance.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/test
2023-08-14T14:42:25,620   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-14T14:42:25,624   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-14T14:42:25,628   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-14T14:42:25,631   copying build/lib/imandra_http_api_client/test/test_instance_type.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/test
2023-08-14T14:42:25,634   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-14T14:42:25,638   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-14T14:42:25,641   copying build/lib/imandra_http_api_client/test/test_instance_result.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/test
2023-08-14T14:42:25,645   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-14T14:42:25,648   copying build/lib/imandra_http_api_client/test/test_instance_response.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/test
2023-08-14T14:42:25,652   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-14T14:42:25,655   copying build/lib/imandra_http_api_client/test/test_verify_response.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/test
2023-08-14T14:42:25,659   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-14T14:42:25,662   copying build/lib/imandra_http_api_client/test/test_method_body.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/test
2023-08-14T14:42:25,666   copying build/lib/imandra_http_api_client/test/test_verify_result.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/test
2023-08-14T14:42:25,669   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-14T14:42:25,673   copying build/lib/imandra_http_api_client/test/test_induct_type.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/test
2023-08-14T14:42:25,677   copying build/lib/imandra_http_api_client/test/test_response_error.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/test
2023-08-14T14:42:25,681   copying build/lib/imandra_http_api_client/configuration.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client
2023-08-14T14:42:25,686   copying build/lib/imandra_http_api_client/__init__.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client
2023-08-14T14:42:25,691   copying build/lib/imandra_http_api_client/api_response.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client
2023-08-14T14:42:25,697   creating build/bdist.linux-armv7l/wheel/imandra_http_api_client/models
2023-08-14T14:42:25,700   copying build/lib/imandra_http_api_client/models/instance_request_name.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/models
2023-08-14T14:42:25,704   copying build/lib/imandra_http_api_client/models/induct_functional_body.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/models
2023-08-14T14:42:25,708   copying build/lib/imandra_http_api_client/models/verify_response.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/models
2023-08-14T14:42:25,713   copying build/lib/imandra_http_api_client/models/instance_type.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/models
2023-08-14T14:42:25,717   copying build/lib/imandra_http_api_client/models/method.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/models
2023-08-14T14:42:25,722   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-14T14:42:25,726   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-14T14:42:25,731   copying build/lib/imandra_http_api_client/models/syntax.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/models
2023-08-14T14:42:25,735   copying build/lib/imandra_http_api_client/models/__init__.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/models
2023-08-14T14:42:25,739   copying build/lib/imandra_http_api_client/models/instance_request_src.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/models
2023-08-14T14:42:25,744   copying build/lib/imandra_http_api_client/models/verify_result.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/models
2023-08-14T14:42:25,748   copying build/lib/imandra_http_api_client/models/up_to_body.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/models
2023-08-14T14:42:25,753   copying build/lib/imandra_http_api_client/models/method_body.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/models
2023-08-14T14:42:25,758   copying build/lib/imandra_http_api_client/models/response_model.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/models
2023-08-14T14:42:25,763   copying build/lib/imandra_http_api_client/models/eval_response.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/models
2023-08-14T14:42:25,767   copying build/lib/imandra_http_api_client/models/printer_details.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/models
2023-08-14T14:42:25,771   copying build/lib/imandra_http_api_client/models/with_instance_body.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/models
2023-08-14T14:42:25,776   copying build/lib/imandra_http_api_client/models/response_instance.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/models
2023-08-14T14:42:25,780   copying build/lib/imandra_http_api_client/models/instance_result.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/models
2023-08-14T14:42:25,785   copying build/lib/imandra_http_api_client/models/verify_response_body.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/models
2023-08-14T14:42:25,789   copying build/lib/imandra_http_api_client/models/induct_structural_body.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/models
2023-08-14T14:42:25,794   copying build/lib/imandra_http_api_client/models/response_error.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/models
2023-08-14T14:42:25,797   copying build/lib/imandra_http_api_client/models/decompose_request_src.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/models
2023-08-14T14:42:25,801   copying build/lib/imandra_http_api_client/models/verify_request_name.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/models
2023-08-14T14:42:25,805   copying build/lib/imandra_http_api_client/models/instance_response.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/models
2023-08-14T14:42:25,810   copying build/lib/imandra_http_api_client/models/method_unroll_body.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/models
2023-08-14T14:42:25,814   copying build/lib/imandra_http_api_client/models/decompose_region.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/models
2023-08-14T14:42:25,818   copying build/lib/imandra_http_api_client/models/verify_request_src.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/models
2023-08-14T14:42:25,822   copying build/lib/imandra_http_api_client/models/method_type.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/models
2023-08-14T14:42:25,825   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-14T14:42:25,829   copying build/lib/imandra_http_api_client/models/method_induct_body.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/models
2023-08-14T14:42:25,833   copying build/lib/imandra_http_api_client/models/induct_type.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/models
2023-08-14T14:42:25,836   copying build/lib/imandra_http_api_client/models/hints.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/models
2023-08-14T14:42:25,840   copying build/lib/imandra_http_api_client/models/eval_request_src.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/models
2023-08-14T14:42:25,844   copying build/lib/imandra_http_api_client/models/induct_structural_style.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/models
2023-08-14T14:42:25,847   copying build/lib/imandra_http_api_client/api_client.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client
2023-08-14T14:42:25,853   copying build/lib/imandra_http_api_client/exceptions.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client
2023-08-14T14:42:25,858   creating build/bdist.linux-armv7l/wheel/imandra_http_api_client/api
2023-08-14T14:42:25,860   copying build/lib/imandra_http_api_client/api/__init__.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/api
2023-08-14T14:42:25,864   copying build/lib/imandra_http_api_client/api/default_api.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/api
2023-08-14T14:42:25,872   creating build/bdist.linux-armv7l/wheel/imandra
2023-08-14T14:42:25,874   copying build/lib/imandra/cfb.py -> build/bdist.linux-armv7l/wheel/imandra
2023-08-14T14:42:25,878   copying build/lib/imandra/__init__.py -> build/bdist.linux-armv7l/wheel/imandra
2023-08-14T14:42:25,882   copying build/lib/imandra/ipl.py -> build/bdist.linux-armv7l/wheel/imandra
2023-08-14T14:42:25,886   copying build/lib/imandra/rule_synth.py -> build/bdist.linux-armv7l/wheel/imandra
2023-08-14T14:42:25,889   copying build/lib/imandra/instance.py -> build/bdist.linux-armv7l/wheel/imandra
2023-08-14T14:42:25,893   copying build/lib/imandra/session.py -> build/bdist.linux-armv7l/wheel/imandra
2023-08-14T14:42:25,896   copying build/lib/imandra/auth.py -> build/bdist.linux-armv7l/wheel/imandra
2023-08-14T14:42:25,900   copying build/lib/imandra/core.py -> build/bdist.linux-armv7l/wheel/imandra
2023-08-14T14:42:25,903   running install_egg_info
2023-08-14T14:42:25,913   Copying src/imandra.egg-info to build/bdist.linux-armv7l/wheel/imandra-1.0.1-py3.7.egg-info
2023-08-14T14:42:25,937   running install_scripts
2023-08-14T14:42:25,970   creating build/bdist.linux-armv7l/wheel/imandra-1.0.1.dist-info/WHEEL
2023-08-14T14:42:25,976   creating '/tmp/pip-wheel-_8ojwuki/.tmp-ujl5in8_/imandra-1.0.1-py3-none-any.whl' and adding 'build/bdist.linux-armv7l/wheel' to it
2023-08-14T14:42:25,982   adding 'imandra/__init__.py'
2023-08-14T14:42:25,987   adding 'imandra/auth.py'
2023-08-14T14:42:25,990   adding 'imandra/cfb.py'
2023-08-14T14:42:25,993   adding 'imandra/core.py'
2023-08-14T14:42:25,996   adding 'imandra/instance.py'
2023-08-14T14:42:25,999   adding 'imandra/ipl.py'
2023-08-14T14:42:26,001   adding 'imandra/rule_synth.py'
2023-08-14T14:42:26,004   adding 'imandra/session.py'
2023-08-14T14:42:26,010   adding 'imandra_http_api_client/__init__.py'
2023-08-14T14:42:26,018   adding 'imandra_http_api_client/api_client.py'
2023-08-14T14:42:26,021   adding 'imandra_http_api_client/api_response.py'
2023-08-14T14:42:26,026   adding 'imandra_http_api_client/configuration.py'
2023-08-14T14:42:26,029   adding 'imandra_http_api_client/exceptions.py'
2023-08-14T14:42:26,033   adding 'imandra_http_api_client/rest.py'
2023-08-14T14:42:26,037   adding 'imandra_http_api_client/api/__init__.py'
2023-08-14T14:42:26,044   adding 'imandra_http_api_client/api/default_api.py'
2023-08-14T14:42:26,050   adding 'imandra_http_api_client/models/__init__.py'
2023-08-14T14:42:26,053   adding 'imandra_http_api_client/models/decompose_region.py'
2023-08-14T14:42:26,056   adding 'imandra_http_api_client/models/decompose_request_src.py'
2023-08-14T14:42:26,058   adding 'imandra_http_api_client/models/eval_request_src.py'
2023-08-14T14:42:26,061   adding 'imandra_http_api_client/models/eval_response.py'
2023-08-14T14:42:26,064   adding 'imandra_http_api_client/models/hints.py'
2023-08-14T14:42:26,067   adding 'imandra_http_api_client/models/induct_functional_body.py'
2023-08-14T14:42:26,069   adding 'imandra_http_api_client/models/induct_structural_body.py'
2023-08-14T14:42:26,072   adding 'imandra_http_api_client/models/induct_structural_style.py'
2023-08-14T14:42:26,074   adding 'imandra_http_api_client/models/induct_type.py'
2023-08-14T14:42:26,077   adding 'imandra_http_api_client/models/instance_request_name.py'
2023-08-14T14:42:26,080   adding 'imandra_http_api_client/models/instance_request_src.py'
2023-08-14T14:42:26,083   adding 'imandra_http_api_client/models/instance_response.py'
2023-08-14T14:42:26,086   adding 'imandra_http_api_client/models/instance_result.py'
2023-08-14T14:42:26,088   adding 'imandra_http_api_client/models/instance_type.py'
2023-08-14T14:42:26,091   adding 'imandra_http_api_client/models/method.py'
2023-08-14T14:42:26,094   adding 'imandra_http_api_client/models/method_body.py'
2023-08-14T14:42:26,096   adding 'imandra_http_api_client/models/method_ext_solver_body.py'
2023-08-14T14:42:26,099   adding 'imandra_http_api_client/models/method_induct_body.py'
2023-08-14T14:42:26,102   adding 'imandra_http_api_client/models/method_induct_body_body.py'
2023-08-14T14:42:26,105   adding 'imandra_http_api_client/models/method_type.py'
2023-08-14T14:42:26,107   adding 'imandra_http_api_client/models/method_unroll_body.py'
2023-08-14T14:42:26,110   adding 'imandra_http_api_client/models/printer_details.py'
2023-08-14T14:42:26,113   adding 'imandra_http_api_client/models/response_error.py'
2023-08-14T14:42:26,116   adding 'imandra_http_api_client/models/response_instance.py'
2023-08-14T14:42:26,118   adding 'imandra_http_api_client/models/response_model.py'
2023-08-14T14:42:26,121   adding 'imandra_http_api_client/models/syntax.py'
2023-08-14T14:42:26,124   adding 'imandra_http_api_client/models/up_to_body.py'
2023-08-14T14:42:26,127   adding 'imandra_http_api_client/models/verify_request_name.py'
2023-08-14T14:42:26,129   adding 'imandra_http_api_client/models/verify_request_src.py'
2023-08-14T14:42:26,132   adding 'imandra_http_api_client/models/verify_response.py'
2023-08-14T14:42:26,135   adding 'imandra_http_api_client/models/verify_response_body.py'
2023-08-14T14:42:26,138   adding 'imandra_http_api_client/models/verify_result.py'
2023-08-14T14:42:26,141   adding 'imandra_http_api_client/models/with_instance_body.py'
2023-08-14T14:42:26,143   adding 'imandra_http_api_client/models/with_unknown_reason_body.py'
2023-08-14T14:42:26,148   adding 'imandra_http_api_client/test/__init__.py'
2023-08-14T14:42:26,150   adding 'imandra_http_api_client/test/test_decompose_region.py'
2023-08-14T14:42:26,153   adding 'imandra_http_api_client/test/test_decompose_request_src.py'
2023-08-14T14:42:26,156   adding 'imandra_http_api_client/test/test_default_api.py'
2023-08-14T14:42:26,158   adding 'imandra_http_api_client/test/test_eval_request_src.py'
2023-08-14T14:42:26,161   adding 'imandra_http_api_client/test/test_eval_response.py'
2023-08-14T14:42:26,164   adding 'imandra_http_api_client/test/test_hints.py'
2023-08-14T14:42:26,167   adding 'imandra_http_api_client/test/test_induct_functional_body.py'
2023-08-14T14:42:26,169   adding 'imandra_http_api_client/test/test_induct_structural_body.py'
2023-08-14T14:42:26,172   adding 'imandra_http_api_client/test/test_induct_structural_style.py'
2023-08-14T14:42:26,174   adding 'imandra_http_api_client/test/test_induct_type.py'
2023-08-14T14:42:26,177   adding 'imandra_http_api_client/test/test_instance_request_name.py'
2023-08-14T14:42:26,179   adding 'imandra_http_api_client/test/test_instance_request_src.py'
2023-08-14T14:42:26,182   adding 'imandra_http_api_client/test/test_instance_response.py'
2023-08-14T14:42:26,185   adding 'imandra_http_api_client/test/test_instance_result.py'
2023-08-14T14:42:26,187   adding 'imandra_http_api_client/test/test_instance_type.py'
2023-08-14T14:42:26,190   adding 'imandra_http_api_client/test/test_method.py'
2023-08-14T14:42:26,192   adding 'imandra_http_api_client/test/test_method_body.py'
2023-08-14T14:42:26,195   adding 'imandra_http_api_client/test/test_method_ext_solver_body.py'
2023-08-14T14:42:26,197   adding 'imandra_http_api_client/test/test_method_induct_body.py'
2023-08-14T14:42:26,200   adding 'imandra_http_api_client/test/test_method_induct_body_body.py'
2023-08-14T14:42:26,203   adding 'imandra_http_api_client/test/test_method_type.py'
2023-08-14T14:42:26,205   adding 'imandra_http_api_client/test/test_method_unroll_body.py'
2023-08-14T14:42:26,208   adding 'imandra_http_api_client/test/test_printer_details.py'
2023-08-14T14:42:26,210   adding 'imandra_http_api_client/test/test_response_error.py'
2023-08-14T14:42:26,213   adding 'imandra_http_api_client/test/test_response_instance.py'
2023-08-14T14:42:26,216   adding 'imandra_http_api_client/test/test_response_model.py'
2023-08-14T14:42:26,218   adding 'imandra_http_api_client/test/test_syntax.py'
2023-08-14T14:42:26,221   adding 'imandra_http_api_client/test/test_up_to_body.py'
2023-08-14T14:42:26,223   adding 'imandra_http_api_client/test/test_verify_request_name.py'
2023-08-14T14:42:26,226   adding 'imandra_http_api_client/test/test_verify_request_src.py'
2023-08-14T14:42:26,229   adding 'imandra_http_api_client/test/test_verify_response.py'
2023-08-14T14:42:26,231   adding 'imandra_http_api_client/test/test_verify_response_body.py'
2023-08-14T14:42:26,234   adding 'imandra_http_api_client/test/test_verify_result.py'
2023-08-14T14:42:26,236   adding 'imandra_http_api_client/test/test_with_instance_body.py'
2023-08-14T14:42:26,239   adding 'imandra_http_api_client/test/test_with_unknown_reason_body.py'
2023-08-14T14:42:26,242   adding 'imandra-1.0.1.dist-info/METADATA'
2023-08-14T14:42:26,244   adding 'imandra-1.0.1.dist-info/WHEEL'
2023-08-14T14:42:26,246   adding 'imandra-1.0.1.dist-info/entry_points.txt'
2023-08-14T14:42:26,248   adding 'imandra-1.0.1.dist-info/top_level.txt'
2023-08-14T14:42:26,253   adding 'imandra-1.0.1.dist-info/RECORD'
2023-08-14T14:42:26,261   removing build/bdist.linux-armv7l/wheel
2023-08-14T14:42:26,309   /tmp/pip-build-env-dg0gwfaz/overlay/lib/python3.7/site-packages/setuptools/config/pyprojecttoml.py:66: _BetaConfiguration: Support for `[tool.setuptools]` in `pyproject.toml` is still *beta*.
2023-08-14T14:42:26,309     config = read_configuration(filepath, True, ignore_option_errors, dist)
2023-08-14T14:42:26,487   Building wheel for imandra (pyproject.toml): finished with status 'done'
2023-08-14T14:42:26,504   Created wheel for imandra: filename=imandra-1.0.1-py3-none-any.whl size=101899 sha256=5d6ab82386aea0fb1ce1d2afde692e865f9b36297033011983af98ce3db86aef
2023-08-14T14:42:26,507   Stored in directory: /tmp/pip-ephem-wheel-cache-uoycox7g/wheels/e1/26/06/3676ace466ba87136e096ee5169605a7851f002016ade9eebf
2023-08-14T14:42:26,539 Successfully built imandra
2023-08-14T14:42:26,553 Removed build tracker: '/tmp/pip-build-tracker-7i0btn91'