2024-05-21T19:02:25,067 Created temporary directory: /tmp/pip-build-tracker-r3bl4yjt
2024-05-21T19:02:25,068 Initialized build tracking at /tmp/pip-build-tracker-r3bl4yjt
2024-05-21T19:02:25,068 Created build tracker: /tmp/pip-build-tracker-r3bl4yjt
2024-05-21T19:02:25,069 Entered build tracker: /tmp/pip-build-tracker-r3bl4yjt
2024-05-21T19:02:25,070 Created temporary directory: /tmp/pip-wheel-mkqgccft
2024-05-21T19:02:25,073 Created temporary directory: /tmp/pip-ephem-wheel-cache-0w6h5a63
2024-05-21T19:02:25,098 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple
2024-05-21T19:02:25,101 2 location(s) to search for versions of model-checker:
2024-05-21T19:02:25,101 * https://pypi.org/simple/model-checker/
2024-05-21T19:02:25,101 * https://www.piwheels.org/simple/model-checker/
2024-05-21T19:02:25,102 Fetching project page and analyzing links: https://pypi.org/simple/model-checker/
2024-05-21T19:02:25,103 Getting page https://pypi.org/simple/model-checker/
2024-05-21T19:02:25,104 Found index url https://pypi.org/simple/
2024-05-21T19:02:25,322 Fetched page https://pypi.org/simple/model-checker/ as application/vnd.pypi.simple.v1+json
2024-05-21T19:02:25,337   Skipping link: No binaries permitted for model-checker: https://files.pythonhosted.org/packages/dc/0c/b3d135bbc3a949edd7c639f6de65389aee78203d4b3fe59c33ba5bbf7550/model_checker-0.1-py3-none-any.whl (from https://pypi.org/simple/model-checker/)
2024-05-21T19:02:25,338   Found link https://files.pythonhosted.org/packages/c0/a3/56c9f4c18e86a5bfe2df9d782c9e2569393af1d463216be850e25e701d02/model_checker-0.1.tar.gz (from https://pypi.org/simple/model-checker/), version: 0.1
2024-05-21T19:02:25,339   Skipping link: No binaries permitted for model-checker: https://files.pythonhosted.org/packages/b6/a5/6e8d39c9decbc49e7a525c02874f01bcf313ee8194182b19bd4a6018a7a5/model_checker-0.2.0-py3-none-any.whl (from https://pypi.org/simple/model-checker/)
2024-05-21T19:02:25,339   Found link https://files.pythonhosted.org/packages/bb/37/90c94228521e1317727177ed957bc2febe6cec699379e9178a1b67494f3d/model_checker-0.2.0.tar.gz (from https://pypi.org/simple/model-checker/), version: 0.2.0
2024-05-21T19:02:25,340   Skipping link: No binaries permitted for model-checker: https://files.pythonhosted.org/packages/26/f7/349c289dd07b4ef51e9c043b1443b6a7d4416b2a3c0ece3e9c88603fb0bc/model_checker-0.2.1-py3-none-any.whl (from https://pypi.org/simple/model-checker/)
2024-05-21T19:02:25,341   Found link https://files.pythonhosted.org/packages/b2/66/59e89a29b9e0f55aa0f1f3b2dbf5d512dc8e2d043dba0f3b94c29a6cc51a/model_checker-0.2.1.tar.gz (from https://pypi.org/simple/model-checker/), version: 0.2.1
2024-05-21T19:02:25,342   Skipping link: No binaries permitted for model-checker: https://files.pythonhosted.org/packages/a7/5f/e758e13bcc0a34a84b449d172c872d8d9b907ccd1e6e3d893992e6c6f641/model_checker-0.2.2-py3-none-any.whl (from https://pypi.org/simple/model-checker/)
2024-05-21T19:02:25,342   Found link https://files.pythonhosted.org/packages/08/fa/1a675c438909cae82bf09753f64514f543a6c2591864b03a907f30b8e0d2/model_checker-0.2.2.tar.gz (from https://pypi.org/simple/model-checker/), version: 0.2.2
2024-05-21T19:02:25,343   Skipping link: No binaries permitted for model-checker: https://files.pythonhosted.org/packages/5a/57/8921024f0c75b91bd1e08099e24e5373ba8681481c859fae401021341eb9/model_checker-0.2.3-py3-none-any.whl (from https://pypi.org/simple/model-checker/)
2024-05-21T19:02:25,344   Found link https://files.pythonhosted.org/packages/84/11/c5fe08f3525e9673a218574029d2ca607d793cee2e93e1a76d2fa83174fc/model_checker-0.2.3.tar.gz (from https://pypi.org/simple/model-checker/), version: 0.2.3
2024-05-21T19:02:25,344   Skipping link: No binaries permitted for model-checker: https://files.pythonhosted.org/packages/ac/d0/ba0add242d1acfe9d0bf482c47d8ecbf9d7fc85fcbf76d8f9c1ea2ea67ce/model_checker-0.2.4-py3-none-any.whl (from https://pypi.org/simple/model-checker/)
2024-05-21T19:02:25,345   Found link https://files.pythonhosted.org/packages/20/49/89b011b25835c45bdcd716ebde9cf5cb0e379739a4fd8cc0f8d64998c1e9/model_checker-0.2.4.tar.gz (from https://pypi.org/simple/model-checker/), version: 0.2.4
2024-05-21T19:02:25,346   Skipping link: No binaries permitted for model-checker: https://files.pythonhosted.org/packages/e5/ad/88eb5cfa1a5841f7155fc5d53e765f222e19ab31a1eee6d460751dba0ca5/model_checker-0.2.5-py3-none-any.whl (from https://pypi.org/simple/model-checker/)
2024-05-21T19:02:25,347   Found link https://files.pythonhosted.org/packages/a0/d2/af07e0a3982f6676a7ca2fc95ac6a93fe19c4c3946c2bbb1ffb1e4d11ce0/model_checker-0.2.5.tar.gz (from https://pypi.org/simple/model-checker/), version: 0.2.5
2024-05-21T19:02:25,347   Skipping link: No binaries permitted for model-checker: https://files.pythonhosted.org/packages/7f/f2/3ea6dfc068fd6dd349a0cff289978382decd43e77c0ae0fc152eff632e09/model_checker-0.2.6-py3-none-any.whl (from https://pypi.org/simple/model-checker/)
2024-05-21T19:02:25,348   Found link https://files.pythonhosted.org/packages/54/94/976b5e8227fa1e23756894c9601e747709d84fcb8b9528f0934255189179/model_checker-0.2.6.tar.gz (from https://pypi.org/simple/model-checker/), version: 0.2.6
2024-05-21T19:02:25,348   Skipping link: No binaries permitted for model-checker: https://files.pythonhosted.org/packages/56/fc/6c277d7e4acadbb6e429d4eae358abf7076e88334158dd1ba03ce277aa47/model_checker-0.2.7-py3-none-any.whl (from https://pypi.org/simple/model-checker/)
2024-05-21T19:02:25,349   Found link https://files.pythonhosted.org/packages/da/06/9cc2b664127363e8db52dd0dcbe5fbb2877a0fcfea243c6a35dd4677257c/model_checker-0.2.7.tar.gz (from https://pypi.org/simple/model-checker/), version: 0.2.7
2024-05-21T19:02:25,350   Skipping link: No binaries permitted for model-checker: https://files.pythonhosted.org/packages/73/20/492cfa37fb7c1a332edb2fc47cb43dc36c39e793b0316ccaa4d870b014f2/model_checker-0.2.8-py3-none-any.whl (from https://pypi.org/simple/model-checker/)
2024-05-21T19:02:25,350   Found link https://files.pythonhosted.org/packages/af/30/4ed3932e6601fb2157b1867c447d2527ce33319207b9569a92999c51897d/model_checker-0.2.8.tar.gz (from https://pypi.org/simple/model-checker/), version: 0.2.8
2024-05-21T19:02:25,351   Skipping link: No binaries permitted for model-checker: https://files.pythonhosted.org/packages/e3/6b/df77d868fe941511d2b6c0b6e705576e1ab645855ce9a084480cd3f32eba/model_checker-0.2.9-py3-none-any.whl (from https://pypi.org/simple/model-checker/)
2024-05-21T19:02:25,352   Found link https://files.pythonhosted.org/packages/b0/5d/2fd0841d97c92fe2c2e0aad9e80136575bc38e7eef167fe4380eda54a596/model_checker-0.2.9.tar.gz (from https://pypi.org/simple/model-checker/), version: 0.2.9
2024-05-21T19:02:25,353   Skipping link: No binaries permitted for model-checker: https://files.pythonhosted.org/packages/d1/82/16a8840d25462b2bcd47684568fcac2999264e1f51419b504d27a690a2ea/model_checker-0.2.10-py3-none-any.whl (from https://pypi.org/simple/model-checker/)
2024-05-21T19:02:25,353   Found link https://files.pythonhosted.org/packages/18/71/d99e68bf73f76bca05b57307d98e732cb27a0f33f2d0144248277c114f96/model_checker-0.2.10.tar.gz (from https://pypi.org/simple/model-checker/), version: 0.2.10
2024-05-21T19:02:25,354   Skipping link: No binaries permitted for model-checker: https://files.pythonhosted.org/packages/f8/21/72e9eac8e71a2921799cb77d3c54a9b2768cb46fa94955756b786a9b90bf/model_checker-0.2.11-py3-none-any.whl (from https://pypi.org/simple/model-checker/)
2024-05-21T19:02:25,355   Found link https://files.pythonhosted.org/packages/19/50/a2cd7fb18d4b06d2738ab992e2f3f04509f51e3eb019ddc7464d9e2ccdb3/model_checker-0.2.11.tar.gz (from https://pypi.org/simple/model-checker/), version: 0.2.11
2024-05-21T19:02:25,355   Skipping link: No binaries permitted for model-checker: https://files.pythonhosted.org/packages/a5/9b/57a2b3a97189db424bdf85c0e1787c863aedc68e077b584ecdb7eb69f58f/model_checker-0.2.12-py3-none-any.whl (from https://pypi.org/simple/model-checker/)
2024-05-21T19:02:25,356   Found link https://files.pythonhosted.org/packages/ee/71/51fcf589f78ce25a662050f054ea55f12119b1da248a8394484a614a4be3/model_checker-0.2.12.tar.gz (from https://pypi.org/simple/model-checker/), version: 0.2.12
2024-05-21T19:02:25,357   Skipping link: No binaries permitted for model-checker: https://files.pythonhosted.org/packages/5d/68/7459343f64c8429410a4308c9b4cbe8d7b655e173c8de547789c55ada543/model_checker-0.2.13-py3-none-any.whl (from https://pypi.org/simple/model-checker/)
2024-05-21T19:02:25,358   Found link https://files.pythonhosted.org/packages/c9/2b/7168be4b8ef863d5991b88227cb8f879f2b941005a04fa0addcadc150378/model_checker-0.2.13.tar.gz (from https://pypi.org/simple/model-checker/), version: 0.2.13
2024-05-21T19:02:25,358   Skipping link: No binaries permitted for model-checker: https://files.pythonhosted.org/packages/85/53/944f6b46de10287b3aa06e0dbfa60bd953b19544a2afddb59eec8e970820/model_checker-0.2.14-py3-none-any.whl (from https://pypi.org/simple/model-checker/)
2024-05-21T19:02:25,359   Found link https://files.pythonhosted.org/packages/a4/bb/d8d21d2738d443dc2a7ba6482330da71d1d29e1382bb582948948ba2ef50/model_checker-0.2.14.tar.gz (from https://pypi.org/simple/model-checker/), version: 0.2.14
2024-05-21T19:02:25,359   Skipping link: No binaries permitted for model-checker: https://files.pythonhosted.org/packages/8d/6b/5cd2bb8c3dc69a3a371fc6d77363f389dc091a942864fb18c2d9092428cc/model_checker-0.2.15-py3-none-any.whl (from https://pypi.org/simple/model-checker/)
2024-05-21T19:02:25,360   Found link https://files.pythonhosted.org/packages/04/29/48a34dd051831364bfe7cffe1f90908ab086015c0970a57619b0d486b986/model_checker-0.2.15.tar.gz (from https://pypi.org/simple/model-checker/), version: 0.2.15
2024-05-21T19:02:25,360   Skipping link: No binaries permitted for model-checker: https://files.pythonhosted.org/packages/d2/78/13696c3870fb7381abe4368b41fdfc1d0c838b588b3a4cd77b379b459fea/model_checker-0.2.16-py3-none-any.whl (from https://pypi.org/simple/model-checker/)
2024-05-21T19:02:25,361   Found link https://files.pythonhosted.org/packages/41/a9/d27027fff3f21c1c8d8314fd8da3bc5ca8e19263199324e04d914105f2da/model_checker-0.2.16.tar.gz (from https://pypi.org/simple/model-checker/), version: 0.2.16
2024-05-21T19:02:25,361   Skipping link: No binaries permitted for model-checker: https://files.pythonhosted.org/packages/04/44/84f13fa24367326f5bd2190d6e4d6562f727775569a7ad1d70d18a8388e4/model_checker-0.2.17-py3-none-any.whl (from https://pypi.org/simple/model-checker/)
2024-05-21T19:02:25,362   Found link https://files.pythonhosted.org/packages/9c/ca/5e26265bd1cb64fbbd1dccb0de6b7a0568c91575f3feebbfbc6164ceca08/model_checker-0.2.17.tar.gz (from https://pypi.org/simple/model-checker/), version: 0.2.17
2024-05-21T19:02:25,363   Skipping link: No binaries permitted for model-checker: https://files.pythonhosted.org/packages/bb/89/345e9e6fd55a7bb1f3feab3ff11167b1d0a3357e73292af8818f460193ca/model_checker-0.2.18-py3-none-any.whl (from https://pypi.org/simple/model-checker/)
2024-05-21T19:02:25,363   Found link https://files.pythonhosted.org/packages/a4/db/d78cd227d613a1f3ea84df0b05e29119151f39998db0c6c84ec811406935/model_checker-0.2.18.tar.gz (from https://pypi.org/simple/model-checker/), version: 0.2.18
2024-05-21T19:02:25,364   Skipping link: No binaries permitted for model-checker: https://files.pythonhosted.org/packages/4c/48/fa8aa793f914091b9e30c7444cfbadba8056c732dff2900a7f4d64355ce3/model_checker-0.2.19-py3-none-any.whl (from https://pypi.org/simple/model-checker/)
2024-05-21T19:02:25,365   Found link https://files.pythonhosted.org/packages/45/9a/af74d40d1a85bbc7fe328a1f7297b6f55d2437b60a32926c511abc231487/model_checker-0.2.19.tar.gz (from https://pypi.org/simple/model-checker/), version: 0.2.19
2024-05-21T19:02:25,365   Skipping link: No binaries permitted for model-checker: https://files.pythonhosted.org/packages/97/b6/8992bde3b940a1be650de6238b21302efdf5d4c5b87f89962d04d911b615/model_checker-0.2.20-py3-none-any.whl (from https://pypi.org/simple/model-checker/)
2024-05-21T19:02:25,366   Found link https://files.pythonhosted.org/packages/7e/13/771ac8776f0f1ccd535d37a4515d89ff3dd752a3d83d70b2ebfdb17b206f/model_checker-0.2.20.tar.gz (from https://pypi.org/simple/model-checker/), version: 0.2.20
2024-05-21T19:02:25,367   Skipping link: No binaries permitted for model-checker: https://files.pythonhosted.org/packages/58/a2/f5051b0d029139b4f752dfde0659339e40127fbbd8f349bfdaaf12ce3099/model_checker-0.2.21-py3-none-any.whl (from https://pypi.org/simple/model-checker/)
2024-05-21T19:02:25,368   Found link https://files.pythonhosted.org/packages/a2/b8/a9d98a0034eb4d8f39127ce89648522f24835066bd4a3b744ecf278cfe77/model_checker-0.2.21.tar.gz (from https://pypi.org/simple/model-checker/), version: 0.2.21
2024-05-21T19:02:25,368   Skipping link: No binaries permitted for model-checker: https://files.pythonhosted.org/packages/fa/bf/93974b4dc14e17c15fc2b48447c0bcc68dd3b62d7c5cdd8570eeca6544f6/model_checker-0.3.2-py3-none-any.whl (from https://pypi.org/simple/model-checker/)
2024-05-21T19:02:25,369   Found link https://files.pythonhosted.org/packages/24/a9/1a665c0ce562bd14385e9542bbe47ef445f370e2c6a005da375479cb6371/model_checker-0.3.2.tar.gz (from https://pypi.org/simple/model-checker/), version: 0.3.2
2024-05-21T19:02:25,369   Skipping link: No binaries permitted for model-checker: https://files.pythonhosted.org/packages/50/19/e8460179486241ec462ba0b722458d00c35ae88b597016087af42f8d788d/model_checker-0.3.3-py3-none-any.whl (from https://pypi.org/simple/model-checker/)
2024-05-21T19:02:25,370   Found link https://files.pythonhosted.org/packages/6a/da/19e7d7c4ad2b3252057066f7f23323759e5fcebf5f726b0a0c5d03a51a00/model_checker-0.3.3.tar.gz (from https://pypi.org/simple/model-checker/), version: 0.3.3
2024-05-21T19:02:25,370   Skipping link: No binaries permitted for model-checker: https://files.pythonhosted.org/packages/dc/17/ac34a7e42bb6a426e1732819f136e85ef6b0c397d4ad772fd925c81e3520/model_checker-0.3.4-py3-none-any.whl (from https://pypi.org/simple/model-checker/)
2024-05-21T19:02:25,371   Found link https://files.pythonhosted.org/packages/96/21/6741109eca35388d951dc04eb12402a4a901222f1586fcceec3297862dfe/model_checker-0.3.4.tar.gz (from https://pypi.org/simple/model-checker/), version: 0.3.4
2024-05-21T19:02:25,372   Skipping link: No binaries permitted for model-checker: https://files.pythonhosted.org/packages/34/17/0f8312926136a7ee94ca954ab7bfe87222b3953421adf0b5ef9a6e108931/model_checker-0.3.5-py3-none-any.whl (from https://pypi.org/simple/model-checker/)
2024-05-21T19:02:25,372   Found link https://files.pythonhosted.org/packages/a9/b2/fc05b25b277cd73d927c1e47b15d5cc95e2352ced51bc010d24489b9d60f/model_checker-0.3.5.tar.gz (from https://pypi.org/simple/model-checker/), version: 0.3.5
2024-05-21T19:02:25,373   Skipping link: No binaries permitted for model-checker: https://files.pythonhosted.org/packages/3b/be/4acb19d9a05dc45df4605c0147753a4773b37cc9c84ee08f3144663e7578/model_checker-0.3.6-py3-none-any.whl (from https://pypi.org/simple/model-checker/)
2024-05-21T19:02:25,373   Found link https://files.pythonhosted.org/packages/8c/1c/9042060822049f3f3ea482cc737c6b3a6ee9fedb67d628f7fd113ffcdf87/model_checker-0.3.6.tar.gz (from https://pypi.org/simple/model-checker/), version: 0.3.6
2024-05-21T19:02:25,374   Skipping link: No binaries permitted for model-checker: https://files.pythonhosted.org/packages/b7/29/eb60937c52655869786f728478576b08fbcd73aaa4b4c58a9af2ef68be78/model_checker-0.3.7-py3-none-any.whl (from https://pypi.org/simple/model-checker/)
2024-05-21T19:02:25,375   Found link https://files.pythonhosted.org/packages/70/d0/f05ad3ac30c9b03747bce4582e1570e1ad7f84b514f062fbaed4fff9f0ae/model_checker-0.3.7.tar.gz (from https://pypi.org/simple/model-checker/), version: 0.3.7
2024-05-21T19:02:25,376   Skipping link: No binaries permitted for model-checker: https://files.pythonhosted.org/packages/f5/f5/43335ee7e0b9aef3eced09210530e51355845f4f08516f56cbe67c1e0a81/model_checker-0.3.8-py3-none-any.whl (from https://pypi.org/simple/model-checker/)
2024-05-21T19:02:25,376   Found link https://files.pythonhosted.org/packages/d4/a3/c747a4913078672f34adc4f223b1280d3d3bba45953bb6de5a9efe5ba52e/model_checker-0.3.8.tar.gz (from https://pypi.org/simple/model-checker/), version: 0.3.8
2024-05-21T19:02:25,377   Skipping link: No binaries permitted for model-checker: https://files.pythonhosted.org/packages/af/1a/23cf0ffaaf08042f24ea2b723e090a63918358824e7a1eca645da9467e7a/model_checker-0.3.9-py3-none-any.whl (from https://pypi.org/simple/model-checker/)
2024-05-21T19:02:25,378   Found link https://files.pythonhosted.org/packages/9f/34/8db406de616a95ce5da5a832c9764ce727860cfc2e73a8df9d985cebebc8/model_checker-0.3.9.tar.gz (from https://pypi.org/simple/model-checker/), version: 0.3.9
2024-05-21T19:02:25,379   Skipping link: No binaries permitted for model-checker: https://files.pythonhosted.org/packages/6e/75/596dfb69462988fd2c76a3f49a1179c56ba14b46fadfb69348787a34735e/model_checker-0.3.10-py3-none-any.whl (from https://pypi.org/simple/model-checker/)
2024-05-21T19:02:25,379   Found link https://files.pythonhosted.org/packages/35/91/7ba49bb5d7628fefcfcff0b313ce789e4c25acac5c71cab2203e8265f604/model_checker-0.3.10.tar.gz (from https://pypi.org/simple/model-checker/), version: 0.3.10
2024-05-21T19:02:25,380   Skipping link: No binaries permitted for model-checker: https://files.pythonhosted.org/packages/2d/3d/2924c516c545ca2f3a732e1bb2d4b4064517e2be8f2bac927f7f0424acd2/model_checker-0.3.11-py3-none-any.whl (from https://pypi.org/simple/model-checker/)
2024-05-21T19:02:25,380   Found link https://files.pythonhosted.org/packages/45/45/bb76ba0481ee8f642e06d4161d946120ea23f14927f4c61205eebd684599/model_checker-0.3.11.tar.gz (from https://pypi.org/simple/model-checker/), version: 0.3.11
2024-05-21T19:02:25,381   Skipping link: No binaries permitted for model-checker: https://files.pythonhosted.org/packages/1c/1e/661a96c5dc40ecb6537f863414ef931084dd76cb96336230a56a0f680cb6/model_checker-0.3.12-py3-none-any.whl (from https://pypi.org/simple/model-checker/)
2024-05-21T19:02:25,382   Found link https://files.pythonhosted.org/packages/fe/48/16325eebb921d1c636f7e08b11f28cac03c37d546d1ddeb14254e1b993eb/model_checker-0.3.12.tar.gz (from https://pypi.org/simple/model-checker/), version: 0.3.12
2024-05-21T19:02:25,382   Skipping link: No binaries permitted for model-checker: https://files.pythonhosted.org/packages/bf/51/640ed1f23f714bb3c9fbee9339d9a7d9906da7817eca34dfd6b0a1699e98/model_checker-0.3.13-py3-none-any.whl (from https://pypi.org/simple/model-checker/)
2024-05-21T19:02:25,383   Found link https://files.pythonhosted.org/packages/08/c9/4b01ca83c625d391bad99af4213f6ffa8756ed9230bbc6436bc55cc4e474/model_checker-0.3.13.tar.gz (from https://pypi.org/simple/model-checker/), version: 0.3.13
2024-05-21T19:02:25,384   Skipping link: No binaries permitted for model-checker: https://files.pythonhosted.org/packages/55/7b/333dd1a45eebbf187c6b9f403c7c825a21964901ecc3fd7760396b9bbc6e/model_checker-0.3.14-py3-none-any.whl (from https://pypi.org/simple/model-checker/)
2024-05-21T19:02:25,384   Found link https://files.pythonhosted.org/packages/19/ec/8eb8744766fa5f1d1616ffdb046becca615b503b888c0c4f8b3fd49c84c1/model_checker-0.3.14.tar.gz (from https://pypi.org/simple/model-checker/), version: 0.3.14
2024-05-21T19:02:25,385   Skipping link: No binaries permitted for model-checker: https://files.pythonhosted.org/packages/ff/82/499f308ac0c653a595728e1a0fc55300584839f3271355d1432aa72b2224/model_checker-0.3.15-py3-none-any.whl (from https://pypi.org/simple/model-checker/)
2024-05-21T19:02:25,386   Found link https://files.pythonhosted.org/packages/64/44/bae99c6772d5fd3449b46477567c71bbbd65fc2f372a83e70d842fd1d36b/model_checker-0.3.15.tar.gz (from https://pypi.org/simple/model-checker/), version: 0.3.15
2024-05-21T19:02:25,386   Skipping link: No binaries permitted for model-checker: https://files.pythonhosted.org/packages/78/d0/31047be7fe1fcbe88f4832b7991f1c91587db2e5d26d4562ce8655b3eb6f/model_checker-0.3.16-py3-none-any.whl (from https://pypi.org/simple/model-checker/)
2024-05-21T19:02:25,387   Found link https://files.pythonhosted.org/packages/71/db/ccb262ce2159fe7adeeafbc5ab114c4217d19f37f78b0c835581b0c3b318/model_checker-0.3.16.tar.gz (from https://pypi.org/simple/model-checker/), version: 0.3.16
2024-05-21T19:02:25,388   Skipping link: No binaries permitted for model-checker: https://files.pythonhosted.org/packages/98/a7/caee8d081708d89e15eae22956ffec18fea1bb3ebee93b79ac1dd32f9918/model_checker-0.3.17-py3-none-any.whl (from https://pypi.org/simple/model-checker/)
2024-05-21T19:02:25,388   Found link https://files.pythonhosted.org/packages/02/37/638c22979c164483c508c8587df5acec0b8ccf7dab122f63531b596e3ff2/model_checker-0.3.17.tar.gz (from https://pypi.org/simple/model-checker/), version: 0.3.17
2024-05-21T19:02:25,390   Skipping link: No binaries permitted for model-checker: https://files.pythonhosted.org/packages/4c/8f/6317fed8a159d47f72102db138a13c4ef5868005b78491433c86526107e9/model_checker-0.3.18-py3-none-any.whl (from https://pypi.org/simple/model-checker/)
2024-05-21T19:02:25,390   Found link https://files.pythonhosted.org/packages/ca/41/b52a4dd5bb8a23447bc0918d0c95a79fb78249373bde1dc901554fcb24f4/model_checker-0.3.18.tar.gz (from https://pypi.org/simple/model-checker/), version: 0.3.18
2024-05-21T19:02:25,391   Skipping link: No binaries permitted for model-checker: https://files.pythonhosted.org/packages/9d/6f/634ddc72e5c3a1fc2afc947d278ecb77e4af671e0006ebac9b01eadd27f2/model_checker-0.3.19-py3-none-any.whl (from https://pypi.org/simple/model-checker/)
2024-05-21T19:02:25,391   Skipping link: No binaries permitted for model-checker: https://files.pythonhosted.org/packages/df/9f/246eeb352233732547ffbb2fbd779b8ccf10a0fd9830ce9ad89080252481/model_checker-0.3.20-py3-none-any.whl (from https://pypi.org/simple/model-checker/)
2024-05-21T19:02:25,392   Found link https://files.pythonhosted.org/packages/c4/f8/76ecc182a4804aa9d8c415b7cc76aaab897a426c0a807c28884a1cb58b6a/model_checker-0.3.20.tar.gz (from https://pypi.org/simple/model-checker/), version: 0.3.20
2024-05-21T19:02:25,392   Skipping link: No binaries permitted for model-checker: https://files.pythonhosted.org/packages/13/fc/bf5acbb061171f3f78686dbb30de467bc039f96574226d627edbd0795bad/model_checker-0.3.21-py3-none-any.whl (from https://pypi.org/simple/model-checker/)
2024-05-21T19:02:25,393   Found link https://files.pythonhosted.org/packages/9e/00/cde820ec927731584c186f26b066eed04b63bb6080aee9a6be1da438d38b/model_checker-0.3.21.tar.gz (from https://pypi.org/simple/model-checker/), version: 0.3.21
2024-05-21T19:02:25,394 Fetching project page and analyzing links: https://www.piwheels.org/simple/model-checker/
2024-05-21T19:02:25,394 Getting page https://www.piwheels.org/simple/model-checker/
2024-05-21T19:02:25,396 Found index url https://www.piwheels.org/simple/
2024-05-21T19:02:25,653 Fetched page https://www.piwheels.org/simple/model-checker/ as text/html
2024-05-21T19:02:25,663   Skipping link: No binaries permitted for model-checker: https://www.piwheels.org/simple/model-checker/model_checker-0.3.16-py3-none-any.whl#sha256=404e98e9d49f29299b3305c10b2357669d01e725ce50b30b731b7ba73993e307 (from https://www.piwheels.org/simple/model-checker/)
2024-05-21T19:02:25,664   Skipping link: No binaries permitted for model-checker: https://www.piwheels.org/simple/model-checker/model_checker-0.3.15-py3-none-any.whl#sha256=281323729b98f8168ce257c1731d2c537833b0266c558a28c8cd067c442a1a58 (from https://www.piwheels.org/simple/model-checker/)
2024-05-21T19:02:25,665   Skipping link: No binaries permitted for model-checker: https://www.piwheels.org/simple/model-checker/model_checker-0.3.14-py3-none-any.whl#sha256=816ebfd7115f6f7f4ffc4cb2e31507b806e285abe363ec1f2819ac4b0a646832 (from https://www.piwheels.org/simple/model-checker/)
2024-05-21T19:02:25,665   Skipping link: No binaries permitted for model-checker: https://www.piwheels.org/simple/model-checker/model_checker-0.3.13-py3-none-any.whl#sha256=9fbd6d1b5f01de58914d24e2dd856adb7e7266eaceb37c66d204a0472e95be1f (from https://www.piwheels.org/simple/model-checker/)
2024-05-21T19:02:25,666   Skipping link: No binaries permitted for model-checker: https://www.piwheels.org/simple/model-checker/model_checker-0.3.12-py3-none-any.whl#sha256=615df558c284dc6d97bd15cd2a65805a7fea90e88504f055b05792157d358aa6 (from https://www.piwheels.org/simple/model-checker/)
2024-05-21T19:02:25,667   Skipping link: No binaries permitted for model-checker: https://www.piwheels.org/simple/model-checker/model_checker-0.3.11-py3-none-any.whl#sha256=7d2ec6465ce3534c9a373086e8a27b281dbff76d5f21daae673008b1d6099ae8 (from https://www.piwheels.org/simple/model-checker/)
2024-05-21T19:02:25,667   Skipping link: No binaries permitted for model-checker: https://www.piwheels.org/simple/model-checker/model_checker-0.3.10-py3-none-any.whl#sha256=c40bdd3d7c83ce76b26082794748b01a0cf8cadf2ba0adbaf13d9496f1e91443 (from https://www.piwheels.org/simple/model-checker/)
2024-05-21T19:02:25,668   Skipping link: No binaries permitted for model-checker: https://www.piwheels.org/simple/model-checker/model_checker-0.3.9-py3-none-any.whl#sha256=7c5faebaf52a21fc1963f60565928c9436392456206f666d8277252efcab59ee (from https://www.piwheels.org/simple/model-checker/)
2024-05-21T19:02:25,669   Skipping link: No binaries permitted for model-checker: https://www.piwheels.org/simple/model-checker/model_checker-0.3.8-py3-none-any.whl#sha256=e5f24b0b4537eff4f3742c1b7cd2c368f15f1fb63cebcb0fd39928fef9fdfd48 (from https://www.piwheels.org/simple/model-checker/)
2024-05-21T19:02:25,669   Skipping link: No binaries permitted for model-checker: https://www.piwheels.org/simple/model-checker/model_checker-0.3.7-py3-none-any.whl#sha256=cf7e235a36d9d7eecccfc54c092bd7c4e5b827f9812f96cff20a6d8507a45762 (from https://www.piwheels.org/simple/model-checker/)
2024-05-21T19:02:25,670   Skipping link: No binaries permitted for model-checker: https://www.piwheels.org/simple/model-checker/model_checker-0.3.6-py3-none-any.whl#sha256=48341c12e3428e1486adcda688c0780279521881403d35b75bd9fb8915c3fbae (from https://www.piwheels.org/simple/model-checker/)
2024-05-21T19:02:25,670   Skipping link: No binaries permitted for model-checker: https://www.piwheels.org/simple/model-checker/model_checker-0.3.5-py3-none-any.whl#sha256=10e82b0f7b37fd59c8a3ea8ccb33c7961f0d811d2225752ce305fbddcc037077 (from https://www.piwheels.org/simple/model-checker/)
2024-05-21T19:02:25,671   Skipping link: No binaries permitted for model-checker: https://www.piwheels.org/simple/model-checker/model_checker-0.3.4-py3-none-any.whl#sha256=58db59a2985e673728fb35c6bceb0e4cf20c24974c01bb3fe8f7bc180eb5d0eb (from https://www.piwheels.org/simple/model-checker/)
2024-05-21T19:02:25,671   Skipping link: No binaries permitted for model-checker: https://www.piwheels.org/simple/model-checker/model_checker-0.3.3-py3-none-any.whl#sha256=9fae2dd8b54d29bcc18d9a0c9abee8c1920869403499d88714f7def752b185dd (from https://www.piwheels.org/simple/model-checker/)
2024-05-21T19:02:25,672   Skipping link: No binaries permitted for model-checker: https://www.piwheels.org/simple/model-checker/model_checker-0.3.2-py3-none-any.whl#sha256=1cd36c16f617d6aa126458c721a62f67c14bc20a80bd2025179f01f16792c6fa (from https://www.piwheels.org/simple/model-checker/)
2024-05-21T19:02:25,672   Skipping link: No binaries permitted for model-checker: https://www.piwheels.org/simple/model-checker/model_checker-0.2.21-py3-none-any.whl#sha256=78e378f72cc654d3e46b62024d56aaa87f15f551a578e7b6633b96c1322cadd3 (from https://www.piwheels.org/simple/model-checker/)
2024-05-21T19:02:25,673   Skipping link: No binaries permitted for model-checker: https://www.piwheels.org/simple/model-checker/model_checker-0.2.20-py3-none-any.whl#sha256=7171b8bd873471469bf13d01cbaceac4ee8bcf66a86a5b91e3ce91b328e0e25c (from https://www.piwheels.org/simple/model-checker/)
2024-05-21T19:02:25,674   Skipping link: No binaries permitted for model-checker: https://www.piwheels.org/simple/model-checker/model_checker-0.2.19-py3-none-any.whl#sha256=f88c3aefabda4b7b573291d18df96df1c530aedf8345b04b004765a1ee9c3e05 (from https://www.piwheels.org/simple/model-checker/)
2024-05-21T19:02:25,674   Skipping link: No binaries permitted for model-checker: https://www.piwheels.org/simple/model-checker/model_checker-0.2.18-py3-none-any.whl#sha256=cf0fb8b5727756e46932f8351320ed0dc7224634ee6622e28c027520eef0c024 (from https://www.piwheels.org/simple/model-checker/)
2024-05-21T19:02:25,675   Skipping link: No binaries permitted for model-checker: https://www.piwheels.org/simple/model-checker/model_checker-0.2.17-py3-none-any.whl#sha256=7e40a2f6e5f157f26b822f029b7c0c4c74031990f64bf88024ed3e79f1b5c9be (from https://www.piwheels.org/simple/model-checker/)
2024-05-21T19:02:25,675   Skipping link: No binaries permitted for model-checker: https://www.piwheels.org/simple/model-checker/model_checker-0.2.16-py3-none-any.whl#sha256=aca47412497dd2fce7e2a9510e3175bd371c447e3aad215b6f2fcc21f7babfc2 (from https://www.piwheels.org/simple/model-checker/)
2024-05-21T19:02:25,676   Skipping link: No binaries permitted for model-checker: https://www.piwheels.org/simple/model-checker/model_checker-0.2.15-py3-none-any.whl#sha256=51cb2aed13bee103aa697149fcfd1501845607ddff2beb5617ea65546bd9b315 (from https://www.piwheels.org/simple/model-checker/)
2024-05-21T19:02:25,677   Skipping link: No binaries permitted for model-checker: https://www.piwheels.org/simple/model-checker/model_checker-0.2.14-py3-none-any.whl#sha256=48c0433bd1274ec1040df4ec6a4b604eb2a289d369be9c6b4edbe6ac3763cb85 (from https://www.piwheels.org/simple/model-checker/)
2024-05-21T19:02:25,677   Skipping link: No binaries permitted for model-checker: https://www.piwheels.org/simple/model-checker/model_checker-0.2.13-py3-none-any.whl#sha256=fd77e3ec2ff5784a08007f5b7613ec963325825e6499513edea9c4e50fe3e485 (from https://www.piwheels.org/simple/model-checker/)
2024-05-21T19:02:25,677   Skipping link: No binaries permitted for model-checker: https://www.piwheels.org/simple/model-checker/model_checker-0.2.12-py3-none-any.whl#sha256=706be16175e1e3c9a8c9a1a0e38a315e2f65a5f94f648051ab7df8da6a467e46 (from https://www.piwheels.org/simple/model-checker/)
2024-05-21T19:02:25,678   Skipping link: No binaries permitted for model-checker: https://www.piwheels.org/simple/model-checker/model_checker-0.2.11-py3-none-any.whl#sha256=e32e2b23c4a3740df0cd39006fab2a901628090558ede1efb4ca2429f729a1bf (from https://www.piwheels.org/simple/model-checker/)
2024-05-21T19:02:25,678   Skipping link: No binaries permitted for model-checker: https://www.piwheels.org/simple/model-checker/model_checker-0.2.10-py3-none-any.whl#sha256=0745dbfb781a4904ebf7837959c043cdca39873e98b83e307aa970ceed5fe0ef (from https://www.piwheels.org/simple/model-checker/)
2024-05-21T19:02:25,679   Skipping link: No binaries permitted for model-checker: https://www.piwheels.org/simple/model-checker/model_checker-0.2.9-py3-none-any.whl#sha256=87cb95866b03c7defd2aa90c85df754d74151590040e44805610031f1c65ddc3 (from https://www.piwheels.org/simple/model-checker/)
2024-05-21T19:02:25,680   Skipping link: No binaries permitted for model-checker: https://www.piwheels.org/simple/model-checker/model_checker-0.2.8-py3-none-any.whl#sha256=b9b0a7f060876f32a085252891b14af68fa701066167d3b1a46ecb414eeca0aa (from https://www.piwheels.org/simple/model-checker/)
2024-05-21T19:02:25,680   Skipping link: No binaries permitted for model-checker: https://www.piwheels.org/simple/model-checker/model_checker-0.2.7-py3-none-any.whl#sha256=c9d867953b0451622d2e4bd5feded5557dac184d2322598a9e56ec5e74aa2291 (from https://www.piwheels.org/simple/model-checker/)
2024-05-21T19:02:25,681   Skipping link: No binaries permitted for model-checker: https://www.piwheels.org/simple/model-checker/model_checker-0.2.6-py3-none-any.whl#sha256=faa91df46c62c91c38ef2c762371ad13f45dafd5b9bef200962497b9a8a5c45b (from https://www.piwheels.org/simple/model-checker/)
2024-05-21T19:02:25,681   Skipping link: No binaries permitted for model-checker: https://www.piwheels.org/simple/model-checker/model_checker-0.2.5-py3-none-any.whl#sha256=909a924602289fd1ae2e6ed694008b6fba6c1f09ccaecbc0c85df9422820a001 (from https://www.piwheels.org/simple/model-checker/)
2024-05-21T19:02:25,682   Skipping link: No binaries permitted for model-checker: https://www.piwheels.org/simple/model-checker/model_checker-0.2.4-py3-none-any.whl#sha256=a98e7bdc827837f3f413270a6ebaf97cef7742971cdbd68a46707e2e5b1c8dd4 (from https://www.piwheels.org/simple/model-checker/)
2024-05-21T19:02:25,682   Skipping link: No binaries permitted for model-checker: https://www.piwheels.org/simple/model-checker/model_checker-0.2.3-py3-none-any.whl#sha256=dff5adda210f8d4acc8b6c40da21f2a9193854f61f47f416ddab36e245c2ff2d (from https://www.piwheels.org/simple/model-checker/)
2024-05-21T19:02:25,683   Skipping link: No binaries permitted for model-checker: https://www.piwheels.org/simple/model-checker/model_checker-0.2.2-py3-none-any.whl#sha256=2591a72f85c175c44a1877b6d48b4edb4e9407c05845fd33c911e76a99c0572b (from https://www.piwheels.org/simple/model-checker/)
2024-05-21T19:02:25,684   Skipping link: No binaries permitted for model-checker: https://www.piwheels.org/simple/model-checker/model_checker-0.2.1-py3-none-any.whl#sha256=1d5ce6b83a941f62551a992b77c2f391020cc4c5b121cb8ed4cf065dc1b7304b (from https://www.piwheels.org/simple/model-checker/)
2024-05-21T19:02:25,684   Skipping link: No binaries permitted for model-checker: https://www.piwheels.org/simple/model-checker/model_checker-0.2.0-py3-none-any.whl#sha256=8edd01351aa1950cd895de352fc1d4d9306ca133ac4a64b4b28e948bc99af0d8 (from https://www.piwheels.org/simple/model-checker/)
2024-05-21T19:02:25,685   Skipping link: No binaries permitted for model-checker: https://www.piwheels.org/simple/model-checker/model_checker-0.1-py3-none-any.whl#sha256=8bcf2a717e6e1d2201397d02f47d7ec9e7e43c216037fd828ea18a966f0bf58a (from https://www.piwheels.org/simple/model-checker/)
2024-05-21T19:02:25,685 Skipping link: not a file: https://www.piwheels.org/simple/model-checker/
2024-05-21T19:02:25,686 Skipping link: not a file: https://pypi.org/simple/model-checker/
2024-05-21T19:02:25,709 Given no hashes to check 1 links for project 'model-checker': discarding no candidates
2024-05-21T19:02:25,727 Collecting model-checker==0.3.17
2024-05-21T19:02:25,729   Created temporary directory: /tmp/pip-unpack-x0x72pxs
2024-05-21T19:02:25,944   Downloading model_checker-0.3.17.tar.gz (27 kB)
2024-05-21T19:02:26,008   Added model-checker==0.3.17 from https://files.pythonhosted.org/packages/02/37/638c22979c164483c508c8587df5acec0b8ccf7dab122f63531b596e3ff2/model_checker-0.3.17.tar.gz to build tracker '/tmp/pip-build-tracker-r3bl4yjt'
2024-05-21T19:02:26,013   Created temporary directory: /tmp/pip-build-env-__kiha75
2024-05-21T19:02:26,017   Installing build dependencies: started
2024-05-21T19:02:26,018   Running command pip subprocess to install build dependencies
2024-05-21T19:02:27,191   Using pip 24.0 from /usr/local/lib/python3.11/dist-packages/pip (python 3.11)
2024-05-21T19:02:27,701   Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple
2024-05-21T19:02:29,410   Collecting setuptools>=42
2024-05-21T19:02:29,437     Using cached https://www.piwheels.org/simple/setuptools/setuptools-70.0.0-py3-none-any.whl (863 kB)
2024-05-21T19:02:29,781   Collecting wheel
2024-05-21T19:02:29,800     Using cached https://www.piwheels.org/simple/wheel/wheel-0.43.0-py3-none-any.whl (65 kB)
2024-05-21T19:02:32,403   Installing collected packages: wheel, setuptools
2024-05-21T19:02:32,666     Creating /tmp/pip-build-env-__kiha75/overlay/local/bin
2024-05-21T19:02:32,669     changing mode of /tmp/pip-build-env-__kiha75/overlay/local/bin/wheel to 755
2024-05-21T19:02:36,597   Successfully installed setuptools-70.0.0 wheel-0.43.0
2024-05-21T19:02:37,088   Installing build dependencies: finished with status 'done'
2024-05-21T19:02:37,092   Getting requirements to build wheel: started
2024-05-21T19:02:37,093   Running command Getting requirements to build wheel
2024-05-21T19:02:39,207   running egg_info
2024-05-21T19:02:39,211   writing src/model_checker.egg-info/PKG-INFO
2024-05-21T19:02:39,215   writing dependency_links to src/model_checker.egg-info/dependency_links.txt
2024-05-21T19:02:39,217   writing entry points to src/model_checker.egg-info/entry_points.txt
2024-05-21T19:02:39,219   writing requirements to src/model_checker.egg-info/requires.txt
2024-05-21T19:02:39,221   writing top-level names to src/model_checker.egg-info/top_level.txt
2024-05-21T19:02:39,238   reading manifest file 'src/model_checker.egg-info/SOURCES.txt'
2024-05-21T19:02:39,240   adding license file 'LICENCE'
2024-05-21T19:02:39,243   writing manifest file 'src/model_checker.egg-info/SOURCES.txt'
2024-05-21T19:02:39,365   Getting requirements to build wheel: finished with status 'done'
2024-05-21T19:02:39,377   Created temporary directory: /tmp/pip-modern-metadata-f4m9br_d
2024-05-21T19:02:39,379   Preparing metadata (pyproject.toml): started
2024-05-21T19:02:39,381   Running command Preparing metadata (pyproject.toml)
2024-05-21T19:02:40,785   running dist_info
2024-05-21T19:02:40,790   creating /tmp/pip-modern-metadata-f4m9br_d/model_checker.egg-info
2024-05-21T19:02:40,794   writing /tmp/pip-modern-metadata-f4m9br_d/model_checker.egg-info/PKG-INFO
2024-05-21T19:02:40,798   writing dependency_links to /tmp/pip-modern-metadata-f4m9br_d/model_checker.egg-info/dependency_links.txt
2024-05-21T19:02:40,800   writing entry points to /tmp/pip-modern-metadata-f4m9br_d/model_checker.egg-info/entry_points.txt
2024-05-21T19:02:40,802   writing requirements to /tmp/pip-modern-metadata-f4m9br_d/model_checker.egg-info/requires.txt
2024-05-21T19:02:40,803   writing top-level names to /tmp/pip-modern-metadata-f4m9br_d/model_checker.egg-info/top_level.txt
2024-05-21T19:02:40,805   writing manifest file '/tmp/pip-modern-metadata-f4m9br_d/model_checker.egg-info/SOURCES.txt'
2024-05-21T19:02:40,818   reading manifest file '/tmp/pip-modern-metadata-f4m9br_d/model_checker.egg-info/SOURCES.txt'
2024-05-21T19:02:40,820   adding license file 'LICENCE'
2024-05-21T19:02:40,822   writing manifest file '/tmp/pip-modern-metadata-f4m9br_d/model_checker.egg-info/SOURCES.txt'
2024-05-21T19:02:40,823   creating '/tmp/pip-modern-metadata-f4m9br_d/model_checker-0.3.17.dist-info'
2024-05-21T19:02:40,979   Preparing metadata (pyproject.toml): finished with status 'done'
2024-05-21T19:02:40,983   Source in /tmp/pip-wheel-mkqgccft/model-checker_f6191e8269f34d2ca8cdf6d95742b241 has version 0.3.17, which satisfies requirement model-checker==0.3.17 from https://files.pythonhosted.org/packages/02/37/638c22979c164483c508c8587df5acec0b8ccf7dab122f63531b596e3ff2/model_checker-0.3.17.tar.gz
2024-05-21T19:02:40,984   Removed model-checker==0.3.17 from https://files.pythonhosted.org/packages/02/37/638c22979c164483c508c8587df5acec0b8ccf7dab122f63531b596e3ff2/model_checker-0.3.17.tar.gz from build tracker '/tmp/pip-build-tracker-r3bl4yjt'
2024-05-21T19:02:40,988 Created temporary directory: /tmp/pip-unpack-dohvsu7m
2024-05-21T19:02:40,989 Created temporary directory: /tmp/pip-unpack-cvzgdt5l
2024-05-21T19:02:40,993 Building wheels for collected packages: model-checker
2024-05-21T19:02:40,997   Created temporary directory: /tmp/pip-wheel-e_fu8yoe
2024-05-21T19:02:40,998   Destination directory: /tmp/pip-wheel-e_fu8yoe
2024-05-21T19:02:41,000   Building wheel for model-checker (pyproject.toml): started
2024-05-21T19:02:41,001   Running command Building wheel for model-checker (pyproject.toml)
2024-05-21T19:02:43,587   running bdist_wheel
2024-05-21T19:02:43,618   running build
2024-05-21T19:02:43,619   running build_py
2024-05-21T19:02:43,625   creating build
2024-05-21T19:02:43,626   creating build/lib
2024-05-21T19:02:43,627   creating build/lib/model_checker
2024-05-21T19:02:43,629   copying src/model_checker/model_definitions.py -> build/lib/model_checker
2024-05-21T19:02:43,632   copying src/model_checker/__main__.py -> build/lib/model_checker
2024-05-21T19:02:43,635   copying src/model_checker/semantics.py -> build/lib/model_checker
2024-05-21T19:02:43,639   copying src/model_checker/syntax.py -> build/lib/model_checker
2024-05-21T19:02:43,643   copying src/model_checker/model_structure.py -> build/lib/model_checker
2024-05-21T19:02:43,646   copying src/model_checker/__init__.py -> build/lib/model_checker
2024-05-21T19:02:43,648   running egg_info
2024-05-21T19:02:43,653   writing src/model_checker.egg-info/PKG-INFO
2024-05-21T19:02:43,657   writing dependency_links to src/model_checker.egg-info/dependency_links.txt
2024-05-21T19:02:43,659   writing entry points to src/model_checker.egg-info/entry_points.txt
2024-05-21T19:02:43,661   writing requirements to src/model_checker.egg-info/requires.txt
2024-05-21T19:02:43,662   writing top-level names to src/model_checker.egg-info/top_level.txt
2024-05-21T19:02:43,672   reading manifest file 'src/model_checker.egg-info/SOURCES.txt'
2024-05-21T19:02:43,675   adding license file 'LICENCE'
2024-05-21T19:02:43,678   writing manifest file 'src/model_checker.egg-info/SOURCES.txt'
2024-05-21T19:02:43,691   installing to build/bdist.linux-armv7l/wheel
2024-05-21T19:02:43,691   running install
2024-05-21T19:02:43,721   running install_lib
2024-05-21T19:02:43,725   creating build/bdist.linux-armv7l
2024-05-21T19:02:43,726   creating build/bdist.linux-armv7l/wheel
2024-05-21T19:02:43,728   creating build/bdist.linux-armv7l/wheel/model_checker
2024-05-21T19:02:43,729   copying build/lib/model_checker/model_definitions.py -> build/bdist.linux-armv7l/wheel/model_checker
2024-05-21T19:02:43,731   copying build/lib/model_checker/__main__.py -> build/bdist.linux-armv7l/wheel/model_checker
2024-05-21T19:02:43,734   copying build/lib/model_checker/semantics.py -> build/bdist.linux-armv7l/wheel/model_checker
2024-05-21T19:02:43,737   copying build/lib/model_checker/syntax.py -> build/bdist.linux-armv7l/wheel/model_checker
2024-05-21T19:02:43,740   copying build/lib/model_checker/model_structure.py -> build/bdist.linux-armv7l/wheel/model_checker
2024-05-21T19:02:43,747   copying build/lib/model_checker/__init__.py -> build/bdist.linux-armv7l/wheel/model_checker
2024-05-21T19:02:43,748   running install_egg_info
2024-05-21T19:02:43,752   Copying src/model_checker.egg-info to build/bdist.linux-armv7l/wheel/model_checker-0.3.17-py3.11.egg-info
2024-05-21T19:02:43,768   running install_scripts
2024-05-21T19:02:43,791   creating build/bdist.linux-armv7l/wheel/model_checker-0.3.17.dist-info/WHEEL
2024-05-21T19:02:43,793   creating '/tmp/pip-wheel-e_fu8yoe/.tmp-snhs3g0b/model_checker-0.3.17-py3-none-any.whl' and adding 'build/bdist.linux-armv7l/wheel' to it
2024-05-21T19:02:43,796   adding 'model_checker/__init__.py'
2024-05-21T19:02:43,799   adding 'model_checker/__main__.py'
2024-05-21T19:02:43,802   adding 'model_checker/model_definitions.py'
2024-05-21T19:02:43,805   adding 'model_checker/model_structure.py'
2024-05-21T19:02:43,808   adding 'model_checker/semantics.py'
2024-05-21T19:02:43,810   adding 'model_checker/syntax.py'
2024-05-21T19:02:43,812   adding 'model_checker-0.3.17.dist-info/LICENCE'
2024-05-21T19:02:43,814   adding 'model_checker-0.3.17.dist-info/METADATA'
2024-05-21T19:02:43,815   adding 'model_checker-0.3.17.dist-info/WHEEL'
2024-05-21T19:02:43,816   adding 'model_checker-0.3.17.dist-info/entry_points.txt'
2024-05-21T19:02:43,817   adding 'model_checker-0.3.17.dist-info/top_level.txt'
2024-05-21T19:02:43,818   adding 'model_checker-0.3.17.dist-info/RECORD'
2024-05-21T19:02:43,819   removing build/bdist.linux-armv7l/wheel
2024-05-21T19:02:43,947   Building wheel for model-checker (pyproject.toml): finished with status 'done'
2024-05-21T19:02:43,953   Created wheel for model-checker: filename=model_checker-0.3.17-py3-none-any.whl size=26649 sha256=5129e4e1ea0075ff358998116384ed3657721b4709c3c51c65605da16564c2dd
2024-05-21T19:02:43,954   Stored in directory: /tmp/pip-ephem-wheel-cache-0w6h5a63/wheels/0b/86/32/cb3f961b2584bc846e864a78a2259089520a9af5b965ef3f9e
2024-05-21T19:02:43,965 Successfully built model-checker
2024-05-21T19:02:43,969 Removed build tracker: '/tmp/pip-build-tracker-r3bl4yjt'