Created temporary directory: /tmp/pip-ephem-wheel-cache-ppzm6ff5
Created temporary directory: /tmp/pip-req-tracker-q9wep85c
Created requirements tracker '/tmp/pip-req-tracker-q9wep85c'
Created temporary directory: /tmp/pip-wheel-poc_649l
Collecting imandra==0.1.4
  1 location(s) to search for versions of imandra:
  * https://pypi.org/simple/imandra/
  Getting page https://pypi.org/simple/imandra/
  Analyzing links from page https://pypi.org/simple/imandra/
    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
    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
    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
    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
  Using version 0.1.4 (newest of versions: 0.1.4)
  Created temporary directory: /tmp/pip-unpack-0zh7lcdc
  Downloading https://files.pythonhosted.org/packages/fa/84/094146b705f0d94afda4ff256e368fef0150bee18b7e6861c38393d6c8c5/imandra-0.1.4-py3-none-any.whl
  Downloading from URL https://files.pythonhosted.org/packages/fa/84/094146b705f0d94afda4ff256e368fef0150bee18b7e6861c38393d6c8c5/imandra-0.1.4-py3-none-any.whl#sha256=b679d11e49970647fad7d1fbd8a46b2f325ed50f4e15d722345567ed882e5357 (from https://pypi.org/simple/imandra/)
  Saved /tmp/tmp8u4137tt/imandra-0.1.4-py3-none-any.whl
  Added imandra==0.1.4 from https://files.pythonhosted.org/packages/fa/84/094146b705f0d94afda4ff256e368fef0150bee18b7e6861c38393d6c8c5/imandra-0.1.4-py3-none-any.whl#sha256=b679d11e49970647fad7d1fbd8a46b2f325ed50f4e15d722345567ed882e5357 to build tracker '/tmp/pip-req-tracker-q9wep85c'
  Removed imandra==0.1.4 from https://files.pythonhosted.org/packages/fa/84/094146b705f0d94afda4ff256e368fef0150bee18b7e6861c38393d6c8c5/imandra-0.1.4-py3-none-any.whl#sha256=b679d11e49970647fad7d1fbd8a46b2f325ed50f4e15d722345567ed882e5357 from build tracker '/tmp/pip-req-tracker-q9wep85c'
Skipping imandra, due to already being wheel.
Cleaning up...
  Removing source in /tmp/pip-wheel-poc_649l/imandra
Removed build tracker '/tmp/pip-req-tracker-q9wep85c'