Created temporary directory: /tmp/pip-ephem-wheel-cache-h8w2k_7c
Created temporary directory: /tmp/pip-req-tracker-2mzaz9ka
Created requirements tracker '/tmp/pip-req-tracker-2mzaz9ka'
Created temporary directory: /tmp/pip-wheel-0lip63lv
Looking in indexes: https://pypi.python.org/simple
Collecting pyModelChecking==0.1.1
  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
  Using version 0.1.1 (newest of versions: 0.1.1)
  Created temporary directory: /tmp/pip-unpack-9c56gitr
  Downloading https://files.pythonhosted.org/packages/f3/bf/2b3f95165aad5ed68f833773bac9702ee8c3d85382bfb7f6865f83ff19dd/pyModelChecking-0.1.1.tar.gz
  Downloading from URL https://files.pythonhosted.org/packages/f3/bf/2b3f95165aad5ed68f833773bac9702ee8c3d85382bfb7f6865f83ff19dd/pyModelChecking-0.1.1.tar.gz#sha256=5ebca2761b7bd79cfa137db9fe182afb1e3cb7f5f44898edbf15c715b9ae5d15 (from https://pypi.org/simple/pymodelchecking/)
  Added pyModelChecking==0.1.1 from https://files.pythonhosted.org/packages/f3/bf/2b3f95165aad5ed68f833773bac9702ee8c3d85382bfb7f6865f83ff19dd/pyModelChecking-0.1.1.tar.gz#sha256=5ebca2761b7bd79cfa137db9fe182afb1e3cb7f5f44898edbf15c715b9ae5d15 to build tracker '/tmp/pip-req-tracker-2mzaz9ka'
  Running setup.py (path:/tmp/pip-wheel-0lip63lv/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 dependency_links to pip-egg-info/pyModelChecking.egg-info/dependency_links.txt
    writing top-level names to pip-egg-info/pyModelChecking.egg-info/top_level.txt
    writing pip-egg-info/pyModelChecking.egg-info/PKG-INFO
    writing manifest file 'pip-egg-info/pyModelChecking.egg-info/SOURCES.txt'
    reading manifest file 'pip-egg-info/pyModelChecking.egg-info/SOURCES.txt'
    writing manifest file 'pip-egg-info/pyModelChecking.egg-info/SOURCES.txt'
  Source in /tmp/pip-wheel-0lip63lv/pyModelChecking has version 0.1.1, which satisfies requirement pyModelChecking==0.1.1 from https://files.pythonhosted.org/packages/f3/bf/2b3f95165aad5ed68f833773bac9702ee8c3d85382bfb7f6865f83ff19dd/pyModelChecking-0.1.1.tar.gz#sha256=5ebca2761b7bd79cfa137db9fe182afb1e3cb7f5f44898edbf15c715b9ae5d15
  Removed pyModelChecking==0.1.1 from https://files.pythonhosted.org/packages/f3/bf/2b3f95165aad5ed68f833773bac9702ee8c3d85382bfb7f6865f83ff19dd/pyModelChecking-0.1.1.tar.gz#sha256=5ebca2761b7bd79cfa137db9fe182afb1e3cb7f5f44898edbf15c715b9ae5d15 from build tracker '/tmp/pip-req-tracker-2mzaz9ka'
Building wheels for collected packages: pyModelChecking
  Created temporary directory: /tmp/pip-wheel-2emlt5k5
  Running setup.py bdist_wheel for pyModelChecking: started
  Destination directory: /tmp/pip-wheel-2emlt5k5
  Running command /usr/bin/python3 -u -c "import setuptools, tokenize;__file__='/tmp/pip-wheel-0lip63lv/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-2emlt5k5
  running bdist_wheel
  running build
  running build_py
  creating build
  creating build/lib
  creating 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_graph.py -> build/lib/tests
  copying tests/test_CTLS_modelchecking.py -> build/lib/tests
  copying tests/__init__.py -> build/lib/tests
  copying tests/test_kripke.py -> build/lib/tests
  copying tests/test_OBDD.py -> build/lib/tests
  copying tests/test_CTLS_language.py -> build/lib/tests
  copying tests/test_CTL_modelchecking.py -> build/lib/tests
  copying tests/test_LTL_modelchecking.py -> build/lib/tests
  copying tests/test_CTL_language.py -> build/lib/tests
  creating build/lib/pyModelChecking/CTLS
  copying pyModelChecking/CTLS/language.py -> build/lib/pyModelChecking/CTLS
  copying pyModelChecking/CTLS/__init__.py -> build/lib/pyModelChecking/CTLS
  copying pyModelChecking/CTLS/model_checking.py -> build/lib/pyModelChecking/CTLS
  creating build/lib/pyModelChecking/LTL
  copying pyModelChecking/LTL/language.py -> build/lib/pyModelChecking/LTL
  copying pyModelChecking/LTL/__init__.py -> build/lib/pyModelChecking/LTL
  copying pyModelChecking/LTL/model_checking.py -> build/lib/pyModelChecking/LTL
  creating build/lib/pyModelChecking/CTL
  copying pyModelChecking/CTL/language.py -> build/lib/pyModelChecking/CTL
  copying pyModelChecking/CTL/__init__.py -> build/lib/pyModelChecking/CTL
  copying pyModelChecking/CTL/model_checking.py -> build/lib/pyModelChecking/CTL
  creating build/lib/pyModelChecking/BDD
  copying pyModelChecking/BDD/OBDD.py -> build/lib/pyModelChecking/BDD
  copying pyModelChecking/BDD/__init__.py -> build/lib/pyModelChecking/BDD
  copying pyModelChecking/BDD/BDD.py -> build/lib/pyModelChecking/BDD
  copying pyModelChecking/BDD/ordering.py -> build/lib/pyModelChecking/BDD
  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/graph.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/__init__.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/__init__.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/__init__.py -> build/bdist.linux-armv7l/wheel/pyModelChecking/LTL
  copying build/lib/pyModelChecking/LTL/model_checking.py -> build/bdist.linux-armv7l/wheel/pyModelChecking/LTL
  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/__init__.py -> build/bdist.linux-armv7l/wheel/pyModelChecking/CTL
  copying build/lib/pyModelChecking/CTL/model_checking.py -> build/bdist.linux-armv7l/wheel/pyModelChecking/CTL
  creating 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/__init__.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/BDD/ordering.py -> build/bdist.linux-armv7l/wheel/pyModelChecking/BDD
  copying build/lib/pyModelChecking/kripke.py -> build/bdist.linux-armv7l/wheel/pyModelChecking
  creating build/bdist.linux-armv7l/wheel/tests
  copying build/lib/tests/test_graph.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/__init__.py -> build/bdist.linux-armv7l/wheel/tests
  copying build/lib/tests/test_kripke.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_CTLS_language.py -> 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_LTL_modelchecking.py -> build/bdist.linux-armv7l/wheel/tests
  copying build/lib/tests/test_CTL_language.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 pyModelChecking.egg-info/PKG-INFO
  writing dependency_links to pyModelChecking.egg-info/dependency_links.txt
  reading manifest file 'pyModelChecking.egg-info/SOURCES.txt'
  writing manifest file 'pyModelChecking.egg-info/SOURCES.txt'
  Copying pyModelChecking.egg-info to build/bdist.linux-armv7l/wheel/pyModelChecking-0.1.1-py3.4.egg-info
  running install_scripts
  creating build/bdist.linux-armv7l/wheel/pyModelChecking-0.1.1.dist-info/WHEEL
  creating '/tmp/pip-wheel-2emlt5k5/pyModelChecking-0.1.1-py3-none-any.whl' and adding '.' to it
  adding 'pyModelChecking/__init__.py'
  adding 'pyModelChecking/graph.py'
  adding 'pyModelChecking/kripke.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.1.1.dist-info/top_level.txt'
  adding 'pyModelChecking-0.1.1.dist-info/WHEEL'
  adding 'pyModelChecking-0.1.1.dist-info/METADATA'
  adding 'pyModelChecking-0.1.1.dist-info/RECORD'
  removing build/bdist.linux-armv7l/wheel
  Running setup.py bdist_wheel for pyModelChecking: finished with status 'done'
  Stored in directory: /tmp/tmprse1op1y
Successfully built pyModelChecking
Cleaning up...
  Removing source in /tmp/pip-wheel-0lip63lv/pyModelChecking
Removed build tracker '/tmp/pip-req-tracker-2mzaz9ka'