2023-09-01T14:14:27,697 Created temporary directory: /tmp/pip-build-tracker-1zdiecb_
2023-09-01T14:14:27,700 Initialized build tracking at /tmp/pip-build-tracker-1zdiecb_
2023-09-01T14:14:27,701 Created build tracker: /tmp/pip-build-tracker-1zdiecb_
2023-09-01T14:14:27,701 Entered build tracker: /tmp/pip-build-tracker-1zdiecb_
2023-09-01T14:14:27,702 Created temporary directory: /tmp/pip-wheel-nlmxle0l
2023-09-01T14:14:27,711 Created temporary directory: /tmp/pip-ephem-wheel-cache-8o_nzo7n
2023-09-01T14:14:27,768 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple
2023-09-01T14:14:27,776 2 location(s) to search for versions of imandra:
2023-09-01T14:14:27,776 * https://pypi.org/simple/imandra/
2023-09-01T14:14:27,776 * https://www.piwheels.org/simple/imandra/
2023-09-01T14:14:27,777 Fetching project page and analyzing links: https://pypi.org/simple/imandra/
2023-09-01T14:14:27,779 Getting page https://pypi.org/simple/imandra/
2023-09-01T14:14:27,782 Found index url https://pypi.org/simple/
2023-09-01T14:14:28,195 Fetched page https://pypi.org/simple/imandra/ as application/vnd.pypi.simple.v1+json
2023-09-01T14:14:28,209   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-09-01T14:14:28,210   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-09-01T14:14:28,210   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-09-01T14:14:28,211   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-09-01T14:14:28,212   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-09-01T14:14:28,212   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-09-01T14:14:28,213   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-09-01T14:14:28,213   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-09-01T14:14:28,214   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-09-01T14:14:28,215   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-09-01T14:14:28,215   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-09-01T14:14:28,216   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-09-01T14:14:28,217   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-09-01T14:14:28,217   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-09-01T14:14:28,218   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-09-01T14:14:28,218   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-09-01T14:14:28,219   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-09-01T14:14:28,220   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-09-01T14:14:28,220   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-09-01T14:14:28,221   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-09-01T14:14:28,222   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-09-01T14:14:28,222   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-09-01T14:14:28,223   Skipping link: No binaries permitted for imandra: https://files.pythonhosted.org/packages/c2/3f/2550a5622ef54c52295210102f4606dd6d4c84e3e3f4e846b50af6b1607d/imandra-1.0.4-py3-none-any.whl (from https://pypi.org/simple/imandra/)
2023-09-01T14:14:28,223   Found link https://files.pythonhosted.org/packages/f4/2c/472633ca12034c24fd6c6ac0bc219ed74b5a0c07e7a585cfe58df4d6041e/imandra-1.0.4.tar.gz (from https://pypi.org/simple/imandra/), version: 1.0.4
2023-09-01T14:14:28,224 Fetching project page and analyzing links: https://www.piwheels.org/simple/imandra/
2023-09-01T14:14:28,225 Getting page https://www.piwheels.org/simple/imandra/
2023-09-01T14:14:28,227 Found index url https://www.piwheels.org/simple/
2023-09-01T14:14:28,441 Fetched page https://www.piwheels.org/simple/imandra/ as text/html
2023-09-01T14:14:28,450   Skipping link: No binaries permitted for imandra: https://www.piwheels.org/simple/imandra/imandra-1.0.3-py3-none-any.whl#sha256=e9b4035fbd47515f0f467c287eaebc32d9a7ed4dfd7b05483fe075bf4314bc92 (from https://www.piwheels.org/simple/imandra/)
2023-09-01T14:14:28,451   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-09-01T14:14:28,451   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-09-01T14:14:28,452   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-09-01T14:14:28,453   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-09-01T14:14:28,453   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-09-01T14:14:28,454   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-09-01T14:14:28,454   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-09-01T14:14:28,455   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-09-01T14:14:28,455   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-09-01T14:14:28,456   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-09-01T14:14:28,456 Skipping link: not a file: https://www.piwheels.org/simple/imandra/
2023-09-01T14:14:28,457 Skipping link: not a file: https://pypi.org/simple/imandra/
2023-09-01T14:14:28,493 Given no hashes to check 1 links for project 'imandra': discarding no candidates
2023-09-01T14:14:28,525 Collecting imandra==1.0.4
2023-09-01T14:14:28,529   Created temporary directory: /tmp/pip-unpack-sqh3h1rl
2023-09-01T14:14:29,009   Downloading imandra-1.0.4.tar.gz (47 kB)
2023-09-01T14:14:29,470   Added imandra==1.0.4 from https://files.pythonhosted.org/packages/f4/2c/472633ca12034c24fd6c6ac0bc219ed74b5a0c07e7a585cfe58df4d6041e/imandra-1.0.4.tar.gz to build tracker '/tmp/pip-build-tracker-1zdiecb_'
2023-09-01T14:14:29,480   Created temporary directory: /tmp/pip-build-env-al68u7js
2023-09-01T14:14:29,502   Installing build dependencies: started
2023-09-01T14:14:29,504   Running command pip subprocess to install build dependencies
2023-09-01T14:14:32,277   Using pip 23.1.2 from /home/piwheels/.local/lib/python3.7/site-packages/pip (python 3.7)
2023-09-01T14:14:33,267   Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple
2023-09-01T14:14:35,164     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-09-01T14:14:35,167     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-09-01T14:14:35,170     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-09-01T14:14:35,173     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-09-01T14:14:35,796     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-09-01T14:14:35,800     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-09-01T14:14:37,149   Collecting setuptools>=61.0.0
2023-09-01T14:14:37,340     Using cached https://www.piwheels.org/simple/setuptools/setuptools-68.0.0-py3-none-any.whl (804 kB)
2023-09-01T14:14:37,966   Collecting wheel
2023-09-01T14:14:38,002     Using cached https://www.piwheels.org/simple/wheel/wheel-0.41.2-py3-none-any.whl (64 kB)
2023-09-01T14:14:44,869   Installing collected packages: wheel, setuptools
2023-09-01T14:14:45,330     Creating /tmp/pip-build-env-al68u7js/overlay/bin
2023-09-01T14:14:45,334     changing mode of /tmp/pip-build-env-al68u7js/overlay/bin/wheel to 755
2023-09-01T14:14:49,484   Successfully installed setuptools-68.0.0 wheel-0.41.2

2023-09-01T14:14:49,523   [notice] A new release of pip is available: 23.1.2 -> 23.2.1
2023-09-01T14:14:49,524   [notice] To update, run: python3 -m pip install --upgrade pip
2023-09-01T14:14:49,980   Installing build dependencies: finished with status 'done'
2023-09-01T14:14:49,992   Getting requirements to build wheel: started
2023-09-01T14:14:49,994   Running command Getting requirements to build wheel
2023-09-01T14:14:51,976   running egg_info
2023-09-01T14:14:51,986   writing src/imandra.egg-info/PKG-INFO
2023-09-01T14:14:51,990   writing dependency_links to src/imandra.egg-info/dependency_links.txt
2023-09-01T14:14:51,994   writing entry points to src/imandra.egg-info/entry_points.txt
2023-09-01T14:14:51,997   writing requirements to src/imandra.egg-info/requires.txt
2023-09-01T14:14:52,000   writing top-level names to src/imandra.egg-info/top_level.txt
2023-09-01T14:14:52,053   reading manifest file 'src/imandra.egg-info/SOURCES.txt'
2023-09-01T14:14:52,079   writing manifest file 'src/imandra.egg-info/SOURCES.txt'
2023-09-01T14:14:52,083   /tmp/pip-build-env-al68u7js/overlay/lib/python3.7/site-packages/setuptools/config/pyprojecttoml.py:66: _BetaConfiguration: Support for `[tool.setuptools]` in `pyproject.toml` is still *beta*.
2023-09-01T14:14:52,084     config = read_configuration(filepath, True, ignore_option_errors, dist)
2023-09-01T14:14:52,257   Getting requirements to build wheel: finished with status 'done'
2023-09-01T14:14:52,277   Created temporary directory: /tmp/pip-modern-metadata-cd2zp0yb
2023-09-01T14:14:52,283   Preparing metadata (pyproject.toml): started
2023-09-01T14:14:52,285   Running command Preparing metadata (pyproject.toml)
2023-09-01T14:14:54,124   running dist_info
2023-09-01T14:14:54,140   creating /tmp/pip-modern-metadata-cd2zp0yb/imandra.egg-info
2023-09-01T14:14:54,150   writing /tmp/pip-modern-metadata-cd2zp0yb/imandra.egg-info/PKG-INFO
2023-09-01T14:14:54,155   writing dependency_links to /tmp/pip-modern-metadata-cd2zp0yb/imandra.egg-info/dependency_links.txt
2023-09-01T14:14:54,158   writing entry points to /tmp/pip-modern-metadata-cd2zp0yb/imandra.egg-info/entry_points.txt
2023-09-01T14:14:54,161   writing requirements to /tmp/pip-modern-metadata-cd2zp0yb/imandra.egg-info/requires.txt
2023-09-01T14:14:54,164   writing top-level names to /tmp/pip-modern-metadata-cd2zp0yb/imandra.egg-info/top_level.txt
2023-09-01T14:14:54,166   writing manifest file '/tmp/pip-modern-metadata-cd2zp0yb/imandra.egg-info/SOURCES.txt'
2023-09-01T14:14:54,216   reading manifest file '/tmp/pip-modern-metadata-cd2zp0yb/imandra.egg-info/SOURCES.txt'
2023-09-01T14:14:54,234   writing manifest file '/tmp/pip-modern-metadata-cd2zp0yb/imandra.egg-info/SOURCES.txt'
2023-09-01T14:14:54,236   creating '/tmp/pip-modern-metadata-cd2zp0yb/imandra-1.0.4.dist-info'
2023-09-01T14:14:54,313   /tmp/pip-build-env-al68u7js/overlay/lib/python3.7/site-packages/setuptools/config/pyprojecttoml.py:66: _BetaConfiguration: Support for `[tool.setuptools]` in `pyproject.toml` is still *beta*.
2023-09-01T14:14:54,314     config = read_configuration(filepath, True, ignore_option_errors, dist)
2023-09-01T14:14:54,490   Preparing metadata (pyproject.toml): finished with status 'done'
2023-09-01T14:14:54,505   Source in /tmp/pip-wheel-nlmxle0l/imandra_03073b0fefd1481fb0166838af84492c has version 1.0.4, which satisfies requirement imandra==1.0.4 from https://files.pythonhosted.org/packages/f4/2c/472633ca12034c24fd6c6ac0bc219ed74b5a0c07e7a585cfe58df4d6041e/imandra-1.0.4.tar.gz
2023-09-01T14:14:54,507   Removed imandra==1.0.4 from https://files.pythonhosted.org/packages/f4/2c/472633ca12034c24fd6c6ac0bc219ed74b5a0c07e7a585cfe58df4d6041e/imandra-1.0.4.tar.gz from build tracker '/tmp/pip-build-tracker-1zdiecb_'
2023-09-01T14:14:54,518 Created temporary directory: /tmp/pip-unpack-5f74ecxm
2023-09-01T14:14:54,519 Building wheels for collected packages: imandra
2023-09-01T14:14:54,528   Created temporary directory: /tmp/pip-wheel-sxh_uaqp
2023-09-01T14:14:54,528   Destination directory: /tmp/pip-wheel-sxh_uaqp
2023-09-01T14:14:54,533   Building wheel for imandra (pyproject.toml): started
2023-09-01T14:14:54,536   Running command Building wheel for imandra (pyproject.toml)
2023-09-01T14:14:56,530   running bdist_wheel
2023-09-01T14:14:56,577   running build
2023-09-01T14:14:56,577   running build_py
2023-09-01T14:14:56,589   creating build
2023-09-01T14:14:56,590   creating build/lib
2023-09-01T14:14:56,592   creating build/lib/imandra_http_api_client
2023-09-01T14:14:56,594   copying src/imandra_http_api_client/rest.py -> build/lib/imandra_http_api_client
2023-09-01T14:14:56,599   copying src/imandra_http_api_client/configuration.py -> build/lib/imandra_http_api_client
2023-09-01T14:14:56,603   copying src/imandra_http_api_client/__init__.py -> build/lib/imandra_http_api_client
2023-09-01T14:14:56,607   copying src/imandra_http_api_client/api_response.py -> build/lib/imandra_http_api_client
2023-09-01T14:14:56,610   copying src/imandra_http_api_client/api_client.py -> build/lib/imandra_http_api_client
2023-09-01T14:14:56,616   copying src/imandra_http_api_client/exceptions.py -> build/lib/imandra_http_api_client
2023-09-01T14:14:56,622   creating build/lib/imandra
2023-09-01T14:14:56,624   copying src/imandra/cfb.py -> build/lib/imandra
2023-09-01T14:14:56,627   copying src/imandra/__init__.py -> build/lib/imandra
2023-09-01T14:14:56,632   copying src/imandra/ipl.py -> build/lib/imandra
2023-09-01T14:14:56,636   copying src/imandra/rule_synth.py -> build/lib/imandra
2023-09-01T14:14:56,639   copying src/imandra/instance.py -> build/lib/imandra
2023-09-01T14:14:56,642   copying src/imandra/session.py -> build/lib/imandra
2023-09-01T14:14:56,646   copying src/imandra/auth.py -> build/lib/imandra
2023-09-01T14:14:56,650   copying src/imandra/core.py -> build/lib/imandra
2023-09-01T14:14:56,659   creating build/lib/imandra_http_api_client/test
2023-09-01T14:14:56,661   copying src/imandra_http_api_client/test/test_instance_request_name.py -> build/lib/imandra_http_api_client/test
2023-09-01T14:14:56,665   copying src/imandra_http_api_client/test/test_verify_request_name.py -> build/lib/imandra_http_api_client/test
2023-09-01T14:14:56,668   copying src/imandra_http_api_client/test/test_hints.py -> build/lib/imandra_http_api_client/test
2023-09-01T14:14:56,672   copying src/imandra_http_api_client/test/test_method_induct_body.py -> build/lib/imandra_http_api_client/test
2023-09-01T14:14:56,675   copying src/imandra_http_api_client/test/test_decompose_request_src.py -> build/lib/imandra_http_api_client/test
2023-09-01T14:14:56,678   copying src/imandra_http_api_client/test/test_verify_request_src.py -> build/lib/imandra_http_api_client/test
2023-09-01T14:14:56,682   copying src/imandra_http_api_client/test/test_instance_request_src.py -> build/lib/imandra_http_api_client/test
2023-09-01T14:14:56,685   copying src/imandra_http_api_client/test/test_syntax.py -> build/lib/imandra_http_api_client/test
2023-09-01T14:14:56,689   copying src/imandra_http_api_client/test/test_eval_response.py -> build/lib/imandra_http_api_client/test
2023-09-01T14:14:56,692   copying src/imandra_http_api_client/test/test_verify_response_body.py -> build/lib/imandra_http_api_client/test
2023-09-01T14:14:56,696   copying src/imandra_http_api_client/test/__init__.py -> build/lib/imandra_http_api_client/test
2023-09-01T14:14:56,699   copying src/imandra_http_api_client/test/test_response_model.py -> build/lib/imandra_http_api_client/test
2023-09-01T14:14:56,702   copying src/imandra_http_api_client/test/test_method_type.py -> build/lib/imandra_http_api_client/test
2023-09-01T14:14:56,706   copying src/imandra_http_api_client/test/test_decompose_region.py -> build/lib/imandra_http_api_client/test
2023-09-01T14:14:56,709   copying src/imandra_http_api_client/test/test_induct_structural_style.py -> build/lib/imandra_http_api_client/test
2023-09-01T14:14:56,713   copying src/imandra_http_api_client/test/test_method.py -> build/lib/imandra_http_api_client/test
2023-09-01T14:14:56,716   copying src/imandra_http_api_client/test/test_printer_details.py -> build/lib/imandra_http_api_client/test
2023-09-01T14:14:56,719   copying src/imandra_http_api_client/test/test_default_api.py -> build/lib/imandra_http_api_client/test
2023-09-01T14:14:56,723   copying src/imandra_http_api_client/test/test_response_instance.py -> build/lib/imandra_http_api_client/test
2023-09-01T14:14:56,727   copying src/imandra_http_api_client/test/test_induct_structural_body.py -> build/lib/imandra_http_api_client/test
2023-09-01T14:14:56,730   copying src/imandra_http_api_client/test/test_up_to_body.py -> build/lib/imandra_http_api_client/test
2023-09-01T14:14:56,733   copying src/imandra_http_api_client/test/test_method_induct_body_body.py -> build/lib/imandra_http_api_client/test
2023-09-01T14:14:56,737   copying src/imandra_http_api_client/test/test_instance_type.py -> build/lib/imandra_http_api_client/test
2023-09-01T14:14:56,740   copying src/imandra_http_api_client/test/test_with_instance_body.py -> build/lib/imandra_http_api_client/test
2023-09-01T14:14:56,744   copying src/imandra_http_api_client/test/test_decompose_result.py -> build/lib/imandra_http_api_client/test
2023-09-01T14:14:56,747   copying src/imandra_http_api_client/test/test_induct_functional_body.py -> build/lib/imandra_http_api_client/test
2023-09-01T14:14:56,750   copying src/imandra_http_api_client/test/test_instance_result.py -> build/lib/imandra_http_api_client/test
2023-09-01T14:14:56,754   copying src/imandra_http_api_client/test/test_method_unroll_body.py -> build/lib/imandra_http_api_client/test
2023-09-01T14:14:56,758   copying src/imandra_http_api_client/test/test_instance_response.py -> build/lib/imandra_http_api_client/test
2023-09-01T14:14:56,762   copying src/imandra_http_api_client/test/test_eval_request_src.py -> build/lib/imandra_http_api_client/test
2023-09-01T14:14:56,766   copying src/imandra_http_api_client/test/test_verify_response.py -> build/lib/imandra_http_api_client/test
2023-09-01T14:14:56,770   copying src/imandra_http_api_client/test/test_method_ext_solver_body.py -> build/lib/imandra_http_api_client/test
2023-09-01T14:14:56,774   copying src/imandra_http_api_client/test/test_method_body.py -> build/lib/imandra_http_api_client/test
2023-09-01T14:14:56,778   copying src/imandra_http_api_client/test/test_verify_result.py -> build/lib/imandra_http_api_client/test
2023-09-01T14:14:56,782   copying src/imandra_http_api_client/test/test_with_unknown_reason_body.py -> build/lib/imandra_http_api_client/test
2023-09-01T14:14:56,786   copying src/imandra_http_api_client/test/test_induct_type.py -> build/lib/imandra_http_api_client/test
2023-09-01T14:14:56,790   copying src/imandra_http_api_client/test/test_response_error.py -> build/lib/imandra_http_api_client/test
2023-09-01T14:14:56,799   creating build/lib/imandra_http_api_client/models
2023-09-01T14:14:56,802   copying src/imandra_http_api_client/models/instance_request_name.py -> build/lib/imandra_http_api_client/models
2023-09-01T14:14:56,806   copying src/imandra_http_api_client/models/induct_functional_body.py -> build/lib/imandra_http_api_client/models
2023-09-01T14:14:56,810   copying src/imandra_http_api_client/models/verify_response.py -> build/lib/imandra_http_api_client/models
2023-09-01T14:14:56,815   copying src/imandra_http_api_client/models/instance_type.py -> build/lib/imandra_http_api_client/models
2023-09-01T14:14:56,819   copying src/imandra_http_api_client/models/method.py -> build/lib/imandra_http_api_client/models
2023-09-01T14:14:56,823   copying src/imandra_http_api_client/models/method_ext_solver_body.py -> build/lib/imandra_http_api_client/models
2023-09-01T14:14:56,827   copying src/imandra_http_api_client/models/method_induct_body_body.py -> build/lib/imandra_http_api_client/models
2023-09-01T14:14:56,832   copying src/imandra_http_api_client/models/syntax.py -> build/lib/imandra_http_api_client/models
2023-09-01T14:14:56,836   copying src/imandra_http_api_client/models/__init__.py -> build/lib/imandra_http_api_client/models
2023-09-01T14:14:56,840   copying src/imandra_http_api_client/models/instance_request_src.py -> build/lib/imandra_http_api_client/models
2023-09-01T14:14:56,844   copying src/imandra_http_api_client/models/verify_result.py -> build/lib/imandra_http_api_client/models
2023-09-01T14:14:56,848   copying src/imandra_http_api_client/models/decompose_result.py -> build/lib/imandra_http_api_client/models
2023-09-01T14:14:56,852   copying src/imandra_http_api_client/models/up_to_body.py -> build/lib/imandra_http_api_client/models
2023-09-01T14:14:56,856   copying src/imandra_http_api_client/models/method_body.py -> build/lib/imandra_http_api_client/models
2023-09-01T14:14:56,861   copying src/imandra_http_api_client/models/response_model.py -> build/lib/imandra_http_api_client/models
2023-09-01T14:14:56,865   copying src/imandra_http_api_client/models/eval_response.py -> build/lib/imandra_http_api_client/models
2023-09-01T14:14:56,869   copying src/imandra_http_api_client/models/printer_details.py -> build/lib/imandra_http_api_client/models
2023-09-01T14:14:56,873   copying src/imandra_http_api_client/models/with_instance_body.py -> build/lib/imandra_http_api_client/models
2023-09-01T14:14:56,877   copying src/imandra_http_api_client/models/response_instance.py -> build/lib/imandra_http_api_client/models
2023-09-01T14:14:56,881   copying src/imandra_http_api_client/models/instance_result.py -> build/lib/imandra_http_api_client/models
2023-09-01T14:14:56,885   copying src/imandra_http_api_client/models/verify_response_body.py -> build/lib/imandra_http_api_client/models
2023-09-01T14:14:56,890   copying src/imandra_http_api_client/models/induct_structural_body.py -> build/lib/imandra_http_api_client/models
2023-09-01T14:14:56,895   copying src/imandra_http_api_client/models/response_error.py -> build/lib/imandra_http_api_client/models
2023-09-01T14:14:56,899   copying src/imandra_http_api_client/models/decompose_request_src.py -> build/lib/imandra_http_api_client/models
2023-09-01T14:14:56,903   copying src/imandra_http_api_client/models/verify_request_name.py -> build/lib/imandra_http_api_client/models
2023-09-01T14:14:56,908   copying src/imandra_http_api_client/models/instance_response.py -> build/lib/imandra_http_api_client/models
2023-09-01T14:14:56,912   copying src/imandra_http_api_client/models/method_unroll_body.py -> build/lib/imandra_http_api_client/models
2023-09-01T14:14:56,916   copying src/imandra_http_api_client/models/decompose_region.py -> build/lib/imandra_http_api_client/models
2023-09-01T14:14:56,920   copying src/imandra_http_api_client/models/verify_request_src.py -> build/lib/imandra_http_api_client/models
2023-09-01T14:14:56,925   copying src/imandra_http_api_client/models/method_type.py -> build/lib/imandra_http_api_client/models
2023-09-01T14:14:56,928   copying src/imandra_http_api_client/models/with_unknown_reason_body.py -> build/lib/imandra_http_api_client/models
2023-09-01T14:14:56,932   copying src/imandra_http_api_client/models/method_induct_body.py -> build/lib/imandra_http_api_client/models
2023-09-01T14:14:56,936   copying src/imandra_http_api_client/models/induct_type.py -> build/lib/imandra_http_api_client/models
2023-09-01T14:14:56,939   copying src/imandra_http_api_client/models/hints.py -> build/lib/imandra_http_api_client/models
2023-09-01T14:14:56,943   copying src/imandra_http_api_client/models/eval_request_src.py -> build/lib/imandra_http_api_client/models
2023-09-01T14:14:56,947   copying src/imandra_http_api_client/models/induct_structural_style.py -> build/lib/imandra_http_api_client/models
2023-09-01T14:14:56,952   creating build/lib/imandra_http_api_client/api
2023-09-01T14:14:56,954   copying src/imandra_http_api_client/api/__init__.py -> build/lib/imandra_http_api_client/api
2023-09-01T14:14:56,957   copying src/imandra_http_api_client/api/default_api.py -> build/lib/imandra_http_api_client/api
2023-09-01T14:14:56,965   running egg_info
2023-09-01T14:14:56,974   writing src/imandra.egg-info/PKG-INFO
2023-09-01T14:14:56,978   writing dependency_links to src/imandra.egg-info/dependency_links.txt
2023-09-01T14:14:56,982   writing entry points to src/imandra.egg-info/entry_points.txt
2023-09-01T14:14:56,985   writing requirements to src/imandra.egg-info/requires.txt
2023-09-01T14:14:56,987   writing top-level names to src/imandra.egg-info/top_level.txt
2023-09-01T14:14:57,021   reading manifest file 'src/imandra.egg-info/SOURCES.txt'
2023-09-01T14:14:57,047   writing manifest file 'src/imandra.egg-info/SOURCES.txt'
2023-09-01T14:14:57,089   installing to build/bdist.linux-armv7l/wheel
2023-09-01T14:14:57,089   running install
2023-09-01T14:14:57,150   running install_lib
2023-09-01T14:14:57,165   creating build/bdist.linux-armv7l
2023-09-01T14:14:57,166   creating build/bdist.linux-armv7l/wheel
2023-09-01T14:14:57,170   creating build/bdist.linux-armv7l/wheel/imandra_http_api_client
2023-09-01T14:14:57,172   copying build/lib/imandra_http_api_client/rest.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client
2023-09-01T14:14:57,180   creating build/bdist.linux-armv7l/wheel/imandra_http_api_client/test
2023-09-01T14:14:57,182   copying build/lib/imandra_http_api_client/test/test_instance_request_name.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/test
2023-09-01T14:14:57,187   copying build/lib/imandra_http_api_client/test/test_verify_request_name.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/test
2023-09-01T14:14:57,191   copying build/lib/imandra_http_api_client/test/test_hints.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/test
2023-09-01T14:14:57,196   copying build/lib/imandra_http_api_client/test/test_method_induct_body.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/test
2023-09-01T14:14:57,200   copying build/lib/imandra_http_api_client/test/test_decompose_request_src.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/test
2023-09-01T14:14:57,206   copying build/lib/imandra_http_api_client/test/test_verify_request_src.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/test
2023-09-01T14:14:57,210   copying build/lib/imandra_http_api_client/test/test_instance_request_src.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/test
2023-09-01T14:14:57,215   copying build/lib/imandra_http_api_client/test/test_syntax.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/test
2023-09-01T14:14:57,219   copying build/lib/imandra_http_api_client/test/test_eval_response.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/test
2023-09-01T14:14:57,223   copying build/lib/imandra_http_api_client/test/test_verify_response_body.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/test
2023-09-01T14:14:57,227   copying build/lib/imandra_http_api_client/test/__init__.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/test
2023-09-01T14:14:57,231   copying build/lib/imandra_http_api_client/test/test_response_model.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/test
2023-09-01T14:14:57,234   copying build/lib/imandra_http_api_client/test/test_method_type.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/test
2023-09-01T14:14:57,238   copying build/lib/imandra_http_api_client/test/test_decompose_region.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/test
2023-09-01T14:14:57,243   copying build/lib/imandra_http_api_client/test/test_induct_structural_style.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/test
2023-09-01T14:14:57,246   copying build/lib/imandra_http_api_client/test/test_method.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/test
2023-09-01T14:14:57,250   copying build/lib/imandra_http_api_client/test/test_printer_details.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/test
2023-09-01T14:14:57,255   copying build/lib/imandra_http_api_client/test/test_default_api.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/test
2023-09-01T14:14:57,258   copying build/lib/imandra_http_api_client/test/test_response_instance.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/test
2023-09-01T14:14:57,262   copying build/lib/imandra_http_api_client/test/test_induct_structural_body.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/test
2023-09-01T14:14:57,266   copying build/lib/imandra_http_api_client/test/test_up_to_body.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/test
2023-09-01T14:14:57,269   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-09-01T14:14:57,273   copying build/lib/imandra_http_api_client/test/test_instance_type.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/test
2023-09-01T14:14:57,276   copying build/lib/imandra_http_api_client/test/test_with_instance_body.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/test
2023-09-01T14:14:57,280   copying build/lib/imandra_http_api_client/test/test_decompose_result.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/test
2023-09-01T14:14:57,284   copying build/lib/imandra_http_api_client/test/test_induct_functional_body.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/test
2023-09-01T14:14:57,288   copying build/lib/imandra_http_api_client/test/test_instance_result.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/test
2023-09-01T14:14:57,291   copying build/lib/imandra_http_api_client/test/test_method_unroll_body.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/test
2023-09-01T14:14:57,295   copying build/lib/imandra_http_api_client/test/test_instance_response.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/test
2023-09-01T14:14:57,299   copying build/lib/imandra_http_api_client/test/test_eval_request_src.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/test
2023-09-01T14:14:57,302   copying build/lib/imandra_http_api_client/test/test_verify_response.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/test
2023-09-01T14:14:57,306   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-09-01T14:14:57,309   copying build/lib/imandra_http_api_client/test/test_method_body.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/test
2023-09-01T14:14:57,313   copying build/lib/imandra_http_api_client/test/test_verify_result.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/test
2023-09-01T14:14:57,317   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-09-01T14:14:57,320   copying build/lib/imandra_http_api_client/test/test_induct_type.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/test
2023-09-01T14:14:57,324   copying build/lib/imandra_http_api_client/test/test_response_error.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/test
2023-09-01T14:14:57,327   copying build/lib/imandra_http_api_client/configuration.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client
2023-09-01T14:14:57,332   copying build/lib/imandra_http_api_client/__init__.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client
2023-09-01T14:14:57,336   copying build/lib/imandra_http_api_client/api_response.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client
2023-09-01T14:14:57,341   creating build/bdist.linux-armv7l/wheel/imandra_http_api_client/models
2023-09-01T14:14:57,343   copying build/lib/imandra_http_api_client/models/instance_request_name.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/models
2023-09-01T14:14:57,347   copying build/lib/imandra_http_api_client/models/induct_functional_body.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/models
2023-09-01T14:14:57,350   copying build/lib/imandra_http_api_client/models/verify_response.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/models
2023-09-01T14:14:57,354   copying build/lib/imandra_http_api_client/models/instance_type.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/models
2023-09-01T14:14:57,358   copying build/lib/imandra_http_api_client/models/method.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/models
2023-09-01T14:14:57,361   copying build/lib/imandra_http_api_client/models/method_ext_solver_body.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/models
2023-09-01T14:14:57,365   copying build/lib/imandra_http_api_client/models/method_induct_body_body.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/models
2023-09-01T14:14:57,369   copying build/lib/imandra_http_api_client/models/syntax.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/models
2023-09-01T14:14:57,373   copying build/lib/imandra_http_api_client/models/__init__.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/models
2023-09-01T14:14:57,377   copying build/lib/imandra_http_api_client/models/instance_request_src.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/models
2023-09-01T14:14:57,381   copying build/lib/imandra_http_api_client/models/verify_result.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/models
2023-09-01T14:14:57,384   copying build/lib/imandra_http_api_client/models/decompose_result.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/models
2023-09-01T14:14:57,388   copying build/lib/imandra_http_api_client/models/up_to_body.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/models
2023-09-01T14:14:57,391   copying build/lib/imandra_http_api_client/models/method_body.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/models
2023-09-01T14:14:57,396   copying build/lib/imandra_http_api_client/models/response_model.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/models
2023-09-01T14:14:57,399   copying build/lib/imandra_http_api_client/models/eval_response.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/models
2023-09-01T14:14:57,403   copying build/lib/imandra_http_api_client/models/printer_details.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/models
2023-09-01T14:14:57,407   copying build/lib/imandra_http_api_client/models/with_instance_body.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/models
2023-09-01T14:14:57,410   copying build/lib/imandra_http_api_client/models/response_instance.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/models
2023-09-01T14:14:57,414   copying build/lib/imandra_http_api_client/models/instance_result.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/models
2023-09-01T14:14:57,417   copying build/lib/imandra_http_api_client/models/verify_response_body.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/models
2023-09-01T14:14:57,422   copying build/lib/imandra_http_api_client/models/induct_structural_body.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/models
2023-09-01T14:14:57,425   copying build/lib/imandra_http_api_client/models/response_error.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/models
2023-09-01T14:14:57,429   copying build/lib/imandra_http_api_client/models/decompose_request_src.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/models
2023-09-01T14:14:57,433   copying build/lib/imandra_http_api_client/models/verify_request_name.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/models
2023-09-01T14:14:57,436   copying build/lib/imandra_http_api_client/models/instance_response.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/models
2023-09-01T14:14:57,440   copying build/lib/imandra_http_api_client/models/method_unroll_body.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/models
2023-09-01T14:14:57,443   copying build/lib/imandra_http_api_client/models/decompose_region.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/models
2023-09-01T14:14:57,446   copying build/lib/imandra_http_api_client/models/verify_request_src.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/models
2023-09-01T14:14:57,450   copying build/lib/imandra_http_api_client/models/method_type.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/models
2023-09-01T14:14:57,454   copying build/lib/imandra_http_api_client/models/with_unknown_reason_body.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/models
2023-09-01T14:14:57,457   copying build/lib/imandra_http_api_client/models/method_induct_body.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/models
2023-09-01T14:14:57,461   copying build/lib/imandra_http_api_client/models/induct_type.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/models
2023-09-01T14:14:57,464   copying build/lib/imandra_http_api_client/models/hints.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/models
2023-09-01T14:14:57,468   copying build/lib/imandra_http_api_client/models/eval_request_src.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/models
2023-09-01T14:14:57,471   copying build/lib/imandra_http_api_client/models/induct_structural_style.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/models
2023-09-01T14:14:57,475   copying build/lib/imandra_http_api_client/api_client.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client
2023-09-01T14:14:57,482   copying build/lib/imandra_http_api_client/exceptions.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client
2023-09-01T14:14:57,488   creating build/bdist.linux-armv7l/wheel/imandra_http_api_client/api
2023-09-01T14:14:57,490   copying build/lib/imandra_http_api_client/api/__init__.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/api
2023-09-01T14:14:57,493   copying build/lib/imandra_http_api_client/api/default_api.py -> build/bdist.linux-armv7l/wheel/imandra_http_api_client/api
2023-09-01T14:14:57,502   creating build/bdist.linux-armv7l/wheel/imandra
2023-09-01T14:14:57,504   copying build/lib/imandra/cfb.py -> build/bdist.linux-armv7l/wheel/imandra
2023-09-01T14:14:57,508   copying build/lib/imandra/__init__.py -> build/bdist.linux-armv7l/wheel/imandra
2023-09-01T14:14:57,512   copying build/lib/imandra/ipl.py -> build/bdist.linux-armv7l/wheel/imandra
2023-09-01T14:14:57,516   copying build/lib/imandra/rule_synth.py -> build/bdist.linux-armv7l/wheel/imandra
2023-09-01T14:14:57,520   copying build/lib/imandra/instance.py -> build/bdist.linux-armv7l/wheel/imandra
2023-09-01T14:14:57,523   copying build/lib/imandra/session.py -> build/bdist.linux-armv7l/wheel/imandra
2023-09-01T14:14:57,527   copying build/lib/imandra/auth.py -> build/bdist.linux-armv7l/wheel/imandra
2023-09-01T14:14:57,531   copying build/lib/imandra/core.py -> build/bdist.linux-armv7l/wheel/imandra
2023-09-01T14:14:57,534   running install_egg_info
2023-09-01T14:14:57,544   Copying src/imandra.egg-info to build/bdist.linux-armv7l/wheel/imandra-1.0.4-py3.7.egg-info
2023-09-01T14:14:57,567   running install_scripts
2023-09-01T14:14:57,601   creating build/bdist.linux-armv7l/wheel/imandra-1.0.4.dist-info/WHEEL
2023-09-01T14:14:57,607   creating '/tmp/pip-wheel-sxh_uaqp/.tmp-bny43e53/imandra-1.0.4-py3-none-any.whl' and adding 'build/bdist.linux-armv7l/wheel' to it
2023-09-01T14:14:57,613   adding 'imandra/__init__.py'
2023-09-01T14:14:57,618   adding 'imandra/auth.py'
2023-09-01T14:14:57,621   adding 'imandra/cfb.py'
2023-09-01T14:14:57,624   adding 'imandra/core.py'
2023-09-01T14:14:57,627   adding 'imandra/instance.py'
2023-09-01T14:14:57,630   adding 'imandra/ipl.py'
2023-09-01T14:14:57,633   adding 'imandra/rule_synth.py'
2023-09-01T14:14:57,636   adding 'imandra/session.py'
2023-09-01T14:14:57,642   adding 'imandra_http_api_client/__init__.py'
2023-09-01T14:14:57,650   adding 'imandra_http_api_client/api_client.py'
2023-09-01T14:14:57,653   adding 'imandra_http_api_client/api_response.py'
2023-09-01T14:14:57,658   adding 'imandra_http_api_client/configuration.py'
2023-09-01T14:14:57,662   adding 'imandra_http_api_client/exceptions.py'
2023-09-01T14:14:57,666   adding 'imandra_http_api_client/rest.py'
2023-09-01T14:14:57,669   adding 'imandra_http_api_client/api/__init__.py'
2023-09-01T14:14:57,676   adding 'imandra_http_api_client/api/default_api.py'
2023-09-01T14:14:57,683   adding 'imandra_http_api_client/models/__init__.py'
2023-09-01T14:14:57,685   adding 'imandra_http_api_client/models/decompose_region.py'
2023-09-01T14:14:57,688   adding 'imandra_http_api_client/models/decompose_request_src.py'
2023-09-01T14:14:57,691   adding 'imandra_http_api_client/models/decompose_result.py'
2023-09-01T14:14:57,694   adding 'imandra_http_api_client/models/eval_request_src.py'
2023-09-01T14:14:57,697   adding 'imandra_http_api_client/models/eval_response.py'
2023-09-01T14:14:57,699   adding 'imandra_http_api_client/models/hints.py'
2023-09-01T14:14:57,702   adding 'imandra_http_api_client/models/induct_functional_body.py'
2023-09-01T14:14:57,705   adding 'imandra_http_api_client/models/induct_structural_body.py'
2023-09-01T14:14:57,708   adding 'imandra_http_api_client/models/induct_structural_style.py'
2023-09-01T14:14:57,710   adding 'imandra_http_api_client/models/induct_type.py'
2023-09-01T14:14:57,713   adding 'imandra_http_api_client/models/instance_request_name.py'
2023-09-01T14:14:57,716   adding 'imandra_http_api_client/models/instance_request_src.py'
2023-09-01T14:14:57,719   adding 'imandra_http_api_client/models/instance_response.py'
2023-09-01T14:14:57,721   adding 'imandra_http_api_client/models/instance_result.py'
2023-09-01T14:14:57,724   adding 'imandra_http_api_client/models/instance_type.py'
2023-09-01T14:14:57,726   adding 'imandra_http_api_client/models/method.py'
2023-09-01T14:14:57,730   adding 'imandra_http_api_client/models/method_body.py'
2023-09-01T14:14:57,732   adding 'imandra_http_api_client/models/method_ext_solver_body.py'
2023-09-01T14:14:57,735   adding 'imandra_http_api_client/models/method_induct_body.py'
2023-09-01T14:14:57,738   adding 'imandra_http_api_client/models/method_induct_body_body.py'
2023-09-01T14:14:57,741   adding 'imandra_http_api_client/models/method_type.py'
2023-09-01T14:14:57,744   adding 'imandra_http_api_client/models/method_unroll_body.py'
2023-09-01T14:14:57,746   adding 'imandra_http_api_client/models/printer_details.py'
2023-09-01T14:14:57,749   adding 'imandra_http_api_client/models/response_error.py'
2023-09-01T14:14:57,752   adding 'imandra_http_api_client/models/response_instance.py'
2023-09-01T14:14:57,755   adding 'imandra_http_api_client/models/response_model.py'
2023-09-01T14:14:57,758   adding 'imandra_http_api_client/models/syntax.py'
2023-09-01T14:14:57,760   adding 'imandra_http_api_client/models/up_to_body.py'
2023-09-01T14:14:57,763   adding 'imandra_http_api_client/models/verify_request_name.py'
2023-09-01T14:14:57,766   adding 'imandra_http_api_client/models/verify_request_src.py'
2023-09-01T14:14:57,769   adding 'imandra_http_api_client/models/verify_response.py'
2023-09-01T14:14:57,772   adding 'imandra_http_api_client/models/verify_response_body.py'
2023-09-01T14:14:57,775   adding 'imandra_http_api_client/models/verify_result.py'
2023-09-01T14:14:57,778   adding 'imandra_http_api_client/models/with_instance_body.py'
2023-09-01T14:14:57,780   adding 'imandra_http_api_client/models/with_unknown_reason_body.py'
2023-09-01T14:14:57,785   adding 'imandra_http_api_client/test/__init__.py'
2023-09-01T14:14:57,788   adding 'imandra_http_api_client/test/test_decompose_region.py'
2023-09-01T14:14:57,791   adding 'imandra_http_api_client/test/test_decompose_request_src.py'
2023-09-01T14:14:57,793   adding 'imandra_http_api_client/test/test_decompose_result.py'
2023-09-01T14:14:57,796   adding 'imandra_http_api_client/test/test_default_api.py'
2023-09-01T14:14:57,799   adding 'imandra_http_api_client/test/test_eval_request_src.py'
2023-09-01T14:14:57,802   adding 'imandra_http_api_client/test/test_eval_response.py'
2023-09-01T14:14:57,804   adding 'imandra_http_api_client/test/test_hints.py'
2023-09-01T14:14:57,807   adding 'imandra_http_api_client/test/test_induct_functional_body.py'
2023-09-01T14:14:57,810   adding 'imandra_http_api_client/test/test_induct_structural_body.py'
2023-09-01T14:14:57,812   adding 'imandra_http_api_client/test/test_induct_structural_style.py'
2023-09-01T14:14:57,815   adding 'imandra_http_api_client/test/test_induct_type.py'
2023-09-01T14:14:57,817   adding 'imandra_http_api_client/test/test_instance_request_name.py'
2023-09-01T14:14:57,820   adding 'imandra_http_api_client/test/test_instance_request_src.py'
2023-09-01T14:14:57,822   adding 'imandra_http_api_client/test/test_instance_response.py'
2023-09-01T14:14:57,825   adding 'imandra_http_api_client/test/test_instance_result.py'
2023-09-01T14:14:57,827   adding 'imandra_http_api_client/test/test_instance_type.py'
2023-09-01T14:14:57,830   adding 'imandra_http_api_client/test/test_method.py'
2023-09-01T14:14:57,833   adding 'imandra_http_api_client/test/test_method_body.py'
2023-09-01T14:14:57,835   adding 'imandra_http_api_client/test/test_method_ext_solver_body.py'
2023-09-01T14:14:57,838   adding 'imandra_http_api_client/test/test_method_induct_body.py'
2023-09-01T14:14:57,841   adding 'imandra_http_api_client/test/test_method_induct_body_body.py'
2023-09-01T14:14:57,843   adding 'imandra_http_api_client/test/test_method_type.py'
2023-09-01T14:14:57,846   adding 'imandra_http_api_client/test/test_method_unroll_body.py'
2023-09-01T14:14:57,849   adding 'imandra_http_api_client/test/test_printer_details.py'
2023-09-01T14:14:57,851   adding 'imandra_http_api_client/test/test_response_error.py'
2023-09-01T14:14:57,854   adding 'imandra_http_api_client/test/test_response_instance.py'
2023-09-01T14:14:57,857   adding 'imandra_http_api_client/test/test_response_model.py'
2023-09-01T14:14:57,859   adding 'imandra_http_api_client/test/test_syntax.py'
2023-09-01T14:14:57,862   adding 'imandra_http_api_client/test/test_up_to_body.py'
2023-09-01T14:14:57,865   adding 'imandra_http_api_client/test/test_verify_request_name.py'
2023-09-01T14:14:57,867   adding 'imandra_http_api_client/test/test_verify_request_src.py'
2023-09-01T14:14:57,870   adding 'imandra_http_api_client/test/test_verify_response.py'
2023-09-01T14:14:57,873   adding 'imandra_http_api_client/test/test_verify_response_body.py'
2023-09-01T14:14:57,875   adding 'imandra_http_api_client/test/test_verify_result.py'
2023-09-01T14:14:57,878   adding 'imandra_http_api_client/test/test_with_instance_body.py'
2023-09-01T14:14:57,880   adding 'imandra_http_api_client/test/test_with_unknown_reason_body.py'
2023-09-01T14:14:57,884   adding 'imandra-1.0.4.dist-info/METADATA'
2023-09-01T14:14:57,886   adding 'imandra-1.0.4.dist-info/WHEEL'
2023-09-01T14:14:57,888   adding 'imandra-1.0.4.dist-info/entry_points.txt'
2023-09-01T14:14:57,890   adding 'imandra-1.0.4.dist-info/top_level.txt'
2023-09-01T14:14:57,894   adding 'imandra-1.0.4.dist-info/RECORD'
2023-09-01T14:14:57,903   removing build/bdist.linux-armv7l/wheel
2023-09-01T14:14:57,947   /tmp/pip-build-env-al68u7js/overlay/lib/python3.7/site-packages/setuptools/config/pyprojecttoml.py:66: _BetaConfiguration: Support for `[tool.setuptools]` in `pyproject.toml` is still *beta*.
2023-09-01T14:14:57,948     config = read_configuration(filepath, True, ignore_option_errors, dist)
2023-09-01T14:14:58,126   Building wheel for imandra (pyproject.toml): finished with status 'done'
2023-09-01T14:14:58,145   Created wheel for imandra: filename=imandra-1.0.4-py3-none-any.whl size=104929 sha256=526ed8e1aafe2579d55582d2ad4151336dca33a3dd4c454ac90ce74c3eaa8a90
2023-09-01T14:14:58,147   Stored in directory: /tmp/pip-ephem-wheel-cache-8o_nzo7n/wheels/b2/9f/e8/ba337b35ebce61ff0c883213251ec3a22ceaa854bd3e347c0c
2023-09-01T14:14:58,182 Successfully built imandra
2023-09-01T14:14:58,196 Removed build tracker: '/tmp/pip-build-tracker-1zdiecb_'