Created temporary directory: /tmp/pip-ephem-wheel-cache-hk8zqm9o
Created temporary directory: /tmp/pip-req-tracker-nhcj051t
Created requirements tracker '/tmp/pip-req-tracker-nhcj051t'
Created temporary directory: /tmp/pip-wheel-vo3l5vgd
Looking in indexes: https://pypi.python.org/simple
Collecting ltlf2dfa==0.2.0.post3
  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
    Found link https://files.pythonhosted.org/packages/5a/2c/6895a9aef7d9688a4fa75f4af3dcc92554b073ec84ea7798aefead4fe597/ltlf2dfa-0.1.9-py3-none-any.whl#sha256=a0ac88be253af9bb0c7e05cd8165deea01a006c9d4162f1cd958f69db3cc418d (from https://pypi.org/simple/ltlf2dfa/), version: 0.1.9
    Found link https://files.pythonhosted.org/packages/2f/78/de71bed80a1e69b06abc371a685a5dec81672b79424fa6c74bfedf163b31/ltlf2dfa-0.1.9.tar.gz#sha256=b4246981fedda7c6f9a74e2634e73ea8abe14f76f89c47b1f594711208d1292c (from https://pypi.org/simple/ltlf2dfa/), version: 0.1.9
    Found link https://files.pythonhosted.org/packages/f6/a3/2f19a8a06d8276968d714004920ce92d60e9b0b59a5277c3ede6de898388/ltlf2dfa-0.2.0-py3-none-any.whl#sha256=631abafc61033b3edec9284f62ba05d954d32f35662e64cf9729c5a82912c52d (from https://pypi.org/simple/ltlf2dfa/), version: 0.2.0
    Found link https://files.pythonhosted.org/packages/61/9d/8f2e8970f288d6e7ba442530a5c3c192c344a65b6281f6cafb96501c8ca3/ltlf2dfa-0.2.0.tar.gz#sha256=a9a271fbeb7825b69b8512605ff3ee962ae589ddfaec03111e32500da20bf960 (from https://pypi.org/simple/ltlf2dfa/), version: 0.2.0
    Found link https://files.pythonhosted.org/packages/8d/36/b3276ef480c0adece0b821a1a8552c909eba39da09f6a60a6afda99a1bb3/ltlf2dfa-0.2.0.post0-py3-none-any.whl#sha256=a0987779a6d2c66d541011d3798c4251cb7fe7d8ef5f816227aa765accdc0641 (from https://pypi.org/simple/ltlf2dfa/), version: 0.2.0.post0
    Found link https://files.pythonhosted.org/packages/55/3c/0eac8bff0b7ebb00517fc780285838b8a02be588a83f52c454814e512c92/ltlf2dfa-0.2.0.post0.tar.gz#sha256=f738141bedf4dcf05b9b82ff5cb4640cde3bf1fce8a98f8893a2af084ec816ef (from https://pypi.org/simple/ltlf2dfa/), version: 0.2.0.post0
    Found link https://files.pythonhosted.org/packages/bf/70/72230ddef95d1fba46e5c184ee22c07b4c8e403c87ce3ed8d919a6266b20/ltlf2dfa-0.2.0.post1-py3-none-any.whl#sha256=cbb15a7372d15cb36751216ec8b2f1552f53dec99ccc5b7778d0652a00e190ff (from https://pypi.org/simple/ltlf2dfa/), version: 0.2.0.post1
    Found link https://files.pythonhosted.org/packages/a3/08/18ee58c2efdf3bec41bb2e8ba9ff294afb7e936cdf3a14aa1ac461a09c54/ltlf2dfa-0.2.0.post1.tar.gz#sha256=9a2fb19169a618fade7fad28ce0b93fd72cd5c92925c4a0cfaa233632494fbbc (from https://pypi.org/simple/ltlf2dfa/), version: 0.2.0.post1
    Found link https://files.pythonhosted.org/packages/9b/40/36133aadaf260ee6c52fbc09509ff08ee915de89a2d5df716105b3fbfec8/ltlf2dfa-0.2.0.post2-py3-none-any.whl#sha256=8bcd002d236edba6a4633d8fd4798890b99db3bc73af136798963035b836f6d6 (from https://pypi.org/simple/ltlf2dfa/), version: 0.2.0.post2
    Found link https://files.pythonhosted.org/packages/34/37/d69bb9f46bdd54fb4feaada9ea605964cb09ff8a1e31ee34a37c3a3941f9/ltlf2dfa-0.2.0.post2.tar.gz#sha256=1d96944887748c23ced7255f44b6c4181ac3b88cd9c1a970d1743af1aa48c962 (from https://pypi.org/simple/ltlf2dfa/), version: 0.2.0.post2
    Found link https://files.pythonhosted.org/packages/a5/5d/675231d4fd81dcffc91f627e37e217506797623b4d20b225ca0204e0a058/ltlf2dfa-0.2.0.post3-py3-none-any.whl#sha256=a8fdc3ab3e64fad54fd6b7d36dda3936308dc1750c2862a0936d6bda85247713 (from https://pypi.org/simple/ltlf2dfa/), version: 0.2.0.post3
    Found link https://files.pythonhosted.org/packages/5b/27/71d736b58b0c0449c171bddf1f98acbee2a71834d60ed894fb14034bf3fd/ltlf2dfa-0.2.0.post3.tar.gz#sha256=eaf43251289532c23c0f7483ecc6515decbce11988e2c95b205fe0fbc6aa5bb8 (from https://pypi.org/simple/ltlf2dfa/), version: 0.2.0.post3
  Using version 0.2.0.post3 (newest of versions: 0.2.0.post3)
  Created temporary directory: /tmp/pip-unpack-yknrn7ia
  Downloading https://files.pythonhosted.org/packages/a5/5d/675231d4fd81dcffc91f627e37e217506797623b4d20b225ca0204e0a058/ltlf2dfa-0.2.0.post3-py3-none-any.whl (173kB)
  Downloading from URL https://files.pythonhosted.org/packages/a5/5d/675231d4fd81dcffc91f627e37e217506797623b4d20b225ca0204e0a058/ltlf2dfa-0.2.0.post3-py3-none-any.whl#sha256=a8fdc3ab3e64fad54fd6b7d36dda3936308dc1750c2862a0936d6bda85247713 (from https://pypi.org/simple/ltlf2dfa/)
  Saved /tmp/tmpwr9xt3kk/ltlf2dfa-0.2.0.post3-py3-none-any.whl
  Added ltlf2dfa==0.2.0.post3 from https://files.pythonhosted.org/packages/a5/5d/675231d4fd81dcffc91f627e37e217506797623b4d20b225ca0204e0a058/ltlf2dfa-0.2.0.post3-py3-none-any.whl#sha256=a8fdc3ab3e64fad54fd6b7d36dda3936308dc1750c2862a0936d6bda85247713 to build tracker '/tmp/pip-req-tracker-nhcj051t'
  Removed ltlf2dfa==0.2.0.post3 from https://files.pythonhosted.org/packages/a5/5d/675231d4fd81dcffc91f627e37e217506797623b4d20b225ca0204e0a058/ltlf2dfa-0.2.0.post3-py3-none-any.whl#sha256=a8fdc3ab3e64fad54fd6b7d36dda3936308dc1750c2862a0936d6bda85247713 from build tracker '/tmp/pip-req-tracker-nhcj051t'
Skipping ltlf2dfa, due to already being wheel.
Cleaning up...
  Removing source in /tmp/pip-wheel-vo3l5vgd/ltlf2dfa
Removed build tracker '/tmp/pip-req-tracker-nhcj051t'