Created temporary directory: /tmp/pip-ephem-wheel-cache-fw5gk990
Created temporary directory: /tmp/pip-wheel-h9jalw7g
Looking in indexes: https://pypi.python.org/simple
Collecting ltlf2dfa==0.1.8
  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
    Found link https://files.pythonhosted.org/packages/38/6e/265fe8676fe7e0355d07e60dd039a386b9727ec21be68cd563652061432e/ltlf2dfa-0.1.2.post1-py3-none-any.whl#sha256=f33eec43f571ce5854bc74ad6544ebd035ea56ed5b5fb33556a7c52a7a2aa0b0 (from https://pypi.org/simple/ltlf2dfa/), version: 0.1.2.post1
    Found link https://files.pythonhosted.org/packages/91/c9/4fce083c7c7867a166210e7c1f09b7460a2cd18b69b389e9aae48b983eca/ltlf2dfa-0.1.2.post1.tar.gz#sha256=2b45e02e09ab5d04d775376ca0b2b8a596b1c89b52c19d4fe5abb54f5b57e0a7 (from https://pypi.org/simple/ltlf2dfa/), version: 0.1.2.post1
    Found link https://files.pythonhosted.org/packages/7f/54/01e565bc2ddf0749f306dc6bfcfc33e82494fbc93b09151147dfb3953050/ltlf2dfa-0.1.2.post2-py3-none-any.whl#sha256=58f2f4117ef96ded087e75c5bb82642660667789228e10e6f990ecdb0594ef85 (from https://pypi.org/simple/ltlf2dfa/), version: 0.1.2.post2
    Found link https://files.pythonhosted.org/packages/b9/a2/8a508cb5a752ef9b4c61c58a9ecca02dc511c5727154e2696783282eac4e/ltlf2dfa-0.1.2.post2.tar.gz#sha256=6aefb3ee93e0973068dd87d69f33e89283b880a9e0823d60a7382be9294255c2 (from https://pypi.org/simple/ltlf2dfa/), version: 0.1.2.post2
    Found link https://files.pythonhosted.org/packages/33/5e/a40eff8734d51dc30fd4e9a84bb9509ad1a47d6b3bb3f2028312cb95532c/ltlf2dfa-0.1.3-py3-none-any.whl#sha256=b97f6d5887921866249aa28da3203325891f73e5da3e085046f3ff59c8f288d2 (from https://pypi.org/simple/ltlf2dfa/), version: 0.1.3
    Found link https://files.pythonhosted.org/packages/d4/96/5d1d57df17e6538bd1f5a633ca2e75cbbd5f69aebc2c16763b9becf42e7e/ltlf2dfa-0.1.3.tar.gz#sha256=76d73a589cfc3117cddf8ad2fd4c0b7ba4d47bf4f1972fcc17a37e129111f44c (from https://pypi.org/simple/ltlf2dfa/), version: 0.1.3
    Found link https://files.pythonhosted.org/packages/c1/ca/116e7cc12ae5d0d316c000f28c791335f8e2aa90d4a6bf4e541095961807/ltlf2dfa-0.1.4-py3-none-any.whl#sha256=67c091bc5fec9875e7630591c8a07989647edaa4c5c0436deb59982964efe27f (from https://pypi.org/simple/ltlf2dfa/), version: 0.1.4
    Found link https://files.pythonhosted.org/packages/78/73/9e119bb2869c9b2a04e270135a0c79419174759420bb242dbd0fdc667fd3/ltlf2dfa-0.1.4.tar.gz#sha256=1e1b66653c898eb78c2b3b4f999c75b078f02c4807155cb08e38b9adb888902a (from https://pypi.org/simple/ltlf2dfa/), version: 0.1.4
    Found link https://files.pythonhosted.org/packages/40/0f/b7d635143a734a46fe669a7d0d2b1be040761834101bc0ed68dac5b99c86/ltlf2dfa-0.1.5-py3-none-any.whl#sha256=e6e42bcd04af53d2515513b4a3233dfe81a653962547184d9f1ddfb916f0c37d (from https://pypi.org/simple/ltlf2dfa/), version: 0.1.5
    Found link https://files.pythonhosted.org/packages/14/f9/b60c5ee7b3e628c81d01a048bf81dc38b3b6001ff0b78522cff7ebd7e298/ltlf2dfa-0.1.5.tar.gz#sha256=0fade1a0a679fd8bc02bc1416fa49fa597ccb79c31f31ed46876bf2122e439c0 (from https://pypi.org/simple/ltlf2dfa/), version: 0.1.5
    Found link https://files.pythonhosted.org/packages/36/73/8561eee4f4049c90c09d9509b625d7896f3f5db8f161504775c72fd3502a/ltlf2dfa-0.1.6-py3-none-any.whl#sha256=87d65702cfa32e9815b1b67e887efb5b439ec85c4303164bd9ba007362a56124 (from https://pypi.org/simple/ltlf2dfa/), version: 0.1.6
    Found link https://files.pythonhosted.org/packages/88/62/834fb60b073411e0f9c34907a498a42e1a2621a0b2aeb71a18eb6a55d6df/ltlf2dfa-0.1.6.tar.gz#sha256=50b3e35848b3ea2bced6067548f0fef383b691585613a2e1c978b37fc0c12ead (from https://pypi.org/simple/ltlf2dfa/), version: 0.1.6
    Found link https://files.pythonhosted.org/packages/45/8f/05a73b2f45c8e385f945d7e081c021c7b366afbc696b550cce7ce4f6b856/ltlf2dfa-0.1.7-py3-none-any.whl#sha256=6dd372ca27be55ec13b37e9bdcf46593e6c554d8d190ee9b45dd4ea16ebac567 (from https://pypi.org/simple/ltlf2dfa/), version: 0.1.7
    Found link https://files.pythonhosted.org/packages/8a/e7/7f0a16c24134375aa3c34deb554838619f7a629ec9dc8d7a21ff59c5a9ec/ltlf2dfa-0.1.7.tar.gz#sha256=2a30717b12d03bbc568599f5e9c5b01b23517504bf7f88ea4fd1aa6303411214 (from https://pypi.org/simple/ltlf2dfa/), version: 0.1.7
    Found link https://files.pythonhosted.org/packages/9b/ee/b87a3a8068081f8764c1c0c1a8f4950361cebb8ba45ec94ad1ebe259f1a1/ltlf2dfa-0.1.8-py3-none-any.whl#sha256=573a3e4f55c1314c5d3a7f3f646aa96a89ffd2062641d583af678b8fa9e15fab (from https://pypi.org/simple/ltlf2dfa/), version: 0.1.8
    Found link https://files.pythonhosted.org/packages/2b/ab/66d9acfb3f6019746409662072af98f9e3d24fdd8130d12d9e2f9a6086df/ltlf2dfa-0.1.8.tar.gz#sha256=97b4a4213968696c5be564ae799b2ffe193c57e44f9b0bf85aa6b6d401a4b9b9 (from https://pypi.org/simple/ltlf2dfa/), version: 0.1.8
  Using version 0.1.8 (newest of versions: 0.1.8)
  Created temporary directory: /tmp/pip-unpack-7m1_tcce
  Downloading https://files.pythonhosted.org/packages/9b/ee/b87a3a8068081f8764c1c0c1a8f4950361cebb8ba45ec94ad1ebe259f1a1/ltlf2dfa-0.1.8-py3-none-any.whl (173kB)
  Downloading from URL https://files.pythonhosted.org/packages/9b/ee/b87a3a8068081f8764c1c0c1a8f4950361cebb8ba45ec94ad1ebe259f1a1/ltlf2dfa-0.1.8-py3-none-any.whl#sha256=573a3e4f55c1314c5d3a7f3f646aa96a89ffd2062641d583af678b8fa9e15fab (from https://pypi.org/simple/ltlf2dfa/)
  Saved /tmp/tmp8uw8u02o/ltlf2dfa-0.1.8-py3-none-any.whl
Skipping ltlf2dfa, due to already being wheel.
Cleaning up...
  Removing source in /tmp/pip-wheel-h9jalw7g/ltlf2dfa