2023-08-29T15:19:37,370 Created temporary directory: /tmp/pip-build-tracker-jps1dmzo
2023-08-29T15:19:37,373 Initialized build tracking at /tmp/pip-build-tracker-jps1dmzo
2023-08-29T15:19:37,373 Created build tracker: /tmp/pip-build-tracker-jps1dmzo
2023-08-29T15:19:37,374 Entered build tracker: /tmp/pip-build-tracker-jps1dmzo
2023-08-29T15:19:37,375 Created temporary directory: /tmp/pip-wheel-6oo8gvta
2023-08-29T15:19:37,383 Created temporary directory: /tmp/pip-ephem-wheel-cache-qdbqn3p0
2023-08-29T15:19:37,437 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple
2023-08-29T15:19:37,445 2 location(s) to search for versions of imandra:
2023-08-29T15:19:37,445 * https://pypi.org/simple/imandra/
2023-08-29T15:19:37,445 * https://www.piwheels.org/simple/imandra/
2023-08-29T15:19:37,446 Fetching project page and analyzing links: https://pypi.org/simple/imandra/
2023-08-29T15:19:37,447 Getting page https://pypi.org/simple/imandra/
2023-08-29T15:19:37,451 Found index url https://pypi.org/simple/
2023-08-29T15:19:37,649 Fetched page https://pypi.org/simple/imandra/ as application/vnd.pypi.simple.v1+json
2023-08-29T15:19:37,661   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-29T15:19:37,661   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-29T15:19:37,662   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-29T15:19:37,663   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-29T15:19:37,663   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-29T15:19:37,664   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-29T15:19:37,665   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-29T15:19:37,665   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-29T15:19:37,666   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-29T15:19:37,666   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-29T15:19:37,667   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-29T15:19:37,668   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-29T15:19:37,668   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-29T15:19:37,669   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-29T15:19:37,670   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-29T15:19:37,670   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-29T15:19:37,671   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-29T15:19:37,672   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-29T15:19:37,672   Skipping link: No binaries permitted for imandra: https://files.pythonhosted.org/packages/c4/11/1284147f714f209f89f8fae39be95ca1ced53ebd489ed764ecbbe612e2f1/imandra-1.0.2-py3-none-any.whl (from https://pypi.org/simple/imandra/)
2023-08-29T15:19:37,673   Found link https://files.pythonhosted.org/packages/aa/73/a9d343b1747e2b746ed251cfc7477e67f40ccd393a881bdc16ce8f543ca1/imandra-1.0.2.tar.gz (from https://pypi.org/simple/imandra/), version: 1.0.2
2023-08-29T15:19:37,674   Skipping link: No binaries permitted for imandra: https://files.pythonhosted.org/packages/be/b9/45faca85b29d78ceece2fc07d0584be26fbd67382d001bff619fa6fc717f/imandra-1.0.3-py3-none-any.whl (from https://pypi.org/simple/imandra/)
2023-08-29T15:19:37,674   Found link https://files.pythonhosted.org/packages/ba/55/d75830d62f8d24ecf6865bdeceb7e9a90531230ee92312b2bfb2735cf67c/imandra-1.0.3.tar.gz (from https://pypi.org/simple/imandra/), version: 1.0.3
2023-08-29T15:19:37,675 Fetching project page and analyzing links: https://www.piwheels.org/simple/imandra/
2023-08-29T15:19:37,676 Getting page https://www.piwheels.org/simple/imandra/
2023-08-29T15:19:37,678 Found index url https://www.piwheels.org/simple/
2023-08-29T15:19:37,899 Fetched page https://www.piwheels.org/simple/imandra/ as text/html
2023-08-29T15:19:37,909   Skipping link: No binaries permitted for imandra: https://www.piwheels.org/simple/imandra/imandra-1.0.2-py3-none-any.whl#sha256=0d0429742091c0b55ac167d0e20a110684281e4991e4a730bf2e49962a12e30e (from https://www.piwheels.org/simple/imandra/)
2023-08-29T15:19:37,909   Skipping link: No binaries permitted for imandra: https://www.piwheels.org/simple/imandra/imandra-1.0.1-py3-none-any.whl#sha256=5d6ab82386aea0fb1ce1d2afde692e865f9b36297033011983af98ce3db86aef (from https://www.piwheels.org/simple/imandra/)
2023-08-29T15:19:37,910   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-29T15:19:37,910   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-29T15:19:37,911   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-29T15:19:37,911   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-29T15:19:37,912   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-29T15:19:37,913   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-29T15:19:37,913   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-29T15:19:37,914   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-29T15:19:37,914 Skipping link: not a file: https://www.piwheels.org/simple/imandra/
2023-08-29T15:19:37,915 Skipping link: not a file: https://pypi.org/simple/imandra/
2023-08-29T15:19:37,951 Given no hashes to check 1 links for project 'imandra': discarding no candidates
2023-08-29T15:19:37,985 Collecting imandra==1.0.3
2023-08-29T15:19:37,990   Created temporary directory: /tmp/pip-unpack-jv7s2wd_
2023-08-29T15:19:38,166   Downloading imandra-1.0.3.tar.gz (47 kB)
2023-08-29T15:19:38,635   Added imandra==1.0.3 from https://files.pythonhosted.org/packages/ba/55/d75830d62f8d24ecf6865bdeceb7e9a90531230ee92312b2bfb2735cf67c/imandra-1.0.3.tar.gz to build tracker '/tmp/pip-build-tracker-jps1dmzo'
2023-08-29T15:19:38,645   Created temporary directory: /tmp/pip-build-env-dsewpf7l
2023-08-29T15:19:38,667   Installing build dependencies: started
2023-08-29T15:19:38,669   Running command pip subprocess to install build dependencies
2023-08-29T15:19:41,435   Using pip 23.1.2 from /home/piwheels/.local/lib/python3.7/site-packages/pip (python 3.7)
2023-08-29T15:19:42,300   Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple
2023-08-29T15:19:44,219     Link requires a different Python (3.7.3 not in: '>=3.8'): https://files.pythonhosted.org/packages/b8/49/b3b29c52b09075fb77f69309763a563b4054d5808a3f3b95df3a62ef3d3f/setuptools-68.1.0-py3-none-any.whl (from https://pypi.org/simple/setuptools/) (requires-python:>=3.8)
2023-08-29T15:19:44,222     Link requires a different Python (3.7.3 not in: '>=3.8'): https://files.pythonhosted.org/packages/83/b0/18310b45f6eec3757c0554dbc1e03f2f7685c8a87831aea6adc1276faacc/setuptools-68.1.0.tar.gz (from https://pypi.org/simple/setuptools/) (requires-python:>=3.8)
2023-08-29T15:19:44,226     Link requires a different Python (3.7.3 not in: '>=3.8'): https://files.pythonhosted.org/packages/4f/ab/0bcfebdfc3bfa8554b2b2c97a555569c4c1ebc74ea288741ea8326c51906/setuptools-68.1.2-py3-none-any.whl (from https://pypi.org/simple/setuptools/) (requires-python:>=3.8)
2023-08-29T15:19:44,229     Link requires a different Python (3.7.3 not in: '>=3.8'): https://files.pythonhosted.org/packages/19/20/d8dd9d8becaf3e2d6fdc17cc41870d5ada5ceda518996cf5968c2ca71bd8/setuptools-68.1.2.tar.gz (from https://pypi.org/simple/setuptools/) (requires-python:>=3.8)
2023-08-29T15:19:44,843     Link requires a different Python (3.7.3 not in: '>=3.8'): https://www.piwheels.org/simple/setuptools/setuptools-68.1.2-py3-none-any.whl#sha256=9e076b8e4f5535e0e67305a15e9eb418006751b9bf0bb8d0a367d09ad0adf3a1 (from https://www.piwheels.org/simple/setuptools/) (requires-python:>=3.8)
2023-08-29T15:19:44,847     Link requires a different Python (3.7.3 not in: '>=3.8'): https://www.piwheels.org/simple/setuptools/setuptools-68.1.0-py3-none-any.whl#sha256=0637a8df7f9d79ffffa7010fdd3db5ca70836acda6994af5f7edb9524838aa23 (from https://www.piwheels.org/simple/setuptools/) (requires-python:>=3.8)
2023-08-29T15:19:46,190   Collecting setuptools>=61.0.0
2023-08-29T15:19:46,357     Using cached https://www.piwheels.org/simple/setuptools/setuptools-68.0.0-py3-none-any.whl (804 kB)
2023-08-29T15:19:46,990   Collecting wheel
2023-08-29T15:19:47,027     Using cached https://www.piwheels.org/simple/wheel/wheel-0.41.2-py3-none-any.whl (64 kB)
2023-08-29T15:19:52,801   Installing collected packages: wheel, setuptools
2023-08-29T15:19:53,495     Creating /tmp/pip-build-env-dsewpf7l/overlay/bin
2023-08-29T15:19:53,501     changing mode of /tmp/pip-build-env-dsewpf7l/overlay/bin/wheel to 755
2023-08-29T15:19:57,697   Successfully installed setuptools-68.0.0 wheel-0.41.2

2023-08-29T15:19:57,733   [notice] A new release of pip is available: 23.1.2 -> 23.2.1
2023-08-29T15:19:57,733   [notice] To update, run: python3 -m pip install --upgrade pip
2023-08-29T15:19:58,174   Installing build dependencies: finished with status 'done'
2023-08-29T15:19:58,185   Getting requirements to build wheel: started
2023-08-29T15:19:58,188   Running command Getting requirements to build wheel
2023-08-29T15:20:00,179   running egg_info
2023-08-29T15:20:00,193   writing src/imandra.egg-info/PKG-INFO
2023-08-29T15:20:00,198   writing dependency_links to src/imandra.egg-info/dependency_links.txt
2023-08-29T15:20:00,202   writing entry points to src/imandra.egg-info/entry_points.txt
2023-08-29T15:20:00,205   writing requirements to src/imandra.egg-info/requires.txt
2023-08-29T15:20:00,207   writing top-level names to src/imandra.egg-info/top_level.txt
2023-08-29T15:20:00,260   reading manifest file 'src/imandra.egg-info/SOURCES.txt'
2023-08-29T15:20:00,287   writing manifest file 'src/imandra.egg-info/SOURCES.txt'
2023-08-29T15:20:00,291   /tmp/pip-build-env-dsewpf7l/overlay/lib/python3.7/site-packages/setuptools/config/pyprojecttoml.py:66: _BetaConfiguration: Support for `[tool.setuptools]` in `pyproject.toml` is still *beta*.
2023-08-29T15:20:00,292     config = read_configuration(filepath, True, ignore_option_errors, dist)
2023-08-29T15:20:00,467   Getting requirements to build wheel: finished with status 'done'
2023-08-29T15:20:00,488   Created temporary directory: /tmp/pip-modern-metadata-x49e7duw
2023-08-29T15:20:00,494   Preparing metadata (pyproject.toml): started
2023-08-29T15:20:00,497   Running command Preparing metadata (pyproject.toml)
2023-08-29T15:20:02,321   running dist_info
2023-08-29T15:20:02,337   creating /tmp/pip-modern-metadata-x49e7duw/imandra.egg-info
2023-08-29T15:20:02,346   writing /tmp/pip-modern-metadata-x49e7duw/imandra.egg-info/PKG-INFO
2023-08-29T15:20:02,351   writing dependency_links to /tmp/pip-modern-metadata-x49e7duw/imandra.egg-info/dependency_links.txt
2023-08-29T15:20:02,355   writing entry points to /tmp/pip-modern-metadata-x49e7duw/imandra.egg-info/entry_points.txt
2023-08-29T15:20:02,357   writing requirements to /tmp/pip-modern-metadata-x49e7duw/imandra.egg-info/requires.txt
2023-08-29T15:20:02,359   writing top-level names to /tmp/pip-modern-metadata-x49e7duw/imandra.egg-info/top_level.txt
2023-08-29T15:20:02,362   writing manifest file '/tmp/pip-modern-metadata-x49e7duw/imandra.egg-info/SOURCES.txt'
2023-08-29T15:20:02,412   reading manifest file '/tmp/pip-modern-metadata-x49e7duw/imandra.egg-info/SOURCES.txt'
2023-08-29T15:20:02,429   writing manifest file '/tmp/pip-modern-metadata-x49e7duw/imandra.egg-info/SOURCES.txt'
2023-08-29T15:20:02,432   creating '/tmp/pip-modern-metadata-x49e7duw/imandra-1.0.3.dist-info'
2023-08-29T15:20:02,505   /tmp/pip-build-env-dsewpf7l/overlay/lib/python3.7/site-packages/setuptools/config/pyprojecttoml.py:66: _BetaConfiguration: Support for `[tool.setuptools]` in `pyproject.toml` is still *beta*.
2023-08-29T15:20:02,506     config = read_configuration(filepath, True, ignore_option_errors, dist)
2023-08-29T15:20:02,684   Preparing metadata (pyproject.toml): finished with status 'done'
2023-08-29T15:20:02,700   Source in /tmp/pip-wheel-6oo8gvta/imandra_20510a18e46848e98e268c1c0588a3bf has version 1.0.3, which satisfies requirement imandra==1.0.3 from https://files.pythonhosted.org/packages/ba/55/d75830d62f8d24ecf6865bdeceb7e9a90531230ee92312b2bfb2735cf67c/imandra-1.0.3.tar.gz
2023-08-29T15:20:02,701   Removed imandra==1.0.3 from https://files.pythonhosted.org/packages/ba/55/d75830d62f8d24ecf6865bdeceb7e9a90531230ee92312b2bfb2735cf67c/imandra-1.0.3.tar.gz from build tracker '/tmp/pip-build-tracker-jps1dmzo'
2023-08-29T15:20:02,712 Created temporary directory: /tmp/pip-unpack-70x7vm5q
2023-08-29T15:20:02,713 Building wheels for collected packages: imandra
2023-08-29T15:20:02,722   Created temporary directory: /tmp/pip-wheel-2ire7qi6
2023-08-29T15:20:02,723   Destination directory: /tmp/pip-wheel-2ire7qi6
2023-08-29T15:20:02,728   Building wheel for imandra (pyproject.toml): started
2023-08-29T15:20:02,730   Running command Building wheel for imandra (pyproject.toml)
2023-08-29T15:20:04,542   running bdist_wheel
2023-08-29T15:20:04,588   running build
2023-08-29T15:20:04,588   running build_py
2023-08-29T15:20:04,601   creating build
2023-08-29T15:20:04,602   creating build/lib
2023-08-29T15:20:04,604   creating build/lib/imandra
2023-08-29T15:20:04,607   copying src/imandra/core.py -> build/lib/imandra
2023-08-29T15:20:04,613   copying src/imandra/instance.py -> build/lib/imandra
2023-08-29T15:20:04,617   copying src/imandra/cfb.py -> build/lib/imandra
2023-08-29T15:20:04,621   copying src/imandra/session.py -> build/lib/imandra
2023-08-29T15:20:04,626   copying src/imandra/rule_synth.py -> build/lib/imandra
2023-08-29T15:20:04,630   copying src/imandra/ipl.py -> build/lib/imandra
2023-08-29T15:20:04,635   copying src/imandra/__init__.py -> build/lib/imandra
2023-08-29T15:20:04,640   copying src/imandra/auth.py -> build/lib/imandra
2023-08-29T15:20:04,647   creating build/lib/imandra_http_api_client
2023-08-29T15:20:04,649   copying src/imandra_http_api_client/exceptions.py -> build/lib/imandra_http_api_client
2023-08-29T15:20:04,654   copying src/imandra_http_api_client/rest.py -> build/lib/imandra_http_api_client
2023-08-29T15:20:04,660   copying src/imandra_http_api_client/api_response.py -> build/lib/imandra_http_api_client
2023-08-29T15:20:04,664   copying src/imandra_http_api_client/configuration.py -> build/lib/imandra_http_api_client
2023-08-29T15:20:04,670   copying src/imandra_http_api_client/api_client.py -> build/lib/imandra_http_api_client
2023-08-29T15:20:04,677   copying src/imandra_http_api_client/__init__.py -> build/lib/imandra_http_api_client
2023-08-29T15:20:04,687   creating build/lib/imandra_http_api_client/test
2023-08-29T15:20:04,689   copying src/imandra_http_api_client/test/test_instance_result.py -> build/lib/imandra_http_api_client/test
2023-08-29T15:20:04,694   copying src/imandra_http_api_client/test/test_instance_request_src.py -> build/lib/imandra_http_api_client/test
2023-08-29T15:20:04,698   copying src/imandra_http_api_client/test/test_verify_request_src.py -> build/lib/imandra_http_api_client/test
2023-08-29T15:20:04,702   copying src/imandra_http_api_client/test/test_method_induct_body_body.py -> build/lib/imandra_http_api_client/test
2023-08-29T15:20:04,706   copying src/imandra_http_api_client/test/test_instance_request_name.py -> build/lib/imandra_http_api_client/test
2023-08-29T15:20:04,710   copying src/imandra_http_api_client/test/test_verify_result.py -> build/lib/imandra_http_api_client/test
2023-08-29T15:20:04,714   copying src/imandra_http_api_client/test/test_printer_details.py -> build/lib/imandra_http_api_client/test
2023-08-29T15:20:04,718   copying src/imandra_http_api_client/test/test_verify_request_name.py -> build/lib/imandra_http_api_client/test
2023-08-29T15:20:04,722   copying src/imandra_http_api_client/test/test_induct_structural_body.py -> build/lib/imandra_http_api_client/test
2023-08-29T15:20:04,726   copying src/imandra_http_api_client/test/test_method_body.py -> build/lib/imandra_http_api_client/test
2023-08-29T15:20:04,730   copying src/imandra_http_api_client/test/test_instance_type.py -> build/lib/imandra_http_api_client/test
2023-08-29T15:20:04,734   copying src/imandra_http_api_client/test/test_response_instance.py -> build/lib/imandra_http_api_client/test
2023-08-29T15:20:04,738   copying src/imandra_http_api_client/test/test_up_to_body.py -> build/lib/imandra_http_api_client/test
2023-08-29T15:20:04,742   copying src/imandra_http_api_client/test/test_induct_structural_style.py -> build/lib/imandra_http_api_client/test
2023-08-29T15:20:04,747   copying src/imandra_http_api_client/test/test_decompose_request_src.py -> build/lib/imandra_http_api_client/test
2023-08-29T15:20:04,751   copying src/imandra_http_api_client/test/test_response_model.py -> build/lib/imandra_http_api_client/test
2023-08-29T15:20:04,755   copying src/imandra_http_api_client/test/test_instance_response.py -> build/lib/imandra_http_api_client/test
2023-08-29T15:20:04,759   copying src/imandra_http_api_client/test/test_decompose_region.py -> build/lib/imandra_http_api_client/test
2023-08-29T15:20:04,763   copying src/imandra_http_api_client/test/test_method_induct_body.py -> build/lib/imandra_http_api_client/test
2023-08-29T15:20:04,767   copying src/imandra_http_api_client/test/test_verify_response.py -> build/lib/imandra_http_api_client/test
2023-08-29T15:20:04,771   copying src/imandra_http_api_client/test/test_eval_request_src.py -> build/lib/imandra_http_api_client/test
2023-08-29T15:20:04,775   copying src/imandra_http_api_client/test/test_method_type.py -> build/lib/imandra_http_api_client/test
2023-08-29T15:20:04,779   copying src/imandra_http_api_client/test/test_hints.py -> build/lib/imandra_http_api_client/test
2023-08-29T15:20:04,784   copying src/imandra_http_api_client/test/test_method_unroll_body.py -> build/lib/imandra_http_api_client/test
2023-08-29T15:20:04,788   copying src/imandra_http_api_client/test/test_with_instance_body.py -> build/lib/imandra_http_api_client/test
2023-08-29T15:20:04,792   copying src/imandra_http_api_client/test/test_decompose_result.py -> build/lib/imandra_http_api_client/test
2023-08-29T15:20:04,796   copying src/imandra_http_api_client/test/test_default_api.py -> build/lib/imandra_http_api_client/test
2023-08-29T15:20:04,800   copying src/imandra_http_api_client/test/test_eval_response.py -> build/lib/imandra_http_api_client/test
2023-08-29T15:20:04,805   copying src/imandra_http_api_client/test/test_syntax.py -> build/lib/imandra_http_api_client/test
2023-08-29T15:20:04,809   copying src/imandra_http_api_client/test/test_response_error.py -> build/lib/imandra_http_api_client/test
2023-08-29T15:20:04,814   copying src/imandra_http_api_client/test/test_method_ext_solver_body.py -> build/lib/imandra_http_api_client/test
2023-08-29T15:20:04,817   copying src/imandra_http_api_client/test/__init__.py -> build/lib/imandra_http_api_client/test
2023-08-29T15:20:04,820   copying src/imandra_http_api_client/test/test_verify_response_body.py -> build/lib/imandra_http_api_client/test
2023-08-29T15:20:04,823   copying src/imandra_http_api_client/test/test_with_unknown_reason_body.py -> build/lib/imandra_http_api_client/test
2023-08-29T15:20:04,827   copying src/imandra_http_api_client/test/test_induct_type.py -> build/lib/imandra_http_api_client/test
2023-08-29T15:20:04,830   copying src/imandra_http_api_client/test/test_method.py -> build/lib/imandra_http_api_client/test
2023-08-29T15:20:04,834   copying src/imandra_http_api_client/test/test_induct_functional_body.py -> build/lib/imandra_http_api_client/test
2023-08-29T15:20:04,842   creating build/lib/imandra_http_api_client/models
2023-08-29T15:20:04,843   copying src/imandra_http_api_client/models/method_unroll_body.py -> build/lib/imandra_http_api_client/models
2023-08-29T15:20:04,847   copying src/imandra_http_api_client/models/eval_request_src.py -> build/lib/imandra_http_api_client/models
2023-08-29T15:20:04,850   copying src/imandra_http_api_client/models/method_type.py -> build/lib/imandra_http_api_client/models
2023-08-29T15:20:04,854   copying src/imandra_http_api_client/models/method_induct_body_body.py -> build/lib/imandra_http_api_client/models
2023-08-29T15:20:04,857   copying src/imandra_http_api_client/models/instance_request_src.py -> build/lib/imandra_http_api_client/models
2023-08-29T15:20:04,861   copying src/imandra_http_api_client/models/decompose_region.py -> build/lib/imandra_http_api_client/models
2023-08-29T15:20:04,864   copying src/imandra_http_api_client/models/induct_structural_style.py -> build/lib/imandra_http_api_client/models
2023-08-29T15:20:04,867   copying src/imandra_http_api_client/models/eval_response.py -> build/lib/imandra_http_api_client/models
2023-08-29T15:20:04,871   copying src/imandra_http_api_client/models/method_ext_solver_body.py -> build/lib/imandra_http_api_client/models
2023-08-29T15:20:04,874   copying src/imandra_http_api_client/models/instance_request_name.py -> build/lib/imandra_http_api_client/models
2023-08-29T15:20:04,878   copying src/imandra_http_api_client/models/method_induct_body.py -> build/lib/imandra_http_api_client/models
2023-08-29T15:20:04,881   copying src/imandra_http_api_client/models/with_instance_body.py -> build/lib/imandra_http_api_client/models
2023-08-29T15:20:04,884   copying src/imandra_http_api_client/models/response_model.py -> build/lib/imandra_http_api_client/models
2023-08-29T15:20:04,888   copying src/imandra_http_api_client/models/induct_functional_body.py -> build/lib/imandra_http_api_client/models
2023-08-29T15:20:04,891   copying src/imandra_http_api_client/models/verify_response.py -> build/lib/imandra_http_api_client/models
2023-08-29T15:20:04,894   copying src/imandra_http_api_client/models/instance_response.py -> build/lib/imandra_http_api_client/models
2023-08-29T15:20:04,898   copying src/imandra_http_api_client/models/decompose_result.py -> build/lib/imandra_http_api_client/models
2023-08-29T15:20:04,901   copying src/imandra_http_api_client/models/decompose_request_src.py -> build/lib/imandra_http_api_client/models
2023-08-29T15:20:04,905   copying src/imandra_http_api_client/models/up_to_body.py -> build/lib/imandra_http_api_client/models
2023-08-29T15:20:04,908   copying src/imandra_http_api_client/models/verify_request_name.py -> build/lib/imandra_http_api_client/models
2023-08-29T15:20:04,911   copying src/imandra_http_api_client/models/induct_structural_body.py -> build/lib/imandra_http_api_client/models
2023-08-29T15:20:04,915   copying src/imandra_http_api_client/models/verify_result.py -> build/lib/imandra_http_api_client/models
2023-08-29T15:20:04,918   copying src/imandra_http_api_client/models/method_body.py -> build/lib/imandra_http_api_client/models
2023-08-29T15:20:04,922   copying src/imandra_http_api_client/models/with_unknown_reason_body.py -> build/lib/imandra_http_api_client/models
2023-08-29T15:20:04,925   copying src/imandra_http_api_client/models/instance_type.py -> build/lib/imandra_http_api_client/models
2023-08-29T15:20:04,928   copying src/imandra_http_api_client/models/response_instance.py -> build/lib/imandra_http_api_client/models
2023-08-29T15:20:04,932   copying src/imandra_http_api_client/models/verify_request_src.py -> build/lib/imandra_http_api_client/models
2023-08-29T15:20:04,935   copying src/imandra_http_api_client/models/induct_type.py -> build/lib/imandra_http_api_client/models
2023-08-29T15:20:04,938   copying src/imandra_http_api_client/models/hints.py -> build/lib/imandra_http_api_client/models
2023-08-29T15:20:04,942   copying src/imandra_http_api_client/models/response_error.py -> build/lib/imandra_http_api_client/models
2023-08-29T15:20:04,946   copying src/imandra_http_api_client/models/verify_response_body.py -> build/lib/imandra_http_api_client/models
2023-08-29T15:20:04,950   copying src/imandra_http_api_client/models/__init__.py -> build/lib/imandra_http_api_client/models
2023-08-29T15:20:04,954   copying src/imandra_http_api_client/models/instance_result.py -> build/lib/imandra_http_api_client/models
2023-08-29T15:20:04,957   copying src/imandra_http_api_client/models/method.py -> build/lib/imandra_http_api_client/models
2023-08-29T15:20:04,960   copying src/imandra_http_api_client/models/printer_details.py -> build/lib/imandra_http_api_client/models
2023-08-29T15:20:04,964   copying src/imandra_http_api_client/models/syntax.py -> build/lib/imandra_http_api_client/models
2023-08-29T15:20:04,968   creating build/lib/imandra_http_api_client/api
2023-08-29T15:20:04,970   copying src/imandra_http_api_client/api/default_api.py -> build/lib/imandra_http_api_client/api
2023-08-29T15:20:04,977   copying src/imandra_http_api_client/api/__init__.py -> build/lib/imandra_http_api_client/api
2023-08-29T15:20:04,980   running egg_info
2023-08-29T15:20:04,988   writing src/imandra.egg-info/PKG-INFO
2023-08-29T15:20:04,993   writing dependency_links to src/imandra.egg-info/dependency_links.txt
2023-08-29T15:20:04,996   writing entry points to src/imandra.egg-info/entry_points.txt
2023-08-29T15:20:04,998   writing requirements to src/imandra.egg-info/requires.txt
2023-08-29T15:20:05,001   writing top-level names to src/imandra.egg-info/top_level.txt
2023-08-29T15:20:05,033   reading manifest file 'src/imandra.egg-info/SOURCES.txt'
2023-08-29T15:20:05,059   writing manifest file 'src/imandra.egg-info/SOURCES.txt'
2023-08-29T15:20:05,100   installing to build/bdist.linux-armv7l/wheel
2023-08-29T15:20:05,101   running install
2023-08-29T15:20:05,160   running install_lib
2023-08-29T15:20:05,171   creating build/bdist.linux-armv7l
2023-08-29T15:20:05,172   creating build/bdist.linux-armv7l/wheel
2023-08-29T15:20:05,176   creating build/bdist.linux-armv7l/wheel/imandra
2023-08-29T15:20:05,178   copying build/lib/imandra/core.py -> build/bdist.linux-armv7l/wheel/imandra
2023-08-29T15:20:05,183   copying build/lib/imandra/instance.py -> build/bdist.linux-armv7l/wheel/imandra
2023-08-29T15:20:05,187   copying build/lib/imandra/cfb.py -> build/bdist.linux-armv7l/wheel/imandra
2023-08-29T15:20:05,190   copying build/lib/imandra/session.py -> build/bdist.linux-armv7l/wheel/imandra
2023-08-29T15:20:05,194   copying build/lib/imandra/rule_synth.py -> build/bdist.linux-armv7l/wheel/imandra
2023-08-29T15:20:05,198   copying build/lib/imandra/ipl.py -> build/bdist.linux-armv7l/wheel/imandra
2023-08-29T15:20:05,203   copying build/lib/imandra/__init__.py -> build/bdist.linux-armv7l/wheel/imandra
2023-08-29T15:20:05,207   copying build/lib/imandra/auth.py -> build/bdist.linux-armv7l/wheel/imandra
2023-08-29T15:20:05,214   creating build/bdist.linux-armv7l/wheel/imandra_http_api_client
2023-08-29T15:20:05,215   copying build/lib/imandra_http_api_client/exceptions.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client
2023-08-29T15:20:05,220   copying build/lib/imandra_http_api_client/rest.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client
2023-08-29T15:20:05,227   creating build/bdist.linux-armv7l/wheel/imandra_http_api_client/test
2023-08-29T15:20:05,229   copying build/lib/imandra_http_api_client/test/test_instance_result.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/test
2023-08-29T15:20:05,233   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-29T15:20:05,236   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-29T15:20:05,240   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-29T15:20:05,244   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-29T15:20:05,248   copying build/lib/imandra_http_api_client/test/test_verify_result.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/test
2023-08-29T15:20:05,251   copying build/lib/imandra_http_api_client/test/test_printer_details.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/test
2023-08-29T15:20:05,255   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-29T15:20:05,259   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-29T15:20:05,263   copying build/lib/imandra_http_api_client/test/test_method_body.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/test
2023-08-29T15:20:05,266   copying build/lib/imandra_http_api_client/test/test_instance_type.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/test
2023-08-29T15:20:05,270   copying build/lib/imandra_http_api_client/test/test_response_instance.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/test
2023-08-29T15:20:05,274   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-29T15:20:05,278   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-29T15:20:05,282   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-29T15:20:05,287   copying build/lib/imandra_http_api_client/test/test_response_model.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/test
2023-08-29T15:20:05,292   copying build/lib/imandra_http_api_client/test/test_instance_response.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/test
2023-08-29T15:20:05,296   copying build/lib/imandra_http_api_client/test/test_decompose_region.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/test
2023-08-29T15:20:05,300   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-29T15:20:05,304   copying build/lib/imandra_http_api_client/test/test_verify_response.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/test
2023-08-29T15:20:05,309   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-29T15:20:05,313   copying build/lib/imandra_http_api_client/test/test_method_type.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/test
2023-08-29T15:20:05,317   copying build/lib/imandra_http_api_client/test/test_hints.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/test
2023-08-29T15:20:05,322   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-29T15:20:05,326   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-29T15:20:05,330   copying build/lib/imandra_http_api_client/test/test_decompose_result.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/test
2023-08-29T15:20:05,335   copying build/lib/imandra_http_api_client/test/test_default_api.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/test
2023-08-29T15:20:05,339   copying build/lib/imandra_http_api_client/test/test_eval_response.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/test
2023-08-29T15:20:05,344   copying build/lib/imandra_http_api_client/test/test_syntax.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/test
2023-08-29T15:20:05,348   copying build/lib/imandra_http_api_client/test/test_response_error.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/test
2023-08-29T15:20:05,352   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-29T15:20:05,357   copying build/lib/imandra_http_api_client/test/__init__.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/test
2023-08-29T15:20:05,361   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-29T15:20:05,365   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-29T15:20:05,369   copying build/lib/imandra_http_api_client/test/test_induct_type.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/test
2023-08-29T15:20:05,373   copying build/lib/imandra_http_api_client/test/test_method.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/test
2023-08-29T15:20:05,378   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-29T15:20:05,382   copying build/lib/imandra_http_api_client/api_response.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client
2023-08-29T15:20:05,386   copying build/lib/imandra_http_api_client/configuration.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client
2023-08-29T15:20:05,392   copying build/lib/imandra_http_api_client/api_client.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client
2023-08-29T15:20:05,400   creating build/bdist.linux-armv7l/wheel/imandra_http_api_client/models
2023-08-29T15:20:05,403   copying build/lib/imandra_http_api_client/models/method_unroll_body.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/models
2023-08-29T15:20:05,407   copying build/lib/imandra_http_api_client/models/eval_request_src.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/models
2023-08-29T15:20:05,412   copying build/lib/imandra_http_api_client/models/method_type.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/models
2023-08-29T15:20:05,416   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-29T15:20:05,421   copying build/lib/imandra_http_api_client/models/instance_request_src.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/models
2023-08-29T15:20:05,425   copying build/lib/imandra_http_api_client/models/decompose_region.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/models
2023-08-29T15:20:05,429   copying build/lib/imandra_http_api_client/models/induct_structural_style.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/models
2023-08-29T15:20:05,432   copying build/lib/imandra_http_api_client/models/eval_response.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/models
2023-08-29T15:20:05,436   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-29T15:20:05,439   copying build/lib/imandra_http_api_client/models/instance_request_name.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/models
2023-08-29T15:20:05,443   copying build/lib/imandra_http_api_client/models/method_induct_body.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/models
2023-08-29T15:20:05,446   copying build/lib/imandra_http_api_client/models/with_instance_body.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/models
2023-08-29T15:20:05,449   copying build/lib/imandra_http_api_client/models/response_model.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/models
2023-08-29T15:20:05,453   copying build/lib/imandra_http_api_client/models/induct_functional_body.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/models
2023-08-29T15:20:05,457   copying build/lib/imandra_http_api_client/models/verify_response.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/models
2023-08-29T15:20:05,460   copying build/lib/imandra_http_api_client/models/instance_response.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/models
2023-08-29T15:20:05,464   copying build/lib/imandra_http_api_client/models/decompose_result.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/models
2023-08-29T15:20:05,467   copying build/lib/imandra_http_api_client/models/decompose_request_src.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/models
2023-08-29T15:20:05,471   copying build/lib/imandra_http_api_client/models/up_to_body.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/models
2023-08-29T15:20:05,474   copying build/lib/imandra_http_api_client/models/verify_request_name.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/models
2023-08-29T15:20:05,478   copying build/lib/imandra_http_api_client/models/induct_structural_body.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/models
2023-08-29T15:20:05,482   copying build/lib/imandra_http_api_client/models/verify_result.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/models
2023-08-29T15:20:05,485   copying build/lib/imandra_http_api_client/models/method_body.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/models
2023-08-29T15:20:05,490   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-29T15:20:05,493   copying build/lib/imandra_http_api_client/models/instance_type.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/models
2023-08-29T15:20:05,496   copying build/lib/imandra_http_api_client/models/response_instance.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/models
2023-08-29T15:20:05,500   copying build/lib/imandra_http_api_client/models/verify_request_src.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/models
2023-08-29T15:20:05,504   copying build/lib/imandra_http_api_client/models/induct_type.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/models
2023-08-29T15:20:05,507   copying build/lib/imandra_http_api_client/models/hints.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/models
2023-08-29T15:20:05,511   copying build/lib/imandra_http_api_client/models/response_error.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/models
2023-08-29T15:20:05,514   copying build/lib/imandra_http_api_client/models/verify_response_body.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/models
2023-08-29T15:20:05,518   copying build/lib/imandra_http_api_client/models/__init__.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/models
2023-08-29T15:20:05,522   copying build/lib/imandra_http_api_client/models/instance_result.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/models
2023-08-29T15:20:05,525   copying build/lib/imandra_http_api_client/models/method.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/models
2023-08-29T15:20:05,529   copying build/lib/imandra_http_api_client/models/printer_details.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/models
2023-08-29T15:20:05,532   copying build/lib/imandra_http_api_client/models/syntax.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/models
2023-08-29T15:20:05,536   copying build/lib/imandra_http_api_client/__init__.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client
2023-08-29T15:20:05,540   creating build/bdist.linux-armv7l/wheel/imandra_http_api_client/api
2023-08-29T15:20:05,542   copying build/lib/imandra_http_api_client/api/default_api.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/api
2023-08-29T15:20:05,552   copying build/lib/imandra_http_api_client/api/__init__.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/api
2023-08-29T15:20:05,554   running install_egg_info
2023-08-29T15:20:05,565   Copying src/imandra.egg-info to build/bdist.linux-armv7l/wheel/imandra-1.0.3-py3.7.egg-info
2023-08-29T15:20:05,587   running install_scripts
2023-08-29T15:20:05,621   creating build/bdist.linux-armv7l/wheel/imandra-1.0.3.dist-info/WHEEL
2023-08-29T15:20:05,627   creating '/tmp/pip-wheel-2ire7qi6/.tmp-68v5d0uy/imandra-1.0.3-py3-none-any.whl' and adding 'build/bdist.linux-armv7l/wheel' to it
2023-08-29T15:20:05,633   adding 'imandra/__init__.py'
2023-08-29T15:20:05,639   adding 'imandra/auth.py'
2023-08-29T15:20:05,642   adding 'imandra/cfb.py'
2023-08-29T15:20:05,645   adding 'imandra/core.py'
2023-08-29T15:20:05,647   adding 'imandra/instance.py'
2023-08-29T15:20:05,650   adding 'imandra/ipl.py'
2023-08-29T15:20:05,653   adding 'imandra/rule_synth.py'
2023-08-29T15:20:05,656   adding 'imandra/session.py'
2023-08-29T15:20:05,662   adding 'imandra_http_api_client/__init__.py'
2023-08-29T15:20:05,670   adding 'imandra_http_api_client/api_client.py'
2023-08-29T15:20:05,673   adding 'imandra_http_api_client/api_response.py'
2023-08-29T15:20:05,678   adding 'imandra_http_api_client/configuration.py'
2023-08-29T15:20:05,682   adding 'imandra_http_api_client/exceptions.py'
2023-08-29T15:20:05,686   adding 'imandra_http_api_client/rest.py'
2023-08-29T15:20:05,689   adding 'imandra_http_api_client/api/__init__.py'
2023-08-29T15:20:05,697   adding 'imandra_http_api_client/api/default_api.py'
2023-08-29T15:20:05,704   adding 'imandra_http_api_client/models/__init__.py'
2023-08-29T15:20:05,707   adding 'imandra_http_api_client/models/decompose_region.py'
2023-08-29T15:20:05,710   adding 'imandra_http_api_client/models/decompose_request_src.py'
2023-08-29T15:20:05,712   adding 'imandra_http_api_client/models/decompose_result.py'
2023-08-29T15:20:05,715   adding 'imandra_http_api_client/models/eval_request_src.py'
2023-08-29T15:20:05,718   adding 'imandra_http_api_client/models/eval_response.py'
2023-08-29T15:20:05,721   adding 'imandra_http_api_client/models/hints.py'
2023-08-29T15:20:05,723   adding 'imandra_http_api_client/models/induct_functional_body.py'
2023-08-29T15:20:05,726   adding 'imandra_http_api_client/models/induct_structural_body.py'
2023-08-29T15:20:05,729   adding 'imandra_http_api_client/models/induct_structural_style.py'
2023-08-29T15:20:05,731   adding 'imandra_http_api_client/models/induct_type.py'
2023-08-29T15:20:05,734   adding 'imandra_http_api_client/models/instance_request_name.py'
2023-08-29T15:20:05,737   adding 'imandra_http_api_client/models/instance_request_src.py'
2023-08-29T15:20:05,740   adding 'imandra_http_api_client/models/instance_response.py'
2023-08-29T15:20:05,742   adding 'imandra_http_api_client/models/instance_result.py'
2023-08-29T15:20:05,745   adding 'imandra_http_api_client/models/instance_type.py'
2023-08-29T15:20:05,748   adding 'imandra_http_api_client/models/method.py'
2023-08-29T15:20:05,751   adding 'imandra_http_api_client/models/method_body.py'
2023-08-29T15:20:05,754   adding 'imandra_http_api_client/models/method_ext_solver_body.py'
2023-08-29T15:20:05,756   adding 'imandra_http_api_client/models/method_induct_body.py'
2023-08-29T15:20:05,759   adding 'imandra_http_api_client/models/method_induct_body_body.py'
2023-08-29T15:20:05,763   adding 'imandra_http_api_client/models/method_type.py'
2023-08-29T15:20:05,766   adding 'imandra_http_api_client/models/method_unroll_body.py'
2023-08-29T15:20:05,769   adding 'imandra_http_api_client/models/printer_details.py'
2023-08-29T15:20:05,771   adding 'imandra_http_api_client/models/response_error.py'
2023-08-29T15:20:05,774   adding 'imandra_http_api_client/models/response_instance.py'
2023-08-29T15:20:05,777   adding 'imandra_http_api_client/models/response_model.py'
2023-08-29T15:20:05,780   adding 'imandra_http_api_client/models/syntax.py'
2023-08-29T15:20:05,783   adding 'imandra_http_api_client/models/up_to_body.py'
2023-08-29T15:20:05,785   adding 'imandra_http_api_client/models/verify_request_name.py'
2023-08-29T15:20:05,788   adding 'imandra_http_api_client/models/verify_request_src.py'
2023-08-29T15:20:05,791   adding 'imandra_http_api_client/models/verify_response.py'
2023-08-29T15:20:05,794   adding 'imandra_http_api_client/models/verify_response_body.py'
2023-08-29T15:20:05,797   adding 'imandra_http_api_client/models/verify_result.py'
2023-08-29T15:20:05,800   adding 'imandra_http_api_client/models/with_instance_body.py'
2023-08-29T15:20:05,802   adding 'imandra_http_api_client/models/with_unknown_reason_body.py'
2023-08-29T15:20:05,807   adding 'imandra_http_api_client/test/__init__.py'
2023-08-29T15:20:05,810   adding 'imandra_http_api_client/test/test_decompose_region.py'
2023-08-29T15:20:05,813   adding 'imandra_http_api_client/test/test_decompose_request_src.py'
2023-08-29T15:20:05,815   adding 'imandra_http_api_client/test/test_decompose_result.py'
2023-08-29T15:20:05,818   adding 'imandra_http_api_client/test/test_default_api.py'
2023-08-29T15:20:05,821   adding 'imandra_http_api_client/test/test_eval_request_src.py'
2023-08-29T15:20:05,824   adding 'imandra_http_api_client/test/test_eval_response.py'
2023-08-29T15:20:05,826   adding 'imandra_http_api_client/test/test_hints.py'
2023-08-29T15:20:05,830   adding 'imandra_http_api_client/test/test_induct_functional_body.py'
2023-08-29T15:20:05,833   adding 'imandra_http_api_client/test/test_induct_structural_body.py'
2023-08-29T15:20:05,835   adding 'imandra_http_api_client/test/test_induct_structural_style.py'
2023-08-29T15:20:05,838   adding 'imandra_http_api_client/test/test_induct_type.py'
2023-08-29T15:20:05,840   adding 'imandra_http_api_client/test/test_instance_request_name.py'
2023-08-29T15:20:05,843   adding 'imandra_http_api_client/test/test_instance_request_src.py'
2023-08-29T15:20:05,846   adding 'imandra_http_api_client/test/test_instance_response.py'
2023-08-29T15:20:05,849   adding 'imandra_http_api_client/test/test_instance_result.py'
2023-08-29T15:20:05,851   adding 'imandra_http_api_client/test/test_instance_type.py'
2023-08-29T15:20:05,854   adding 'imandra_http_api_client/test/test_method.py'
2023-08-29T15:20:05,856   adding 'imandra_http_api_client/test/test_method_body.py'
2023-08-29T15:20:05,859   adding 'imandra_http_api_client/test/test_method_ext_solver_body.py'
2023-08-29T15:20:05,862   adding 'imandra_http_api_client/test/test_method_induct_body.py'
2023-08-29T15:20:05,865   adding 'imandra_http_api_client/test/test_method_induct_body_body.py'
2023-08-29T15:20:05,867   adding 'imandra_http_api_client/test/test_method_type.py'
2023-08-29T15:20:05,870   adding 'imandra_http_api_client/test/test_method_unroll_body.py'
2023-08-29T15:20:05,872   adding 'imandra_http_api_client/test/test_printer_details.py'
2023-08-29T15:20:05,875   adding 'imandra_http_api_client/test/test_response_error.py'
2023-08-29T15:20:05,878   adding 'imandra_http_api_client/test/test_response_instance.py'
2023-08-29T15:20:05,880   adding 'imandra_http_api_client/test/test_response_model.py'
2023-08-29T15:20:05,883   adding 'imandra_http_api_client/test/test_syntax.py'
2023-08-29T15:20:05,885   adding 'imandra_http_api_client/test/test_up_to_body.py'
2023-08-29T15:20:05,888   adding 'imandra_http_api_client/test/test_verify_request_name.py'
2023-08-29T15:20:05,891   adding 'imandra_http_api_client/test/test_verify_request_src.py'
2023-08-29T15:20:05,894   adding 'imandra_http_api_client/test/test_verify_response.py'
2023-08-29T15:20:05,898   adding 'imandra_http_api_client/test/test_verify_response_body.py'
2023-08-29T15:20:05,900   adding 'imandra_http_api_client/test/test_verify_result.py'
2023-08-29T15:20:05,903   adding 'imandra_http_api_client/test/test_with_instance_body.py'
2023-08-29T15:20:05,906   adding 'imandra_http_api_client/test/test_with_unknown_reason_body.py'
2023-08-29T15:20:05,909   adding 'imandra-1.0.3.dist-info/METADATA'
2023-08-29T15:20:05,911   adding 'imandra-1.0.3.dist-info/WHEEL'
2023-08-29T15:20:05,913   adding 'imandra-1.0.3.dist-info/entry_points.txt'
2023-08-29T15:20:05,915   adding 'imandra-1.0.3.dist-info/top_level.txt'
2023-08-29T15:20:05,919   adding 'imandra-1.0.3.dist-info/RECORD'
2023-08-29T15:20:05,929   removing build/bdist.linux-armv7l/wheel
2023-08-29T15:20:05,975   /tmp/pip-build-env-dsewpf7l/overlay/lib/python3.7/site-packages/setuptools/config/pyprojecttoml.py:66: _BetaConfiguration: Support for `[tool.setuptools]` in `pyproject.toml` is still *beta*.
2023-08-29T15:20:05,976     config = read_configuration(filepath, True, ignore_option_errors, dist)
2023-08-29T15:20:06,157   Building wheel for imandra (pyproject.toml): finished with status 'done'
2023-08-29T15:20:06,175   Created wheel for imandra: filename=imandra-1.0.3-py3-none-any.whl size=104860 sha256=e9b4035fbd47515f0f467c287eaebc32d9a7ed4dfd7b05483fe075bf4314bc92
2023-08-29T15:20:06,177   Stored in directory: /tmp/pip-ephem-wheel-cache-qdbqn3p0/wheels/b7/fe/ee/dda6e1f54a746790c809ce8c2df70f66a207925b7a8058dab2
2023-08-29T15:20:06,211 Successfully built imandra
2023-08-29T15:20:06,225 Removed build tracker: '/tmp/pip-build-tracker-jps1dmzo'