Created temporary directory: /tmp/pip-ephem-wheel-cache-1w3u45om Created temporary directory: /tmp/pip-req-tracker-ecbwq07w Created requirements tracker '/tmp/pip-req-tracker-ecbwq07w' Created temporary directory: /tmp/pip-wheel-f4wl9abx Looking in indexes: https://pypi.python.org/simple Collecting pyModelChecking==0.2 1 location(s) to search for versions of pyModelChecking: * https://pypi.python.org/simple/pymodelchecking/ Getting page https://pypi.python.org/simple/pymodelchecking/ Analyzing links from page https://pypi.org/simple/pymodelchecking/ Skipping link https://files.pythonhosted.org/packages/5d/43/07d3588c6451a477219c3747f7e0d3c05e635bde36b0e05034cb6a2317f9/pyModelChecking-0.1.1-py2-none-any.whl#sha256=3369067a77fc73c31a15102a30e6f6990d98011c7be6cea6a00721dc063f11df (from https://pypi.org/simple/pymodelchecking/); it is not compatible with this Python Found link https://files.pythonhosted.org/packages/f3/bf/2b3f95165aad5ed68f833773bac9702ee8c3d85382bfb7f6865f83ff19dd/pyModelChecking-0.1.1.tar.gz#sha256=5ebca2761b7bd79cfa137db9fe182afb1e3cb7f5f44898edbf15c715b9ae5d15 (from https://pypi.org/simple/pymodelchecking/), version: 0.1.1 Skipping link https://files.pythonhosted.org/packages/8e/73/c20e1a361fcd3a9ecd95902b4d41c1ae2a17fa803bff0aad63828a7dea33/pyModelChecking-0.1.5-py2-none-any.whl#sha256=7509a6b806a2eb808cddfac605f39a3e7ad7a110d23da3b14bd30c1f08399c2c (from https://pypi.org/simple/pymodelchecking/); it is not compatible with this Python Found link https://files.pythonhosted.org/packages/c4/ca/eb56d43ffd67db81a2e09578dc0df383d12bff5a47fd11402a8bf28ed002/pyModelChecking-0.1.5.tar.gz#sha256=41f8f07473e74d53bf30fcf5d3962011011cfab0fc083d2553098087205b075a (from https://pypi.org/simple/pymodelchecking/), version: 0.1.5 Skipping link https://files.pythonhosted.org/packages/8f/6a/08dff640207d8c22d0d2ba71451150609367029ed30496c36e7e1ff17368/pyModelChecking-0.2-py2-none-any.whl#sha256=5443a75a3880142024d239e0afd53ae566bd76f9cd7e167c4ee9adac5b197400 (from https://pypi.org/simple/pymodelchecking/); it is not compatible with this Python Found link https://files.pythonhosted.org/packages/7f/81/5dc9a572e4c5378ad6f2995b8158993d58b2b7783ac5dbd4660b5265e16f/pyModelChecking-0.2.tar.gz#sha256=1ee62ae4eb16bfa86fd102d35344bffa00dfb7ec61fc089bcf9c7f073e6c8f25 (from https://pypi.org/simple/pymodelchecking/), version: 0.2 Using version 0.2 (newest of versions: 0.2) Created temporary directory: /tmp/pip-unpack-c7jfa4l5 Downloading https://files.pythonhosted.org/packages/7f/81/5dc9a572e4c5378ad6f2995b8158993d58b2b7783ac5dbd4660b5265e16f/pyModelChecking-0.2.tar.gz Downloading from URL https://files.pythonhosted.org/packages/7f/81/5dc9a572e4c5378ad6f2995b8158993d58b2b7783ac5dbd4660b5265e16f/pyModelChecking-0.2.tar.gz#sha256=1ee62ae4eb16bfa86fd102d35344bffa00dfb7ec61fc089bcf9c7f073e6c8f25 (from https://pypi.org/simple/pymodelchecking/) Added pyModelChecking==0.2 from https://files.pythonhosted.org/packages/7f/81/5dc9a572e4c5378ad6f2995b8158993d58b2b7783ac5dbd4660b5265e16f/pyModelChecking-0.2.tar.gz#sha256=1ee62ae4eb16bfa86fd102d35344bffa00dfb7ec61fc089bcf9c7f073e6c8f25 to build tracker '/tmp/pip-req-tracker-ecbwq07w' Running setup.py (path:/tmp/pip-wheel-f4wl9abx/pyModelChecking/setup.py) egg_info for package pyModelChecking Running command python setup.py egg_info running egg_info creating pip-egg-info/pyModelChecking.egg-info writing top-level names to pip-egg-info/pyModelChecking.egg-info/top_level.txt writing pip-egg-info/pyModelChecking.egg-info/PKG-INFO writing dependency_links to pip-egg-info/pyModelChecking.egg-info/dependency_links.txt writing manifest file 'pip-egg-info/pyModelChecking.egg-info/SOURCES.txt' reading manifest file 'pip-egg-info/pyModelChecking.egg-info/SOURCES.txt' reading manifest template 'MANIFEST.in' writing manifest file 'pip-egg-info/pyModelChecking.egg-info/SOURCES.txt' Source in /tmp/pip-wheel-f4wl9abx/pyModelChecking has version 0.2, which satisfies requirement pyModelChecking==0.2 from https://files.pythonhosted.org/packages/7f/81/5dc9a572e4c5378ad6f2995b8158993d58b2b7783ac5dbd4660b5265e16f/pyModelChecking-0.2.tar.gz#sha256=1ee62ae4eb16bfa86fd102d35344bffa00dfb7ec61fc089bcf9c7f073e6c8f25 Removed pyModelChecking==0.2 from https://files.pythonhosted.org/packages/7f/81/5dc9a572e4c5378ad6f2995b8158993d58b2b7783ac5dbd4660b5265e16f/pyModelChecking-0.2.tar.gz#sha256=1ee62ae4eb16bfa86fd102d35344bffa00dfb7ec61fc089bcf9c7f073e6c8f25 from build tracker '/tmp/pip-req-tracker-ecbwq07w' Building wheels for collected packages: pyModelChecking Created temporary directory: /tmp/pip-wheel-ua1780dy Running setup.py bdist_wheel for pyModelChecking: started Destination directory: /tmp/pip-wheel-ua1780dy Running command /usr/bin/python3 -u -c "import setuptools, tokenize;__file__='/tmp/pip-wheel-f4wl9abx/pyModelChecking/setup.py';f=getattr(tokenize, 'open', open)(__file__);code=f.read().replace('\r\n', '\n');f.close();exec(compile(code, __file__, 'exec'))" bdist_wheel -d /tmp/pip-wheel-ua1780dy running bdist_wheel running build running build_py creating build creating build/lib creating build/lib/pyModelChecking copying pyModelChecking/language.py -> build/lib/pyModelChecking copying pyModelChecking/graph.py -> build/lib/pyModelChecking copying pyModelChecking/__init__.py -> build/lib/pyModelChecking copying pyModelChecking/kripke.py -> build/lib/pyModelChecking creating build/lib/tests copying tests/test_CTL_modelchecking.py -> build/lib/tests copying tests/test_CTLS_modelchecking.py -> build/lib/tests copying tests/test_CTLS_language.py -> build/lib/tests copying tests/__init__.py -> build/lib/tests copying tests/test_graph.py -> build/lib/tests copying tests/test_LTL_modelchecking.py -> build/lib/tests copying tests/test_CTL_language.py -> build/lib/tests copying tests/test_OBDD.py -> build/lib/tests copying tests/test_kripke.py -> build/lib/tests creating build/lib/pyModelChecking/CTLS copying pyModelChecking/CTLS/language.py -> build/lib/pyModelChecking/CTLS copying pyModelChecking/CTLS/model_checking.py -> build/lib/pyModelChecking/CTLS copying pyModelChecking/CTLS/__init__.py -> build/lib/pyModelChecking/CTLS creating build/lib/pyModelChecking/BDD copying pyModelChecking/BDD/ordering.py -> build/lib/pyModelChecking/BDD copying pyModelChecking/BDD/__init__.py -> build/lib/pyModelChecking/BDD copying pyModelChecking/BDD/OBDD.py -> build/lib/pyModelChecking/BDD copying pyModelChecking/BDD/BDD.py -> build/lib/pyModelChecking/BDD creating build/lib/pyModelChecking/CTL copying pyModelChecking/CTL/language.py -> build/lib/pyModelChecking/CTL copying pyModelChecking/CTL/model_checking.py -> build/lib/pyModelChecking/CTL copying pyModelChecking/CTL/__init__.py -> build/lib/pyModelChecking/CTL creating build/lib/pyModelChecking/LTL copying pyModelChecking/LTL/language.py -> build/lib/pyModelChecking/LTL copying pyModelChecking/LTL/model_checking.py -> build/lib/pyModelChecking/LTL copying pyModelChecking/LTL/__init__.py -> build/lib/pyModelChecking/LTL installing to build/bdist.linux-armv7l/wheel running install running install_lib creating build/bdist.linux-armv7l creating build/bdist.linux-armv7l/wheel creating build/bdist.linux-armv7l/wheel/pyModelChecking copying build/lib/pyModelChecking/language.py -> build/bdist.linux-armv7l/wheel/pyModelChecking creating build/bdist.linux-armv7l/wheel/pyModelChecking/CTLS copying build/lib/pyModelChecking/CTLS/language.py -> build/bdist.linux-armv7l/wheel/pyModelChecking/CTLS copying build/lib/pyModelChecking/CTLS/model_checking.py -> build/bdist.linux-armv7l/wheel/pyModelChecking/CTLS copying build/lib/pyModelChecking/CTLS/__init__.py -> build/bdist.linux-armv7l/wheel/pyModelChecking/CTLS creating build/bdist.linux-armv7l/wheel/pyModelChecking/BDD copying build/lib/pyModelChecking/BDD/ordering.py -> build/bdist.linux-armv7l/wheel/pyModelChecking/BDD copying build/lib/pyModelChecking/BDD/__init__.py -> build/bdist.linux-armv7l/wheel/pyModelChecking/BDD copying build/lib/pyModelChecking/BDD/OBDD.py -> build/bdist.linux-armv7l/wheel/pyModelChecking/BDD copying build/lib/pyModelChecking/BDD/BDD.py -> build/bdist.linux-armv7l/wheel/pyModelChecking/BDD copying build/lib/pyModelChecking/graph.py -> build/bdist.linux-armv7l/wheel/pyModelChecking creating build/bdist.linux-armv7l/wheel/pyModelChecking/CTL copying build/lib/pyModelChecking/CTL/language.py -> build/bdist.linux-armv7l/wheel/pyModelChecking/CTL copying build/lib/pyModelChecking/CTL/model_checking.py -> build/bdist.linux-armv7l/wheel/pyModelChecking/CTL copying build/lib/pyModelChecking/CTL/__init__.py -> build/bdist.linux-armv7l/wheel/pyModelChecking/CTL copying build/lib/pyModelChecking/__init__.py -> build/bdist.linux-armv7l/wheel/pyModelChecking copying build/lib/pyModelChecking/kripke.py -> build/bdist.linux-armv7l/wheel/pyModelChecking creating build/bdist.linux-armv7l/wheel/pyModelChecking/LTL copying build/lib/pyModelChecking/LTL/language.py -> build/bdist.linux-armv7l/wheel/pyModelChecking/LTL copying build/lib/pyModelChecking/LTL/model_checking.py -> build/bdist.linux-armv7l/wheel/pyModelChecking/LTL copying build/lib/pyModelChecking/LTL/__init__.py -> build/bdist.linux-armv7l/wheel/pyModelChecking/LTL creating build/bdist.linux-armv7l/wheel/tests copying build/lib/tests/test_CTL_modelchecking.py -> build/bdist.linux-armv7l/wheel/tests copying build/lib/tests/test_CTLS_modelchecking.py -> build/bdist.linux-armv7l/wheel/tests copying build/lib/tests/test_CTLS_language.py -> build/bdist.linux-armv7l/wheel/tests copying build/lib/tests/__init__.py -> build/bdist.linux-armv7l/wheel/tests copying build/lib/tests/test_graph.py -> build/bdist.linux-armv7l/wheel/tests copying build/lib/tests/test_LTL_modelchecking.py -> build/bdist.linux-armv7l/wheel/tests copying build/lib/tests/test_CTL_language.py -> build/bdist.linux-armv7l/wheel/tests copying build/lib/tests/test_OBDD.py -> build/bdist.linux-armv7l/wheel/tests copying build/lib/tests/test_kripke.py -> build/bdist.linux-armv7l/wheel/tests running install_egg_info running egg_info writing top-level names to pyModelChecking.egg-info/top_level.txt writing dependency_links to pyModelChecking.egg-info/dependency_links.txt writing pyModelChecking.egg-info/PKG-INFO reading manifest file 'pyModelChecking.egg-info/SOURCES.txt' reading manifest template 'MANIFEST.in' writing manifest file 'pyModelChecking.egg-info/SOURCES.txt' Copying pyModelChecking.egg-info to build/bdist.linux-armv7l/wheel/pyModelChecking-0.2-py3.4.egg-info running install_scripts creating build/bdist.linux-armv7l/wheel/pyModelChecking-0.2.dist-info/WHEEL creating '/tmp/pip-wheel-ua1780dy/pyModelChecking-0.2-py3-none-any.whl' and adding '.' to it adding 'pyModelChecking/__init__.py' adding 'pyModelChecking/graph.py' adding 'pyModelChecking/kripke.py' adding 'pyModelChecking/language.py' adding 'pyModelChecking/BDD/BDD.py' adding 'pyModelChecking/BDD/OBDD.py' adding 'pyModelChecking/BDD/__init__.py' adding 'pyModelChecking/BDD/ordering.py' adding 'pyModelChecking/CTL/__init__.py' adding 'pyModelChecking/CTL/language.py' adding 'pyModelChecking/CTL/model_checking.py' adding 'pyModelChecking/CTLS/__init__.py' adding 'pyModelChecking/CTLS/language.py' adding 'pyModelChecking/CTLS/model_checking.py' adding 'pyModelChecking/LTL/__init__.py' adding 'pyModelChecking/LTL/language.py' adding 'pyModelChecking/LTL/model_checking.py' adding 'tests/__init__.py' adding 'tests/test_CTLS_language.py' adding 'tests/test_CTLS_modelchecking.py' adding 'tests/test_CTL_language.py' adding 'tests/test_CTL_modelchecking.py' adding 'tests/test_LTL_modelchecking.py' adding 'tests/test_OBDD.py' adding 'tests/test_graph.py' adding 'tests/test_kripke.py' adding 'pyModelChecking-0.2.dist-info/top_level.txt' adding 'pyModelChecking-0.2.dist-info/WHEEL' adding 'pyModelChecking-0.2.dist-info/METADATA' adding 'pyModelChecking-0.2.dist-info/RECORD' removing build/bdist.linux-armv7l/wheel Running setup.py bdist_wheel for pyModelChecking: finished with status 'done' Stored in directory: /tmp/tmpca3xs20x Successfully built pyModelChecking Cleaning up... Removing source in /tmp/pip-wheel-f4wl9abx/pyModelChecking Removed build tracker '/tmp/pip-req-tracker-ecbwq07w'