2024-05-07T14:08:00,124 Created temporary directory: /tmp/pip-build-tracker-yl7pu39s
2024-05-07T14:08:00,126 Initialized build tracking at /tmp/pip-build-tracker-yl7pu39s
2024-05-07T14:08:00,127 Created build tracker: /tmp/pip-build-tracker-yl7pu39s
2024-05-07T14:08:00,127 Entered build tracker: /tmp/pip-build-tracker-yl7pu39s
2024-05-07T14:08:00,128 Created temporary directory: /tmp/pip-wheel-3bl34jzh
2024-05-07T14:08:00,131 Created temporary directory: /tmp/pip-ephem-wheel-cache-91q4o1lg
2024-05-07T14:08:00,153 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple
2024-05-07T14:08:00,157 2 location(s) to search for versions of model-checker:
2024-05-07T14:08:00,157 * https://pypi.org/simple/model-checker/
2024-05-07T14:08:00,157 * https://www.piwheels.org/simple/model-checker/
2024-05-07T14:08:00,158 Fetching project page and analyzing links: https://pypi.org/simple/model-checker/
2024-05-07T14:08:00,158 Getting page https://pypi.org/simple/model-checker/
2024-05-07T14:08:00,160 Found index url https://pypi.org/simple/
2024-05-07T14:08:00,299 Fetched page https://pypi.org/simple/model-checker/ as application/vnd.pypi.simple.v1+json
2024-05-07T14:08:00,306   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-07T14:08:00,306   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-07T14:08:00,307   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-07T14:08:00,308   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-07T14:08:00,308   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-07T14:08:00,309   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-07T14:08:00,310   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-07T14:08:00,310   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-07T14:08:00,311   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-07T14:08:00,311   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-07T14:08:00,312   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-07T14:08:00,313   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-07T14:08:00,313   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-07T14:08:00,314   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-07T14:08:00,315   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-07T14:08:00,315   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-07T14:08:00,316   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-07T14:08:00,316   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-07T14:08:00,317   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-07T14:08:00,317   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-07T14:08:00,318   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-07T14:08:00,319   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-07T14:08:00,320   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-07T14:08:00,320   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-07T14:08:00,321   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-07T14:08:00,321   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-07T14:08:00,322   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-07T14:08:00,323   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-07T14:08:00,323   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-07T14:08:00,324   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-07T14:08:00,325   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-07T14:08:00,325   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-07T14:08:00,326   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-07T14:08:00,326   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-07T14:08:00,327 Fetching project page and analyzing links: https://www.piwheels.org/simple/model-checker/
2024-05-07T14:08:00,327 Getting page https://www.piwheels.org/simple/model-checker/
2024-05-07T14:08:00,329 Found index url https://www.piwheels.org/simple/
2024-05-07T14:08:00,561 Fetched page https://www.piwheels.org/simple/model-checker/ as text/html
2024-05-07T14:08:00,564   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-07T14:08:00,565   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-07T14:08:00,565   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-07T14:08:00,566   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-07T14:08:00,567   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-07T14:08:00,567   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-07T14:08:00,568   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-07T14:08:00,568   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-07T14:08:00,569 Skipping link: not a file: https://www.piwheels.org/simple/model-checker/
2024-05-07T14:08:00,570 Skipping link: not a file: https://pypi.org/simple/model-checker/
2024-05-07T14:08:00,590 Given no hashes to check 1 links for project 'model-checker': discarding no candidates
2024-05-07T14:08:00,608 Collecting model-checker==0.2.7
2024-05-07T14:08:00,610   Created temporary directory: /tmp/pip-unpack-a7gc1gdz
2024-05-07T14:08:00,821   Downloading model_checker-0.2.7.tar.gz (22 kB)
2024-05-07T14:08:00,870   Added model-checker==0.2.7 from https://files.pythonhosted.org/packages/da/06/9cc2b664127363e8db52dd0dcbe5fbb2877a0fcfea243c6a35dd4677257c/model_checker-0.2.7.tar.gz to build tracker '/tmp/pip-build-tracker-yl7pu39s'
2024-05-07T14:08:00,874   Created temporary directory: /tmp/pip-build-env-s5sj1apc
2024-05-07T14:08:00,879   Installing build dependencies: started
2024-05-07T14:08:00,880   Running command pip subprocess to install build dependencies
2024-05-07T14:08:02,035   Using pip 24.0 from /usr/local/lib/python3.11/dist-packages/pip (python 3.11)
2024-05-07T14:08:02,539   Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple
2024-05-07T14:08:04,038   Collecting setuptools>=42
2024-05-07T14:08:04,055     Using cached https://www.piwheels.org/simple/setuptools/setuptools-69.5.1-py3-none-any.whl (894 kB)
2024-05-07T14:08:04,336   Collecting wheel
2024-05-07T14:08:04,350     Using cached https://www.piwheels.org/simple/wheel/wheel-0.43.0-py3-none-any.whl (65 kB)
2024-05-07T14:08:07,002   Installing collected packages: wheel, setuptools
2024-05-07T14:08:07,243     Creating /tmp/pip-build-env-s5sj1apc/overlay/local/bin
2024-05-07T14:08:07,245     changing mode of /tmp/pip-build-env-s5sj1apc/overlay/local/bin/wheel to 755
2024-05-07T14:08:09,765   Successfully installed setuptools-69.5.1 wheel-0.43.0
2024-05-07T14:08:10,255   Installing build dependencies: finished with status 'done'
2024-05-07T14:08:10,258   Getting requirements to build wheel: started
2024-05-07T14:08:10,259   Running command Getting requirements to build wheel
2024-05-07T14:08:11,092   running egg_info
2024-05-07T14:08:11,097   writing model_checker.egg-info/PKG-INFO
2024-05-07T14:08:11,100   writing dependency_links to model_checker.egg-info/dependency_links.txt
2024-05-07T14:08:11,102   writing entry points to model_checker.egg-info/entry_points.txt
2024-05-07T14:08:11,103   writing requirements to model_checker.egg-info/requires.txt
2024-05-07T14:08:11,105   writing top-level names to model_checker.egg-info/top_level.txt
2024-05-07T14:08:11,121   reading manifest file 'model_checker.egg-info/SOURCES.txt'
2024-05-07T14:08:11,123   adding license file 'LICENCE'
2024-05-07T14:08:11,125   writing manifest file 'model_checker.egg-info/SOURCES.txt'
2024-05-07T14:08:11,244   Getting requirements to build wheel: finished with status 'done'
2024-05-07T14:08:11,254   Created temporary directory: /tmp/pip-modern-metadata-0ivw76eg
2024-05-07T14:08:11,257   Preparing metadata (pyproject.toml): started
2024-05-07T14:08:11,258   Running command Preparing metadata (pyproject.toml)
2024-05-07T14:08:12,077   running dist_info
2024-05-07T14:08:12,082   creating /tmp/pip-modern-metadata-0ivw76eg/model_checker.egg-info
2024-05-07T14:08:12,086   writing /tmp/pip-modern-metadata-0ivw76eg/model_checker.egg-info/PKG-INFO
2024-05-07T14:08:12,089   writing dependency_links to /tmp/pip-modern-metadata-0ivw76eg/model_checker.egg-info/dependency_links.txt
2024-05-07T14:08:12,091   writing entry points to /tmp/pip-modern-metadata-0ivw76eg/model_checker.egg-info/entry_points.txt
2024-05-07T14:08:12,093   writing requirements to /tmp/pip-modern-metadata-0ivw76eg/model_checker.egg-info/requires.txt
2024-05-07T14:08:12,094   writing top-level names to /tmp/pip-modern-metadata-0ivw76eg/model_checker.egg-info/top_level.txt
2024-05-07T14:08:12,095   writing manifest file '/tmp/pip-modern-metadata-0ivw76eg/model_checker.egg-info/SOURCES.txt'
2024-05-07T14:08:12,109   reading manifest file '/tmp/pip-modern-metadata-0ivw76eg/model_checker.egg-info/SOURCES.txt'
2024-05-07T14:08:12,111   adding license file 'LICENCE'
2024-05-07T14:08:12,113   writing manifest file '/tmp/pip-modern-metadata-0ivw76eg/model_checker.egg-info/SOURCES.txt'
2024-05-07T14:08:12,114   creating '/tmp/pip-modern-metadata-0ivw76eg/model_checker-0.2.7.dist-info'
2024-05-07T14:08:12,261   Preparing metadata (pyproject.toml): finished with status 'done'
2024-05-07T14:08:12,265   Source in /tmp/pip-wheel-3bl34jzh/model-checker_4f2441af7ff343ec8c2a76565a12bb8e has version 0.2.7, which satisfies requirement model-checker==0.2.7 from https://files.pythonhosted.org/packages/da/06/9cc2b664127363e8db52dd0dcbe5fbb2877a0fcfea243c6a35dd4677257c/model_checker-0.2.7.tar.gz
2024-05-07T14:08:12,266   Removed model-checker==0.2.7 from https://files.pythonhosted.org/packages/da/06/9cc2b664127363e8db52dd0dcbe5fbb2877a0fcfea243c6a35dd4677257c/model_checker-0.2.7.tar.gz from build tracker '/tmp/pip-build-tracker-yl7pu39s'
2024-05-07T14:08:12,270 Created temporary directory: /tmp/pip-unpack-_jznyok3
2024-05-07T14:08:12,271 Created temporary directory: /tmp/pip-unpack-h4dzbzyc
2024-05-07T14:08:12,274 Building wheels for collected packages: model-checker
2024-05-07T14:08:12,278   Created temporary directory: /tmp/pip-wheel-es01e22r
2024-05-07T14:08:12,279   Destination directory: /tmp/pip-wheel-es01e22r
2024-05-07T14:08:12,281   Building wheel for model-checker (pyproject.toml): started
2024-05-07T14:08:12,282   Running command Building wheel for model-checker (pyproject.toml)
2024-05-07T14:08:13,060   running bdist_wheel
2024-05-07T14:08:13,077   running build
2024-05-07T14:08:13,077   running build_py
2024-05-07T14:08:13,082   creating build
2024-05-07T14:08:13,082   creating build/lib
2024-05-07T14:08:13,083   creating build/lib/package
2024-05-07T14:08:13,084   copying package/test_complete.py -> build/lib/package
2024-05-07T14:08:13,087   copying package/__init__.py -> build/lib/package
2024-05-07T14:08:13,089   creating build/lib/package/modules
2024-05-07T14:08:13,090   copying package/modules/syntax.py -> build/lib/package/modules
2024-05-07T14:08:13,092   copying package/modules/model_definitions.py -> build/lib/package/modules
2024-05-07T14:08:13,095   copying package/modules/__init__.py -> build/lib/package/modules
2024-05-07T14:08:13,096   copying package/modules/semantics.py -> build/lib/package/modules
2024-05-07T14:08:13,099   copying package/modules/model_structure.py -> build/lib/package/modules
2024-05-07T14:08:13,101   running egg_info
2024-05-07T14:08:13,104   writing model_checker.egg-info/PKG-INFO
2024-05-07T14:08:13,107   writing dependency_links to model_checker.egg-info/dependency_links.txt
2024-05-07T14:08:13,109   writing entry points to model_checker.egg-info/entry_points.txt
2024-05-07T14:08:13,110   writing requirements to model_checker.egg-info/requires.txt
2024-05-07T14:08:13,111   writing top-level names to model_checker.egg-info/top_level.txt
2024-05-07T14:08:13,118   reading manifest file 'model_checker.egg-info/SOURCES.txt'
2024-05-07T14:08:13,120   adding license file 'LICENCE'
2024-05-07T14:08:13,122   writing manifest file 'model_checker.egg-info/SOURCES.txt'
2024-05-07T14:08:13,131   installing to build/bdist.linux-armv7l/wheel
2024-05-07T14:08:13,132   running install
2024-05-07T14:08:13,156   running install_lib
2024-05-07T14:08:13,160   creating build/bdist.linux-armv7l
2024-05-07T14:08:13,161   creating build/bdist.linux-armv7l/wheel
2024-05-07T14:08:13,163   creating build/bdist.linux-armv7l/wheel/package
2024-05-07T14:08:13,164   copying build/lib/package/test_complete.py -> build/bdist.linux-armv7l/wheel/package
2024-05-07T14:08:13,167   copying build/lib/package/__init__.py -> build/bdist.linux-armv7l/wheel/package
2024-05-07T14:08:13,169   creating build/bdist.linux-armv7l/wheel/package/modules
2024-05-07T14:08:13,170   copying build/lib/package/modules/syntax.py -> build/bdist.linux-armv7l/wheel/package/modules
2024-05-07T14:08:13,172   copying build/lib/package/modules/model_definitions.py -> build/bdist.linux-armv7l/wheel/package/modules
2024-05-07T14:08:13,174   copying build/lib/package/modules/__init__.py -> build/bdist.linux-armv7l/wheel/package/modules
2024-05-07T14:08:13,176   copying build/lib/package/modules/semantics.py -> build/bdist.linux-armv7l/wheel/package/modules
2024-05-07T14:08:13,179   copying build/lib/package/modules/model_structure.py -> build/bdist.linux-armv7l/wheel/package/modules
2024-05-07T14:08:13,181   running install_egg_info
2024-05-07T14:08:13,185   Copying model_checker.egg-info to build/bdist.linux-armv7l/wheel/model_checker-0.2.7-py3.11.egg-info
2024-05-07T14:08:13,196   running install_scripts
2024-05-07T14:08:13,211   creating build/bdist.linux-armv7l/wheel/model_checker-0.2.7.dist-info/WHEEL
2024-05-07T14:08:13,214   creating '/tmp/pip-wheel-es01e22r/.tmp-1luhxh9t/model_checker-0.2.7-py3-none-any.whl' and adding 'build/bdist.linux-armv7l/wheel' to it
2024-05-07T14:08:13,217   adding 'package/__init__.py'
2024-05-07T14:08:13,219   adding 'package/test_complete.py'
2024-05-07T14:08:13,220   adding 'package/modules/__init__.py'
2024-05-07T14:08:13,223   adding 'package/modules/model_definitions.py'
2024-05-07T14:08:13,227   adding 'package/modules/model_structure.py'
2024-05-07T14:08:13,230   adding 'package/modules/semantics.py'
2024-05-07T14:08:13,232   adding 'package/modules/syntax.py'
2024-05-07T14:08:13,233   adding 'model_checker-0.2.7.dist-info/LICENCE'
2024-05-07T14:08:13,234   adding 'model_checker-0.2.7.dist-info/METADATA'
2024-05-07T14:08:13,235   adding 'model_checker-0.2.7.dist-info/WHEEL'
2024-05-07T14:08:13,236   adding 'model_checker-0.2.7.dist-info/entry_points.txt'
2024-05-07T14:08:13,237   adding 'model_checker-0.2.7.dist-info/top_level.txt'
2024-05-07T14:08:13,238   adding 'model_checker-0.2.7.dist-info/RECORD'
2024-05-07T14:08:13,239   removing build/bdist.linux-armv7l/wheel
2024-05-07T14:08:13,364   Building wheel for model-checker (pyproject.toml): finished with status 'done'
2024-05-07T14:08:13,369   Created wheel for model-checker: filename=model_checker-0.2.7-py3-none-any.whl size=24484 sha256=c9d867953b0451622d2e4bd5feded5557dac184d2322598a9e56ec5e74aa2291
2024-05-07T14:08:13,371   Stored in directory: /tmp/pip-ephem-wheel-cache-91q4o1lg/wheels/77/77/81/b0ad45f3f55e001dbd4466d6929056319ec207a6d0655e2bdb
2024-05-07T14:08:13,380 Successfully built model-checker
2024-05-07T14:08:13,384 Removed build tracker: '/tmp/pip-build-tracker-yl7pu39s'