2026-02-10T07:53:31,323 Created temporary directory: /tmp/pip-ephem-wheel-cache-km5c_uyr
2026-02-10T07:53:31,328 Created temporary directory: /tmp/pip-req-tracker-fdbp5wdn
2026-02-10T07:53:31,329 Initialized build tracking at /tmp/pip-req-tracker-fdbp5wdn
2026-02-10T07:53:31,329 Created build tracker: /tmp/pip-req-tracker-fdbp5wdn
2026-02-10T07:53:31,330 Entered build tracker: /tmp/pip-req-tracker-fdbp5wdn
2026-02-10T07:53:31,331 Created temporary directory: /tmp/pip-wheel-5lwnjwzu
2026-02-10T07:53:31,380 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple, https://www.piwheels.org/simple
2026-02-10T07:53:31,384 2 location(s) to search for versions of imandra:
2026-02-10T07:53:31,384 * https://pypi.org/simple/imandra/
2026-02-10T07:53:31,384 * https://www.piwheels.org/simple/imandra/
2026-02-10T07:53:31,385 Fetching project page and analyzing links: https://pypi.org/simple/imandra/
2026-02-10T07:53:31,386 Getting page https://pypi.org/simple/imandra/
2026-02-10T07:53:31,389 Found index url https://pypi.org/simple
2026-02-10T07:53:31,399 Starting new HTTPS connection (1): pypi.org:443
2026-02-10T07:53:31,570 https://pypi.org:443 "GET /simple/imandra/ HTTP/1.1" 200 12451
2026-02-10T07:53:31,900   Skipping link: No binaries permitted for imandra: https://files.pythonhosted.org/packages/ab/15/5869f913d3290163e477aed1965d9dce68676bb2c6fcd9240ad1896773f8/imandra-0.1.3-py3-none-any.whl#sha256=30e2fdb107964061e765814f34de28effcd6389d981277ae23615b53b95bf278 (from https://pypi.org/simple/imandra/)
2026-02-10T07:53:31,900   Found link https://files.pythonhosted.org/packages/bf/4d/ae7ed042215314ce9bb17392d928f79a811cf7b040fcf5a2892aca89d283/imandra-0.1.3.tar.gz#sha256=3cf9a1e4ab1105c20d647ae2f8a74fd6efaa30b11afbb748eedbef2ee0d0ef0c (from https://pypi.org/simple/imandra/), version: 0.1.3
2026-02-10T07:53:31,901   Skipping link: No binaries permitted for imandra: https://files.pythonhosted.org/packages/fa/84/094146b705f0d94afda4ff256e368fef0150bee18b7e6861c38393d6c8c5/imandra-0.1.4-py3-none-any.whl#sha256=b679d11e49970647fad7d1fbd8a46b2f325ed50f4e15d722345567ed882e5357 (from https://pypi.org/simple/imandra/)
2026-02-10T07:53:31,902   Found link https://files.pythonhosted.org/packages/de/ca/8c41eeb73ce363d1493159ab0de018ea0807cb9a45fd64bd48c24aa34a5e/imandra-0.1.4.tar.gz#sha256=2897c4e1632687b9d8e98cf199233faba6e8341b574b30e67aa3fa9f44c9b4bf (from https://pypi.org/simple/imandra/), version: 0.1.4
2026-02-10T07:53:31,903   Skipping link: No binaries permitted for imandra: https://files.pythonhosted.org/packages/54/5e/7b9d2181be86300eab4ea3f5c69b21d1992dab20132eabc95c6b5b6c2a3d/imandra-0.1.5-py3-none-any.whl#sha256=84ae76c5c35a8e017eb39f7ca1f25ce37a9a1760d9c99e1cd607f48c8254d4dc (from https://pypi.org/simple/imandra/)
2026-02-10T07:53:31,903   Found link https://files.pythonhosted.org/packages/95/3b/6a74e2e8f7f5652585c40c4f01410cdd07011c952872eff77fb9bdb0129c/imandra-0.1.5.tar.gz#sha256=03fc1b025a3342140eb890541a94db161b1dac3d5982c16167515d57fe4b83ba (from https://pypi.org/simple/imandra/), version: 0.1.5
2026-02-10T07:53:31,904   Skipping link: No binaries permitted for imandra: https://files.pythonhosted.org/packages/c8/54/761bc88bdf276ed0417396954e094755dfdfd58cdb9cd38a29bb3892c864/imandra-0.1.9-py3-none-any.whl#sha256=9d6c1a57554cfdf7f40e30bdfc09497f98e2e18d13daa2bc7aec8ebb53767a37 (from https://pypi.org/simple/imandra/)
2026-02-10T07:53:31,904   Found link https://files.pythonhosted.org/packages/ce/39/38106116e6401724a90dbd1b688de8005bdfd8f1568f3caa12d5554b2d03/imandra-0.1.9.tar.gz#sha256=a0b210fc77620fca4b822cb7ead8293e9ad0615d474578869c449c13c0720143 (from https://pypi.org/simple/imandra/), version: 0.1.9
2026-02-10T07:53:31,905   Skipping link: No binaries permitted for imandra: https://files.pythonhosted.org/packages/68/82/a97923e3971649589668508a523cf2ffe7cfc484e0cde38f275706508b43/imandra-0.1.10-py3-none-any.whl#sha256=5c2f41b6ca40c46c8a156827b2a0ba62c16021ff3c8c48a69139875feaf0f6ee (from https://pypi.org/simple/imandra/)
2026-02-10T07:53:31,906   Found link https://files.pythonhosted.org/packages/59/89/efc30d6fd3c1ea3503fda7f232e20fa30ade62ca1e51a78c35ab1e9dc621/imandra-0.1.10.tar.gz#sha256=85dedaf4eff035ab9306e17c59a0cca2c4656cf3e1f6efbe8f2e727a835935f5 (from https://pypi.org/simple/imandra/), version: 0.1.10
2026-02-10T07:53:31,907   Skipping link: No binaries permitted for imandra: https://files.pythonhosted.org/packages/ce/45/dc8c79ede34f0e9e0b955f8d5c23e5bb0ccca8d59006cdcebecf75e9e996/imandra-0.1.11-py3-none-any.whl#sha256=940ee22f36dc10bc8195272d7be270d19f81c9cca00f2f7538be8ec8e0bea514 (from https://pypi.org/simple/imandra/)
2026-02-10T07:53:31,907   Found link https://files.pythonhosted.org/packages/d9/94/a876a73bc0652f76069ad586dc06f97f2169b5f354a0fa6480fd55cb56b1/imandra-0.1.11.tar.gz#sha256=e121edddadfb11fffc50b0bb5b899f1b696b18bea08cdd7c08ebbfd33da9252b (from https://pypi.org/simple/imandra/), version: 0.1.11
2026-02-10T07:53:31,908   Skipping link: No binaries permitted for imandra: https://files.pythonhosted.org/packages/d2/9a/5e88bef599fb29bbc79fa90b442c9bc8684bd3e872cdda84f8f62a897253/imandra-0.1.12-py3-none-any.whl#sha256=c8fb9c984f88da41da53a2738d98a646501cba3788be8e59ce4c1bf532e64bd5 (from https://pypi.org/simple/imandra/)
2026-02-10T07:53:31,908   Found link https://files.pythonhosted.org/packages/d5/f2/ac4a14322331cd8f9b097729cc77431abfca8305d74ad91f069475e3bb30/imandra-0.1.12.tar.gz#sha256=294b1439a2d6dba52cd9f8506834437a17ba90d4bdffa08d5cd5c85bcc912527 (from https://pypi.org/simple/imandra/), version: 0.1.12
2026-02-10T07:53:31,909   Skipping link: No binaries permitted for imandra: https://files.pythonhosted.org/packages/af/46/20b5fdd392f524f195af46740a45c491b173418dee9a99c9db235eb6c955/imandra-1.0.0-py3-none-any.whl#sha256=cde9c4d6825fec9f374447f621332f3f2de3a02883fbf2d392eede5b42cc0ed6 (from https://pypi.org/simple/imandra/)
2026-02-10T07:53:31,910   Found link https://files.pythonhosted.org/packages/72/e4/a1eed4370a3a52fa2479ef7fbf3249b644b336b270f6bd4dedad1aa75feb/imandra-1.0.0.tar.gz#sha256=8e71abc217025752a9c2090736070dccfa13e05be80145d16988acf5645bd167 (from https://pypi.org/simple/imandra/), version: 1.0.0
2026-02-10T07:53:31,910   Skipping link: No binaries permitted for imandra: https://files.pythonhosted.org/packages/e1/86/0ef337ce4a3c8cf6d9a9ad55c9550e741638ecb3b0171834e54a462e9bb7/imandra-1.0.1-py3-none-any.whl#sha256=889919d33b532fc78aa2a16424433a6e394ad54f5edd5d88f567bd732da4312a (from https://pypi.org/simple/imandra/)
2026-02-10T07:53:31,911   Found link https://files.pythonhosted.org/packages/05/f2/8025724d8b6d0b378e595893ffc51f42a2e511bc82dbc665c823597be945/imandra-1.0.1.tar.gz#sha256=f5e4ccc94cf685e3b6e34733462120ab296c5a820a93979bd7adf6a76d668d49 (from https://pypi.org/simple/imandra/), version: 1.0.1
2026-02-10T07:53:31,912   Skipping link: No binaries permitted for imandra: https://files.pythonhosted.org/packages/c4/11/1284147f714f209f89f8fae39be95ca1ced53ebd489ed764ecbbe612e2f1/imandra-1.0.2-py3-none-any.whl#sha256=3989105bfa82a8b834497ea127227c8177299c617fb22659d0d35c5eca442fd2 (from https://pypi.org/simple/imandra/)
2026-02-10T07:53:31,912   Found link https://files.pythonhosted.org/packages/aa/73/a9d343b1747e2b746ed251cfc7477e67f40ccd393a881bdc16ce8f543ca1/imandra-1.0.2.tar.gz#sha256=78c2e6512087df87d3ce657bada85b2538f07e4240741cdb49cb9c432cfbbd60 (from https://pypi.org/simple/imandra/), version: 1.0.2
2026-02-10T07:53:31,913   Skipping link: No binaries permitted for imandra: https://files.pythonhosted.org/packages/be/b9/45faca85b29d78ceece2fc07d0584be26fbd67382d001bff619fa6fc717f/imandra-1.0.3-py3-none-any.whl#sha256=22755160412fb46c12ddc2d59774d1ddb0a1605d62a76ca057ea3301a92d854e (from https://pypi.org/simple/imandra/)
2026-02-10T07:53:31,913   Found link https://files.pythonhosted.org/packages/ba/55/d75830d62f8d24ecf6865bdeceb7e9a90531230ee92312b2bfb2735cf67c/imandra-1.0.3.tar.gz#sha256=2620108f3531f3f54430f603ab123703504722aad9d627dce27d5de5ed175c35 (from https://pypi.org/simple/imandra/), version: 1.0.3
2026-02-10T07:53:31,914   Skipping link: No binaries permitted for imandra: https://files.pythonhosted.org/packages/c2/3f/2550a5622ef54c52295210102f4606dd6d4c84e3e3f4e846b50af6b1607d/imandra-1.0.4-py3-none-any.whl#sha256=7e15cabe7337c8560497ab111ca450fb881b642f9666ea1789b96d5c6d1004b1 (from https://pypi.org/simple/imandra/)
2026-02-10T07:53:31,915   Found link https://files.pythonhosted.org/packages/f4/2c/472633ca12034c24fd6c6ac0bc219ed74b5a0c07e7a585cfe58df4d6041e/imandra-1.0.4.tar.gz#sha256=909ef8dc78226744f69eb334c1d756efbdcb76829234202b6dc086765aada432 (from https://pypi.org/simple/imandra/), version: 1.0.4
2026-02-10T07:53:31,915   Skipping link: No binaries permitted for imandra: https://files.pythonhosted.org/packages/51/5f/259e6bfe70ddf8b195b5b4ea88a535080018e79c8902893b8e7094377ec4/imandra-2.0.0b1-py3-none-any.whl#sha256=a756f50611a530370f3f07dabb379e30a77edeb7a8228942fba1fd63fcd11c06 (from https://pypi.org/simple/imandra/)
2026-02-10T07:53:31,916   Found link https://files.pythonhosted.org/packages/05/5a/647b270793d119de8022d2ec9cbd857f3903cb66b1f8dce036f18308f200/imandra-2.0.0b1.tar.gz#sha256=288f86003fe7eb346c525cfb80535a05fb6f86b8a935661dfd6c9d882edd594d (from https://pypi.org/simple/imandra/), version: 2.0.0b1
2026-02-10T07:53:31,917   Skipping link: No binaries permitted for imandra: https://files.pythonhosted.org/packages/93/ad/d522783109329bce803a03bf75d7941508f6b1c267f04af90f673c8fd2a9/imandra-2.0.0b2-py3-none-any.whl#sha256=6b650b054fa630cb3afeadfa9253c5a9f3b64868be33730b8b2e573805881ec3 (from https://pypi.org/simple/imandra/)
2026-02-10T07:53:31,917   Found link https://files.pythonhosted.org/packages/a7/50/442b70200f33e225c482310f6eb5c8a8e3e08272b163cba2f75e7b6dc03d/imandra-2.0.0b2.tar.gz#sha256=16d374d09758fda7775891e2136369a357828de71dd8c386522a25be77f318d4 (from https://pypi.org/simple/imandra/), version: 2.0.0b2
2026-02-10T07:53:31,918   Skipping link: No binaries permitted for imandra: https://files.pythonhosted.org/packages/f8/e9/0ed04495f4a8a57dbb178780e1b207975616d9ed2c9458b57913bbf54ad8/imandra-2.0.0b3-py3-none-any.whl#sha256=8049f11d0bb451950682575a5fcfae13b797056a5cdbcf2f4cb0b22d0d7ab7fd (from https://pypi.org/simple/imandra/)
2026-02-10T07:53:31,919   Found link https://files.pythonhosted.org/packages/b6/f9/72c20eb9ef5d99733d1da9ff46a699f2d6e7f885bc4f4577070d085470ee/imandra-2.0.0b3.tar.gz#sha256=60c0f07cf9bdd64f6f0a66305be742f3c2a6c99371f786faaaa6a8c537d21185 (from https://pypi.org/simple/imandra/), version: 2.0.0b3
2026-02-10T07:53:31,919   Skipping link: No binaries permitted for imandra: https://files.pythonhosted.org/packages/25/09/76a25b1f2a615d352c030924d6a0ba0417babc588b0b8ff37c68db8b17ef/imandra-2.0.0b4-py3-none-any.whl#sha256=de7de179ec9d4efc252ea460ef9af798deea24eaee622f6d07dcb91303a95284 (from https://pypi.org/simple/imandra/)
2026-02-10T07:53:31,920   Found link https://files.pythonhosted.org/packages/11/de/f616ed3c2f094eb1f2658d2d98132caf2b44130f04e9dcc1acec64e8181a/imandra-2.0.0b4.tar.gz#sha256=6ea0b0415ce8a165b13eb85354a40a93f19eb3976deb7f1540a5204aed05657a (from https://pypi.org/simple/imandra/), version: 2.0.0b4
2026-02-10T07:53:31,921   Skipping link: No binaries permitted for imandra: https://files.pythonhosted.org/packages/02/16/725f29a323ca2a00d6463740f1e5aa3c56db98bc224a1e0c2c095a81d71e/imandra-2.0.0b5-py3-none-any.whl#sha256=10cbc1062aef7e89798e44822064a6775e3d7c4a548ff0e86cdf789afd9b1881 (from https://pypi.org/simple/imandra/)
2026-02-10T07:53:31,921   Found link https://files.pythonhosted.org/packages/12/de/5dcf10d9625fa431118ee15db4bc05a19cdb2f1d1490190fabd9e26ffcd7/imandra-2.0.0b5.tar.gz#sha256=3f440f496c1f972b7141c35bbb666723e732c04a3a78cf8074c27e4789054409 (from https://pypi.org/simple/imandra/), version: 2.0.0b5
2026-02-10T07:53:31,922   Skipping link: No binaries permitted for imandra: https://files.pythonhosted.org/packages/d7/16/e5e7fdce9d9c91d6c06bbdb9977273713a86d306ebfa4b4d0e99520484c7/imandra-2.0.0b6-py3-none-any.whl#sha256=25078404bc68877d9452169eaf0a85692162378b5fe475ad9b6850dc316cbbd2 (from https://pypi.org/simple/imandra/)
2026-02-10T07:53:31,922   Found link https://files.pythonhosted.org/packages/c1/41/15207c1ce71b2cdcfe1396454e5d99ef5b7435074de4e52fb89064cd3f3b/imandra-2.0.0b6.tar.gz#sha256=81b07f93c570cc2b56dcff4afe7b7cff7a1f5e9a747723f3cb20e9bb95ad1a7b (from https://pypi.org/simple/imandra/), version: 2.0.0b6
2026-02-10T07:53:31,923   Skipping link: No binaries permitted for imandra: https://files.pythonhosted.org/packages/a4/d4/32af416e931ceb31dd3d26260d1113b263187ffd06c8052cd741887f18fa/imandra-2.0.0b7-py3-none-any.whl#sha256=8adecdc44f0c37d195f9e554f5a7e95e495b73a9096a956684d313eddcb26ece (from https://pypi.org/simple/imandra/)
2026-02-10T07:53:31,924   Found link https://files.pythonhosted.org/packages/2c/06/e4a8bcfcda2c421b07e05acccfb0aa280dd7a7842e31cdf0a2427b25a04c/imandra-2.0.0b7.tar.gz#sha256=b412d9001b2d6de35a4c0dca1aa0ce8ad7212085d5a23906f8c2d9bc4ed025da (from https://pypi.org/simple/imandra/), version: 2.0.0b7
2026-02-10T07:53:31,924   Skipping link: No binaries permitted for imandra: https://files.pythonhosted.org/packages/54/11/4ce28624e784079e1604f1ab6d63f7e1f690889e231587b77fc5ab648aea/imandra-2.0.0-py3-none-any.whl#sha256=b5b0432a0db797cbad14cdf45a21ca8946309ecff87c4fa4edd49bd9cec3e009 (from https://pypi.org/simple/imandra/)
2026-02-10T07:53:31,925   Found link https://files.pythonhosted.org/packages/4e/af/8a479f70c50356b3ead6f7edebab2e23f7a720f6aff22bcfe575393c223c/imandra-2.0.0.tar.gz#sha256=ff07553a510ea0dc46cb614b775ab9eece65a49b3bc0778a80289a5212977963 (from https://pypi.org/simple/imandra/), version: 2.0.0
2026-02-10T07:53:31,926   Skipping link: No binaries permitted for imandra: https://files.pythonhosted.org/packages/3c/2c/04667b0d18a9fb413db5d00b4787bc89e8716d468b2d2afa2dafc845aaaf/imandra-2.0.1-py3-none-any.whl#sha256=2e33483c88407e88be8949ab7b746bc7f62a69a042d9c4243ff6a422a0e43b74 (from https://pypi.org/simple/imandra/)
2026-02-10T07:53:31,926   Found link https://files.pythonhosted.org/packages/de/a2/ad85144366aa4bba5226daf2c533ecfd19bc648fa468f63f1da044af2ab8/imandra-2.0.1.tar.gz#sha256=db2afdb0db1639c416444b27c0c58d7750ab0529762de10adf1d8ce7c935b261 (from https://pypi.org/simple/imandra/), version: 2.0.1
2026-02-10T07:53:31,927   Skipping link: No binaries permitted for imandra: https://files.pythonhosted.org/packages/5b/96/3e88196e3b04c6d8c90a32e4182a1159ac0a983515e717fb6ef49b4761ec/imandra-2.0.2-py3-none-any.whl#sha256=d6f0406ce1afeee800bd23e2711257297f50b99f4f5cd078dc87359f079ca4ae (from https://pypi.org/simple/imandra/)
2026-02-10T07:53:31,928   Found link https://files.pythonhosted.org/packages/1a/9a/557c56ae614467c51e3e7644b9cfcf34372434cb6f9e309b4214de25d766/imandra-2.0.2.tar.gz#sha256=636b9ee014acf6a86b44b4c99c95e053df7fb8eb5b58e2d42cf656c78a6bfcc3 (from https://pypi.org/simple/imandra/), version: 2.0.2
2026-02-10T07:53:31,928   Skipping link: No binaries permitted for imandra: https://files.pythonhosted.org/packages/3f/ba/8f7dd439d7dddd0f0d340826c31f9124cce57e256a2307b406a41c8cd9b6/imandra-2.0.3-py3-none-any.whl#sha256=68f1d250899ca55b5cfe2d915e838a06aaa1b59d2871078092eba65f0f89a87f (from https://pypi.org/simple/imandra/)
2026-02-10T07:53:31,929   Found link https://files.pythonhosted.org/packages/08/5f/48eba7f4b3948caadac20362c211b803021c7251b7d2a4c6904a7e28c95b/imandra-2.0.3.tar.gz#sha256=223d8d3f9d3460ffd6874cd86bd908ef46cc69c17373af4c292334068c9dbeb8 (from https://pypi.org/simple/imandra/), version: 2.0.3
2026-02-10T07:53:31,929   Skipping link: No binaries permitted for imandra: https://files.pythonhosted.org/packages/59/57/436a336531d248ec989347cbaae9df8a5471668d8112230a76c6e15b026e/imandra-2.0.4-py3-none-any.whl#sha256=d8dfbb77c68a2ac4c5d153b7b2efcc073a6f9fd1020bd16e77c89514498e509e (from https://pypi.org/simple/imandra/)
2026-02-10T07:53:31,930   Found link https://files.pythonhosted.org/packages/ba/98/16ca1de7f39d2d845f3feeaff8e32e9b59bb1b2d5b44143f3a0e161276cf/imandra-2.0.4.tar.gz#sha256=918747ba927a6234836bac1f474f884ec14df43f921989c05df9bb3e07361ccc (from https://pypi.org/simple/imandra/), version: 2.0.4
2026-02-10T07:53:31,931   Skipping link: No binaries permitted for imandra: https://files.pythonhosted.org/packages/50/22/e2cbee946cf027911f82405b1f51137a40b75f12253f9c21fc36c65022ad/imandra-2.0.5-py3-none-any.whl#sha256=84e5c5970bb692ef41275247395f171085ac11f8f839eb58f2c5f2b45340748f (from https://pypi.org/simple/imandra/)
2026-02-10T07:53:31,931   Found link https://files.pythonhosted.org/packages/b4/2a/5b7be215ced817ae15020d94218a17ac5ecba27e6f97aca0a75267ed4d13/imandra-2.0.5.tar.gz#sha256=9c223933f076abdfd82bca20b8814d0ee97e1fb1259ac6780e0e87d2afa9572a (from https://pypi.org/simple/imandra/), version: 2.0.5
2026-02-10T07:53:31,932   Skipping link: No binaries permitted for imandra: https://files.pythonhosted.org/packages/6b/0f/3ad3ca2681f254b42a6b7d05a39282341a20bf1a94fe01a8ecdf80452f3a/imandra-2.0.6-py3-none-any.whl#sha256=c2d6f5b3d1d93b9a7841875330854a57b888646ab435174fd751a99c2c85ec89 (from https://pypi.org/simple/imandra/)
2026-02-10T07:53:31,933   Found link https://files.pythonhosted.org/packages/f0/f6/97e22afa63fc0ac13383691c88121781ca6c706a3f788dc8f806851ca096/imandra-2.0.6.tar.gz#sha256=119abe894be145881d90dc4c1d46c9063dc767a04bfa660109a06267355df033 (from https://pypi.org/simple/imandra/), version: 2.0.6
2026-02-10T07:53:31,933   Skipping link: No binaries permitted for imandra: https://files.pythonhosted.org/packages/73/0c/3b13d29c6fff3c50f1d9d84d1a3399e073066b27b23b8c5c0c5b5adc92e4/imandra-2.0.8-py3-none-any.whl#sha256=635950c0fe37e92855869fd1e89d7da458923e92b68508052f973e5ccd1b3d16 (from https://pypi.org/simple/imandra/)
2026-02-10T07:53:31,934   Found link https://files.pythonhosted.org/packages/7e/d8/b634de51ba3e06b41114d4dbb7fa79f02dfefeee8a56820d89e7e6e6d613/imandra-2.0.8.tar.gz#sha256=4726adbc7af159bedba61128601e7bbd62acf291990640bfb589a20716356904 (from https://pypi.org/simple/imandra/), version: 2.0.8
2026-02-10T07:53:31,934   Skipping link: No binaries permitted for imandra: https://files.pythonhosted.org/packages/62/23/a2364fa7b8fbb662d44eefd1b4964e4c3d84ef5717a548c6034d2facd2a6/imandra-2.0.9-py3-none-any.whl#sha256=2b6d7ffa597f06b6219c8599b1bf25b87e124dc92a61d56b7b5d25a95a6217d5 (from https://pypi.org/simple/imandra/)
2026-02-10T07:53:31,935   Found link https://files.pythonhosted.org/packages/e0/87/b78ba27c236e2191490a1cda50a75141ba690854536bb64cd28fa55b4e61/imandra-2.0.9.tar.gz#sha256=a07443c722273386810d422161f3e80fb503f51100770e9c677b64a99f907e3d (from https://pypi.org/simple/imandra/), version: 2.0.9
2026-02-10T07:53:31,936   Skipping link: No binaries permitted for imandra: https://files.pythonhosted.org/packages/76/d7/f5dd6bc56f8598df1e26e68550e33cf4b32ead8f6afb73b6b5f4793b7531/imandra-2.0.10-py3-none-any.whl#sha256=ad24f2ca026380b4223dc0289c1e355074159ab750535cdc9434789109cf062c (from https://pypi.org/simple/imandra/)
2026-02-10T07:53:31,936   Found link https://files.pythonhosted.org/packages/64/3b/de973ed26c06cefbaebd0debd93cacded4f17e81af4053c7dddef2186171/imandra-2.0.10.tar.gz#sha256=84f8180496878ad62dd084f1557fcdcd0ef23dfb50d05c3d88814a7b2e8552b0 (from https://pypi.org/simple/imandra/), version: 2.0.10
2026-02-10T07:53:31,937   Skipping link: No binaries permitted for imandra: https://files.pythonhosted.org/packages/2c/54/a23ffccbb36d691f1b35078971576d38dc486599490f8b8621816e82e5e9/imandra-2.0.11-py3-none-any.whl#sha256=827686ff843e5b032ebf023e5b2ce0e287b15b642258e801086e1494c7faaf33 (from https://pypi.org/simple/imandra/)
2026-02-10T07:53:31,938   Found link https://files.pythonhosted.org/packages/b5/3e/af7f4d059794bc4313042822be55892bcc48809686bcf9c237b149356827/imandra-2.0.11.tar.gz#sha256=34e5ba496609b43415e1c5a7841e04512bc656e0733628fb5daf4b6f72a95128 (from https://pypi.org/simple/imandra/), version: 2.0.11
2026-02-10T07:53:31,938   Skipping link: No binaries permitted for imandra: https://files.pythonhosted.org/packages/e3/e9/08c499b62fcf3a22d4cd1adb088a0361d6296a5146d25e6383c657385782/imandra-2.0.12-py3-none-any.whl#sha256=d05a0a23dae4204dbc2a9256973e7f0153fd8b2bb9ac700136cb5705df0699b5 (from https://pypi.org/simple/imandra/)
2026-02-10T07:53:31,939   Found link https://files.pythonhosted.org/packages/93/47/99506cdbb2c68b8f90b5a6cba999ffb0e8da2c7b43a8fdb0594d674ed8ba/imandra-2.0.12.tar.gz#sha256=bff25c482a551816c848b4b38fa5e0957ca050833b77983fea3172adcd8c67a3 (from https://pypi.org/simple/imandra/), version: 2.0.12
2026-02-10T07:53:31,940   Skipping link: No binaries permitted for imandra: https://files.pythonhosted.org/packages/8f/cd/63db27f52269e031b5274bb15846c86d67ff1032fbd207b11a659d8e8795/imandra-2.0.13-py3-none-any.whl#sha256=10c96f14b9de0c1c962e5fa7a0fdc68dc5bfb5712cdde0b405976f91d3d70275 (from https://pypi.org/simple/imandra/)
2026-02-10T07:53:31,940   Found link https://files.pythonhosted.org/packages/d3/23/fe60b8c3443db51f327d3b85c95211067f6cd3ba3f863cc34bdf8ffe2d07/imandra-2.0.13.tar.gz#sha256=0b5d7f90f900384e3e4e41ae46e12b4812fdbe62fead04872160d60bf97adf41 (from https://pypi.org/simple/imandra/), version: 2.0.13
2026-02-10T07:53:31,941   Skipping link: No binaries permitted for imandra: https://files.pythonhosted.org/packages/2e/c6/b34dacc51ec0651668036198dc1a80423e7174ac11af4a573a7d40290a28/imandra-2.0.14-py3-none-any.whl#sha256=c3465ae5acfd269b7e9a914fc8597638de262ea22c7a23b490364cd3d5bdeab2 (from https://pypi.org/simple/imandra/)
2026-02-10T07:53:31,941   Found link https://files.pythonhosted.org/packages/63/fd/a302e0b8d588a2f1e2f5cf6d94b4583d5f703e35115ebb22fbe01f25712f/imandra-2.0.14.tar.gz#sha256=44aee0e561da432d2b2ade58fe238f9c2c1ea66c9fd80061b05d0c1bd445d722 (from https://pypi.org/simple/imandra/), version: 2.0.14
2026-02-10T07:53:31,942   Skipping link: No binaries permitted for imandra: https://files.pythonhosted.org/packages/13/d8/7c9714387bef2e9c8921f435c089f1c213c24c5c1169fe0db23cb20d019a/imandra-2.0.15-py3-none-any.whl#sha256=45eb4e294cf4e6589416ede8a33dc66186a313d9b19a532b9a54c8c5c356d9b5 (from https://pypi.org/simple/imandra/)
2026-02-10T07:53:31,943   Found link https://files.pythonhosted.org/packages/c0/cb/362cc9a10be517657eb08c3d3f9d5fe355c57d1e0d7251cb859af4395e04/imandra-2.0.15.tar.gz#sha256=a05b3b9be9b4cb89391752852cf8f26766e1cd085a88feb1e468e5eec6c84d90 (from https://pypi.org/simple/imandra/), version: 2.0.15
2026-02-10T07:53:31,943   Skipping link: No binaries permitted for imandra: https://files.pythonhosted.org/packages/7b/a8/cb3d7ba11495801a05c0ed613c7e5a3c76030a8970accc3439fd00cb9eae/imandra-2.0.16-py3-none-any.whl#sha256=ac669d7355d19a8e7272ae9e4e3f40c005c25ed2b1455f2a46cd9edec605a023 (from https://pypi.org/simple/imandra/)
2026-02-10T07:53:31,944   Found link https://files.pythonhosted.org/packages/b4/25/fe8350b5149ed7262c6232c41ee198baf43e09ea1e6c42d4b8f2022c089c/imandra-2.0.16.tar.gz#sha256=ba8c3a3f02650376c174fce860a9db76303e59c9c43cf16d0d8f37edc98252cd (from https://pypi.org/simple/imandra/), version: 2.0.16
2026-02-10T07:53:31,945   Skipping link: No binaries permitted for imandra: https://files.pythonhosted.org/packages/71/59/4c46c87dc207b91645e85e2b06efc7cc0e1aeb447e45d5358f725521e6ec/imandra-2.0.17-py3-none-any.whl#sha256=3220083d371f653486a4da8e9672b64a270b8345ffffa864e44cee8b9199c207 (from https://pypi.org/simple/imandra/)
2026-02-10T07:53:31,945   Found link https://files.pythonhosted.org/packages/83/e1/55329b0f37b56164bb32ee6ee9af85f52f39c36216bb039a7925271f1e17/imandra-2.0.17.tar.gz#sha256=f9d32dfdd4fe30dbaa22d13adad5e0b0b86f55faae55e167417466f8048cba20 (from https://pypi.org/simple/imandra/), version: 2.0.17
2026-02-10T07:53:31,946   Skipping link: No binaries permitted for imandra: https://files.pythonhosted.org/packages/0c/63/bfdaa7e335073214b7ff02d75ef273656e969453dd5c79bc1e073fb7ea65/imandra-2.0.18-py3-none-any.whl#sha256=3b57bf9dfdc46063d329fa3a1a68a121382dbd3d04d69cf51a404e115e63decc (from https://pypi.org/simple/imandra/)
2026-02-10T07:53:31,946   Found link https://files.pythonhosted.org/packages/39/3c/94f00534e05b5ec89f77c417c98eb18a13f96096ec0def6a1d795e709b9b/imandra-2.0.18.tar.gz#sha256=c58a95a303754a87e11caa81b5acc3949bae25a258050058da3c31aff1d2d91e (from https://pypi.org/simple/imandra/), version: 2.0.18
2026-02-10T07:53:31,947   Skipping link: No binaries permitted for imandra: https://files.pythonhosted.org/packages/a5/1b/e6f8eceeb3136ecbe21c68f8bffaed31deb77ccb89b26070f4a7b4cc33ea/imandra-2.0.19-py3-none-any.whl#sha256=d4e02b5f6fa4c1b7d5f6b1b0cd6a6f1465a6d5d5ff84eb60622dc7bdf4112bff (from https://pypi.org/simple/imandra/)
2026-02-10T07:53:31,948   Found link https://files.pythonhosted.org/packages/0d/95/926bd64d3e0267c8df3bb8400afbef65fdbd50ba6f3fd8bf88764dc2c1e9/imandra-2.0.19.tar.gz#sha256=15dfb799772eb2855d59423257c8aaec8cfc235613dfa6307a5b3fd63f732f3b (from https://pypi.org/simple/imandra/), version: 2.0.19
2026-02-10T07:53:31,948   Skipping link: No binaries permitted for imandra: https://files.pythonhosted.org/packages/38/7a/519f85d9a88ca269b6d82e1b89cda9bd55ed6c6b116e66e8d531afba8ee3/imandra-2.0.20-py3-none-any.whl#sha256=3acae12650e05a883d7c9047f25c74b6452258173edc942142583f99209be727 (from https://pypi.org/simple/imandra/)
2026-02-10T07:53:31,949   Found link https://files.pythonhosted.org/packages/ee/6e/b8a6e709b683c5459b530061290d7a8894e7bfe1a91449d28aa0cbaed5d7/imandra-2.0.20.tar.gz#sha256=c501b5a62b9c5d402cb75830a0e86409137226aaa6b2a388b728b79217ed118b (from https://pypi.org/simple/imandra/), version: 2.0.20
2026-02-10T07:53:31,950   Skipping link: No binaries permitted for imandra: https://files.pythonhosted.org/packages/4a/47/0347a6dcdaee83ca3260dcae6ffc51842d9887ec3602fbffc75b951abc4f/imandra-2.0.22-py3-none-any.whl#sha256=77c2ee7b7bd595c6c9611a72e783d60d1c98d84028037effa5a879d5e897a46e (from https://pypi.org/simple/imandra/)
2026-02-10T07:53:31,950   Found link https://files.pythonhosted.org/packages/bc/af/7c0049ebd795facb59b60aa44bc127375cb46bcbc9575c91142278f544f4/imandra-2.0.22.tar.gz#sha256=7616c4d5e383fa8bf0afc2681634494a110a9ba2449b914eafd4ae76f474b970 (from https://pypi.org/simple/imandra/), version: 2.0.22
2026-02-10T07:53:31,951   Skipping link: No binaries permitted for imandra: https://files.pythonhosted.org/packages/2b/b4/1cd77549245103707a13b7d2437f3d31cb421e6ee4c5c71ff4b71b89d8f8/imandra-2.0.23-py3-none-any.whl#sha256=910f02e0fc18210308c14d6a32078b26895c90e8a3d57695b5364c72f3d48083 (from https://pypi.org/simple/imandra/)
2026-02-10T07:53:31,951   Found link https://files.pythonhosted.org/packages/42/32/7caced7b03e2461bcd8c884006210b29f3cb1b39d186828e606a5254896d/imandra-2.0.23.tar.gz#sha256=de22629d85a9f5bbb6dfc77c5bcef3718d5eedae5a18b520dc5aae7a373eb100 (from https://pypi.org/simple/imandra/), version: 2.0.23
2026-02-10T07:53:31,952   Skipping link: No binaries permitted for imandra: https://files.pythonhosted.org/packages/e3/8c/b676666edfb833a373a722ca12a6248f3ab52fd41ac5c338193d53bdd83a/imandra-2.1.0-py3-none-any.whl#sha256=e06c0d2f013cfa0d86b7486cf90339f067a01c3347d28bbace8549b4de1641fa (from https://pypi.org/simple/imandra/)
2026-02-10T07:53:31,953   Found link https://files.pythonhosted.org/packages/78/8a/46d8913a6127ec36f8431b981ea42d2fb6b6118ae17873f5e3584cc46797/imandra-2.1.0.tar.gz#sha256=55f6c6f1c792087a3c34b6f8a1a408100de4647d2b38ace367b8564c31461adc (from https://pypi.org/simple/imandra/), version: 2.1.0
2026-02-10T07:53:31,953   Skipping link: No binaries permitted for imandra: https://files.pythonhosted.org/packages/d6/c6/08369ba5587af5cc23e94698ffd136863216b9cbf0ac0b4d8540c6d93a22/imandra-2.1.1-py3-none-any.whl#sha256=f13f242ba660a4ddf723cdf0d6fd569ada88c7322450655f24a90a826e41348c (from https://pypi.org/simple/imandra/)
2026-02-10T07:53:31,954   Found link https://files.pythonhosted.org/packages/f2/75/211b05372b7ea5b57f69f715afa3546e5062bb2be692bf8b8d2f15888b8e/imandra-2.1.1.tar.gz#sha256=aec6c79aafb1d87de2b79c5089121c9cd88c55922923d9c60f1784358eff256f (from https://pypi.org/simple/imandra/), version: 2.1.1
2026-02-10T07:53:31,954   Skipping link: No binaries permitted for imandra: https://files.pythonhosted.org/packages/23/22/33de77ec4bd8721f29de4757a583651adb61405fcf708b3ebdb3a9117841/imandra-2.1.2-py3-none-any.whl#sha256=53f9845d0a95cfc29ae4e4db1da108aa04cc111bb34ce21dcd2cb564e24d7cff (from https://pypi.org/simple/imandra/)
2026-02-10T07:53:31,955   Found link https://files.pythonhosted.org/packages/d0/1b/359952f0261d4689a1a6bed106f523899fb57722dbf49b8a400ba71e4b4a/imandra-2.1.2.tar.gz#sha256=40604000908abeac0764cd8ccc2bb9567eb9c79921b819faa032a84dda60547f (from https://pypi.org/simple/imandra/), version: 2.1.2
2026-02-10T07:53:31,956   Skipping link: No binaries permitted for imandra: https://files.pythonhosted.org/packages/f0/39/2ecbdc2f462311be9f7ab5d7f36951342168c68b97ca9ebfc2c85bb772ca/imandra-2.1.3-py3-none-any.whl#sha256=eca2e2f7de1f3b9929e534ec314f038b66f4e6f87dfc4af311cd729dd24cece4 (from https://pypi.org/simple/imandra/)
2026-02-10T07:53:31,956   Found link https://files.pythonhosted.org/packages/ed/ea/3956971600bb5380665a993fc02ca8e528445ccafab1a6b8a0634d3c8415/imandra-2.1.3.tar.gz#sha256=646dbfb9f086d9e23b0426e482faa73590ea5c4bfc29e31212896af2dedf9358 (from https://pypi.org/simple/imandra/), version: 2.1.3
2026-02-10T07:53:31,957   Skipping link: No binaries permitted for imandra: https://files.pythonhosted.org/packages/d5/d4/66f59efe96d59267dd4339960699553fa44699aecae0b68054caf3a282f4/imandra-2.1.4-py3-none-any.whl#sha256=219dc20973555e56dd369d1801de9857e0f51a8b6eba956efcc4d9294aadaf98 (from https://pypi.org/simple/imandra/) (requires-python:>=3.12)
2026-02-10T07:53:31,959   Link requires a different Python (3.9.2 not in: '>=3.12'): https://files.pythonhosted.org/packages/03/2b/645238db9fa0f2081ad685d6795816c2162f68226a4c493018c12b145c4d/imandra-2.1.4.tar.gz#sha256=de7f3465ca2f674faa9770771c390d2e946d34d6187d7d8823220e57e93929ea (from https://pypi.org/simple/imandra/) (requires-python:>=3.12)
2026-02-10T07:53:31,959   Skipping link: No binaries permitted for imandra: https://files.pythonhosted.org/packages/e4/7c/792a4f94286a26d92fc1d9fade77f7b80d97eb526e01140a54d1e3f38f5e/imandra-2.1.5-py3-none-any.whl#sha256=dbc89c538a87f14d66d2ced11cd24724684ea8f10a520174498dd36a6f59cfaa (from https://pypi.org/simple/imandra/) (requires-python:>=3.12)
2026-02-10T07:53:31,960   Link requires a different Python (3.9.2 not in: '>=3.12'): https://files.pythonhosted.org/packages/65/c5/ad29a4a52ed5aa931bf52311ac7c6565c6c89f53dfa8af62527faf983405/imandra-2.1.5.tar.gz#sha256=3c527d01e6c42c9c897d99849b45908c2c023e315aee8d462167c0f76461f4a8 (from https://pypi.org/simple/imandra/) (requires-python:>=3.12)
2026-02-10T07:53:31,961   Skipping link: No binaries permitted for imandra: https://files.pythonhosted.org/packages/73/92/3b692fa16d7b85498f6508a8c76048c41734e3dd00a2e9b9371116b48076/imandra-2.1.6-py3-none-any.whl#sha256=c656bd15e3fd227da7e01295b09322503e1403b2501ef5a6c80dba90583120f9 (from https://pypi.org/simple/imandra/) (requires-python:>=3.12)
2026-02-10T07:53:31,962   Link requires a different Python (3.9.2 not in: '>=3.12'): https://files.pythonhosted.org/packages/5a/34/2e22d329962aa2eca2c3f44b7f83de39373e8ff4eb441c353856c00c8dd0/imandra-2.1.6.tar.gz#sha256=7b45d16581597338367f8ba1e631966037b6f3b4516e0dbd27c0361befd39337 (from https://pypi.org/simple/imandra/) (requires-python:>=3.12)
2026-02-10T07:53:31,963   Skipping link: No binaries permitted for imandra: https://files.pythonhosted.org/packages/f4/40/bfe21f571b25c5ca53a2c44324588cec58392b6d78aceac075a818654e8d/imandra-2.2.0-py3-none-any.whl#sha256=25db5ffc837c65a36f8e5520b9aedcfc774b20370f8418b1ce8d93b66e340351 (from https://pypi.org/simple/imandra/) (requires-python:>=3.12)
2026-02-10T07:53:31,964   Link requires a different Python (3.9.2 not in: '>=3.12'): https://files.pythonhosted.org/packages/ee/92/4aafa9278b7cb791885f4a3f5ed387c22bf8011d0ef4a768a5a2290c35f0/imandra-2.2.0.tar.gz#sha256=1250460c01cd41d0426b723b4ce5bfc56f2128252a61947ae1375390eb61dff4 (from https://pypi.org/simple/imandra/) (requires-python:>=3.12)
2026-02-10T07:53:31,965   Skipping link: No binaries permitted for imandra: https://files.pythonhosted.org/packages/8d/39/a41297d0bec082909dece441e53759727c0fbcb8edacfe4ac7158408bd8b/imandra-2.3.0-py3-none-any.whl#sha256=756a6df795d382716db58e4e79f4bcf51b302e98975c428e27f2d2424be39c4d (from https://pypi.org/simple/imandra/) (requires-python:>=3.12)
2026-02-10T07:53:31,966   Link requires a different Python (3.9.2 not in: '>=3.12'): https://files.pythonhosted.org/packages/6a/8b/aeee17a8819a53fe7982cd62ebd99728e295096247020f1626f1df6cbfcf/imandra-2.3.0.tar.gz#sha256=75c873d5190d07d54f859122e601788af93dc05314395b10e1f866d3c14b13b3 (from https://pypi.org/simple/imandra/) (requires-python:>=3.12)
2026-02-10T07:53:31,967   Skipping link: No binaries permitted for imandra: https://files.pythonhosted.org/packages/db/5b/c23b68f2ff8af1e63305140fd6738a6221f16fa2dfe9b9fe93064158baa9/imandra-2.3.1-py3-none-any.whl#sha256=5af7ba59b41566903d2919f549aefed9f10e6ca95769bbffd4e1627cda12f341 (from https://pypi.org/simple/imandra/) (requires-python:>=3.12)
2026-02-10T07:53:31,968   Link requires a different Python (3.9.2 not in: '>=3.12'): https://files.pythonhosted.org/packages/72/85/cbf4113c676c05feae2733640943b8950bf51f0f3931ae80278c04cee7ee/imandra-2.3.1.tar.gz#sha256=008e6d29a162b679b32808641b9255ad4bbe623eb8097e39b477850d053f4a1e (from https://pypi.org/simple/imandra/) (requires-python:>=3.12)
2026-02-10T07:53:31,969   Skipping link: No binaries permitted for imandra: https://files.pythonhosted.org/packages/5e/2a/f3a1ba3c51a704322b68e5d9263b25498ed093c8d0c779c8b3e30984abe2/imandra-2.4.0-py3-none-any.whl#sha256=5c62f85a1b8002beeb1e6b2d7f6548922731d12e35e10aea18ad739aa99e8ce6 (from https://pypi.org/simple/imandra/) (requires-python:>=3.12)
2026-02-10T07:53:31,970   Link requires a different Python (3.9.2 not in: '>=3.12'): https://files.pythonhosted.org/packages/de/37/ddea3c04cea989faaee8ac1923cc9c4048dd0d154b1e883a38902fd4ff24/imandra-2.4.0.tar.gz#sha256=10df0c82de5c05dff1425c4d5a2113adc178e6154d37470433c27b5ce1f399a7 (from https://pypi.org/simple/imandra/) (requires-python:>=3.12)
2026-02-10T07:53:31,971   Skipping link: No binaries permitted for imandra: https://files.pythonhosted.org/packages/44/80/4c28e27340fd2a9431f0a2cb1f6cb56c187d5be497f42fb0462f2c5f7f8f/imandra-2.4.1-py3-none-any.whl#sha256=065a5aa46085a22d76007d3c9d20660a54114c4ad70af71ecb8717a603dc929f (from https://pypi.org/simple/imandra/) (requires-python:>=3.12)
2026-02-10T07:53:31,972   Link requires a different Python (3.9.2 not in: '>=3.12'): https://files.pythonhosted.org/packages/b6/0f/27e8f57d5de5ce7369ad4fc67a25cfeef5c4cc0f3b16034847e8c090e672/imandra-2.4.1.tar.gz#sha256=cda4bcfe05d342a3b983e18009c3e6f4c73a6c99991a6d2bc10c840316a40b79 (from https://pypi.org/simple/imandra/) (requires-python:>=3.12)
2026-02-10T07:53:31,973 Fetching project page and analyzing links: https://www.piwheels.org/simple/imandra/
2026-02-10T07:53:31,973 Getting page https://www.piwheels.org/simple/imandra/
2026-02-10T07:53:31,975 Found index url https://www.piwheels.org/simple
2026-02-10T07:53:31,980 Starting new HTTPS connection (1): www.piwheels.org:443
2026-02-10T07:53:32,093 https://www.piwheels.org:443 "GET /simple/imandra/ HTTP/1.1" 200 2748
2026-02-10T07:53:32,169   Skipping link: No binaries permitted for imandra: https://www.piwheels.org/simple/imandra/imandra-2.4.0-py3-none-any.whl#sha256=a9bd745a54d08dc4d403fd255a4f8f77f741585a20a33f5cec738b17311046d9 (from https://www.piwheels.org/simple/imandra/) (requires-python:>=3.12)
2026-02-10T07:53:32,169   Skipping link: No binaries permitted for imandra: https://www.piwheels.org/simple/imandra/imandra-2.3.1-py3-none-any.whl#sha256=4941cedf74dcfc635435cc2d8cbba4c95481f4fd875993595630fc5a1a527bed (from https://www.piwheels.org/simple/imandra/) (requires-python:>=3.12)
2026-02-10T07:53:32,170   Skipping link: No binaries permitted for imandra: https://www.piwheels.org/simple/imandra/imandra-2.3.0-py3-none-any.whl#sha256=6f30057659e9cd819af0e7575011045057e9d2136dd61429235f4277e5afce29 (from https://www.piwheels.org/simple/imandra/) (requires-python:>=3.12)
2026-02-10T07:53:32,170   Skipping link: No binaries permitted for imandra: https://www.piwheels.org/simple/imandra/imandra-2.2.0-py3-none-any.whl#sha256=cbea477c7595ce116a418a7677f1e65d6ab85736b513573e0fc6e68717d2ca75 (from https://www.piwheels.org/simple/imandra/) (requires-python:>=3.12)
2026-02-10T07:53:32,171   Skipping link: No binaries permitted for imandra: https://www.piwheels.org/simple/imandra/imandra-2.1.6-py3-none-any.whl#sha256=ae8c9d5223692a7c97cb965b3e7ea48ab599801c811f624778702d32f5beb84d (from https://www.piwheels.org/simple/imandra/) (requires-python:>=3.12)
2026-02-10T07:53:32,172   Skipping link: No binaries permitted for imandra: https://archive1.piwheels.org/simple/imandra/imandra-2.1.5-py3-none-any.whl#sha256=b0a32e6228066ff956a14e903f02bc9d129a8a2caf7a370e27a04453f4ff574d (from https://www.piwheels.org/simple/imandra/) (requires-python:>=3.12)
2026-02-10T07:53:32,172   Skipping link: No binaries permitted for imandra: https://archive1.piwheels.org/simple/imandra/imandra-2.1.4-py3-none-any.whl#sha256=a62548a567946874b4682bae09bbce4eca1fa79d6dcab6cc274b66d9738864cb (from https://www.piwheels.org/simple/imandra/) (requires-python:>=3.12)
2026-02-10T07:53:32,173   Skipping link: No binaries permitted for imandra: https://archive1.piwheels.org/simple/imandra/imandra-2.1.3-py3-none-any.whl#sha256=f83c45fba974cb7e4011b07db867da56a0ecb9a7c39655a41d7be2f64a1bae98 (from https://www.piwheels.org/simple/imandra/)
2026-02-10T07:53:32,173   Skipping link: No binaries permitted for imandra: https://archive1.piwheels.org/simple/imandra/imandra-2.1.2-py3-none-any.whl#sha256=02c8cfa55e0cae08b7dd1627b912f2c5391091a3c0bebea91584275eb58f0437 (from https://www.piwheels.org/simple/imandra/)
2026-02-10T07:53:32,174   Skipping link: No binaries permitted for imandra: https://archive1.piwheels.org/simple/imandra/imandra-2.1.1-py3-none-any.whl#sha256=dcc5ab726120acbfad44871c7855727ff197d58f49ef8c6203a2792650b6fec3 (from https://www.piwheels.org/simple/imandra/)
2026-02-10T07:53:32,174   Skipping link: No binaries permitted for imandra: https://archive1.piwheels.org/simple/imandra/imandra-2.1.0-py3-none-any.whl#sha256=d4f66752143919ee620283c6e9314475a20a7099b03c790e1ed952be17585dc4 (from https://www.piwheels.org/simple/imandra/)
2026-02-10T07:53:32,175   Skipping link: No binaries permitted for imandra: https://archive1.piwheels.org/simple/imandra/imandra-2.0.23-py3-none-any.whl#sha256=4edf7d0f0e79b248e5279149d051fee4a56cab72e55d32154d943cb56caf3c46 (from https://www.piwheels.org/simple/imandra/)
2026-02-10T07:53:32,175   Skipping link: No binaries permitted for imandra: https://archive1.piwheels.org/simple/imandra/imandra-2.0.22-py3-none-any.whl#sha256=295bdcb2cdadbaf27cdcd6839133cb5442363067bb2024aa1f3d7c5ca8098bea (from https://www.piwheels.org/simple/imandra/)
2026-02-10T07:53:32,176   Skipping link: No binaries permitted for imandra: https://archive1.piwheels.org/simple/imandra/imandra-2.0.20-py3-none-any.whl#sha256=34c915699aac63fb3687039bd171e8deaca99e49d6bb88ec4891285b15c48cbe (from https://www.piwheels.org/simple/imandra/)
2026-02-10T07:53:32,176   Skipping link: No binaries permitted for imandra: https://archive1.piwheels.org/simple/imandra/imandra-2.0.19-py3-none-any.whl#sha256=ddf9f1cca0f067f628cc878a4c4b2bfff92db0f56942789bf585f119de86139b (from https://www.piwheels.org/simple/imandra/)
2026-02-10T07:53:32,177   Skipping link: No binaries permitted for imandra: https://archive1.piwheels.org/simple/imandra/imandra-2.0.18-py3-none-any.whl#sha256=8309b6ffa47068fa19c2ccd6a182dee7e7159613297d47448e86830a081a73a6 (from https://www.piwheels.org/simple/imandra/)
2026-02-10T07:53:32,177   Skipping link: No binaries permitted for imandra: https://archive1.piwheels.org/simple/imandra/imandra-2.0.17-py3-none-any.whl#sha256=5c07aa369d34f2bcdcfe371635c22db5a526c375660246ad0105f7c0259173de (from https://www.piwheels.org/simple/imandra/)
2026-02-10T07:53:32,178   Skipping link: No binaries permitted for imandra: https://archive1.piwheels.org/simple/imandra/imandra-2.0.16-py3-none-any.whl#sha256=9a36070e95b87d27c509163d813562a23c7531baf6b53e29869a639225b9dd1f (from https://www.piwheels.org/simple/imandra/)
2026-02-10T07:53:32,178   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/)
2026-02-10T07:53:32,179   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/)
2026-02-10T07:53:32,179   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/)
2026-02-10T07:53:32,180   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/)
2026-02-10T07:53:32,181   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/)
2026-02-10T07:53:32,181   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/)
2026-02-10T07:53:32,182   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/)
2026-02-10T07:53:32,182   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/)
2026-02-10T07:53:32,183   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/)
2026-02-10T07:53:32,183   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/)
2026-02-10T07:53:32,184   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/)
2026-02-10T07:53:32,184   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/)
2026-02-10T07:53:32,185   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/)
2026-02-10T07:53:32,185   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/)
2026-02-10T07:53:32,186   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/)
2026-02-10T07:53:32,186   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/)
2026-02-10T07:53:32,187   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/)
2026-02-10T07:53:32,187   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/)
2026-02-10T07:53:32,188   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/)
2026-02-10T07:53:32,188   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/)
2026-02-10T07:53:32,189   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/)
2026-02-10T07:53:32,189   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/)
2026-02-10T07:53:32,190   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/)
2026-02-10T07:53:32,190   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/)
2026-02-10T07:53:32,191   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/)
2026-02-10T07:53:32,191   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/)
2026-02-10T07:53:32,192   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/)
2026-02-10T07:53:32,192   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/)
2026-02-10T07:53:32,193   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/)
2026-02-10T07:53:32,193   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/)
2026-02-10T07:53:32,194   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/)
2026-02-10T07:53:32,194   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/)
2026-02-10T07:53:32,195   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/)
2026-02-10T07:53:32,196   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/)
2026-02-10T07:53:32,330 Given no hashes to check 0 links for project 'imandra': discarding no candidates
2026-02-10T07:53:32,332 ERROR: Could not find a version that satisfies the requirement imandra==2.4.1
2026-02-10T07:53:32,333 ERROR: No matching distribution found for imandra==2.4.1
2026-02-10T07:53:32,333 Exception information:
2026-02-10T07:53:32,333 Traceback (most recent call last):
2026-02-10T07:53:32,333   File "/usr/share/python-wheels/resolvelib-0.5.4-py2.py3-none-any.whl/resolvelib/resolvers.py", line 171, in _merge_into_criterion
2026-02-10T07:53:32,333     crit = self.state.criteria[name]
2026-02-10T07:53:32,333 KeyError: 'imandra'
2026-02-10T07:53:32,333 
2026-02-10T07:53:32,333 During handling of the above exception, another exception occurred:
2026-02-10T07:53:32,333 
2026-02-10T07:53:32,333 Traceback (most recent call last):
2026-02-10T07:53:32,333   File "/usr/share/python-wheels/resolvelib-0.5.4-py2.py3-none-any.whl/resolvelib/resolvers.py", line 318, in resolve
2026-02-10T07:53:32,333     name, crit = self._merge_into_criterion(r, parent=None)
2026-02-10T07:53:32,333   File "/usr/share/python-wheels/resolvelib-0.5.4-py2.py3-none-any.whl/resolvelib/resolvers.py", line 173, in _merge_into_criterion
2026-02-10T07:53:32,333     crit = Criterion.from_requirement(self._p, requirement, parent)
2026-02-10T07:53:32,333   File "/usr/share/python-wheels/resolvelib-0.5.4-py2.py3-none-any.whl/resolvelib/resolvers.py", line 83, in from_requirement
2026-02-10T07:53:32,333     raise RequirementsConflicted(criterion)
2026-02-10T07:53:32,333 resolvelib.resolvers.RequirementsConflicted: Requirements conflict: SpecifierRequirement('imandra==2.4.1')
2026-02-10T07:53:32,333 
2026-02-10T07:53:32,333 During handling of the above exception, another exception occurred:
2026-02-10T07:53:32,333 
2026-02-10T07:53:32,333 Traceback (most recent call last):
2026-02-10T07:53:32,333   File "/usr/lib/python3/dist-packages/pip/_internal/resolution/resolvelib/resolver.py", line 122, in resolve
2026-02-10T07:53:32,333     self._result = resolver.resolve(
2026-02-10T07:53:32,333   File "/usr/share/python-wheels/resolvelib-0.5.4-py2.py3-none-any.whl/resolvelib/resolvers.py", line 453, in resolve
2026-02-10T07:53:32,333     state = resolution.resolve(requirements, max_rounds=max_rounds)
2026-02-10T07:53:32,333   File "/usr/share/python-wheels/resolvelib-0.5.4-py2.py3-none-any.whl/resolvelib/resolvers.py", line 320, in resolve
2026-02-10T07:53:32,333     raise ResolutionImpossible(e.criterion.information)
2026-02-10T07:53:32,333 resolvelib.resolvers.ResolutionImpossible: [RequirementInformation(requirement=SpecifierRequirement('imandra==2.4.1'), parent=None)]
2026-02-10T07:53:32,333 
2026-02-10T07:53:32,333 The above exception was the direct cause of the following exception:
2026-02-10T07:53:32,333 
2026-02-10T07:53:32,333 Traceback (most recent call last):
2026-02-10T07:53:32,333   File "/usr/lib/python3/dist-packages/pip/_internal/cli/base_command.py", line 223, in _main
2026-02-10T07:53:32,333     status = self.run(options, args)
2026-02-10T07:53:32,333   File "/usr/lib/python3/dist-packages/pip/_internal/cli/req_command.py", line 180, in wrapper
2026-02-10T07:53:32,333     return func(self, options, args)
2026-02-10T07:53:32,333   File "/usr/lib/python3/dist-packages/pip/_internal/commands/wheel.py", line 162, in run
2026-02-10T07:53:32,333     requirement_set = resolver.resolve(
2026-02-10T07:53:32,333   File "/usr/lib/python3/dist-packages/pip/_internal/resolution/resolvelib/resolver.py", line 128, in resolve
2026-02-10T07:53:32,333     six.raise_from(error, e)
2026-02-10T07:53:32,333   File "<string>", line 3, in raise_from
2026-02-10T07:53:32,333 pip._internal.exceptions.DistributionNotFound: No matching distribution found for imandra==2.4.1
2026-02-10T07:53:32,343 Removed build tracker: '/tmp/pip-req-tracker-fdbp5wdn'