Collecting ltlf2dfa==0.1.4
  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
  Using version 0.1.4 (newest of versions: 0.1.4)
  Downloading https://files.pythonhosted.org/packages/c1/ca/116e7cc12ae5d0d316c000f28c791335f8e2aa90d4a6bf4e541095961807/ltlf2dfa-0.1.4-py3-none-any.whl (173kB)
  Downloading from URL https://files.pythonhosted.org/packages/c1/ca/116e7cc12ae5d0d316c000f28c791335f8e2aa90d4a6bf4e541095961807/ltlf2dfa-0.1.4-py3-none-any.whl#sha256=67c091bc5fec9875e7630591c8a07989647edaa4c5c0436deb59982964efe27f (from https://pypi.org/simple/ltlf2dfa/)
  Saved /tmp/tmp6595qltr/ltlf2dfa-0.1.4-py3-none-any.whl
Skipping ltlf2dfa, due to already being wheel.
Cleaning up...
  Removing source in /tmp/pip-build-b_rb_p8q/ltlf2dfa