2019-08-05T15:04:17 Created temporary directory: /tmp/pip-ephem-wheel-cache-byl97h28
2019-08-05T15:04:17 Created temporary directory: /tmp/pip-req-tracker-rqwdxkez
2019-08-05T15:04:17 Created requirements tracker '/tmp/pip-req-tracker-rqwdxkez'
2019-08-05T15:04:17 Created temporary directory: /tmp/pip-wheel-rfmoaoao
2019-08-05T15:04:17 Collecting imandra==0.1.5
2019-08-05T15:04:17   1 location(s) to search for versions of imandra:
2019-08-05T15:04:17   * https://pypi.org/simple/imandra/
2019-08-05T15:04:17   Getting page https://pypi.org/simple/imandra/
2019-08-05T15:04:17   Analyzing links from page https://pypi.org/simple/imandra/
2019-08-05T15:04:17     Found link https://files.pythonhosted.org/packages/ab/15/5869f913d3290163e477aed1965d9dce68676bb2c6fcd9240ad1896773f8/imandra-0.1.3-py3-none-any.whl#sha256=30e2fdb107964061e765814f34de28effcd6389d981277ae23615b53b95bf278 (from https://pypi.org/simple/imandra/), version: 0.1.3
2019-08-05T15:04:17     Found link https://files.pythonhosted.org/packages/bf/4d/ae7ed042215314ce9bb17392d928f79a811cf7b040fcf5a2892aca89d283/imandra-0.1.3.tar.gz#sha256=3cf9a1e4ab1105c20d647ae2f8a74fd6efaa30b11afbb748eedbef2ee0d0ef0c (from https://pypi.org/simple/imandra/), version: 0.1.3
2019-08-05T15:04:17     Found link https://files.pythonhosted.org/packages/fa/84/094146b705f0d94afda4ff256e368fef0150bee18b7e6861c38393d6c8c5/imandra-0.1.4-py3-none-any.whl#sha256=b679d11e49970647fad7d1fbd8a46b2f325ed50f4e15d722345567ed882e5357 (from https://pypi.org/simple/imandra/), version: 0.1.4
2019-08-05T15:04:17     Found link https://files.pythonhosted.org/packages/de/ca/8c41eeb73ce363d1493159ab0de018ea0807cb9a45fd64bd48c24aa34a5e/imandra-0.1.4.tar.gz#sha256=2897c4e1632687b9d8e98cf199233faba6e8341b574b30e67aa3fa9f44c9b4bf (from https://pypi.org/simple/imandra/), version: 0.1.4
2019-08-05T15:04:17     Found link https://files.pythonhosted.org/packages/54/5e/7b9d2181be86300eab4ea3f5c69b21d1992dab20132eabc95c6b5b6c2a3d/imandra-0.1.5-py3-none-any.whl#sha256=84ae76c5c35a8e017eb39f7ca1f25ce37a9a1760d9c99e1cd607f48c8254d4dc (from https://pypi.org/simple/imandra/), version: 0.1.5
2019-08-05T15:04:17     Found link https://files.pythonhosted.org/packages/95/3b/6a74e2e8f7f5652585c40c4f01410cdd07011c952872eff77fb9bdb0129c/imandra-0.1.5.tar.gz#sha256=03fc1b025a3342140eb890541a94db161b1dac3d5982c16167515d57fe4b83ba (from https://pypi.org/simple/imandra/), version: 0.1.5
2019-08-05T15:04:17   Using version 0.1.5 (newest of versions: 0.1.5)
2019-08-05T15:04:17   Created temporary directory: /tmp/pip-unpack-93sjr2n_
2019-08-05T15:04:17   Downloading https://files.pythonhosted.org/packages/54/5e/7b9d2181be86300eab4ea3f5c69b21d1992dab20132eabc95c6b5b6c2a3d/imandra-0.1.5-py3-none-any.whl
2019-08-05T15:04:17   Downloading from URL https://files.pythonhosted.org/packages/54/5e/7b9d2181be86300eab4ea3f5c69b21d1992dab20132eabc95c6b5b6c2a3d/imandra-0.1.5-py3-none-any.whl#sha256=84ae76c5c35a8e017eb39f7ca1f25ce37a9a1760d9c99e1cd607f48c8254d4dc (from https://pypi.org/simple/imandra/)
2019-08-05T15:04:17   Saved /tmp/tmpx26iogy4/imandra-0.1.5-py3-none-any.whl
2019-08-05T15:04:17   Added imandra==0.1.5 from https://files.pythonhosted.org/packages/54/5e/7b9d2181be86300eab4ea3f5c69b21d1992dab20132eabc95c6b5b6c2a3d/imandra-0.1.5-py3-none-any.whl#sha256=84ae76c5c35a8e017eb39f7ca1f25ce37a9a1760d9c99e1cd607f48c8254d4dc to build tracker '/tmp/pip-req-tracker-rqwdxkez'
2019-08-05T15:04:17   Removed imandra==0.1.5 from https://files.pythonhosted.org/packages/54/5e/7b9d2181be86300eab4ea3f5c69b21d1992dab20132eabc95c6b5b6c2a3d/imandra-0.1.5-py3-none-any.whl#sha256=84ae76c5c35a8e017eb39f7ca1f25ce37a9a1760d9c99e1cd607f48c8254d4dc from build tracker '/tmp/pip-req-tracker-rqwdxkez'
2019-08-05T15:04:17 Skipping imandra, due to already being wheel.
2019-08-05T15:04:17 Cleaning up...
2019-08-05T15:04:17   Removing source in /tmp/pip-wheel-rfmoaoao/imandra
2019-08-05T15:04:17 Removed build tracker '/tmp/pip-req-tracker-rqwdxkez'