2025-09-22T10:16:35,680 Created temporary directory: /tmp/pip-ephem-wheel-cache-lv9mvcyn 2025-09-22T10:16:35,682 Created temporary directory: /tmp/pip-build-tracker-swm6103n 2025-09-22T10:16:35,683 Initialized build tracking at /tmp/pip-build-tracker-swm6103n 2025-09-22T10:16:35,683 Created build tracker: /tmp/pip-build-tracker-swm6103n 2025-09-22T10:16:35,684 Entered build tracker: /tmp/pip-build-tracker-swm6103n 2025-09-22T10:16:35,685 Created temporary directory: /tmp/pip-wheel-4r46qu8p 2025-09-22T10:16:35,688 DEPRECATION: --no-binary currently disables reading from the cache of locally built wheels. In the future --no-binary will not influence the wheel cache. pip 23.1 will enforce this behaviour change. A possible replacement is to use the --no-cache-dir option. You can use the flag --use-feature=no-binary-enable-wheel-cache to test the upcoming behaviour. Discussion can be found at https://github.com/pypa/pip/issues/11453 2025-09-22T10:16:35,690 Created temporary directory: /tmp/pip-ephem-wheel-cache-hgu9e_w3 2025-09-22T10:16:35,712 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple 2025-09-22T10:16:35,715 2 location(s) to search for versions of imandra: 2025-09-22T10:16:35,715 * https://pypi.org/simple/imandra/ 2025-09-22T10:16:35,715 * https://www.piwheels.org/simple/imandra/ 2025-09-22T10:16:35,716 Fetching project page and analyzing links: https://pypi.org/simple/imandra/ 2025-09-22T10:16:35,717 Getting page https://pypi.org/simple/imandra/ 2025-09-22T10:16:35,718 Found index url https://pypi.org/simple 2025-09-22T10:16:35,934 Fetched page https://pypi.org/simple/imandra/ as application/vnd.pypi.simple.v1+json 2025-09-22T10:16:35,949 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/) 2025-09-22T10:16:35,950 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 2025-09-22T10:16:35,951 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/) 2025-09-22T10:16:35,951 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 2025-09-22T10:16:35,952 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/) 2025-09-22T10:16:35,953 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 2025-09-22T10:16:35,954 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/) 2025-09-22T10:16:35,954 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 2025-09-22T10:16:35,955 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/) 2025-09-22T10:16:35,956 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 2025-09-22T10:16:35,956 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/) 2025-09-22T10:16:35,957 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 2025-09-22T10:16:35,958 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/) 2025-09-22T10:16:35,959 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 2025-09-22T10:16:35,959 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/) 2025-09-22T10:16:35,960 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 2025-09-22T10:16:35,960 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/) 2025-09-22T10:16:35,961 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 2025-09-22T10:16:35,961 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/) 2025-09-22T10:16:35,962 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 2025-09-22T10:16:35,963 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/) 2025-09-22T10:16:35,964 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 2025-09-22T10:16:35,964 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/) 2025-09-22T10:16:35,965 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 2025-09-22T10:16:35,966 Skipping link: No binaries permitted for imandra: https://files.pythonhosted.org/packages/51/5f/259e6bfe70ddf8b195b5b4ea88a535080018e79c8902893b8e7094377ec4/imandra-2.0.0b1-py3-none-any.whl (from https://pypi.org/simple/imandra/) 2025-09-22T10:16:35,967 Found link https://files.pythonhosted.org/packages/05/5a/647b270793d119de8022d2ec9cbd857f3903cb66b1f8dce036f18308f200/imandra-2.0.0b1.tar.gz (from https://pypi.org/simple/imandra/), version: 2.0.0b1 2025-09-22T10:16:35,967 Skipping link: No binaries permitted for imandra: https://files.pythonhosted.org/packages/93/ad/d522783109329bce803a03bf75d7941508f6b1c267f04af90f673c8fd2a9/imandra-2.0.0b2-py3-none-any.whl (from https://pypi.org/simple/imandra/) 2025-09-22T10:16:35,968 Found link https://files.pythonhosted.org/packages/a7/50/442b70200f33e225c482310f6eb5c8a8e3e08272b163cba2f75e7b6dc03d/imandra-2.0.0b2.tar.gz (from https://pypi.org/simple/imandra/), version: 2.0.0b2 2025-09-22T10:16:35,969 Skipping link: No binaries permitted for imandra: https://files.pythonhosted.org/packages/f8/e9/0ed04495f4a8a57dbb178780e1b207975616d9ed2c9458b57913bbf54ad8/imandra-2.0.0b3-py3-none-any.whl (from https://pypi.org/simple/imandra/) 2025-09-22T10:16:35,970 Found link https://files.pythonhosted.org/packages/b6/f9/72c20eb9ef5d99733d1da9ff46a699f2d6e7f885bc4f4577070d085470ee/imandra-2.0.0b3.tar.gz (from https://pypi.org/simple/imandra/), version: 2.0.0b3 2025-09-22T10:16:35,970 Skipping link: No binaries permitted for imandra: https://files.pythonhosted.org/packages/25/09/76a25b1f2a615d352c030924d6a0ba0417babc588b0b8ff37c68db8b17ef/imandra-2.0.0b4-py3-none-any.whl (from https://pypi.org/simple/imandra/) 2025-09-22T10:16:35,971 Found link https://files.pythonhosted.org/packages/11/de/f616ed3c2f094eb1f2658d2d98132caf2b44130f04e9dcc1acec64e8181a/imandra-2.0.0b4.tar.gz (from https://pypi.org/simple/imandra/), version: 2.0.0b4 2025-09-22T10:16:35,972 Skipping link: No binaries permitted for imandra: https://files.pythonhosted.org/packages/02/16/725f29a323ca2a00d6463740f1e5aa3c56db98bc224a1e0c2c095a81d71e/imandra-2.0.0b5-py3-none-any.whl (from https://pypi.org/simple/imandra/) 2025-09-22T10:16:35,972 Found link https://files.pythonhosted.org/packages/12/de/5dcf10d9625fa431118ee15db4bc05a19cdb2f1d1490190fabd9e26ffcd7/imandra-2.0.0b5.tar.gz (from https://pypi.org/simple/imandra/), version: 2.0.0b5 2025-09-22T10:16:35,973 Skipping link: No binaries permitted for imandra: https://files.pythonhosted.org/packages/d7/16/e5e7fdce9d9c91d6c06bbdb9977273713a86d306ebfa4b4d0e99520484c7/imandra-2.0.0b6-py3-none-any.whl (from https://pypi.org/simple/imandra/) 2025-09-22T10:16:35,973 Found link https://files.pythonhosted.org/packages/c1/41/15207c1ce71b2cdcfe1396454e5d99ef5b7435074de4e52fb89064cd3f3b/imandra-2.0.0b6.tar.gz (from https://pypi.org/simple/imandra/), version: 2.0.0b6 2025-09-22T10:16:35,974 Skipping link: No binaries permitted for imandra: https://files.pythonhosted.org/packages/a4/d4/32af416e931ceb31dd3d26260d1113b263187ffd06c8052cd741887f18fa/imandra-2.0.0b7-py3-none-any.whl (from https://pypi.org/simple/imandra/) 2025-09-22T10:16:35,974 Found link https://files.pythonhosted.org/packages/2c/06/e4a8bcfcda2c421b07e05acccfb0aa280dd7a7842e31cdf0a2427b25a04c/imandra-2.0.0b7.tar.gz (from https://pypi.org/simple/imandra/), version: 2.0.0b7 2025-09-22T10:16:35,975 Skipping link: No binaries permitted for imandra: https://files.pythonhosted.org/packages/54/11/4ce28624e784079e1604f1ab6d63f7e1f690889e231587b77fc5ab648aea/imandra-2.0.0-py3-none-any.whl (from https://pypi.org/simple/imandra/) 2025-09-22T10:16:35,976 Found link https://files.pythonhosted.org/packages/4e/af/8a479f70c50356b3ead6f7edebab2e23f7a720f6aff22bcfe575393c223c/imandra-2.0.0.tar.gz (from https://pypi.org/simple/imandra/), version: 2.0.0 2025-09-22T10:16:35,977 Skipping link: No binaries permitted for imandra: https://files.pythonhosted.org/packages/3c/2c/04667b0d18a9fb413db5d00b4787bc89e8716d468b2d2afa2dafc845aaaf/imandra-2.0.1-py3-none-any.whl (from https://pypi.org/simple/imandra/) 2025-09-22T10:16:35,977 Found link https://files.pythonhosted.org/packages/de/a2/ad85144366aa4bba5226daf2c533ecfd19bc648fa468f63f1da044af2ab8/imandra-2.0.1.tar.gz (from https://pypi.org/simple/imandra/), version: 2.0.1 2025-09-22T10:16:35,978 Skipping link: No binaries permitted for imandra: https://files.pythonhosted.org/packages/5b/96/3e88196e3b04c6d8c90a32e4182a1159ac0a983515e717fb6ef49b4761ec/imandra-2.0.2-py3-none-any.whl (from https://pypi.org/simple/imandra/) 2025-09-22T10:16:35,979 Found link https://files.pythonhosted.org/packages/1a/9a/557c56ae614467c51e3e7644b9cfcf34372434cb6f9e309b4214de25d766/imandra-2.0.2.tar.gz (from https://pypi.org/simple/imandra/), version: 2.0.2 2025-09-22T10:16:35,979 Skipping link: No binaries permitted for imandra: https://files.pythonhosted.org/packages/3f/ba/8f7dd439d7dddd0f0d340826c31f9124cce57e256a2307b406a41c8cd9b6/imandra-2.0.3-py3-none-any.whl (from https://pypi.org/simple/imandra/) 2025-09-22T10:16:35,980 Found link https://files.pythonhosted.org/packages/08/5f/48eba7f4b3948caadac20362c211b803021c7251b7d2a4c6904a7e28c95b/imandra-2.0.3.tar.gz (from https://pypi.org/simple/imandra/), version: 2.0.3 2025-09-22T10:16:35,981 Skipping link: No binaries permitted for imandra: https://files.pythonhosted.org/packages/59/57/436a336531d248ec989347cbaae9df8a5471668d8112230a76c6e15b026e/imandra-2.0.4-py3-none-any.whl (from https://pypi.org/simple/imandra/) 2025-09-22T10:16:35,982 Found link https://files.pythonhosted.org/packages/ba/98/16ca1de7f39d2d845f3feeaff8e32e9b59bb1b2d5b44143f3a0e161276cf/imandra-2.0.4.tar.gz (from https://pypi.org/simple/imandra/), version: 2.0.4 2025-09-22T10:16:35,982 Skipping link: No binaries permitted for imandra: https://files.pythonhosted.org/packages/50/22/e2cbee946cf027911f82405b1f51137a40b75f12253f9c21fc36c65022ad/imandra-2.0.5-py3-none-any.whl (from https://pypi.org/simple/imandra/) 2025-09-22T10:16:35,983 Found link https://files.pythonhosted.org/packages/b4/2a/5b7be215ced817ae15020d94218a17ac5ecba27e6f97aca0a75267ed4d13/imandra-2.0.5.tar.gz (from https://pypi.org/simple/imandra/), version: 2.0.5 2025-09-22T10:16:35,984 Skipping link: No binaries permitted for imandra: https://files.pythonhosted.org/packages/6b/0f/3ad3ca2681f254b42a6b7d05a39282341a20bf1a94fe01a8ecdf80452f3a/imandra-2.0.6-py3-none-any.whl (from https://pypi.org/simple/imandra/) 2025-09-22T10:16:35,984 Found link https://files.pythonhosted.org/packages/f0/f6/97e22afa63fc0ac13383691c88121781ca6c706a3f788dc8f806851ca096/imandra-2.0.6.tar.gz (from https://pypi.org/simple/imandra/), version: 2.0.6 2025-09-22T10:16:35,985 Skipping link: No binaries permitted for imandra: https://files.pythonhosted.org/packages/73/0c/3b13d29c6fff3c50f1d9d84d1a3399e073066b27b23b8c5c0c5b5adc92e4/imandra-2.0.8-py3-none-any.whl (from https://pypi.org/simple/imandra/) 2025-09-22T10:16:35,985 Found link https://files.pythonhosted.org/packages/7e/d8/b634de51ba3e06b41114d4dbb7fa79f02dfefeee8a56820d89e7e6e6d613/imandra-2.0.8.tar.gz (from https://pypi.org/simple/imandra/), version: 2.0.8 2025-09-22T10:16:35,986 Skipping link: No binaries permitted for imandra: https://files.pythonhosted.org/packages/62/23/a2364fa7b8fbb662d44eefd1b4964e4c3d84ef5717a548c6034d2facd2a6/imandra-2.0.9-py3-none-any.whl (from https://pypi.org/simple/imandra/) 2025-09-22T10:16:35,987 Found link https://files.pythonhosted.org/packages/e0/87/b78ba27c236e2191490a1cda50a75141ba690854536bb64cd28fa55b4e61/imandra-2.0.9.tar.gz (from https://pypi.org/simple/imandra/), version: 2.0.9 2025-09-22T10:16:35,987 Skipping link: No binaries permitted for imandra: https://files.pythonhosted.org/packages/76/d7/f5dd6bc56f8598df1e26e68550e33cf4b32ead8f6afb73b6b5f4793b7531/imandra-2.0.10-py3-none-any.whl (from https://pypi.org/simple/imandra/) 2025-09-22T10:16:35,988 Found link https://files.pythonhosted.org/packages/64/3b/de973ed26c06cefbaebd0debd93cacded4f17e81af4053c7dddef2186171/imandra-2.0.10.tar.gz (from https://pypi.org/simple/imandra/), version: 2.0.10 2025-09-22T10:16:35,989 Skipping link: No binaries permitted for imandra: https://files.pythonhosted.org/packages/2c/54/a23ffccbb36d691f1b35078971576d38dc486599490f8b8621816e82e5e9/imandra-2.0.11-py3-none-any.whl (from https://pypi.org/simple/imandra/) 2025-09-22T10:16:35,990 Found link https://files.pythonhosted.org/packages/b5/3e/af7f4d059794bc4313042822be55892bcc48809686bcf9c237b149356827/imandra-2.0.11.tar.gz (from https://pypi.org/simple/imandra/), version: 2.0.11 2025-09-22T10:16:35,990 Skipping link: No binaries permitted for imandra: https://files.pythonhosted.org/packages/e3/e9/08c499b62fcf3a22d4cd1adb088a0361d6296a5146d25e6383c657385782/imandra-2.0.12-py3-none-any.whl (from https://pypi.org/simple/imandra/) 2025-09-22T10:16:35,991 Found link https://files.pythonhosted.org/packages/93/47/99506cdbb2c68b8f90b5a6cba999ffb0e8da2c7b43a8fdb0594d674ed8ba/imandra-2.0.12.tar.gz (from https://pypi.org/simple/imandra/), version: 2.0.12 2025-09-22T10:16:35,992 Skipping link: No binaries permitted for imandra: https://files.pythonhosted.org/packages/8f/cd/63db27f52269e031b5274bb15846c86d67ff1032fbd207b11a659d8e8795/imandra-2.0.13-py3-none-any.whl (from https://pypi.org/simple/imandra/) 2025-09-22T10:16:35,992 Found link https://files.pythonhosted.org/packages/d3/23/fe60b8c3443db51f327d3b85c95211067f6cd3ba3f863cc34bdf8ffe2d07/imandra-2.0.13.tar.gz (from https://pypi.org/simple/imandra/), version: 2.0.13 2025-09-22T10:16:35,993 Skipping link: No binaries permitted for imandra: https://files.pythonhosted.org/packages/2e/c6/b34dacc51ec0651668036198dc1a80423e7174ac11af4a573a7d40290a28/imandra-2.0.14-py3-none-any.whl (from https://pypi.org/simple/imandra/) 2025-09-22T10:16:35,993 Found link https://files.pythonhosted.org/packages/63/fd/a302e0b8d588a2f1e2f5cf6d94b4583d5f703e35115ebb22fbe01f25712f/imandra-2.0.14.tar.gz (from https://pypi.org/simple/imandra/), version: 2.0.14 2025-09-22T10:16:35,994 Skipping link: No binaries permitted for imandra: https://files.pythonhosted.org/packages/13/d8/7c9714387bef2e9c8921f435c089f1c213c24c5c1169fe0db23cb20d019a/imandra-2.0.15-py3-none-any.whl (from https://pypi.org/simple/imandra/) 2025-09-22T10:16:35,994 Found link https://files.pythonhosted.org/packages/c0/cb/362cc9a10be517657eb08c3d3f9d5fe355c57d1e0d7251cb859af4395e04/imandra-2.0.15.tar.gz (from https://pypi.org/simple/imandra/), version: 2.0.15 2025-09-22T10:16:35,995 Skipping link: No binaries permitted for imandra: https://files.pythonhosted.org/packages/7b/a8/cb3d7ba11495801a05c0ed613c7e5a3c76030a8970accc3439fd00cb9eae/imandra-2.0.16-py3-none-any.whl (from https://pypi.org/simple/imandra/) 2025-09-22T10:16:35,995 Found link https://files.pythonhosted.org/packages/b4/25/fe8350b5149ed7262c6232c41ee198baf43e09ea1e6c42d4b8f2022c089c/imandra-2.0.16.tar.gz (from https://pypi.org/simple/imandra/), version: 2.0.16 2025-09-22T10:16:35,996 Skipping link: No binaries permitted for imandra: https://files.pythonhosted.org/packages/71/59/4c46c87dc207b91645e85e2b06efc7cc0e1aeb447e45d5358f725521e6ec/imandra-2.0.17-py3-none-any.whl (from https://pypi.org/simple/imandra/) 2025-09-22T10:16:35,997 Found link https://files.pythonhosted.org/packages/83/e1/55329b0f37b56164bb32ee6ee9af85f52f39c36216bb039a7925271f1e17/imandra-2.0.17.tar.gz (from https://pypi.org/simple/imandra/), version: 2.0.17 2025-09-22T10:16:35,997 Skipping link: No binaries permitted for imandra: https://files.pythonhosted.org/packages/0c/63/bfdaa7e335073214b7ff02d75ef273656e969453dd5c79bc1e073fb7ea65/imandra-2.0.18-py3-none-any.whl (from https://pypi.org/simple/imandra/) 2025-09-22T10:16:35,998 Found link https://files.pythonhosted.org/packages/39/3c/94f00534e05b5ec89f77c417c98eb18a13f96096ec0def6a1d795e709b9b/imandra-2.0.18.tar.gz (from https://pypi.org/simple/imandra/), version: 2.0.18 2025-09-22T10:16:35,998 Skipping link: No binaries permitted for imandra: https://files.pythonhosted.org/packages/a5/1b/e6f8eceeb3136ecbe21c68f8bffaed31deb77ccb89b26070f4a7b4cc33ea/imandra-2.0.19-py3-none-any.whl (from https://pypi.org/simple/imandra/) 2025-09-22T10:16:35,999 Found link https://files.pythonhosted.org/packages/0d/95/926bd64d3e0267c8df3bb8400afbef65fdbd50ba6f3fd8bf88764dc2c1e9/imandra-2.0.19.tar.gz (from https://pypi.org/simple/imandra/), version: 2.0.19 2025-09-22T10:16:36,000 Skipping link: No binaries permitted for imandra: https://files.pythonhosted.org/packages/38/7a/519f85d9a88ca269b6d82e1b89cda9bd55ed6c6b116e66e8d531afba8ee3/imandra-2.0.20-py3-none-any.whl (from https://pypi.org/simple/imandra/) 2025-09-22T10:16:36,000 Found link https://files.pythonhosted.org/packages/ee/6e/b8a6e709b683c5459b530061290d7a8894e7bfe1a91449d28aa0cbaed5d7/imandra-2.0.20.tar.gz (from https://pypi.org/simple/imandra/), version: 2.0.20 2025-09-22T10:16:36,001 Skipping link: No binaries permitted for imandra: https://files.pythonhosted.org/packages/4a/47/0347a6dcdaee83ca3260dcae6ffc51842d9887ec3602fbffc75b951abc4f/imandra-2.0.22-py3-none-any.whl (from https://pypi.org/simple/imandra/) 2025-09-22T10:16:36,002 Found link https://files.pythonhosted.org/packages/bc/af/7c0049ebd795facb59b60aa44bc127375cb46bcbc9575c91142278f544f4/imandra-2.0.22.tar.gz (from https://pypi.org/simple/imandra/), version: 2.0.22 2025-09-22T10:16:36,003 Skipping link: No binaries permitted for imandra: https://files.pythonhosted.org/packages/2b/b4/1cd77549245103707a13b7d2437f3d31cb421e6ee4c5c71ff4b71b89d8f8/imandra-2.0.23-py3-none-any.whl (from https://pypi.org/simple/imandra/) 2025-09-22T10:16:36,003 Found link https://files.pythonhosted.org/packages/42/32/7caced7b03e2461bcd8c884006210b29f3cb1b39d186828e606a5254896d/imandra-2.0.23.tar.gz (from https://pypi.org/simple/imandra/), version: 2.0.23 2025-09-22T10:16:36,004 Fetching project page and analyzing links: https://www.piwheels.org/simple/imandra/ 2025-09-22T10:16:36,004 Getting page https://www.piwheels.org/simple/imandra/ 2025-09-22T10:16:36,005 Found index url https://www.piwheels.org/simple 2025-09-22T10:16:36,172 Fetched page https://www.piwheels.org/simple/imandra/ as text/html 2025-09-22T10:16:36,183 Skipping link: No binaries permitted for imandra: https://www.piwheels.org/simple/imandra/imandra-2.0.22-py3-none-any.whl#sha256=295bdcb2cdadbaf27cdcd6839133cb5442363067bb2024aa1f3d7c5ca8098bea (from https://www.piwheels.org/simple/imandra/) 2025-09-22T10:16:36,184 Skipping link: No binaries permitted for imandra: https://www.piwheels.org/simple/imandra/imandra-2.0.20-py3-none-any.whl#sha256=34c915699aac63fb3687039bd171e8deaca99e49d6bb88ec4891285b15c48cbe (from https://www.piwheels.org/simple/imandra/) 2025-09-22T10:16:36,185 Skipping link: No binaries permitted for imandra: https://www.piwheels.org/simple/imandra/imandra-2.0.19-py3-none-any.whl#sha256=ddf9f1cca0f067f628cc878a4c4b2bfff92db0f56942789bf585f119de86139b (from https://www.piwheels.org/simple/imandra/) 2025-09-22T10:16:36,185 Skipping link: No binaries permitted for imandra: https://www.piwheels.org/simple/imandra/imandra-2.0.18-py3-none-any.whl#sha256=8309b6ffa47068fa19c2ccd6a182dee7e7159613297d47448e86830a081a73a6 (from https://www.piwheels.org/simple/imandra/) 2025-09-22T10:16:36,186 Skipping link: No binaries permitted for imandra: https://www.piwheels.org/simple/imandra/imandra-2.0.17-py3-none-any.whl#sha256=5c07aa369d34f2bcdcfe371635c22db5a526c375660246ad0105f7c0259173de (from https://www.piwheels.org/simple/imandra/) 2025-09-22T10:16:36,186 Skipping link: No binaries permitted for imandra: https://www.piwheels.org/simple/imandra/imandra-2.0.16-py3-none-any.whl#sha256=9a36070e95b87d27c509163d813562a23c7531baf6b53e29869a639225b9dd1f (from https://www.piwheels.org/simple/imandra/) 2025-09-22T10:16:36,187 Skipping link: No binaries permitted for imandra: https://archive1.piwheels.org/simple/imandra/imandra-2.0.15-py3-none-any.whl#sha256=2f830c86c7b9f9bb312ac2da94788e09ef7414524360b1a9d6b6fc36f59ff210 (from https://www.piwheels.org/simple/imandra/) 2025-09-22T10:16:36,187 Skipping link: No binaries permitted for imandra: https://archive1.piwheels.org/simple/imandra/imandra-2.0.14-py3-none-any.whl#sha256=5b95645b5f2ebe4f1286fd97e227ec6d01c6020b12ba9a5809e23741f3a35171 (from https://www.piwheels.org/simple/imandra/) 2025-09-22T10:16:36,188 Skipping link: No binaries permitted for imandra: https://archive1.piwheels.org/simple/imandra/imandra-2.0.13-py3-none-any.whl#sha256=62721df4266c73b3be91b7be47f1ace6ecdcbdc44b8c93fd8a40a3ba7163ea60 (from https://www.piwheels.org/simple/imandra/) 2025-09-22T10:16:36,188 Skipping link: No binaries permitted for imandra: https://archive1.piwheels.org/simple/imandra/imandra-2.0.12-py3-none-any.whl#sha256=fefcc7efd59aae19fd7554b363575e285b9435a68dcf9d45ba6493e37dfbecc1 (from https://www.piwheels.org/simple/imandra/) 2025-09-22T10:16:36,189 Skipping link: No binaries permitted for imandra: https://archive1.piwheels.org/simple/imandra/imandra-2.0.11-py3-none-any.whl#sha256=07b8d94728d4d23a72323dc60b70de204b69ca5b25870fee6f1ffaede6a7a9f4 (from https://www.piwheels.org/simple/imandra/) 2025-09-22T10:16:36,190 Skipping link: No binaries permitted for imandra: https://archive1.piwheels.org/simple/imandra/imandra-2.0.10-py3-none-any.whl#sha256=932cd77ce36da7229e13b5d39035f2a4f97ac533061f77fb3220a8ebc84d0830 (from https://www.piwheels.org/simple/imandra/) 2025-09-22T10:16:36,190 Skipping link: No binaries permitted for imandra: https://archive1.piwheels.org/simple/imandra/imandra-2.0.9-py3-none-any.whl#sha256=ec6f0f8f1bdf38ea2d99f12daaa6eef44b5dab402d91e1d8aeaa8e85d71d6443 (from https://www.piwheels.org/simple/imandra/) 2025-09-22T10:16:36,191 Skipping link: No binaries permitted for imandra: https://archive1.piwheels.org/simple/imandra/imandra-2.0.8-py3-none-any.whl#sha256=42d414282c1387283494a4f683e946f86ca560b10b5b87e1996fe2b6ecebcc0f (from https://www.piwheels.org/simple/imandra/) 2025-09-22T10:16:36,191 Skipping link: No binaries permitted for imandra: https://archive1.piwheels.org/simple/imandra/imandra-2.0.6-py3-none-any.whl#sha256=bde16b887b544a991371205e78b69d2652c22050bd0cb7b56f9b266fe0b46238 (from https://www.piwheels.org/simple/imandra/) 2025-09-22T10:16:36,192 Skipping link: No binaries permitted for imandra: https://archive1.piwheels.org/simple/imandra/imandra-2.0.5-py3-none-any.whl#sha256=323c27179c2a352e9ae3b3e7f9cfcbd918304328f264c0c4af81c6dca57839d8 (from https://www.piwheels.org/simple/imandra/) 2025-09-22T10:16:36,192 Skipping link: No binaries permitted for imandra: https://archive1.piwheels.org/simple/imandra/imandra-2.0.4-py3-none-any.whl#sha256=5215d7ee23ca13f5b674744c2b134ba9ad5dc494ee99be043d43564710308d4c (from https://www.piwheels.org/simple/imandra/) 2025-09-22T10:16:36,193 Skipping link: No binaries permitted for imandra: https://archive1.piwheels.org/simple/imandra/imandra-2.0.3-py3-none-any.whl#sha256=d75d0714d1db45439a495c254a0e23570aac5192c818fb3c65500017edefdb10 (from https://www.piwheels.org/simple/imandra/) 2025-09-22T10:16:36,193 Skipping link: No binaries permitted for imandra: https://archive1.piwheels.org/simple/imandra/imandra-2.0.2-py3-none-any.whl#sha256=cd47d5ee4af63a0bbcdaebe6c56bb59e40b69f339306654b65985837f9cd9ddd (from https://www.piwheels.org/simple/imandra/) 2025-09-22T10:16:36,194 Skipping link: No binaries permitted for imandra: https://archive1.piwheels.org/simple/imandra/imandra-2.0.1-py3-none-any.whl#sha256=ee4f84900459629bb5bd35e28dbd68b4f94151dab8bf334ecabebf8daf072e43 (from https://www.piwheels.org/simple/imandra/) 2025-09-22T10:16:36,194 Skipping link: No binaries permitted for imandra: https://archive1.piwheels.org/simple/imandra/imandra-2.0.0-py3-none-any.whl#sha256=16710b81b35066b082685d5a7b30f322276cbcc1e318874d3d47cd5ec06961a9 (from https://www.piwheels.org/simple/imandra/) 2025-09-22T10:16:36,194 Skipping link: No binaries permitted for imandra: https://archive1.piwheels.org/simple/imandra/imandra-2.0.0b7-py3-none-any.whl#sha256=39ed1180ca160edc8ee5dcd567905101fb2ea176477ff4fe6988130bb0b3ab7c (from https://www.piwheels.org/simple/imandra/) 2025-09-22T10:16:36,195 Skipping link: No binaries permitted for imandra: https://archive1.piwheels.org/simple/imandra/imandra-2.0.0b6-py3-none-any.whl#sha256=cdbca3037dbdcfd63ba914d65d4cd8828fa4f6dc36b9d3b5ef52b5808424d14b (from https://www.piwheels.org/simple/imandra/) 2025-09-22T10:16:36,195 Skipping link: No binaries permitted for imandra: https://archive1.piwheels.org/simple/imandra/imandra-2.0.0b5-py3-none-any.whl#sha256=f6ef8bc467aa9fd596af8345a4c150a56f9936ae8101bdfc76689ec3814fe1c7 (from https://www.piwheels.org/simple/imandra/) 2025-09-22T10:16:36,196 Skipping link: No binaries permitted for imandra: https://archive1.piwheels.org/simple/imandra/imandra-2.0.0b4-py3-none-any.whl#sha256=87398d615f75a046d8e45a693cda408f3463e1b9721e3ab0ede5f93723428bb5 (from https://www.piwheels.org/simple/imandra/) 2025-09-22T10:16:36,197 Skipping link: No binaries permitted for imandra: https://archive1.piwheels.org/simple/imandra/imandra-2.0.0b3-py3-none-any.whl#sha256=7178b8eccf4c5991a41df907c5d29f01a2cb4816d02b600e978be3bea63ca5b6 (from https://www.piwheels.org/simple/imandra/) 2025-09-22T10:16:36,197 Skipping link: No binaries permitted for imandra: https://archive1.piwheels.org/simple/imandra/imandra-2.0.0b2-py3-none-any.whl#sha256=c2f51c8d492ac13027bf4e7aa3851bbbb2eb161e9d5ee8a2e59955e46259be26 (from https://www.piwheels.org/simple/imandra/) 2025-09-22T10:16:36,198 Skipping link: No binaries permitted for imandra: https://archive1.piwheels.org/simple/imandra/imandra-2.0.0b1-py3-none-any.whl#sha256=c5175ef2352d8674c146950eb4a190ad6a6c8586305773841365c09aaf5647a9 (from https://www.piwheels.org/simple/imandra/) 2025-09-22T10:16:36,199 Skipping link: No binaries permitted for imandra: https://archive1.piwheels.org/simple/imandra/imandra-1.0.4-py3-none-any.whl#sha256=526ed8e1aafe2579d55582d2ad4151336dca33a3dd4c454ac90ce74c3eaa8a90 (from https://www.piwheels.org/simple/imandra/) 2025-09-22T10:16:36,199 Skipping link: No binaries permitted for imandra: https://archive1.piwheels.org/simple/imandra/imandra-1.0.3-py3-none-any.whl#sha256=e9b4035fbd47515f0f467c287eaebc32d9a7ed4dfd7b05483fe075bf4314bc92 (from https://www.piwheels.org/simple/imandra/) 2025-09-22T10:16:36,199 Skipping link: No binaries permitted for imandra: https://archive1.piwheels.org/simple/imandra/imandra-1.0.2-py3-none-any.whl#sha256=0d0429742091c0b55ac167d0e20a110684281e4991e4a730bf2e49962a12e30e (from https://www.piwheels.org/simple/imandra/) 2025-09-22T10:16:36,200 Skipping link: No binaries permitted for imandra: https://archive1.piwheels.org/simple/imandra/imandra-1.0.1-py3-none-any.whl#sha256=5d6ab82386aea0fb1ce1d2afde692e865f9b36297033011983af98ce3db86aef (from https://www.piwheels.org/simple/imandra/) 2025-09-22T10:16:36,200 Skipping link: No binaries permitted for imandra: https://archive1.piwheels.org/simple/imandra/imandra-1.0.0-py3-none-any.whl#sha256=db28520a9d452d1960f1d32cfbb1ebeff1ec5e201d22259982616c9ca7cdcc2b (from https://www.piwheels.org/simple/imandra/) 2025-09-22T10:16:36,201 Skipping link: No binaries permitted for imandra: https://archive1.piwheels.org/simple/imandra/imandra-0.1.12-py3-none-any.whl#sha256=c8fb9c984f88da41da53a2738d98a646501cba3788be8e59ce4c1bf532e64bd5 (from https://www.piwheels.org/simple/imandra/) 2025-09-22T10:16:36,201 Skipping link: No binaries permitted for imandra: https://archive1.piwheels.org/simple/imandra/imandra-0.1.11-py3-none-any.whl#sha256=940ee22f36dc10bc8195272d7be270d19f81c9cca00f2f7538be8ec8e0bea514 (from https://www.piwheels.org/simple/imandra/) 2025-09-22T10:16:36,202 Skipping link: No binaries permitted for imandra: https://archive1.piwheels.org/simple/imandra/imandra-0.1.10-py3-none-any.whl#sha256=5c2f41b6ca40c46c8a156827b2a0ba62c16021ff3c8c48a69139875feaf0f6ee (from https://www.piwheels.org/simple/imandra/) 2025-09-22T10:16:36,203 Skipping link: No binaries permitted for imandra: https://archive1.piwheels.org/simple/imandra/imandra-0.1.9-py3-none-any.whl#sha256=9d6c1a57554cfdf7f40e30bdfc09497f98e2e18d13daa2bc7aec8ebb53767a37 (from https://www.piwheels.org/simple/imandra/) 2025-09-22T10:16:36,203 Skipping link: No binaries permitted for imandra: https://archive1.piwheels.org/simple/imandra/imandra-0.1.5-py3-none-any.whl#sha256=84ae76c5c35a8e017eb39f7ca1f25ce37a9a1760d9c99e1cd607f48c8254d4dc (from https://www.piwheels.org/simple/imandra/) 2025-09-22T10:16:36,204 Skipping link: No binaries permitted for imandra: https://archive1.piwheels.org/simple/imandra/imandra-0.1.4-py3-none-any.whl#sha256=b679d11e49970647fad7d1fbd8a46b2f325ed50f4e15d722345567ed882e5357 (from https://www.piwheels.org/simple/imandra/) 2025-09-22T10:16:36,204 Skipping link: No binaries permitted for imandra: https://archive1.piwheels.org/simple/imandra/imandra-0.1.3-py3-none-any.whl#sha256=30e2fdb107964061e765814f34de28effcd6389d981277ae23615b53b95bf278 (from https://www.piwheels.org/simple/imandra/) 2025-09-22T10:16:36,205 Skipping link: not a file: https://www.piwheels.org/simple/imandra/ 2025-09-22T10:16:36,205 Skipping link: not a file: https://pypi.org/simple/imandra/ 2025-09-22T10:16:36,229 Given no hashes to check 1 links for project 'imandra': discarding no candidates 2025-09-22T10:16:36,247 Collecting imandra==2.0.23 2025-09-22T10:16:36,249 Created temporary directory: /tmp/pip-unpack-rck7v98b 2025-09-22T10:16:36,462 Downloading imandra-2.0.23.tar.gz (142 kB) 2025-09-22T10:16:36,849 Added imandra==2.0.23 from https://files.pythonhosted.org/packages/42/32/7caced7b03e2461bcd8c884006210b29f3cb1b39d186828e606a5254896d/imandra-2.0.23.tar.gz to build tracker '/tmp/pip-build-tracker-swm6103n' 2025-09-22T10:16:36,857 Created temporary directory: /tmp/pip-build-env-v7gu4rle 2025-09-22T10:16:36,862 Installing build dependencies: started 2025-09-22T10:16:36,864 Running command pip subprocess to install build dependencies 2025-09-22T10:16:38,038 Using pip 23.0.1 from /usr/lib/python3/dist-packages/pip (python 3.11) 2025-09-22T10:16:38,672 DEPRECATION: --no-binary currently disables reading from the cache of locally built wheels. In the future --no-binary will not influence the wheel cache. pip 23.1 will enforce this behaviour change. A possible replacement is to use the --no-cache-dir option. You can use the flag --use-feature=no-binary-enable-wheel-cache to test the upcoming behaviour. Discussion can be found at https://github.com/pypa/pip/issues/11453 2025-09-22T10:16:38,695 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple 2025-09-22T10:16:40,424 Collecting setuptools>=61.0.0 2025-09-22T10:16:40,521 Using cached https://www.piwheels.org/simple/setuptools/setuptools-80.9.0-py3-none-any.whl (1.2 MB) 2025-09-22T10:16:40,790 Collecting wheel 2025-09-22T10:16:40,807 Using cached https://www.piwheels.org/simple/wheel/wheel-0.45.1-py3-none-any.whl (72 kB) 2025-09-22T10:16:43,806 Installing collected packages: wheel, setuptools 2025-09-22T10:16:44,047 Creating /tmp/pip-build-env-v7gu4rle/overlay/local/bin 2025-09-22T10:16:44,049 changing mode of /tmp/pip-build-env-v7gu4rle/overlay/local/bin/wheel to 755 2025-09-22T10:16:47,711 Successfully installed setuptools-80.9.0 wheel-0.45.1 2025-09-22T10:16:47,987 Installing build dependencies: finished with status 'done' 2025-09-22T10:16:47,993 Getting requirements to build wheel: started 2025-09-22T10:16:47,994 Running command Getting requirements to build wheel 2025-09-22T10:16:48,693 running egg_info 2025-09-22T10:16:48,700 writing src/imandra.egg-info/PKG-INFO 2025-09-22T10:16:48,710 writing dependency_links to src/imandra.egg-info/dependency_links.txt 2025-09-22T10:16:48,712 writing entry points to src/imandra.egg-info/entry_points.txt 2025-09-22T10:16:48,718 writing requirements to src/imandra.egg-info/requires.txt 2025-09-22T10:16:48,719 writing top-level names to src/imandra.egg-info/top_level.txt 2025-09-22T10:16:48,760 reading manifest file 'src/imandra.egg-info/SOURCES.txt' 2025-09-22T10:16:48,779 writing manifest file 'src/imandra.egg-info/SOURCES.txt' 2025-09-22T10:16:48,876 Getting requirements to build wheel: finished with status 'done' 2025-09-22T10:16:48,879 Created temporary directory: /tmp/pip-modern-metadata-7umeu7y6 2025-09-22T10:16:48,881 Preparing metadata (pyproject.toml): started 2025-09-22T10:16:48,883 Running command Preparing metadata (pyproject.toml) 2025-09-22T10:16:49,538 running dist_info 2025-09-22T10:16:49,550 creating /tmp/pip-modern-metadata-7umeu7y6/imandra.egg-info 2025-09-22T10:16:49,551 writing /tmp/pip-modern-metadata-7umeu7y6/imandra.egg-info/PKG-INFO 2025-09-22T10:16:49,561 writing dependency_links to /tmp/pip-modern-metadata-7umeu7y6/imandra.egg-info/dependency_links.txt 2025-09-22T10:16:49,563 writing entry points to /tmp/pip-modern-metadata-7umeu7y6/imandra.egg-info/entry_points.txt 2025-09-22T10:16:49,569 writing requirements to /tmp/pip-modern-metadata-7umeu7y6/imandra.egg-info/requires.txt 2025-09-22T10:16:49,570 writing top-level names to /tmp/pip-modern-metadata-7umeu7y6/imandra.egg-info/top_level.txt 2025-09-22T10:16:49,572 writing manifest file '/tmp/pip-modern-metadata-7umeu7y6/imandra.egg-info/SOURCES.txt' 2025-09-22T10:16:49,609 reading manifest file '/tmp/pip-modern-metadata-7umeu7y6/imandra.egg-info/SOURCES.txt' 2025-09-22T10:16:49,617 writing manifest file '/tmp/pip-modern-metadata-7umeu7y6/imandra.egg-info/SOURCES.txt' 2025-09-22T10:16:49,618 creating '/tmp/pip-modern-metadata-7umeu7y6/imandra-2.0.23.dist-info' 2025-09-22T10:16:49,741 Preparing metadata (pyproject.toml): finished with status 'done' 2025-09-22T10:16:49,746 Source in /tmp/pip-wheel-4r46qu8p/imandra_b7c23b91434845c19f1c3c9b9d96b001 has version 2.0.23, which satisfies requirement imandra==2.0.23 from https://files.pythonhosted.org/packages/42/32/7caced7b03e2461bcd8c884006210b29f3cb1b39d186828e606a5254896d/imandra-2.0.23.tar.gz 2025-09-22T10:16:49,747 Removed imandra==2.0.23 from https://files.pythonhosted.org/packages/42/32/7caced7b03e2461bcd8c884006210b29f3cb1b39d186828e606a5254896d/imandra-2.0.23.tar.gz from build tracker '/tmp/pip-build-tracker-swm6103n' 2025-09-22T10:16:49,752 Created temporary directory: /tmp/pip-unpack-swte4p26 2025-09-22T10:16:49,753 Building wheels for collected packages: imandra 2025-09-22T10:16:49,757 Created temporary directory: /tmp/pip-wheel-3p4_fs64 2025-09-22T10:16:49,757 Destination directory: /tmp/pip-wheel-3p4_fs64 2025-09-22T10:16:49,759 Building wheel for imandra (pyproject.toml): started 2025-09-22T10:16:49,761 Running command Building wheel for imandra (pyproject.toml) 2025-09-22T10:16:50,391 running bdist_wheel 2025-09-22T10:16:50,412 running build 2025-09-22T10:16:50,413 running build_py 2025-09-22T10:16:50,420 creating build/lib/imandra_http_api_client 2025-09-22T10:16:50,422 copying src/imandra_http_api_client/exceptions.py -> build/lib/imandra_http_api_client 2025-09-22T10:16:50,424 copying src/imandra_http_api_client/rest.py -> build/lib/imandra_http_api_client 2025-09-22T10:16:50,427 copying src/imandra_http_api_client/api_client.py -> build/lib/imandra_http_api_client 2025-09-22T10:16:50,429 copying src/imandra_http_api_client/__init__.py -> build/lib/imandra_http_api_client 2025-09-22T10:16:50,431 copying src/imandra_http_api_client/api_response.py -> build/lib/imandra_http_api_client 2025-09-22T10:16:50,433 copying src/imandra_http_api_client/configuration.py -> build/lib/imandra_http_api_client 2025-09-22T10:16:50,436 creating build/lib/imandra 2025-09-22T10:16:50,437 copying src/imandra/session.py -> build/lib/imandra 2025-09-22T10:16:50,439 copying src/imandra/ipl.py -> build/lib/imandra 2025-09-22T10:16:50,441 copying src/imandra/auth.py -> build/lib/imandra 2025-09-22T10:16:50,443 copying src/imandra/__init__.py -> build/lib/imandra 2025-09-22T10:16:50,445 creating build/lib/imandra_http_api_client/api 2025-09-22T10:16:50,446 copying src/imandra_http_api_client/api/__init__.py -> build/lib/imandra_http_api_client/api 2025-09-22T10:16:50,448 copying src/imandra_http_api_client/api/default_api.py -> build/lib/imandra_http_api_client/api 2025-09-22T10:16:50,452 creating build/lib/imandra_http_api_client/models 2025-09-22T10:16:50,453 copying src/imandra_http_api_client/models/induct_functional_body.py -> build/lib/imandra_http_api_client/models 2025-09-22T10:16:50,455 copying src/imandra_http_api_client/models/induct_type.py -> build/lib/imandra_http_api_client/models 2025-09-22T10:16:50,457 copying src/imandra_http_api_client/models/method_type.py -> build/lib/imandra_http_api_client/models 2025-09-22T10:16:50,459 copying src/imandra_http_api_client/models/hints.py -> build/lib/imandra_http_api_client/models 2025-09-22T10:16:50,461 copying src/imandra_http_api_client/models/induct_structural_body.py -> build/lib/imandra_http_api_client/models 2025-09-22T10:16:50,463 copying src/imandra_http_api_client/models/verify_result.py -> build/lib/imandra_http_api_client/models 2025-09-22T10:16:50,465 copying src/imandra_http_api_client/models/syntax.py -> build/lib/imandra_http_api_client/models 2025-09-22T10:16:50,466 copying src/imandra_http_api_client/models/instance_result.py -> build/lib/imandra_http_api_client/models 2025-09-22T10:16:50,468 copying src/imandra_http_api_client/models/decompose_region.py -> build/lib/imandra_http_api_client/models 2025-09-22T10:16:50,470 copying src/imandra_http_api_client/models/printer_details.py -> build/lib/imandra_http_api_client/models 2025-09-22T10:16:50,472 copying src/imandra_http_api_client/models/instance_request_name.py -> build/lib/imandra_http_api_client/models 2025-09-22T10:16:50,474 copying src/imandra_http_api_client/models/method_induct_body.py -> build/lib/imandra_http_api_client/models 2025-09-22T10:16:50,476 copying src/imandra_http_api_client/models/up_to_body.py -> build/lib/imandra_http_api_client/models 2025-09-22T10:16:50,477 copying src/imandra_http_api_client/models/induct_structural_style.py -> build/lib/imandra_http_api_client/models 2025-09-22T10:16:50,479 copying src/imandra_http_api_client/models/__init__.py -> build/lib/imandra_http_api_client/models 2025-09-22T10:16:50,481 copying src/imandra_http_api_client/models/response_instance.py -> build/lib/imandra_http_api_client/models 2025-09-22T10:16:50,483 copying src/imandra_http_api_client/models/verify_response_body.py -> build/lib/imandra_http_api_client/models 2025-09-22T10:16:50,485 copying src/imandra_http_api_client/models/response_error.py -> build/lib/imandra_http_api_client/models 2025-09-22T10:16:50,487 copying src/imandra_http_api_client/models/verify_request_src.py -> build/lib/imandra_http_api_client/models 2025-09-22T10:16:50,489 copying src/imandra_http_api_client/models/decompose_request_src.py -> build/lib/imandra_http_api_client/models 2025-09-22T10:16:50,490 copying src/imandra_http_api_client/models/instance_request_src.py -> build/lib/imandra_http_api_client/models 2025-09-22T10:16:50,492 copying src/imandra_http_api_client/models/eval_response.py -> build/lib/imandra_http_api_client/models 2025-09-22T10:16:50,494 copying src/imandra_http_api_client/models/decompose_result.py -> build/lib/imandra_http_api_client/models 2025-09-22T10:16:50,496 copying src/imandra_http_api_client/models/with_instance_body.py -> build/lib/imandra_http_api_client/models 2025-09-22T10:16:50,498 copying src/imandra_http_api_client/models/method_unroll_body.py -> build/lib/imandra_http_api_client/models 2025-09-22T10:16:50,500 copying src/imandra_http_api_client/models/with_unknown_reason_body.py -> build/lib/imandra_http_api_client/models 2025-09-22T10:16:50,502 copying src/imandra_http_api_client/models/method_body.py -> build/lib/imandra_http_api_client/models 2025-09-22T10:16:50,504 copying src/imandra_http_api_client/models/eval_request_src.py -> build/lib/imandra_http_api_client/models 2025-09-22T10:16:50,506 copying src/imandra_http_api_client/models/method_ext_solver_body.py -> build/lib/imandra_http_api_client/models 2025-09-22T10:16:50,508 copying src/imandra_http_api_client/models/response_model.py -> build/lib/imandra_http_api_client/models 2025-09-22T10:16:50,510 copying src/imandra_http_api_client/models/verify_response.py -> build/lib/imandra_http_api_client/models 2025-09-22T10:16:50,512 copying src/imandra_http_api_client/models/verify_request_name.py -> build/lib/imandra_http_api_client/models 2025-09-22T10:16:50,513 copying src/imandra_http_api_client/models/method_induct_body_body.py -> build/lib/imandra_http_api_client/models 2025-09-22T10:16:50,516 copying src/imandra_http_api_client/models/instance_response.py -> build/lib/imandra_http_api_client/models 2025-09-22T10:16:50,517 copying src/imandra_http_api_client/models/method.py -> build/lib/imandra_http_api_client/models 2025-09-22T10:16:50,519 copying src/imandra_http_api_client/models/instance_type.py -> build/lib/imandra_http_api_client/models 2025-09-22T10:16:50,522 creating build/lib/imandra_http_api_client/test 2025-09-22T10:16:50,523 copying src/imandra_http_api_client/test/test_hints.py -> build/lib/imandra_http_api_client/test 2025-09-22T10:16:50,525 copying src/imandra_http_api_client/test/test_method_induct_body.py -> build/lib/imandra_http_api_client/test 2025-09-22T10:16:50,527 copying src/imandra_http_api_client/test/test_with_unknown_reason_body.py -> build/lib/imandra_http_api_client/test 2025-09-22T10:16:50,529 copying src/imandra_http_api_client/test/test_response_error.py -> build/lib/imandra_http_api_client/test 2025-09-22T10:16:50,531 copying src/imandra_http_api_client/test/test_verify_request_src.py -> build/lib/imandra_http_api_client/test 2025-09-22T10:16:50,533 copying src/imandra_http_api_client/test/test_method_unroll_body.py -> build/lib/imandra_http_api_client/test 2025-09-22T10:16:50,535 copying src/imandra_http_api_client/test/test_syntax.py -> build/lib/imandra_http_api_client/test 2025-09-22T10:16:50,536 copying src/imandra_http_api_client/test/test_default_api.py -> build/lib/imandra_http_api_client/test 2025-09-22T10:16:50,538 copying src/imandra_http_api_client/test/test_verify_response.py -> build/lib/imandra_http_api_client/test 2025-09-22T10:16:50,540 copying src/imandra_http_api_client/test/test_induct_functional_body.py -> build/lib/imandra_http_api_client/test 2025-09-22T10:16:50,542 copying src/imandra_http_api_client/test/test_printer_details.py -> build/lib/imandra_http_api_client/test 2025-09-22T10:16:50,543 copying src/imandra_http_api_client/test/test_eval_request_src.py -> build/lib/imandra_http_api_client/test 2025-09-22T10:16:50,545 copying src/imandra_http_api_client/test/test_response_model.py -> build/lib/imandra_http_api_client/test 2025-09-22T10:16:50,547 copying src/imandra_http_api_client/test/test_verify_request_name.py -> build/lib/imandra_http_api_client/test 2025-09-22T10:16:50,549 copying src/imandra_http_api_client/test/test_decompose_request_src.py -> build/lib/imandra_http_api_client/test 2025-09-22T10:16:50,550 copying src/imandra_http_api_client/test/test_method_ext_solver_body.py -> build/lib/imandra_http_api_client/test 2025-09-22T10:16:50,552 copying src/imandra_http_api_client/test/test_induct_structural_style.py -> build/lib/imandra_http_api_client/test 2025-09-22T10:16:50,554 copying src/imandra_http_api_client/test/test_induct_structural_body.py -> build/lib/imandra_http_api_client/test 2025-09-22T10:16:50,556 copying src/imandra_http_api_client/test/test_method_induct_body_body.py -> build/lib/imandra_http_api_client/test 2025-09-22T10:16:50,558 copying src/imandra_http_api_client/test/test_instance_request_name.py -> build/lib/imandra_http_api_client/test 2025-09-22T10:16:50,560 copying src/imandra_http_api_client/test/test_response_instance.py -> build/lib/imandra_http_api_client/test 2025-09-22T10:16:50,562 copying src/imandra_http_api_client/test/__init__.py -> build/lib/imandra_http_api_client/test 2025-09-22T10:16:50,563 copying src/imandra_http_api_client/test/test_instance_response.py -> build/lib/imandra_http_api_client/test 2025-09-22T10:16:50,565 copying src/imandra_http_api_client/test/test_decompose_region.py -> build/lib/imandra_http_api_client/test 2025-09-22T10:16:50,567 copying src/imandra_http_api_client/test/test_method_body.py -> build/lib/imandra_http_api_client/test 2025-09-22T10:16:50,569 copying src/imandra_http_api_client/test/test_decompose_result.py -> build/lib/imandra_http_api_client/test 2025-09-22T10:16:50,571 copying src/imandra_http_api_client/test/test_method_type.py -> build/lib/imandra_http_api_client/test 2025-09-22T10:16:50,573 copying src/imandra_http_api_client/test/test_induct_type.py -> build/lib/imandra_http_api_client/test 2025-09-22T10:16:50,574 copying src/imandra_http_api_client/test/test_instance_type.py -> build/lib/imandra_http_api_client/test 2025-09-22T10:16:50,576 copying src/imandra_http_api_client/test/test_verify_result.py -> build/lib/imandra_http_api_client/test 2025-09-22T10:16:50,578 copying src/imandra_http_api_client/test/test_up_to_body.py -> build/lib/imandra_http_api_client/test 2025-09-22T10:16:50,580 copying src/imandra_http_api_client/test/test_instance_result.py -> build/lib/imandra_http_api_client/test 2025-09-22T10:16:50,582 copying src/imandra_http_api_client/test/test_instance_request_src.py -> build/lib/imandra_http_api_client/test 2025-09-22T10:16:50,584 copying src/imandra_http_api_client/test/test_with_instance_body.py -> build/lib/imandra_http_api_client/test 2025-09-22T10:16:50,586 copying src/imandra_http_api_client/test/test_verify_response_body.py -> build/lib/imandra_http_api_client/test 2025-09-22T10:16:50,588 copying src/imandra_http_api_client/test/test_method.py -> build/lib/imandra_http_api_client/test 2025-09-22T10:16:50,590 copying src/imandra_http_api_client/test/test_eval_response.py -> build/lib/imandra_http_api_client/test 2025-09-22T10:16:50,592 creating build/lib/imandra/api 2025-09-22T10:16:50,593 copying src/imandra/api/ipl_common.py -> build/lib/imandra/api 2025-09-22T10:16:50,595 copying src/imandra/api/ipl.py -> build/lib/imandra/api 2025-09-22T10:16:50,597 copying src/imandra/api/auth.py -> build/lib/imandra/api 2025-09-22T10:16:50,599 copying src/imandra/api/__init__.py -> build/lib/imandra/api 2025-09-22T10:16:50,601 copying src/imandra/api/instance.py -> build/lib/imandra/api 2025-09-22T10:16:50,602 copying src/imandra/api/rule_synth.py -> build/lib/imandra/api 2025-09-22T10:16:50,604 copying src/imandra/api/cfb.py -> build/lib/imandra/api 2025-09-22T10:16:50,606 creating build/lib/imandra/core 2025-09-22T10:16:50,607 copying src/imandra/core/__init__.py -> build/lib/imandra/core 2025-09-22T10:16:50,610 creating build/lib/imandra/cli 2025-09-22T10:16:50,611 copying src/imandra/cli/ipl_log_analysis.py -> build/lib/imandra/cli 2025-09-22T10:16:50,613 copying src/imandra/cli/__init__.py -> build/lib/imandra/cli 2025-09-22T10:16:50,616 creating build/lib/imandra/u/agents 2025-09-22T10:16:50,617 copying src/imandra/u/agents/__init__.py -> build/lib/imandra/u/agents 2025-09-22T10:16:50,620 creating build/lib/imandra/u/reasoners 2025-09-22T10:16:50,621 copying src/imandra/u/reasoners/prover9.py -> build/lib/imandra/u/reasoners 2025-09-22T10:16:50,623 copying src/imandra/u/reasoners/nqthm.py -> build/lib/imandra/u/reasoners 2025-09-22T10:16:50,625 copying src/imandra/u/reasoners/cvc5.py -> build/lib/imandra/u/reasoners 2025-09-22T10:16:50,626 copying src/imandra/u/reasoners/otter.py -> build/lib/imandra/u/reasoners 2025-09-22T10:16:50,628 copying src/imandra/u/reasoners/qepcad.py -> build/lib/imandra/u/reasoners 2025-09-22T10:16:50,630 copying src/imandra/u/reasoners/__init__.py -> build/lib/imandra/u/reasoners 2025-09-22T10:16:50,632 copying src/imandra/u/reasoners/eprover.py -> build/lib/imandra/u/reasoners 2025-09-22T10:16:50,633 copying src/imandra/u/reasoners/mace4.py -> build/lib/imandra/u/reasoners 2025-09-22T10:16:50,635 copying src/imandra/u/reasoners/metitarski.py -> build/lib/imandra/u/reasoners 2025-09-22T10:16:50,637 copying src/imandra/u/reasoners/zipperposition.py -> build/lib/imandra/u/reasoners 2025-09-22T10:16:50,638 copying src/imandra/u/reasoners/acl2.py -> build/lib/imandra/u/reasoners 2025-09-22T10:16:50,640 copying src/imandra/u/reasoners/core.py -> build/lib/imandra/u/reasoners 2025-09-22T10:16:50,642 copying src/imandra/u/reasoners/clingo.py -> build/lib/imandra/u/reasoners 2025-09-22T10:16:50,644 copying src/imandra/u/reasoners/z3.py -> build/lib/imandra/u/reasoners 2025-09-22T10:16:50,646 creating build/lib/imandra/u/agents/spec_logician 2025-09-22T10:16:50,647 copying src/imandra/u/agents/spec_logician/graph.py -> build/lib/imandra/u/agents/spec_logician 2025-09-22T10:16:50,649 copying src/imandra/u/agents/spec_logician/__init__.py -> build/lib/imandra/u/agents/spec_logician 2025-09-22T10:16:50,652 creating build/lib/imandra/u/agents/code_logician 2025-09-22T10:16:50,653 copying src/imandra/u/agents/code_logician/command.py -> build/lib/imandra/u/agents/code_logician 2025-09-22T10:16:50,656 copying src/imandra/u/agents/code_logician/task.py -> build/lib/imandra/u/agents/code_logician 2025-09-22T10:16:50,659 copying src/imandra/u/agents/code_logician/rich_utils.py -> build/lib/imandra/u/agents/code_logician 2025-09-22T10:16:50,660 copying src/imandra/u/agents/code_logician/interrupt_message.py -> build/lib/imandra/u/agents/code_logician 2025-09-22T10:16:50,662 copying src/imandra/u/agents/code_logician/__init__.py -> build/lib/imandra/u/agents/code_logician 2025-09-22T10:16:50,664 creating build/lib/imandra/u/agents/code_logician/base 2025-09-22T10:16:50,666 copying src/imandra/u/agents/code_logician/base/formalization_state.py -> build/lib/imandra/u/agents/code_logician/base 2025-09-22T10:16:50,668 copying src/imandra/u/agents/code_logician/base/vg.py -> build/lib/imandra/u/agents/code_logician/base 2025-09-22T10:16:50,670 copying src/imandra/u/agents/code_logician/base/iml.py -> build/lib/imandra/u/agents/code_logician/base 2025-09-22T10:16:50,672 copying src/imandra/u/agents/code_logician/base/dependency.py -> build/lib/imandra/u/agents/code_logician/base 2025-09-22T10:16:50,674 copying src/imandra/u/agents/code_logician/base/imandrax.py -> build/lib/imandra/u/agents/code_logician/base 2025-09-22T10:16:50,676 copying src/imandra/u/agents/code_logician/base/__init__.py -> build/lib/imandra/u/agents/code_logician/base 2025-09-22T10:16:50,678 copying src/imandra/u/agents/code_logician/base/context.py -> build/lib/imandra/u/agents/code_logician/base 2025-09-22T10:16:50,680 copying src/imandra/u/agents/code_logician/base/region_decomp.py -> build/lib/imandra/u/agents/code_logician/base 2025-09-22T10:16:50,682 creating build/lib/imandra/u/agents/code_logician/graph 2025-09-22T10:16:50,683 copying src/imandra/u/agents/code_logician/graph/graph_state.py -> build/lib/imandra/u/agents/code_logician/graph 2025-09-22T10:16:50,685 copying src/imandra/u/agents/code_logician/graph/__init__.py -> build/lib/imandra/u/agents/code_logician/graph 2025-09-22T10:16:50,688 creating build/lib/imandra/u/agents/code_logician/imandrax 2025-09-22T10:16:50,689 copying src/imandra/u/agents/code_logician/imandrax/session.py -> build/lib/imandra/u/agents/code_logician/imandrax 2025-09-22T10:16:50,691 copying src/imandra/u/agents/code_logician/imandrax/task.py -> build/lib/imandra/u/agents/code_logician/imandrax 2025-09-22T10:16:50,693 copying src/imandra/u/agents/code_logician/imandrax/locs.py -> build/lib/imandra/u/agents/code_logician/imandrax 2025-09-22T10:16:50,694 copying src/imandra/u/agents/code_logician/imandrax/__init__.py -> build/lib/imandra/u/agents/code_logician/imandrax 2025-09-22T10:16:50,696 copying src/imandra/u/agents/code_logician/imandrax/artmsg.py -> build/lib/imandra/u/agents/code_logician/imandrax 2025-09-22T10:16:50,698 copying src/imandra/u/agents/code_logician/imandrax/utils.py -> build/lib/imandra/u/agents/code_logician/imandrax 2025-09-22T10:16:50,700 copying src/imandra/u/agents/code_logician/imandrax/error.py -> build/lib/imandra/u/agents/code_logician/imandrax 2025-09-22T10:16:50,702 copying src/imandra/u/agents/code_logician/imandrax/simple_api.py -> build/lib/imandra/u/agents/code_logician/imandrax 2025-09-22T10:16:50,704 running egg_info 2025-09-22T10:16:50,716 writing src/imandra.egg-info/PKG-INFO 2025-09-22T10:16:50,725 writing dependency_links to src/imandra.egg-info/dependency_links.txt 2025-09-22T10:16:50,727 writing entry points to src/imandra.egg-info/entry_points.txt 2025-09-22T10:16:50,732 writing requirements to src/imandra.egg-info/requires.txt 2025-09-22T10:16:50,733 writing top-level names to src/imandra.egg-info/top_level.txt 2025-09-22T10:16:50,759 reading manifest file 'src/imandra.egg-info/SOURCES.txt' 2025-09-22T10:16:50,778 writing manifest file 'src/imandra.egg-info/SOURCES.txt' 2025-09-22T10:16:50,780 /tmp/pip-build-env-v7gu4rle/overlay/local/lib/python3.11/dist-packages/setuptools/command/build_py.py:212: _Warning: Package 'imandra.__pycache__' is absent from the `packages` configuration. 2025-09-22T10:16:50,781 !! 2025-09-22T10:16:50,782 ******************************************************************************** 2025-09-22T10:16:50,783 ############################ 2025-09-22T10:16:50,784 # Package would be ignored # 2025-09-22T10:16:50,784 ############################ 2025-09-22T10:16:50,785 Python recognizes 'imandra.__pycache__' as an importable package[^1], 2025-09-22T10:16:50,785 but it is absent from setuptools' `packages` configuration. 2025-09-22T10:16:50,787 This leads to an ambiguous overall configuration. If you want to distribute this 2025-09-22T10:16:50,787 package, please make sure that 'imandra.__pycache__' is explicitly added 2025-09-22T10:16:50,787 to the `packages` configuration field. 2025-09-22T10:16:50,788 Alternatively, you can also rely on setuptools' discovery methods 2025-09-22T10:16:50,789 (for example by using `find_namespace_packages(...)`/`find_namespace:` 2025-09-22T10:16:50,789 instead of `find_packages(...)`/`find:`). 2025-09-22T10:16:50,790 You can read more about "package discovery" on setuptools documentation page: 2025-09-22T10:16:50,791 - https://setuptools.pypa.io/en/latest/userguide/package_discovery.html 2025-09-22T10:16:50,792 If you don't want 'imandra.__pycache__' to be distributed and are 2025-09-22T10:16:50,792 already explicitly excluding 'imandra.__pycache__' via 2025-09-22T10:16:50,792 `find_namespace_packages(...)/find_namespace` or `find_packages(...)/find`, 2025-09-22T10:16:50,793 you can try to use `exclude_package_data`, or `include-package-data=False` in 2025-09-22T10:16:50,793 combination with a more fine grained `package-data` configuration. 2025-09-22T10:16:50,794 You can read more about "package data files" on setuptools documentation page: 2025-09-22T10:16:50,795 - https://setuptools.pypa.io/en/latest/userguide/datafiles.html 2025-09-22T10:16:50,796 [^1]: For Python, any directory (with suitable naming) can be imported, 2025-09-22T10:16:50,797 even if it does not contain any `.py` files. 2025-09-22T10:16:50,798 On the other hand, currently there is no concept of package data 2025-09-22T10:16:50,798 directory, all directories are treated like packages. 2025-09-22T10:16:50,799 ******************************************************************************** 2025-09-22T10:16:50,800 !! 2025-09-22T10:16:50,800 check.warn(importable) 2025-09-22T10:16:50,801 /tmp/pip-build-env-v7gu4rle/overlay/local/lib/python3.11/dist-packages/setuptools/command/build_py.py:212: _Warning: Package 'imandra.u.agents.__pycache__' is absent from the `packages` configuration. 2025-09-22T10:16:50,801 !! 2025-09-22T10:16:50,802 ******************************************************************************** 2025-09-22T10:16:50,803 ############################ 2025-09-22T10:16:50,803 # Package would be ignored # 2025-09-22T10:16:50,804 ############################ 2025-09-22T10:16:50,804 Python recognizes 'imandra.u.agents.__pycache__' as an importable package[^1], 2025-09-22T10:16:50,805 but it is absent from setuptools' `packages` configuration. 2025-09-22T10:16:50,806 This leads to an ambiguous overall configuration. If you want to distribute this 2025-09-22T10:16:50,806 package, please make sure that 'imandra.u.agents.__pycache__' is explicitly added 2025-09-22T10:16:50,807 to the `packages` configuration field. 2025-09-22T10:16:50,808 Alternatively, you can also rely on setuptools' discovery methods 2025-09-22T10:16:50,808 (for example by using `find_namespace_packages(...)`/`find_namespace:` 2025-09-22T10:16:50,809 instead of `find_packages(...)`/`find:`). 2025-09-22T10:16:50,810 You can read more about "package discovery" on setuptools documentation page: 2025-09-22T10:16:50,811 - https://setuptools.pypa.io/en/latest/userguide/package_discovery.html 2025-09-22T10:16:50,812 If you don't want 'imandra.u.agents.__pycache__' to be distributed and are 2025-09-22T10:16:50,812 already explicitly excluding 'imandra.u.agents.__pycache__' via 2025-09-22T10:16:50,813 `find_namespace_packages(...)/find_namespace` or `find_packages(...)/find`, 2025-09-22T10:16:50,813 you can try to use `exclude_package_data`, or `include-package-data=False` in 2025-09-22T10:16:50,814 combination with a more fine grained `package-data` configuration. 2025-09-22T10:16:50,815 You can read more about "package data files" on setuptools documentation page: 2025-09-22T10:16:50,816 - https://setuptools.pypa.io/en/latest/userguide/datafiles.html 2025-09-22T10:16:50,817 [^1]: For Python, any directory (with suitable naming) can be imported, 2025-09-22T10:16:50,817 even if it does not contain any `.py` files. 2025-09-22T10:16:50,818 On the other hand, currently there is no concept of package data 2025-09-22T10:16:50,819 directory, all directories are treated like packages. 2025-09-22T10:16:50,819 ******************************************************************************** 2025-09-22T10:16:50,820 !! 2025-09-22T10:16:50,820 check.warn(importable) 2025-09-22T10:16:50,821 /tmp/pip-build-env-v7gu4rle/overlay/local/lib/python3.11/dist-packages/setuptools/command/build_py.py:212: _Warning: Package 'imandra.u.agents.code_logician.__pycache__' is absent from the `packages` configuration. 2025-09-22T10:16:50,821 !! 2025-09-22T10:16:50,822 ******************************************************************************** 2025-09-22T10:16:50,823 ############################ 2025-09-22T10:16:50,823 # Package would be ignored # 2025-09-22T10:16:50,824 ############################ 2025-09-22T10:16:50,824 Python recognizes 'imandra.u.agents.code_logician.__pycache__' as an importable package[^1], 2025-09-22T10:16:50,825 but it is absent from setuptools' `packages` configuration. 2025-09-22T10:16:50,826 This leads to an ambiguous overall configuration. If you want to distribute this 2025-09-22T10:16:50,826 package, please make sure that 'imandra.u.agents.code_logician.__pycache__' is explicitly added 2025-09-22T10:16:50,827 to the `packages` configuration field. 2025-09-22T10:16:50,828 Alternatively, you can also rely on setuptools' discovery methods 2025-09-22T10:16:50,828 (for example by using `find_namespace_packages(...)`/`find_namespace:` 2025-09-22T10:16:50,829 instead of `find_packages(...)`/`find:`). 2025-09-22T10:16:50,830 You can read more about "package discovery" on setuptools documentation page: 2025-09-22T10:16:50,831 - https://setuptools.pypa.io/en/latest/userguide/package_discovery.html 2025-09-22T10:16:50,832 If you don't want 'imandra.u.agents.code_logician.__pycache__' to be distributed and are 2025-09-22T10:16:50,833 already explicitly excluding 'imandra.u.agents.code_logician.__pycache__' via 2025-09-22T10:16:50,833 `find_namespace_packages(...)/find_namespace` or `find_packages(...)/find`, 2025-09-22T10:16:50,834 you can try to use `exclude_package_data`, or `include-package-data=False` in 2025-09-22T10:16:50,834 combination with a more fine grained `package-data` configuration. 2025-09-22T10:16:50,835 You can read more about "package data files" on setuptools documentation page: 2025-09-22T10:16:50,836 - https://setuptools.pypa.io/en/latest/userguide/datafiles.html 2025-09-22T10:16:50,838 [^1]: For Python, any directory (with suitable naming) can be imported, 2025-09-22T10:16:50,839 even if it does not contain any `.py` files. 2025-09-22T10:16:50,839 On the other hand, currently there is no concept of package data 2025-09-22T10:16:50,840 directory, all directories are treated like packages. 2025-09-22T10:16:50,840 ******************************************************************************** 2025-09-22T10:16:50,841 !! 2025-09-22T10:16:50,842 check.warn(importable) 2025-09-22T10:16:50,842 /tmp/pip-build-env-v7gu4rle/overlay/local/lib/python3.11/dist-packages/setuptools/command/build_py.py:212: _Warning: Package 'imandra_http_api_client.__pycache__' is absent from the `packages` configuration. 2025-09-22T10:16:50,843 !! 2025-09-22T10:16:50,844 ******************************************************************************** 2025-09-22T10:16:50,844 ############################ 2025-09-22T10:16:50,845 # Package would be ignored # 2025-09-22T10:16:50,845 ############################ 2025-09-22T10:16:50,846 Python recognizes 'imandra_http_api_client.__pycache__' as an importable package[^1], 2025-09-22T10:16:50,846 but it is absent from setuptools' `packages` configuration. 2025-09-22T10:16:50,847 This leads to an ambiguous overall configuration. If you want to distribute this 2025-09-22T10:16:50,848 package, please make sure that 'imandra_http_api_client.__pycache__' is explicitly added 2025-09-22T10:16:50,848 to the `packages` configuration field. 2025-09-22T10:16:50,849 Alternatively, you can also rely on setuptools' discovery methods 2025-09-22T10:16:50,850 (for example by using `find_namespace_packages(...)`/`find_namespace:` 2025-09-22T10:16:50,850 instead of `find_packages(...)`/`find:`). 2025-09-22T10:16:50,851 You can read more about "package discovery" on setuptools documentation page: 2025-09-22T10:16:50,852 - https://setuptools.pypa.io/en/latest/userguide/package_discovery.html 2025-09-22T10:16:50,853 If you don't want 'imandra_http_api_client.__pycache__' to be distributed and are 2025-09-22T10:16:50,853 already explicitly excluding 'imandra_http_api_client.__pycache__' via 2025-09-22T10:16:50,854 `find_namespace_packages(...)/find_namespace` or `find_packages(...)/find`, 2025-09-22T10:16:50,854 you can try to use `exclude_package_data`, or `include-package-data=False` in 2025-09-22T10:16:50,855 combination with a more fine grained `package-data` configuration. 2025-09-22T10:16:50,856 You can read more about "package data files" on setuptools documentation page: 2025-09-22T10:16:50,857 - https://setuptools.pypa.io/en/latest/userguide/datafiles.html 2025-09-22T10:16:50,859 [^1]: For Python, any directory (with suitable naming) can be imported, 2025-09-22T10:16:50,860 even if it does not contain any `.py` files. 2025-09-22T10:16:50,860 On the other hand, currently there is no concept of package data 2025-09-22T10:16:50,861 directory, all directories are treated like packages. 2025-09-22T10:16:50,861 ******************************************************************************** 2025-09-22T10:16:50,862 !! 2025-09-22T10:16:50,863 check.warn(importable) 2025-09-22T10:16:50,863 /tmp/pip-build-env-v7gu4rle/overlay/local/lib/python3.11/dist-packages/setuptools/command/build_py.py:212: _Warning: Package 'imandra_http_api_client.api.__pycache__' is absent from the `packages` configuration. 2025-09-22T10:16:50,864 !! 2025-09-22T10:16:50,865 ******************************************************************************** 2025-09-22T10:16:50,866 ############################ 2025-09-22T10:16:50,866 # Package would be ignored # 2025-09-22T10:16:50,867 ############################ 2025-09-22T10:16:50,867 Python recognizes 'imandra_http_api_client.api.__pycache__' as an importable package[^1], 2025-09-22T10:16:50,868 but it is absent from setuptools' `packages` configuration. 2025-09-22T10:16:50,869 This leads to an ambiguous overall configuration. If you want to distribute this 2025-09-22T10:16:50,870 package, please make sure that 'imandra_http_api_client.api.__pycache__' is explicitly added 2025-09-22T10:16:50,870 to the `packages` configuration field. 2025-09-22T10:16:50,871 Alternatively, you can also rely on setuptools' discovery methods 2025-09-22T10:16:50,872 (for example by using `find_namespace_packages(...)`/`find_namespace:` 2025-09-22T10:16:50,872 instead of `find_packages(...)`/`find:`). 2025-09-22T10:16:50,873 You can read more about "package discovery" on setuptools documentation page: 2025-09-22T10:16:50,874 - https://setuptools.pypa.io/en/latest/userguide/package_discovery.html 2025-09-22T10:16:50,875 If you don't want 'imandra_http_api_client.api.__pycache__' to be distributed and are 2025-09-22T10:16:50,875 already explicitly excluding 'imandra_http_api_client.api.__pycache__' via 2025-09-22T10:16:50,875 `find_namespace_packages(...)/find_namespace` or `find_packages(...)/find`, 2025-09-22T10:16:50,876 you can try to use `exclude_package_data`, or `include-package-data=False` in 2025-09-22T10:16:50,876 combination with a more fine grained `package-data` configuration. 2025-09-22T10:16:50,877 You can read more about "package data files" on setuptools documentation page: 2025-09-22T10:16:50,878 - https://setuptools.pypa.io/en/latest/userguide/datafiles.html 2025-09-22T10:16:50,879 [^1]: For Python, any directory (with suitable naming) can be imported, 2025-09-22T10:16:50,880 even if it does not contain any `.py` files. 2025-09-22T10:16:50,880 On the other hand, currently there is no concept of package data 2025-09-22T10:16:50,880 directory, all directories are treated like packages. 2025-09-22T10:16:50,881 ******************************************************************************** 2025-09-22T10:16:50,882 !! 2025-09-22T10:16:50,882 check.warn(importable) 2025-09-22T10:16:50,883 /tmp/pip-build-env-v7gu4rle/overlay/local/lib/python3.11/dist-packages/setuptools/command/build_py.py:212: _Warning: Package 'imandra_http_api_client.models.__pycache__' is absent from the `packages` configuration. 2025-09-22T10:16:50,883 !! 2025-09-22T10:16:50,884 ******************************************************************************** 2025-09-22T10:16:50,885 ############################ 2025-09-22T10:16:50,885 # Package would be ignored # 2025-09-22T10:16:50,886 ############################ 2025-09-22T10:16:50,886 Python recognizes 'imandra_http_api_client.models.__pycache__' as an importable package[^1], 2025-09-22T10:16:50,887 but it is absent from setuptools' `packages` configuration. 2025-09-22T10:16:50,888 This leads to an ambiguous overall configuration. If you want to distribute this 2025-09-22T10:16:50,889 package, please make sure that 'imandra_http_api_client.models.__pycache__' is explicitly added 2025-09-22T10:16:50,889 to the `packages` configuration field. 2025-09-22T10:16:50,890 Alternatively, you can also rely on setuptools' discovery methods 2025-09-22T10:16:50,891 (for example by using `find_namespace_packages(...)`/`find_namespace:` 2025-09-22T10:16:50,892 instead of `find_packages(...)`/`find:`). 2025-09-22T10:16:50,893 You can read more about "package discovery" on setuptools documentation page: 2025-09-22T10:16:50,894 - https://setuptools.pypa.io/en/latest/userguide/package_discovery.html 2025-09-22T10:16:50,895 If you don't want 'imandra_http_api_client.models.__pycache__' to be distributed and are 2025-09-22T10:16:50,895 already explicitly excluding 'imandra_http_api_client.models.__pycache__' via 2025-09-22T10:16:50,896 `find_namespace_packages(...)/find_namespace` or `find_packages(...)/find`, 2025-09-22T10:16:50,896 you can try to use `exclude_package_data`, or `include-package-data=False` in 2025-09-22T10:16:50,897 combination with a more fine grained `package-data` configuration. 2025-09-22T10:16:50,898 You can read more about "package data files" on setuptools documentation page: 2025-09-22T10:16:50,899 - https://setuptools.pypa.io/en/latest/userguide/datafiles.html 2025-09-22T10:16:50,901 [^1]: For Python, any directory (with suitable naming) can be imported, 2025-09-22T10:16:50,902 even if it does not contain any `.py` files. 2025-09-22T10:16:50,903 On the other hand, currently there is no concept of package data 2025-09-22T10:16:50,903 directory, all directories are treated like packages. 2025-09-22T10:16:50,904 ******************************************************************************** 2025-09-22T10:16:50,904 !! 2025-09-22T10:16:50,905 check.warn(importable) 2025-09-22T10:16:50,905 creating build/lib/imandra_http_api_client/__pycache__ 2025-09-22T10:16:50,906 copying src/imandra_http_api_client/__pycache__/__init__.cpython-313.pyc -> build/lib/imandra_http_api_client/__pycache__ 2025-09-22T10:16:50,906 creating build/lib/imandra/__pycache__ 2025-09-22T10:16:50,906 copying src/imandra/__pycache__/__init__.cpython-313.pyc -> build/lib/imandra/__pycache__ 2025-09-22T10:16:50,907 copying src/imandra/__pycache__/auth.cpython-313.pyc -> build/lib/imandra/__pycache__ 2025-09-22T10:16:50,907 copying src/imandra/__pycache__/core.cpython-313.pyc -> build/lib/imandra/__pycache__ 2025-09-22T10:16:50,907 creating build/lib/imandra_http_api_client/api/__pycache__ 2025-09-22T10:16:50,908 copying src/imandra_http_api_client/api/__pycache__/__init__.cpython-313.pyc -> build/lib/imandra_http_api_client/api/__pycache__ 2025-09-22T10:16:50,908 copying src/imandra_http_api_client/api/__pycache__/default_api.cpython-313.pyc -> build/lib/imandra_http_api_client/api/__pycache__ 2025-09-22T10:16:50,909 creating build/lib/imandra_http_api_client/models/__pycache__ 2025-09-22T10:16:50,909 copying src/imandra_http_api_client/models/__pycache__/__init__.cpython-313.pyc -> build/lib/imandra_http_api_client/models/__pycache__ 2025-09-22T10:16:50,910 copying src/imandra_http_api_client/models/__pycache__/decompose_region.cpython-313.pyc -> build/lib/imandra_http_api_client/models/__pycache__ 2025-09-22T10:16:50,910 copying src/imandra_http_api_client/models/__pycache__/decompose_request_src.cpython-313.pyc -> build/lib/imandra_http_api_client/models/__pycache__ 2025-09-22T10:16:50,911 copying src/imandra_http_api_client/models/__pycache__/decompose_result.cpython-313.pyc -> build/lib/imandra_http_api_client/models/__pycache__ 2025-09-22T10:16:50,911 copying src/imandra_http_api_client/models/__pycache__/eval_request_src.cpython-313.pyc -> build/lib/imandra_http_api_client/models/__pycache__ 2025-09-22T10:16:50,912 copying src/imandra_http_api_client/models/__pycache__/syntax.cpython-313.pyc -> build/lib/imandra_http_api_client/models/__pycache__ 2025-09-22T10:16:50,913 creating build/lib/imandra/u/agents/__pycache__ 2025-09-22T10:16:50,913 copying src/imandra/u/agents/__pycache__/__init__.cpython-313.pyc -> build/lib/imandra/u/agents/__pycache__ 2025-09-22T10:16:50,914 copying src/imandra/u/agents/__pycache__/code_logician.cpython-313.pyc -> build/lib/imandra/u/agents/__pycache__ 2025-09-22T10:16:50,914 copying src/imandra/u/agents/__pycache__/code_logician_formalizer.cpython-313.pyc -> build/lib/imandra/u/agents/__pycache__ 2025-09-22T10:16:50,915 copying src/imandra/u/agents/__pycache__/code_logician_reasoner.cpython-313.pyc -> build/lib/imandra/u/agents/__pycache__ 2025-09-22T10:16:50,915 copying src/imandra/u/agents/__pycache__/cogito.cpython-313.pyc -> build/lib/imandra/u/agents/__pycache__ 2025-09-22T10:16:50,916 creating build/lib/imandra/u/agents/code_logician/__pycache__ 2025-09-22T10:16:50,916 copying src/imandra/u/agents/code_logician/__pycache__/__init__.cpython-312.pyc -> build/lib/imandra/u/agents/code_logician/__pycache__ 2025-09-22T10:16:50,917 copying src/imandra/u/agents/code_logician/__pycache__/__init__.cpython-313.pyc -> build/lib/imandra/u/agents/code_logician/__pycache__ 2025-09-22T10:16:50,917 copying src/imandra/u/agents/code_logician/__pycache__/command.cpython-312.pyc -> build/lib/imandra/u/agents/code_logician/__pycache__ 2025-09-22T10:16:50,918 copying src/imandra/u/agents/code_logician/__pycache__/command.cpython-313.pyc -> build/lib/imandra/u/agents/code_logician/__pycache__ 2025-09-22T10:16:50,919 copying src/imandra/u/agents/code_logician/__pycache__/command_schema.cpython-312.pyc -> build/lib/imandra/u/agents/code_logician/__pycache__ 2025-09-22T10:16:50,920 copying src/imandra/u/agents/code_logician/__pycache__/graph.cpython-312.pyc -> build/lib/imandra/u/agents/code_logician/__pycache__ 2025-09-22T10:16:50,920 copying src/imandra/u/agents/code_logician/__pycache__/graph.cpython-313.pyc -> build/lib/imandra/u/agents/code_logician/__pycache__ 2025-09-22T10:16:50,920 copying src/imandra/u/agents/code_logician/__pycache__/graph_state_schema.cpython-312.pyc -> build/lib/imandra/u/agents/code_logician/__pycache__ 2025-09-22T10:16:50,921 installing to build/bdist.linux-armv7l/wheel 2025-09-22T10:16:50,921 running install 2025-09-22T10:16:50,932 running install_lib 2025-09-22T10:16:50,939 creating build/bdist.linux-armv7l/wheel 2025-09-22T10:16:50,941 creating build/bdist.linux-armv7l/wheel/imandra_http_api_client 2025-09-22T10:16:50,942 copying build/lib/imandra_http_api_client/exceptions.py -> build/bdist.linux-armv7l/wheel/./imandra_http_api_client 2025-09-22T10:16:50,945 creating build/bdist.linux-armv7l/wheel/imandra_http_api_client/__pycache__ 2025-09-22T10:16:50,946 copying build/lib/imandra_http_api_client/__pycache__/__init__.cpython-313.pyc -> build/bdist.linux-armv7l/wheel/./imandra_http_api_client/__pycache__ 2025-09-22T10:16:50,948 copying build/lib/imandra_http_api_client/rest.py -> build/bdist.linux-armv7l/wheel/./imandra_http_api_client 2025-09-22T10:16:50,950 copying build/lib/imandra_http_api_client/api_client.py -> build/bdist.linux-armv7l/wheel/./imandra_http_api_client 2025-09-22T10:16:50,953 creating build/bdist.linux-armv7l/wheel/imandra_http_api_client/api 2025-09-22T10:16:50,955 creating build/bdist.linux-armv7l/wheel/imandra_http_api_client/api/__pycache__ 2025-09-22T10:16:50,956 copying build/lib/imandra_http_api_client/api/__pycache__/default_api.cpython-313.pyc -> build/bdist.linux-armv7l/wheel/./imandra_http_api_client/api/__pycache__ 2025-09-22T10:16:50,959 copying build/lib/imandra_http_api_client/api/__pycache__/__init__.cpython-313.pyc -> build/bdist.linux-armv7l/wheel/./imandra_http_api_client/api/__pycache__ 2025-09-22T10:16:50,961 copying build/lib/imandra_http_api_client/api/__init__.py -> build/bdist.linux-armv7l/wheel/./imandra_http_api_client/api 2025-09-22T10:16:50,962 copying build/lib/imandra_http_api_client/api/default_api.py -> build/bdist.linux-armv7l/wheel/./imandra_http_api_client/api 2025-09-22T10:16:50,966 creating build/bdist.linux-armv7l/wheel/imandra_http_api_client/models 2025-09-22T10:16:50,967 copying build/lib/imandra_http_api_client/models/induct_functional_body.py -> build/bdist.linux-armv7l/wheel/./imandra_http_api_client/models 2025-09-22T10:16:50,969 copying build/lib/imandra_http_api_client/models/induct_type.py -> build/bdist.linux-armv7l/wheel/./imandra_http_api_client/models 2025-09-22T10:16:50,971 copying build/lib/imandra_http_api_client/models/method_type.py -> build/bdist.linux-armv7l/wheel/./imandra_http_api_client/models 2025-09-22T10:16:50,973 copying build/lib/imandra_http_api_client/models/hints.py -> build/bdist.linux-armv7l/wheel/./imandra_http_api_client/models 2025-09-22T10:16:50,975 creating build/bdist.linux-armv7l/wheel/imandra_http_api_client/models/__pycache__ 2025-09-22T10:16:50,976 copying build/lib/imandra_http_api_client/models/__pycache__/decompose_region.cpython-313.pyc -> build/bdist.linux-armv7l/wheel/./imandra_http_api_client/models/__pycache__ 2025-09-22T10:16:50,978 copying build/lib/imandra_http_api_client/models/__pycache__/__init__.cpython-313.pyc -> build/bdist.linux-armv7l/wheel/./imandra_http_api_client/models/__pycache__ 2025-09-22T10:16:50,980 copying build/lib/imandra_http_api_client/models/__pycache__/syntax.cpython-313.pyc -> build/bdist.linux-armv7l/wheel/./imandra_http_api_client/models/__pycache__ 2025-09-22T10:16:50,982 copying build/lib/imandra_http_api_client/models/__pycache__/decompose_result.cpython-313.pyc -> build/bdist.linux-armv7l/wheel/./imandra_http_api_client/models/__pycache__ 2025-09-22T10:16:50,984 copying build/lib/imandra_http_api_client/models/__pycache__/eval_request_src.cpython-313.pyc -> build/bdist.linux-armv7l/wheel/./imandra_http_api_client/models/__pycache__ 2025-09-22T10:16:50,985 copying build/lib/imandra_http_api_client/models/__pycache__/decompose_request_src.cpython-313.pyc -> build/bdist.linux-armv7l/wheel/./imandra_http_api_client/models/__pycache__ 2025-09-22T10:16:50,987 copying build/lib/imandra_http_api_client/models/induct_structural_body.py -> build/bdist.linux-armv7l/wheel/./imandra_http_api_client/models 2025-09-22T10:16:50,989 copying build/lib/imandra_http_api_client/models/verify_result.py -> build/bdist.linux-armv7l/wheel/./imandra_http_api_client/models 2025-09-22T10:16:50,990 copying build/lib/imandra_http_api_client/models/syntax.py -> build/bdist.linux-armv7l/wheel/./imandra_http_api_client/models 2025-09-22T10:16:50,992 copying build/lib/imandra_http_api_client/models/instance_result.py -> build/bdist.linux-armv7l/wheel/./imandra_http_api_client/models 2025-09-22T10:16:50,994 copying build/lib/imandra_http_api_client/models/decompose_region.py -> build/bdist.linux-armv7l/wheel/./imandra_http_api_client/models 2025-09-22T10:16:50,995 copying build/lib/imandra_http_api_client/models/printer_details.py -> build/bdist.linux-armv7l/wheel/./imandra_http_api_client/models 2025-09-22T10:16:50,997 copying build/lib/imandra_http_api_client/models/instance_request_name.py -> build/bdist.linux-armv7l/wheel/./imandra_http_api_client/models 2025-09-22T10:16:50,999 copying build/lib/imandra_http_api_client/models/method_induct_body.py -> build/bdist.linux-armv7l/wheel/./imandra_http_api_client/models 2025-09-22T10:16:51,001 copying build/lib/imandra_http_api_client/models/up_to_body.py -> build/bdist.linux-armv7l/wheel/./imandra_http_api_client/models 2025-09-22T10:16:51,003 copying build/lib/imandra_http_api_client/models/induct_structural_style.py -> build/bdist.linux-armv7l/wheel/./imandra_http_api_client/models 2025-09-22T10:16:51,004 copying build/lib/imandra_http_api_client/models/__init__.py -> build/bdist.linux-armv7l/wheel/./imandra_http_api_client/models 2025-09-22T10:16:51,006 copying build/lib/imandra_http_api_client/models/response_instance.py -> build/bdist.linux-armv7l/wheel/./imandra_http_api_client/models 2025-09-22T10:16:51,008 copying build/lib/imandra_http_api_client/models/verify_response_body.py -> build/bdist.linux-armv7l/wheel/./imandra_http_api_client/models 2025-09-22T10:16:51,010 copying build/lib/imandra_http_api_client/models/response_error.py -> build/bdist.linux-armv7l/wheel/./imandra_http_api_client/models 2025-09-22T10:16:51,012 copying build/lib/imandra_http_api_client/models/verify_request_src.py -> build/bdist.linux-armv7l/wheel/./imandra_http_api_client/models 2025-09-22T10:16:51,014 copying build/lib/imandra_http_api_client/models/decompose_request_src.py -> build/bdist.linux-armv7l/wheel/./imandra_http_api_client/models 2025-09-22T10:16:51,016 copying build/lib/imandra_http_api_client/models/instance_request_src.py -> build/bdist.linux-armv7l/wheel/./imandra_http_api_client/models 2025-09-22T10:16:51,017 copying build/lib/imandra_http_api_client/models/eval_response.py -> build/bdist.linux-armv7l/wheel/./imandra_http_api_client/models 2025-09-22T10:16:51,019 copying build/lib/imandra_http_api_client/models/decompose_result.py -> build/bdist.linux-armv7l/wheel/./imandra_http_api_client/models 2025-09-22T10:16:51,021 copying build/lib/imandra_http_api_client/models/with_instance_body.py -> build/bdist.linux-armv7l/wheel/./imandra_http_api_client/models 2025-09-22T10:16:51,023 copying build/lib/imandra_http_api_client/models/method_unroll_body.py -> build/bdist.linux-armv7l/wheel/./imandra_http_api_client/models 2025-09-22T10:16:51,025 copying build/lib/imandra_http_api_client/models/with_unknown_reason_body.py -> build/bdist.linux-armv7l/wheel/./imandra_http_api_client/models 2025-09-22T10:16:51,027 copying build/lib/imandra_http_api_client/models/method_body.py -> build/bdist.linux-armv7l/wheel/./imandra_http_api_client/models 2025-09-22T10:16:51,029 copying build/lib/imandra_http_api_client/models/eval_request_src.py -> build/bdist.linux-armv7l/wheel/./imandra_http_api_client/models 2025-09-22T10:16:51,031 copying build/lib/imandra_http_api_client/models/method_ext_solver_body.py -> build/bdist.linux-armv7l/wheel/./imandra_http_api_client/models 2025-09-22T10:16:51,033 copying build/lib/imandra_http_api_client/models/response_model.py -> build/bdist.linux-armv7l/wheel/./imandra_http_api_client/models 2025-09-22T10:16:51,035 copying build/lib/imandra_http_api_client/models/verify_response.py -> build/bdist.linux-armv7l/wheel/./imandra_http_api_client/models 2025-09-22T10:16:51,036 copying build/lib/imandra_http_api_client/models/verify_request_name.py -> build/bdist.linux-armv7l/wheel/./imandra_http_api_client/models 2025-09-22T10:16:51,038 copying build/lib/imandra_http_api_client/models/method_induct_body_body.py -> build/bdist.linux-armv7l/wheel/./imandra_http_api_client/models 2025-09-22T10:16:51,040 copying build/lib/imandra_http_api_client/models/instance_response.py -> build/bdist.linux-armv7l/wheel/./imandra_http_api_client/models 2025-09-22T10:16:51,042 copying build/lib/imandra_http_api_client/models/method.py -> build/bdist.linux-armv7l/wheel/./imandra_http_api_client/models 2025-09-22T10:16:51,044 copying build/lib/imandra_http_api_client/models/instance_type.py -> build/bdist.linux-armv7l/wheel/./imandra_http_api_client/models 2025-09-22T10:16:51,045 copying build/lib/imandra_http_api_client/__init__.py -> build/bdist.linux-armv7l/wheel/./imandra_http_api_client 2025-09-22T10:16:51,047 copying build/lib/imandra_http_api_client/api_response.py -> build/bdist.linux-armv7l/wheel/./imandra_http_api_client 2025-09-22T10:16:51,049 copying build/lib/imandra_http_api_client/configuration.py -> build/bdist.linux-armv7l/wheel/./imandra_http_api_client 2025-09-22T10:16:51,052 creating build/bdist.linux-armv7l/wheel/imandra_http_api_client/test 2025-09-22T10:16:51,053 copying build/lib/imandra_http_api_client/test/test_hints.py -> build/bdist.linux-armv7l/wheel/./imandra_http_api_client/test 2025-09-22T10:16:51,055 copying build/lib/imandra_http_api_client/test/test_method_induct_body.py -> build/bdist.linux-armv7l/wheel/./imandra_http_api_client/test 2025-09-22T10:16:51,057 copying build/lib/imandra_http_api_client/test/test_with_unknown_reason_body.py -> build/bdist.linux-armv7l/wheel/./imandra_http_api_client/test 2025-09-22T10:16:51,059 copying build/lib/imandra_http_api_client/test/test_response_error.py -> build/bdist.linux-armv7l/wheel/./imandra_http_api_client/test 2025-09-22T10:16:51,061 copying build/lib/imandra_http_api_client/test/test_verify_request_src.py -> build/bdist.linux-armv7l/wheel/./imandra_http_api_client/test 2025-09-22T10:16:51,063 copying build/lib/imandra_http_api_client/test/test_method_unroll_body.py -> build/bdist.linux-armv7l/wheel/./imandra_http_api_client/test 2025-09-22T10:16:51,065 copying build/lib/imandra_http_api_client/test/test_syntax.py -> build/bdist.linux-armv7l/wheel/./imandra_http_api_client/test 2025-09-22T10:16:51,066 copying build/lib/imandra_http_api_client/test/test_default_api.py -> build/bdist.linux-armv7l/wheel/./imandra_http_api_client/test 2025-09-22T10:16:51,068 copying build/lib/imandra_http_api_client/test/test_verify_response.py -> build/bdist.linux-armv7l/wheel/./imandra_http_api_client/test 2025-09-22T10:16:51,070 copying build/lib/imandra_http_api_client/test/test_induct_functional_body.py -> build/bdist.linux-armv7l/wheel/./imandra_http_api_client/test 2025-09-22T10:16:51,072 copying build/lib/imandra_http_api_client/test/test_printer_details.py -> build/bdist.linux-armv7l/wheel/./imandra_http_api_client/test 2025-09-22T10:16:51,074 copying build/lib/imandra_http_api_client/test/test_eval_request_src.py -> build/bdist.linux-armv7l/wheel/./imandra_http_api_client/test 2025-09-22T10:16:51,075 copying build/lib/imandra_http_api_client/test/test_response_model.py -> build/bdist.linux-armv7l/wheel/./imandra_http_api_client/test 2025-09-22T10:16:51,077 copying build/lib/imandra_http_api_client/test/test_verify_request_name.py -> build/bdist.linux-armv7l/wheel/./imandra_http_api_client/test 2025-09-22T10:16:51,079 copying build/lib/imandra_http_api_client/test/test_decompose_request_src.py -> build/bdist.linux-armv7l/wheel/./imandra_http_api_client/test 2025-09-22T10:16:51,081 copying build/lib/imandra_http_api_client/test/test_method_ext_solver_body.py -> build/bdist.linux-armv7l/wheel/./imandra_http_api_client/test 2025-09-22T10:16:51,082 copying build/lib/imandra_http_api_client/test/test_induct_structural_style.py -> build/bdist.linux-armv7l/wheel/./imandra_http_api_client/test 2025-09-22T10:16:51,084 copying build/lib/imandra_http_api_client/test/test_induct_structural_body.py -> build/bdist.linux-armv7l/wheel/./imandra_http_api_client/test 2025-09-22T10:16:51,086 copying build/lib/imandra_http_api_client/test/test_method_induct_body_body.py -> build/bdist.linux-armv7l/wheel/./imandra_http_api_client/test 2025-09-22T10:16:51,087 copying build/lib/imandra_http_api_client/test/test_instance_request_name.py -> build/bdist.linux-armv7l/wheel/./imandra_http_api_client/test 2025-09-22T10:16:51,089 copying build/lib/imandra_http_api_client/test/test_response_instance.py -> build/bdist.linux-armv7l/wheel/./imandra_http_api_client/test 2025-09-22T10:16:51,091 copying build/lib/imandra_http_api_client/test/__init__.py -> build/bdist.linux-armv7l/wheel/./imandra_http_api_client/test 2025-09-22T10:16:51,092 copying build/lib/imandra_http_api_client/test/test_instance_response.py -> build/bdist.linux-armv7l/wheel/./imandra_http_api_client/test 2025-09-22T10:16:51,094 copying build/lib/imandra_http_api_client/test/test_decompose_region.py -> build/bdist.linux-armv7l/wheel/./imandra_http_api_client/test 2025-09-22T10:16:51,096 copying build/lib/imandra_http_api_client/test/test_method_body.py -> build/bdist.linux-armv7l/wheel/./imandra_http_api_client/test 2025-09-22T10:16:51,098 copying build/lib/imandra_http_api_client/test/test_decompose_result.py -> build/bdist.linux-armv7l/wheel/./imandra_http_api_client/test 2025-09-22T10:16:51,099 copying build/lib/imandra_http_api_client/test/test_method_type.py -> build/bdist.linux-armv7l/wheel/./imandra_http_api_client/test 2025-09-22T10:16:51,101 copying build/lib/imandra_http_api_client/test/test_induct_type.py -> build/bdist.linux-armv7l/wheel/./imandra_http_api_client/test 2025-09-22T10:16:51,103 copying build/lib/imandra_http_api_client/test/test_instance_type.py -> build/bdist.linux-armv7l/wheel/./imandra_http_api_client/test 2025-09-22T10:16:51,105 copying build/lib/imandra_http_api_client/test/test_verify_result.py -> build/bdist.linux-armv7l/wheel/./imandra_http_api_client/test 2025-09-22T10:16:51,106 copying build/lib/imandra_http_api_client/test/test_up_to_body.py -> build/bdist.linux-armv7l/wheel/./imandra_http_api_client/test 2025-09-22T10:16:51,108 copying build/lib/imandra_http_api_client/test/test_instance_result.py -> build/bdist.linux-armv7l/wheel/./imandra_http_api_client/test 2025-09-22T10:16:51,110 copying build/lib/imandra_http_api_client/test/test_instance_request_src.py -> build/bdist.linux-armv7l/wheel/./imandra_http_api_client/test 2025-09-22T10:16:51,112 copying build/lib/imandra_http_api_client/test/test_with_instance_body.py -> build/bdist.linux-armv7l/wheel/./imandra_http_api_client/test 2025-09-22T10:16:51,113 copying build/lib/imandra_http_api_client/test/test_verify_response_body.py -> build/bdist.linux-armv7l/wheel/./imandra_http_api_client/test 2025-09-22T10:16:51,115 copying build/lib/imandra_http_api_client/test/test_method.py -> build/bdist.linux-armv7l/wheel/./imandra_http_api_client/test 2025-09-22T10:16:51,117 copying build/lib/imandra_http_api_client/test/test_eval_response.py -> build/bdist.linux-armv7l/wheel/./imandra_http_api_client/test 2025-09-22T10:16:51,120 creating build/bdist.linux-armv7l/wheel/imandra 2025-09-22T10:16:51,121 copying build/lib/imandra/session.py -> build/bdist.linux-armv7l/wheel/./imandra 2025-09-22T10:16:51,124 creating build/bdist.linux-armv7l/wheel/imandra/__pycache__ 2025-09-22T10:16:51,125 copying build/lib/imandra/__pycache__/core.cpython-313.pyc -> build/bdist.linux-armv7l/wheel/./imandra/__pycache__ 2025-09-22T10:16:51,128 copying build/lib/imandra/__pycache__/auth.cpython-313.pyc -> build/bdist.linux-armv7l/wheel/./imandra/__pycache__ 2025-09-22T10:16:51,130 copying build/lib/imandra/__pycache__/__init__.cpython-313.pyc -> build/bdist.linux-armv7l/wheel/./imandra/__pycache__ 2025-09-22T10:16:51,131 copying build/lib/imandra/ipl.py -> build/bdist.linux-armv7l/wheel/./imandra 2025-09-22T10:16:51,133 copying build/lib/imandra/auth.py -> build/bdist.linux-armv7l/wheel/./imandra 2025-09-22T10:16:51,136 creating build/bdist.linux-armv7l/wheel/imandra/api 2025-09-22T10:16:51,137 copying build/lib/imandra/api/ipl_common.py -> build/bdist.linux-armv7l/wheel/./imandra/api 2025-09-22T10:16:51,139 copying build/lib/imandra/api/ipl.py -> build/bdist.linux-armv7l/wheel/./imandra/api 2025-09-22T10:16:51,141 copying build/lib/imandra/api/auth.py -> build/bdist.linux-armv7l/wheel/./imandra/api 2025-09-22T10:16:51,143 copying build/lib/imandra/api/__init__.py -> build/bdist.linux-armv7l/wheel/./imandra/api 2025-09-22T10:16:51,145 copying build/lib/imandra/api/instance.py -> build/bdist.linux-armv7l/wheel/./imandra/api 2025-09-22T10:16:51,147 copying build/lib/imandra/api/rule_synth.py -> build/bdist.linux-armv7l/wheel/./imandra/api 2025-09-22T10:16:51,149 copying build/lib/imandra/api/cfb.py -> build/bdist.linux-armv7l/wheel/./imandra/api 2025-09-22T10:16:51,151 creating build/bdist.linux-armv7l/wheel/imandra/core 2025-09-22T10:16:51,152 copying build/lib/imandra/core/__init__.py -> build/bdist.linux-armv7l/wheel/./imandra/core 2025-09-22T10:16:51,154 copying build/lib/imandra/__init__.py -> build/bdist.linux-armv7l/wheel/./imandra 2025-09-22T10:16:51,156 creating build/bdist.linux-armv7l/wheel/imandra/cli 2025-09-22T10:16:51,157 copying build/lib/imandra/cli/ipl_log_analysis.py -> build/bdist.linux-armv7l/wheel/./imandra/cli 2025-09-22T10:16:51,159 copying build/lib/imandra/cli/__init__.py -> build/bdist.linux-armv7l/wheel/./imandra/cli 2025-09-22T10:16:51,162 creating build/bdist.linux-armv7l/wheel/imandra/u 2025-09-22T10:16:51,164 creating build/bdist.linux-armv7l/wheel/imandra/u/agents 2025-09-22T10:16:51,165 creating build/bdist.linux-armv7l/wheel/imandra/u/agents/spec_logician 2025-09-22T10:16:51,167 copying build/lib/imandra/u/agents/spec_logician/graph.py -> build/bdist.linux-armv7l/wheel/./imandra/u/agents/spec_logician 2025-09-22T10:16:51,168 copying build/lib/imandra/u/agents/spec_logician/__init__.py -> build/bdist.linux-armv7l/wheel/./imandra/u/agents/spec_logician 2025-09-22T10:16:51,171 creating build/bdist.linux-armv7l/wheel/imandra/u/agents/__pycache__ 2025-09-22T10:16:51,172 copying build/lib/imandra/u/agents/__pycache__/code_logician_formalizer.cpython-313.pyc -> build/bdist.linux-armv7l/wheel/./imandra/u/agents/__pycache__ 2025-09-22T10:16:51,174 copying build/lib/imandra/u/agents/__pycache__/code_logician.cpython-313.pyc -> build/bdist.linux-armv7l/wheel/./imandra/u/agents/__pycache__ 2025-09-22T10:16:51,176 copying build/lib/imandra/u/agents/__pycache__/__init__.cpython-313.pyc -> build/bdist.linux-armv7l/wheel/./imandra/u/agents/__pycache__ 2025-09-22T10:16:51,178 copying build/lib/imandra/u/agents/__pycache__/code_logician_reasoner.cpython-313.pyc -> build/bdist.linux-armv7l/wheel/./imandra/u/agents/__pycache__ 2025-09-22T10:16:51,180 copying build/lib/imandra/u/agents/__pycache__/cogito.cpython-313.pyc -> build/bdist.linux-armv7l/wheel/./imandra/u/agents/__pycache__ 2025-09-22T10:16:51,182 copying build/lib/imandra/u/agents/__init__.py -> build/bdist.linux-armv7l/wheel/./imandra/u/agents 2025-09-22T10:16:51,184 creating build/bdist.linux-armv7l/wheel/imandra/u/agents/code_logician 2025-09-22T10:16:51,186 creating build/bdist.linux-armv7l/wheel/imandra/u/agents/code_logician/base 2025-09-22T10:16:51,187 copying build/lib/imandra/u/agents/code_logician/base/formalization_state.py -> build/bdist.linux-armv7l/wheel/./imandra/u/agents/code_logician/base 2025-09-22T10:16:51,189 copying build/lib/imandra/u/agents/code_logician/base/vg.py -> build/bdist.linux-armv7l/wheel/./imandra/u/agents/code_logician/base 2025-09-22T10:16:51,191 copying build/lib/imandra/u/agents/code_logician/base/iml.py -> build/bdist.linux-armv7l/wheel/./imandra/u/agents/code_logician/base 2025-09-22T10:16:51,193 copying build/lib/imandra/u/agents/code_logician/base/dependency.py -> build/bdist.linux-armv7l/wheel/./imandra/u/agents/code_logician/base 2025-09-22T10:16:51,195 copying build/lib/imandra/u/agents/code_logician/base/imandrax.py -> build/bdist.linux-armv7l/wheel/./imandra/u/agents/code_logician/base 2025-09-22T10:16:51,197 copying build/lib/imandra/u/agents/code_logician/base/__init__.py -> build/bdist.linux-armv7l/wheel/./imandra/u/agents/code_logician/base 2025-09-22T10:16:51,199 copying build/lib/imandra/u/agents/code_logician/base/context.py -> build/bdist.linux-armv7l/wheel/./imandra/u/agents/code_logician/base 2025-09-22T10:16:51,200 copying build/lib/imandra/u/agents/code_logician/base/region_decomp.py -> build/bdist.linux-armv7l/wheel/./imandra/u/agents/code_logician/base 2025-09-22T10:16:51,203 creating build/bdist.linux-armv7l/wheel/imandra/u/agents/code_logician/__pycache__ 2025-09-22T10:16:51,204 copying build/lib/imandra/u/agents/code_logician/__pycache__/graph.cpython-313.pyc -> build/bdist.linux-armv7l/wheel/./imandra/u/agents/code_logician/__pycache__ 2025-09-22T10:16:51,206 copying build/lib/imandra/u/agents/code_logician/__pycache__/__init__.cpython-313.pyc -> build/bdist.linux-armv7l/wheel/./imandra/u/agents/code_logician/__pycache__ 2025-09-22T10:16:51,208 copying build/lib/imandra/u/agents/code_logician/__pycache__/graph.cpython-312.pyc -> build/bdist.linux-armv7l/wheel/./imandra/u/agents/code_logician/__pycache__ 2025-09-22T10:16:51,210 copying build/lib/imandra/u/agents/code_logician/__pycache__/command.cpython-312.pyc -> build/bdist.linux-armv7l/wheel/./imandra/u/agents/code_logician/__pycache__ 2025-09-22T10:16:51,212 copying build/lib/imandra/u/agents/code_logician/__pycache__/graph_state_schema.cpython-312.pyc -> build/bdist.linux-armv7l/wheel/./imandra/u/agents/code_logician/__pycache__ 2025-09-22T10:16:51,215 copying build/lib/imandra/u/agents/code_logician/__pycache__/command.cpython-313.pyc -> build/bdist.linux-armv7l/wheel/./imandra/u/agents/code_logician/__pycache__ 2025-09-22T10:16:51,217 copying build/lib/imandra/u/agents/code_logician/__pycache__/command_schema.cpython-312.pyc -> build/bdist.linux-armv7l/wheel/./imandra/u/agents/code_logician/__pycache__ 2025-09-22T10:16:51,219 copying build/lib/imandra/u/agents/code_logician/__pycache__/__init__.cpython-312.pyc -> build/bdist.linux-armv7l/wheel/./imandra/u/agents/code_logician/__pycache__ 2025-09-22T10:16:51,221 copying build/lib/imandra/u/agents/code_logician/command.py -> build/bdist.linux-armv7l/wheel/./imandra/u/agents/code_logician 2025-09-22T10:16:51,224 creating build/bdist.linux-armv7l/wheel/imandra/u/agents/code_logician/graph 2025-09-22T10:16:51,225 copying build/lib/imandra/u/agents/code_logician/graph/graph_state.py -> build/bdist.linux-armv7l/wheel/./imandra/u/agents/code_logician/graph 2025-09-22T10:16:51,227 copying build/lib/imandra/u/agents/code_logician/graph/__init__.py -> build/bdist.linux-armv7l/wheel/./imandra/u/agents/code_logician/graph 2025-09-22T10:16:51,229 copying build/lib/imandra/u/agents/code_logician/task.py -> build/bdist.linux-armv7l/wheel/./imandra/u/agents/code_logician 2025-09-22T10:16:51,231 copying build/lib/imandra/u/agents/code_logician/rich_utils.py -> build/bdist.linux-armv7l/wheel/./imandra/u/agents/code_logician 2025-09-22T10:16:51,233 copying build/lib/imandra/u/agents/code_logician/interrupt_message.py -> build/bdist.linux-armv7l/wheel/./imandra/u/agents/code_logician 2025-09-22T10:16:51,234 copying build/lib/imandra/u/agents/code_logician/__init__.py -> build/bdist.linux-armv7l/wheel/./imandra/u/agents/code_logician 2025-09-22T10:16:51,237 creating build/bdist.linux-armv7l/wheel/imandra/u/agents/code_logician/imandrax 2025-09-22T10:16:51,238 copying build/lib/imandra/u/agents/code_logician/imandrax/session.py -> build/bdist.linux-armv7l/wheel/./imandra/u/agents/code_logician/imandrax 2025-09-22T10:16:51,239 copying build/lib/imandra/u/agents/code_logician/imandrax/task.py -> build/bdist.linux-armv7l/wheel/./imandra/u/agents/code_logician/imandrax 2025-09-22T10:16:51,241 copying build/lib/imandra/u/agents/code_logician/imandrax/locs.py -> build/bdist.linux-armv7l/wheel/./imandra/u/agents/code_logician/imandrax 2025-09-22T10:16:51,243 copying build/lib/imandra/u/agents/code_logician/imandrax/__init__.py -> build/bdist.linux-armv7l/wheel/./imandra/u/agents/code_logician/imandrax 2025-09-22T10:16:51,244 copying build/lib/imandra/u/agents/code_logician/imandrax/artmsg.py -> build/bdist.linux-armv7l/wheel/./imandra/u/agents/code_logician/imandrax 2025-09-22T10:16:51,246 copying build/lib/imandra/u/agents/code_logician/imandrax/utils.py -> build/bdist.linux-armv7l/wheel/./imandra/u/agents/code_logician/imandrax 2025-09-22T10:16:51,248 copying build/lib/imandra/u/agents/code_logician/imandrax/error.py -> build/bdist.linux-armv7l/wheel/./imandra/u/agents/code_logician/imandrax 2025-09-22T10:16:51,250 copying build/lib/imandra/u/agents/code_logician/imandrax/simple_api.py -> build/bdist.linux-armv7l/wheel/./imandra/u/agents/code_logician/imandrax 2025-09-22T10:16:51,252 creating build/bdist.linux-armv7l/wheel/imandra/u/reasoners 2025-09-22T10:16:51,254 copying build/lib/imandra/u/reasoners/prover9.py -> build/bdist.linux-armv7l/wheel/./imandra/u/reasoners 2025-09-22T10:16:51,256 copying build/lib/imandra/u/reasoners/nqthm.py -> build/bdist.linux-armv7l/wheel/./imandra/u/reasoners 2025-09-22T10:16:51,257 copying build/lib/imandra/u/reasoners/cvc5.py -> build/bdist.linux-armv7l/wheel/./imandra/u/reasoners 2025-09-22T10:16:51,259 copying build/lib/imandra/u/reasoners/otter.py -> build/bdist.linux-armv7l/wheel/./imandra/u/reasoners 2025-09-22T10:16:51,261 copying build/lib/imandra/u/reasoners/qepcad.py -> build/bdist.linux-armv7l/wheel/./imandra/u/reasoners 2025-09-22T10:16:51,262 copying build/lib/imandra/u/reasoners/__init__.py -> build/bdist.linux-armv7l/wheel/./imandra/u/reasoners 2025-09-22T10:16:51,264 copying build/lib/imandra/u/reasoners/eprover.py -> build/bdist.linux-armv7l/wheel/./imandra/u/reasoners 2025-09-22T10:16:51,266 copying build/lib/imandra/u/reasoners/mace4.py -> build/bdist.linux-armv7l/wheel/./imandra/u/reasoners 2025-09-22T10:16:51,267 copying build/lib/imandra/u/reasoners/metitarski.py -> build/bdist.linux-armv7l/wheel/./imandra/u/reasoners 2025-09-22T10:16:51,269 copying build/lib/imandra/u/reasoners/zipperposition.py -> build/bdist.linux-armv7l/wheel/./imandra/u/reasoners 2025-09-22T10:16:51,271 copying build/lib/imandra/u/reasoners/acl2.py -> build/bdist.linux-armv7l/wheel/./imandra/u/reasoners 2025-09-22T10:16:51,272 copying build/lib/imandra/u/reasoners/core.py -> build/bdist.linux-armv7l/wheel/./imandra/u/reasoners 2025-09-22T10:16:51,274 copying build/lib/imandra/u/reasoners/clingo.py -> build/bdist.linux-armv7l/wheel/./imandra/u/reasoners 2025-09-22T10:16:51,276 copying build/lib/imandra/u/reasoners/z3.py -> build/bdist.linux-armv7l/wheel/./imandra/u/reasoners 2025-09-22T10:16:51,277 running install_egg_info 2025-09-22T10:16:51,283 Copying src/imandra.egg-info to build/bdist.linux-armv7l/wheel/./imandra-2.0.23-py3.11.egg-info 2025-09-22T10:16:51,296 running install_scripts 2025-09-22T10:16:51,305 creating build/bdist.linux-armv7l/wheel/imandra-2.0.23.dist-info/WHEEL 2025-09-22T10:16:51,308 creating '/tmp/pip-wheel-3p4_fs64/.tmp-mqpm4zrx/imandra-2.0.23-py3-none-any.whl' and adding 'build/bdist.linux-armv7l/wheel' to it 2025-09-22T10:16:51,310 adding 'imandra/__init__.py' 2025-09-22T10:16:51,311 adding 'imandra/auth.py' 2025-09-22T10:16:51,313 adding 'imandra/ipl.py' 2025-09-22T10:16:51,314 adding 'imandra/session.py' 2025-09-22T10:16:51,316 adding 'imandra/__pycache__/__init__.cpython-313.pyc' 2025-09-22T10:16:51,317 adding 'imandra/__pycache__/auth.cpython-313.pyc' 2025-09-22T10:16:51,318 adding 'imandra/__pycache__/core.cpython-313.pyc' 2025-09-22T10:16:51,320 adding 'imandra/api/__init__.py' 2025-09-22T10:16:51,322 adding 'imandra/api/auth.py' 2025-09-22T10:16:51,323 adding 'imandra/api/cfb.py' 2025-09-22T10:16:51,324 adding 'imandra/api/instance.py' 2025-09-22T10:16:51,326 adding 'imandra/api/ipl.py' 2025-09-22T10:16:51,327 adding 'imandra/api/ipl_common.py' 2025-09-22T10:16:51,328 adding 'imandra/api/rule_synth.py' 2025-09-22T10:16:51,331 adding 'imandra/cli/__init__.py' 2025-09-22T10:16:51,333 adding 'imandra/cli/ipl_log_analysis.py' 2025-09-22T10:16:51,334 adding 'imandra/core/__init__.py' 2025-09-22T10:16:51,336 adding 'imandra/u/agents/__init__.py' 2025-09-22T10:16:51,338 adding 'imandra/u/agents/__pycache__/__init__.cpython-313.pyc' 2025-09-22T10:16:51,340 adding 'imandra/u/agents/__pycache__/code_logician.cpython-313.pyc' 2025-09-22T10:16:51,341 adding 'imandra/u/agents/__pycache__/code_logician_formalizer.cpython-313.pyc' 2025-09-22T10:16:51,343 adding 'imandra/u/agents/__pycache__/code_logician_reasoner.cpython-313.pyc' 2025-09-22T10:16:51,344 adding 'imandra/u/agents/__pycache__/cogito.cpython-313.pyc' 2025-09-22T10:16:51,345 adding 'imandra/u/agents/code_logician/__init__.py' 2025-09-22T10:16:51,348 adding 'imandra/u/agents/code_logician/command.py' 2025-09-22T10:16:51,349 adding 'imandra/u/agents/code_logician/interrupt_message.py' 2025-09-22T10:16:51,350 adding 'imandra/u/agents/code_logician/rich_utils.py' 2025-09-22T10:16:51,352 adding 'imandra/u/agents/code_logician/task.py' 2025-09-22T10:16:51,354 adding 'imandra/u/agents/code_logician/__pycache__/__init__.cpython-312.pyc' 2025-09-22T10:16:51,355 adding 'imandra/u/agents/code_logician/__pycache__/__init__.cpython-313.pyc' 2025-09-22T10:16:51,357 adding 'imandra/u/agents/code_logician/__pycache__/command.cpython-312.pyc' 2025-09-22T10:16:51,360 adding 'imandra/u/agents/code_logician/__pycache__/command.cpython-313.pyc' 2025-09-22T10:16:51,362 adding 'imandra/u/agents/code_logician/__pycache__/command_schema.cpython-312.pyc' 2025-09-22T10:16:51,364 adding 'imandra/u/agents/code_logician/__pycache__/graph.cpython-312.pyc' 2025-09-22T10:16:51,366 adding 'imandra/u/agents/code_logician/__pycache__/graph.cpython-313.pyc' 2025-09-22T10:16:51,370 adding 'imandra/u/agents/code_logician/__pycache__/graph_state_schema.cpython-312.pyc' 2025-09-22T10:16:51,372 adding 'imandra/u/agents/code_logician/base/__init__.py' 2025-09-22T10:16:51,374 adding 'imandra/u/agents/code_logician/base/context.py' 2025-09-22T10:16:51,375 adding 'imandra/u/agents/code_logician/base/dependency.py' 2025-09-22T10:16:51,377 adding 'imandra/u/agents/code_logician/base/formalization_state.py' 2025-09-22T10:16:51,379 adding 'imandra/u/agents/code_logician/base/imandrax.py' 2025-09-22T10:16:51,381 adding 'imandra/u/agents/code_logician/base/iml.py' 2025-09-22T10:16:51,382 adding 'imandra/u/agents/code_logician/base/region_decomp.py' 2025-09-22T10:16:51,384 adding 'imandra/u/agents/code_logician/base/vg.py' 2025-09-22T10:16:51,385 adding 'imandra/u/agents/code_logician/graph/__init__.py' 2025-09-22T10:16:51,387 adding 'imandra/u/agents/code_logician/graph/graph_state.py' 2025-09-22T10:16:51,389 adding 'imandra/u/agents/code_logician/imandrax/__init__.py' 2025-09-22T10:16:51,390 adding 'imandra/u/agents/code_logician/imandrax/artmsg.py' 2025-09-22T10:16:51,391 adding 'imandra/u/agents/code_logician/imandrax/error.py' 2025-09-22T10:16:51,393 adding 'imandra/u/agents/code_logician/imandrax/locs.py' 2025-09-22T10:16:51,394 adding 'imandra/u/agents/code_logician/imandrax/session.py' 2025-09-22T10:16:51,396 adding 'imandra/u/agents/code_logician/imandrax/simple_api.py' 2025-09-22T10:16:51,397 adding 'imandra/u/agents/code_logician/imandrax/task.py' 2025-09-22T10:16:51,398 adding 'imandra/u/agents/code_logician/imandrax/utils.py' 2025-09-22T10:16:51,400 adding 'imandra/u/agents/spec_logician/__init__.py' 2025-09-22T10:16:51,402 adding 'imandra/u/agents/spec_logician/graph.py' 2025-09-22T10:16:51,403 adding 'imandra/u/reasoners/__init__.py' 2025-09-22T10:16:51,404 adding 'imandra/u/reasoners/acl2.py' 2025-09-22T10:16:51,405 adding 'imandra/u/reasoners/clingo.py' 2025-09-22T10:16:51,406 adding 'imandra/u/reasoners/core.py' 2025-09-22T10:16:51,407 adding 'imandra/u/reasoners/cvc5.py' 2025-09-22T10:16:51,408 adding 'imandra/u/reasoners/eprover.py' 2025-09-22T10:16:51,410 adding 'imandra/u/reasoners/mace4.py' 2025-09-22T10:16:51,411 adding 'imandra/u/reasoners/metitarski.py' 2025-09-22T10:16:51,412 adding 'imandra/u/reasoners/nqthm.py' 2025-09-22T10:16:51,413 adding 'imandra/u/reasoners/otter.py' 2025-09-22T10:16:51,414 adding 'imandra/u/reasoners/prover9.py' 2025-09-22T10:16:51,415 adding 'imandra/u/reasoners/qepcad.py' 2025-09-22T10:16:51,416 adding 'imandra/u/reasoners/z3.py' 2025-09-22T10:16:51,417 adding 'imandra/u/reasoners/zipperposition.py' 2025-09-22T10:16:51,420 adding 'imandra_http_api_client/__init__.py' 2025-09-22T10:16:51,423 adding 'imandra_http_api_client/api_client.py' 2025-09-22T10:16:51,424 adding 'imandra_http_api_client/api_response.py' 2025-09-22T10:16:51,427 adding 'imandra_http_api_client/configuration.py' 2025-09-22T10:16:51,428 adding 'imandra_http_api_client/exceptions.py' 2025-09-22T10:16:51,430 adding 'imandra_http_api_client/rest.py' 2025-09-22T10:16:51,432 adding 'imandra_http_api_client/__pycache__/__init__.cpython-313.pyc' 2025-09-22T10:16:51,433 adding 'imandra_http_api_client/api/__init__.py' 2025-09-22T10:16:51,436 adding 'imandra_http_api_client/api/default_api.py' 2025-09-22T10:16:51,438 adding 'imandra_http_api_client/api/__pycache__/__init__.cpython-313.pyc' 2025-09-22T10:16:51,441 adding 'imandra_http_api_client/api/__pycache__/default_api.cpython-313.pyc' 2025-09-22T10:16:51,444 adding 'imandra_http_api_client/models/__init__.py' 2025-09-22T10:16:51,445 adding 'imandra_http_api_client/models/decompose_region.py' 2025-09-22T10:16:51,446 adding 'imandra_http_api_client/models/decompose_request_src.py' 2025-09-22T10:16:51,447 adding 'imandra_http_api_client/models/decompose_result.py' 2025-09-22T10:16:51,449 adding 'imandra_http_api_client/models/eval_request_src.py' 2025-09-22T10:16:51,450 adding 'imandra_http_api_client/models/eval_response.py' 2025-09-22T10:16:51,451 adding 'imandra_http_api_client/models/hints.py' 2025-09-22T10:16:51,453 adding 'imandra_http_api_client/models/induct_functional_body.py' 2025-09-22T10:16:51,454 adding 'imandra_http_api_client/models/induct_structural_body.py' 2025-09-22T10:16:51,455 adding 'imandra_http_api_client/models/induct_structural_style.py' 2025-09-22T10:16:51,456 adding 'imandra_http_api_client/models/induct_type.py' 2025-09-22T10:16:51,458 adding 'imandra_http_api_client/models/instance_request_name.py' 2025-09-22T10:16:51,459 adding 'imandra_http_api_client/models/instance_request_src.py' 2025-09-22T10:16:51,461 adding 'imandra_http_api_client/models/instance_response.py' 2025-09-22T10:16:51,462 adding 'imandra_http_api_client/models/instance_result.py' 2025-09-22T10:16:51,463 adding 'imandra_http_api_client/models/instance_type.py' 2025-09-22T10:16:51,464 adding 'imandra_http_api_client/models/method.py' 2025-09-22T10:16:51,466 adding 'imandra_http_api_client/models/method_body.py' 2025-09-22T10:16:51,467 adding 'imandra_http_api_client/models/method_ext_solver_body.py' 2025-09-22T10:16:51,468 adding 'imandra_http_api_client/models/method_induct_body.py' 2025-09-22T10:16:51,470 adding 'imandra_http_api_client/models/method_induct_body_body.py' 2025-09-22T10:16:51,471 adding 'imandra_http_api_client/models/method_type.py' 2025-09-22T10:16:51,472 adding 'imandra_http_api_client/models/method_unroll_body.py' 2025-09-22T10:16:51,474 adding 'imandra_http_api_client/models/printer_details.py' 2025-09-22T10:16:51,475 adding 'imandra_http_api_client/models/response_error.py' 2025-09-22T10:16:51,476 adding 'imandra_http_api_client/models/response_instance.py' 2025-09-22T10:16:51,477 adding 'imandra_http_api_client/models/response_model.py' 2025-09-22T10:16:51,478 adding 'imandra_http_api_client/models/syntax.py' 2025-09-22T10:16:51,480 adding 'imandra_http_api_client/models/up_to_body.py' 2025-09-22T10:16:51,481 adding 'imandra_http_api_client/models/verify_request_name.py' 2025-09-22T10:16:51,482 adding 'imandra_http_api_client/models/verify_request_src.py' 2025-09-22T10:16:51,483 adding 'imandra_http_api_client/models/verify_response.py' 2025-09-22T10:16:51,485 adding 'imandra_http_api_client/models/verify_response_body.py' 2025-09-22T10:16:51,486 adding 'imandra_http_api_client/models/verify_result.py' 2025-09-22T10:16:51,487 adding 'imandra_http_api_client/models/with_instance_body.py' 2025-09-22T10:16:51,488 adding 'imandra_http_api_client/models/with_unknown_reason_body.py' 2025-09-22T10:16:51,490 adding 'imandra_http_api_client/models/__pycache__/__init__.cpython-313.pyc' 2025-09-22T10:16:51,492 adding 'imandra_http_api_client/models/__pycache__/decompose_region.cpython-313.pyc' 2025-09-22T10:16:51,493 adding 'imandra_http_api_client/models/__pycache__/decompose_request_src.cpython-313.pyc' 2025-09-22T10:16:51,495 adding 'imandra_http_api_client/models/__pycache__/decompose_result.cpython-313.pyc' 2025-09-22T10:16:51,496 adding 'imandra_http_api_client/models/__pycache__/eval_request_src.cpython-313.pyc' 2025-09-22T10:16:51,498 adding 'imandra_http_api_client/models/__pycache__/syntax.cpython-313.pyc' 2025-09-22T10:16:51,500 adding 'imandra_http_api_client/test/__init__.py' 2025-09-22T10:16:51,501 adding 'imandra_http_api_client/test/test_decompose_region.py' 2025-09-22T10:16:51,502 adding 'imandra_http_api_client/test/test_decompose_request_src.py' 2025-09-22T10:16:51,504 adding 'imandra_http_api_client/test/test_decompose_result.py' 2025-09-22T10:16:51,505 adding 'imandra_http_api_client/test/test_default_api.py' 2025-09-22T10:16:51,506 adding 'imandra_http_api_client/test/test_eval_request_src.py' 2025-09-22T10:16:51,507 adding 'imandra_http_api_client/test/test_eval_response.py' 2025-09-22T10:16:51,509 adding 'imandra_http_api_client/test/test_hints.py' 2025-09-22T10:16:51,510 adding 'imandra_http_api_client/test/test_induct_functional_body.py' 2025-09-22T10:16:51,511 adding 'imandra_http_api_client/test/test_induct_structural_body.py' 2025-09-22T10:16:51,512 adding 'imandra_http_api_client/test/test_induct_structural_style.py' 2025-09-22T10:16:51,514 adding 'imandra_http_api_client/test/test_induct_type.py' 2025-09-22T10:16:51,515 adding 'imandra_http_api_client/test/test_instance_request_name.py' 2025-09-22T10:16:51,516 adding 'imandra_http_api_client/test/test_instance_request_src.py' 2025-09-22T10:16:51,518 adding 'imandra_http_api_client/test/test_instance_response.py' 2025-09-22T10:16:51,519 adding 'imandra_http_api_client/test/test_instance_result.py' 2025-09-22T10:16:51,520 adding 'imandra_http_api_client/test/test_instance_type.py' 2025-09-22T10:16:51,521 adding 'imandra_http_api_client/test/test_method.py' 2025-09-22T10:16:51,523 adding 'imandra_http_api_client/test/test_method_body.py' 2025-09-22T10:16:51,524 adding 'imandra_http_api_client/test/test_method_ext_solver_body.py' 2025-09-22T10:16:51,525 adding 'imandra_http_api_client/test/test_method_induct_body.py' 2025-09-22T10:16:51,526 adding 'imandra_http_api_client/test/test_method_induct_body_body.py' 2025-09-22T10:16:51,528 adding 'imandra_http_api_client/test/test_method_type.py' 2025-09-22T10:16:51,529 adding 'imandra_http_api_client/test/test_method_unroll_body.py' 2025-09-22T10:16:51,530 adding 'imandra_http_api_client/test/test_printer_details.py' 2025-09-22T10:16:51,531 adding 'imandra_http_api_client/test/test_response_error.py' 2025-09-22T10:16:51,533 adding 'imandra_http_api_client/test/test_response_instance.py' 2025-09-22T10:16:51,534 adding 'imandra_http_api_client/test/test_response_model.py' 2025-09-22T10:16:51,535 adding 'imandra_http_api_client/test/test_syntax.py' 2025-09-22T10:16:51,536 adding 'imandra_http_api_client/test/test_up_to_body.py' 2025-09-22T10:16:51,537 adding 'imandra_http_api_client/test/test_verify_request_name.py' 2025-09-22T10:16:51,539 adding 'imandra_http_api_client/test/test_verify_request_src.py' 2025-09-22T10:16:51,540 adding 'imandra_http_api_client/test/test_verify_response.py' 2025-09-22T10:16:51,541 adding 'imandra_http_api_client/test/test_verify_response_body.py' 2025-09-22T10:16:51,542 adding 'imandra_http_api_client/test/test_verify_result.py' 2025-09-22T10:16:51,543 adding 'imandra_http_api_client/test/test_with_instance_body.py' 2025-09-22T10:16:51,545 adding 'imandra_http_api_client/test/test_with_unknown_reason_body.py' 2025-09-22T10:16:51,546 adding 'imandra-2.0.23.dist-info/METADATA' 2025-09-22T10:16:51,547 adding 'imandra-2.0.23.dist-info/WHEEL' 2025-09-22T10:16:51,548 adding 'imandra-2.0.23.dist-info/entry_points.txt' 2025-09-22T10:16:51,549 adding 'imandra-2.0.23.dist-info/top_level.txt' 2025-09-22T10:16:51,552 adding 'imandra-2.0.23.dist-info/RECORD' 2025-09-22T10:16:51,557 removing build/bdist.linux-armv7l/wheel 2025-09-22T10:16:51,692 Building wheel for imandra (pyproject.toml): finished with status 'done' 2025-09-22T10:16:51,702 Created wheel for imandra: filename=imandra-2.0.23-py3-none-any.whl size=232703 sha256=4edf7d0f0e79b248e5279149d051fee4a56cab72e55d32154d943cb56caf3c46 2025-09-22T10:16:51,703 Stored in directory: /tmp/pip-ephem-wheel-cache-hgu9e_w3/wheels/65/cf/d2/b5f992b9436da0a20dbe0acafe703649cde84c1b220d35c755 2025-09-22T10:16:51,720 Successfully built imandra 2025-09-22T10:16:51,731 Removed build tracker: '/tmp/pip-build-tracker-swm6103n'