2024-05-10T19:10:10,295 Created temporary directory: /tmp/pip-build-tracker-sr7lw1yt 2024-05-10T19:10:10,296 Initialized build tracking at /tmp/pip-build-tracker-sr7lw1yt 2024-05-10T19:10:10,297 Created build tracker: /tmp/pip-build-tracker-sr7lw1yt 2024-05-10T19:10:10,297 Entered build tracker: /tmp/pip-build-tracker-sr7lw1yt 2024-05-10T19:10:10,298 Created temporary directory: /tmp/pip-wheel-ifu5906p 2024-05-10T19:10:10,301 Created temporary directory: /tmp/pip-ephem-wheel-cache-pu8xd1db 2024-05-10T19:10:10,323 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple 2024-05-10T19:10:10,327 2 location(s) to search for versions of model-checker: 2024-05-10T19:10:10,327 * https://pypi.org/simple/model-checker/ 2024-05-10T19:10:10,327 * https://www.piwheels.org/simple/model-checker/ 2024-05-10T19:10:10,328 Fetching project page and analyzing links: https://pypi.org/simple/model-checker/ 2024-05-10T19:10:10,328 Getting page https://pypi.org/simple/model-checker/ 2024-05-10T19:10:10,330 Found index url https://pypi.org/simple/ 2024-05-10T19:10:10,467 Fetched page https://pypi.org/simple/model-checker/ as application/vnd.pypi.simple.v1+json 2024-05-10T19:10:10,475 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-10T19:10:10,476 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-10T19:10:10,477 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-10T19:10:10,477 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-10T19:10:10,478 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-10T19:10:10,479 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-10T19:10:10,479 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-10T19:10:10,480 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-10T19:10:10,481 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-10T19:10:10,482 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-10T19:10:10,482 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-10T19:10:10,483 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-10T19:10:10,484 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-10T19:10:10,484 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-10T19:10:10,485 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-10T19:10:10,485 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-10T19:10:10,486 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-10T19:10:10,486 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-10T19:10:10,487 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-10T19:10:10,488 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-10T19:10:10,488 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-10T19:10:10,489 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-10T19:10:10,489 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-10T19:10:10,490 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-10T19:10:10,491 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-10T19:10:10,491 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-10T19:10:10,492 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-10T19:10:10,492 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-10T19:10:10,493 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-10T19:10:10,494 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-10T19:10:10,495 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-10T19:10:10,495 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-10T19:10:10,496 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-10T19:10:10,496 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-10T19:10:10,497 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-10T19:10:10,497 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-10T19:10:10,498 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-10T19:10:10,498 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-10T19:10:10,499 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-10T19:10:10,500 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-10T19:10:10,501 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-10T19:10:10,501 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-10T19:10:10,502 Fetching project page and analyzing links: https://www.piwheels.org/simple/model-checker/ 2024-05-10T19:10:10,503 Getting page https://www.piwheels.org/simple/model-checker/ 2024-05-10T19:10:10,504 Found index url https://www.piwheels.org/simple/ 2024-05-10T19:10:10,806 Fetched page https://www.piwheels.org/simple/model-checker/ as text/html 2024-05-10T19:10:10,812 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-10T19:10:10,813 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-10T19:10:10,814 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-10T19:10:10,814 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-10T19:10:10,815 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-10T19:10:10,815 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-10T19:10:10,816 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-10T19:10:10,816 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-10T19:10:10,817 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-10T19:10:10,817 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-10T19:10:10,818 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-10T19:10:10,818 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-10T19:10:10,819 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-10T19:10:10,820 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-10T19:10:10,820 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-10T19:10:10,821 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-10T19:10:10,822 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-10T19:10:10,822 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-10T19:10:10,823 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-10T19:10:10,823 Skipping link: not a file: https://www.piwheels.org/simple/model-checker/ 2024-05-10T19:10:10,824 Skipping link: not a file: https://pypi.org/simple/model-checker/ 2024-05-10T19:10:10,845 Given no hashes to check 1 links for project 'model-checker': discarding no candidates 2024-05-10T19:10:10,864 Collecting model-checker==0.2.19 2024-05-10T19:10:10,866 Created temporary directory: /tmp/pip-unpack-dloxoh3e 2024-05-10T19:10:11,075 Downloading model_checker-0.2.19.tar.gz (23 kB) 2024-05-10T19:10:11,125 Added model-checker==0.2.19 from https://files.pythonhosted.org/packages/45/9a/af74d40d1a85bbc7fe328a1f7297b6f55d2437b60a32926c511abc231487/model_checker-0.2.19.tar.gz to build tracker '/tmp/pip-build-tracker-sr7lw1yt' 2024-05-10T19:10:11,130 Created temporary directory: /tmp/pip-build-env-mm0t_tc8 2024-05-10T19:10:11,135 Installing build dependencies: started 2024-05-10T19:10:11,136 Running command pip subprocess to install build dependencies 2024-05-10T19:10:12,277 Using pip 24.0 from /usr/local/lib/python3.11/dist-packages/pip (python 3.11) 2024-05-10T19:10:12,756 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple 2024-05-10T19:10:14,526 Collecting setuptools>=42 2024-05-10T19:10:14,540 Using cached https://www.piwheels.org/simple/setuptools/setuptools-69.5.1-py3-none-any.whl (894 kB) 2024-05-10T19:10:14,774 Collecting wheel 2024-05-10T19:10:15,005 Using cached https://www.piwheels.org/simple/wheel/wheel-0.43.0-py3-none-any.whl (65 kB) 2024-05-10T19:10:17,605 Installing collected packages: wheel, setuptools 2024-05-10T19:10:17,836 Creating /tmp/pip-build-env-mm0t_tc8/overlay/local/bin 2024-05-10T19:10:17,839 changing mode of /tmp/pip-build-env-mm0t_tc8/overlay/local/bin/wheel to 755 2024-05-10T19:10:20,327 Successfully installed setuptools-69.5.1 wheel-0.43.0 2024-05-10T19:10:20,840 Installing build dependencies: finished with status 'done' 2024-05-10T19:10:20,844 Getting requirements to build wheel: started 2024-05-10T19:10:20,845 Running command Getting requirements to build wheel 2024-05-10T19:10:21,687 running egg_info 2024-05-10T19:10:21,691 writing src/model_checker.egg-info/PKG-INFO 2024-05-10T19:10:21,695 writing dependency_links to src/model_checker.egg-info/dependency_links.txt 2024-05-10T19:10:21,696 writing entry points to src/model_checker.egg-info/entry_points.txt 2024-05-10T19:10:21,698 writing requirements to src/model_checker.egg-info/requires.txt 2024-05-10T19:10:21,699 writing top-level names to src/model_checker.egg-info/top_level.txt 2024-05-10T19:10:21,715 reading manifest file 'src/model_checker.egg-info/SOURCES.txt' 2024-05-10T19:10:21,717 adding license file 'LICENCE' 2024-05-10T19:10:21,719 writing manifest file 'src/model_checker.egg-info/SOURCES.txt' 2024-05-10T19:10:21,838 Getting requirements to build wheel: finished with status 'done' 2024-05-10T19:10:21,849 Created temporary directory: /tmp/pip-modern-metadata-j_aiinhv 2024-05-10T19:10:21,851 Preparing metadata (pyproject.toml): started 2024-05-10T19:10:21,852 Running command Preparing metadata (pyproject.toml) 2024-05-10T19:10:22,615 running dist_info 2024-05-10T19:10:22,620 creating /tmp/pip-modern-metadata-j_aiinhv/model_checker.egg-info 2024-05-10T19:10:22,624 writing /tmp/pip-modern-metadata-j_aiinhv/model_checker.egg-info/PKG-INFO 2024-05-10T19:10:22,627 writing dependency_links to /tmp/pip-modern-metadata-j_aiinhv/model_checker.egg-info/dependency_links.txt 2024-05-10T19:10:22,628 writing entry points to /tmp/pip-modern-metadata-j_aiinhv/model_checker.egg-info/entry_points.txt 2024-05-10T19:10:22,630 writing requirements to /tmp/pip-modern-metadata-j_aiinhv/model_checker.egg-info/requires.txt 2024-05-10T19:10:22,631 writing top-level names to /tmp/pip-modern-metadata-j_aiinhv/model_checker.egg-info/top_level.txt 2024-05-10T19:10:22,632 writing manifest file '/tmp/pip-modern-metadata-j_aiinhv/model_checker.egg-info/SOURCES.txt' 2024-05-10T19:10:22,644 reading manifest file '/tmp/pip-modern-metadata-j_aiinhv/model_checker.egg-info/SOURCES.txt' 2024-05-10T19:10:22,646 adding license file 'LICENCE' 2024-05-10T19:10:22,648 writing manifest file '/tmp/pip-modern-metadata-j_aiinhv/model_checker.egg-info/SOURCES.txt' 2024-05-10T19:10:22,649 creating '/tmp/pip-modern-metadata-j_aiinhv/model_checker-0.2.19.dist-info' 2024-05-10T19:10:22,798 Preparing metadata (pyproject.toml): finished with status 'done' 2024-05-10T19:10:22,802 Source in /tmp/pip-wheel-ifu5906p/model-checker_8cadc80c2c9c451ab7853b3c950aa88a has version 0.2.19, which satisfies requirement model-checker==0.2.19 from https://files.pythonhosted.org/packages/45/9a/af74d40d1a85bbc7fe328a1f7297b6f55d2437b60a32926c511abc231487/model_checker-0.2.19.tar.gz 2024-05-10T19:10:22,803 Removed model-checker==0.2.19 from https://files.pythonhosted.org/packages/45/9a/af74d40d1a85bbc7fe328a1f7297b6f55d2437b60a32926c511abc231487/model_checker-0.2.19.tar.gz from build tracker '/tmp/pip-build-tracker-sr7lw1yt' 2024-05-10T19:10:22,807 Created temporary directory: /tmp/pip-unpack-3ml5_4mf 2024-05-10T19:10:22,808 Created temporary directory: /tmp/pip-unpack-6127u4yi 2024-05-10T19:10:22,812 Building wheels for collected packages: model-checker 2024-05-10T19:10:22,817 Created temporary directory: /tmp/pip-wheel-fvmkd4bd 2024-05-10T19:10:22,817 Destination directory: /tmp/pip-wheel-fvmkd4bd 2024-05-10T19:10:22,820 Building wheel for model-checker (pyproject.toml): started 2024-05-10T19:10:22,821 Running command Building wheel for model-checker (pyproject.toml) 2024-05-10T19:10:23,565 running bdist_wheel 2024-05-10T19:10:23,581 running build 2024-05-10T19:10:23,582 running build_py 2024-05-10T19:10:23,586 creating build 2024-05-10T19:10:23,586 creating build/lib 2024-05-10T19:10:23,587 creating build/lib/model_checker 2024-05-10T19:10:23,588 copying src/model_checker/model_structure.py -> build/lib/model_checker 2024-05-10T19:10:23,591 copying src/model_checker/__init__.py -> build/lib/model_checker 2024-05-10T19:10:23,593 copying src/model_checker/semantics.py -> build/lib/model_checker 2024-05-10T19:10:23,595 copying src/model_checker/syntax.py -> build/lib/model_checker 2024-05-10T19:10:23,597 copying src/model_checker/__main__.py -> build/lib/model_checker 2024-05-10T19:10:23,599 copying src/model_checker/model_definitions.py -> build/lib/model_checker 2024-05-10T19:10:23,602 copying src/model_checker/temp.py -> build/lib/model_checker 2024-05-10T19:10:23,603 running egg_info 2024-05-10T19:10:23,607 writing src/model_checker.egg-info/PKG-INFO 2024-05-10T19:10:23,609 writing dependency_links to src/model_checker.egg-info/dependency_links.txt 2024-05-10T19:10:23,611 writing entry points to src/model_checker.egg-info/entry_points.txt 2024-05-10T19:10:23,612 writing requirements to src/model_checker.egg-info/requires.txt 2024-05-10T19:10:23,613 writing top-level names to src/model_checker.egg-info/top_level.txt 2024-05-10T19:10:23,620 reading manifest file 'src/model_checker.egg-info/SOURCES.txt' 2024-05-10T19:10:23,622 adding license file 'LICENCE' 2024-05-10T19:10:23,624 writing manifest file 'src/model_checker.egg-info/SOURCES.txt' 2024-05-10T19:10:23,633 installing to build/bdist.linux-armv7l/wheel 2024-05-10T19:10:23,633 running install 2024-05-10T19:10:23,657 running install_lib 2024-05-10T19:10:23,662 creating build/bdist.linux-armv7l 2024-05-10T19:10:23,662 creating build/bdist.linux-armv7l/wheel 2024-05-10T19:10:23,664 creating build/bdist.linux-armv7l/wheel/model_checker 2024-05-10T19:10:23,665 copying build/lib/model_checker/model_structure.py -> build/bdist.linux-armv7l/wheel/model_checker 2024-05-10T19:10:23,667 copying build/lib/model_checker/__init__.py -> build/bdist.linux-armv7l/wheel/model_checker 2024-05-10T19:10:23,669 copying build/lib/model_checker/semantics.py -> build/bdist.linux-armv7l/wheel/model_checker 2024-05-10T19:10:23,671 copying build/lib/model_checker/syntax.py -> build/bdist.linux-armv7l/wheel/model_checker 2024-05-10T19:10:23,673 copying build/lib/model_checker/__main__.py -> build/bdist.linux-armv7l/wheel/model_checker 2024-05-10T19:10:23,675 copying build/lib/model_checker/model_definitions.py -> build/bdist.linux-armv7l/wheel/model_checker 2024-05-10T19:10:23,678 copying build/lib/model_checker/temp.py -> build/bdist.linux-armv7l/wheel/model_checker 2024-05-10T19:10:23,679 running install_egg_info 2024-05-10T19:10:23,683 Copying src/model_checker.egg-info to build/bdist.linux-armv7l/wheel/model_checker-0.2.19-py3.11.egg-info 2024-05-10T19:10:23,694 running install_scripts 2024-05-10T19:10:23,707 creating build/bdist.linux-armv7l/wheel/model_checker-0.2.19.dist-info/WHEEL 2024-05-10T19:10:23,709 creating '/tmp/pip-wheel-fvmkd4bd/.tmp-_qznr8yt/model_checker-0.2.19-py3-none-any.whl' and adding 'build/bdist.linux-armv7l/wheel' to it 2024-05-10T19:10:23,712 adding 'model_checker/__init__.py' 2024-05-10T19:10:23,713 adding 'model_checker/__main__.py' 2024-05-10T19:10:23,716 adding 'model_checker/model_definitions.py' 2024-05-10T19:10:23,720 adding 'model_checker/model_structure.py' 2024-05-10T19:10:23,722 adding 'model_checker/semantics.py' 2024-05-10T19:10:23,724 adding 'model_checker/syntax.py' 2024-05-10T19:10:23,725 adding 'model_checker/temp.py' 2024-05-10T19:10:23,728 adding 'model_checker-0.2.19.dist-info/LICENCE' 2024-05-10T19:10:23,729 adding 'model_checker-0.2.19.dist-info/METADATA' 2024-05-10T19:10:23,730 adding 'model_checker-0.2.19.dist-info/WHEEL' 2024-05-10T19:10:23,731 adding 'model_checker-0.2.19.dist-info/entry_points.txt' 2024-05-10T19:10:23,732 adding 'model_checker-0.2.19.dist-info/top_level.txt' 2024-05-10T19:10:23,733 adding 'model_checker-0.2.19.dist-info/RECORD' 2024-05-10T19:10:23,734 removing build/bdist.linux-armv7l/wheel 2024-05-10T19:10:23,858 Building wheel for model-checker (pyproject.toml): finished with status 'done' 2024-05-10T19:10:23,863 Created wheel for model-checker: filename=model_checker-0.2.19-py3-none-any.whl size=24950 sha256=f88c3aefabda4b7b573291d18df96df1c530aedf8345b04b004765a1ee9c3e05 2024-05-10T19:10:23,864 Stored in directory: /tmp/pip-ephem-wheel-cache-pu8xd1db/wheels/aa/e1/bc/19b6f2ac9b3f773457efcc42c5c5a004483166cb2090bd3f60 2024-05-10T19:10:23,875 Successfully built model-checker 2024-05-10T19:10:23,878 Removed build tracker: '/tmp/pip-build-tracker-sr7lw1yt'