Created temporary directory: /tmp/pip-ephem-wheel-cache-d74hv7qh
Created temporary directory: /tmp/pip-wheel-7n2cmdq6
Looking in indexes: https://pypi.python.org/simple
Collecting ltlf2dfa==0.1.2.post0
  1 location(s) to search for versions of ltlf2dfa:
  * https://pypi.python.org/simple/ltlf2dfa/
  Getting page https://pypi.python.org/simple/ltlf2dfa/
  Analyzing links from page https://pypi.org/simple/ltlf2dfa/
    Found link https://files.pythonhosted.org/packages/f1/5e/a4d0209962c909e87968c7e0892f6fbd602d145ae701391d9e072a4fa344/ltlf2dfa-0.1.2-py3-none-any.whl#sha256=f25fedf7ac2cbe63062e84f08ebf68f912a772a769a783b4f9b008945e975657 (from https://pypi.org/simple/ltlf2dfa/), version: 0.1.2
    Found link https://files.pythonhosted.org/packages/58/f2/f3831dc17771c39052495e418572fe8d3e32682c91bebb8e55a199c51a1f/ltlf2dfa-0.1.2.tar.gz#sha256=28c41f619b403680d589271a1849e35c93d0fe0cfe3730a08efb387b10e883a6 (from https://pypi.org/simple/ltlf2dfa/), version: 0.1.2
    Found link https://files.pythonhosted.org/packages/45/03/149ad1f28d82111e60f5605aa9850234a319ed142b9bd439d100350db311/ltlf2dfa-0.1.2.post0-py3-none-any.whl#sha256=3a9683e71ee8919e990b042da5d63821d557a0230ba6e5ed6bb7f5b104df5a42 (from https://pypi.org/simple/ltlf2dfa/), version: 0.1.2.post0
    Found link https://files.pythonhosted.org/packages/b6/ca/1389ad85ea08446bc2f6261f6fe827897eb8b12f566c582bca609f43a687/ltlf2dfa-0.1.2.post0.tar.gz#sha256=8d8772690639055c0c71b279f442a5aafaf2beb3cc6f86d4bdfafa01a62c0e2d (from https://pypi.org/simple/ltlf2dfa/), version: 0.1.2.post0
  Using version 0.1.2.post0 (newest of versions: 0.1.2.post0)
  Created temporary directory: /tmp/pip-unpack-iv8b7041
  Downloading https://files.pythonhosted.org/packages/45/03/149ad1f28d82111e60f5605aa9850234a319ed142b9bd439d100350db311/ltlf2dfa-0.1.2.post0-py3-none-any.whl
  Downloading from URL https://files.pythonhosted.org/packages/45/03/149ad1f28d82111e60f5605aa9850234a319ed142b9bd439d100350db311/ltlf2dfa-0.1.2.post0-py3-none-any.whl#sha256=3a9683e71ee8919e990b042da5d63821d557a0230ba6e5ed6bb7f5b104df5a42 (from https://pypi.org/simple/ltlf2dfa/)
  Saved /tmp/tmptlnedw28/ltlf2dfa-0.1.2.post0-py3-none-any.whl
Skipping ltlf2dfa, due to already being wheel.
Cleaning up...
  Removing source in /tmp/pip-wheel-7n2cmdq6/ltlf2dfa