Created temporary directory: /tmp/pip-ephem-wheel-cache-tguw3uhi
Created temporary directory: /tmp/pip-req-tracker-shw3o54k
Created requirements tracker '/tmp/pip-req-tracker-shw3o54k'
Created temporary directory: /tmp/pip-wheel-z8ikbepm
Collecting imandra==0.1.3
  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
  Using version 0.1.3 (newest of versions: 0.1.3)
  Created temporary directory: /tmp/pip-unpack-mp7vk8o9
  Downloading https://files.pythonhosted.org/packages/ab/15/5869f913d3290163e477aed1965d9dce68676bb2c6fcd9240ad1896773f8/imandra-0.1.3-py3-none-any.whl
  Downloading from URL https://files.pythonhosted.org/packages/ab/15/5869f913d3290163e477aed1965d9dce68676bb2c6fcd9240ad1896773f8/imandra-0.1.3-py3-none-any.whl#sha256=30e2fdb107964061e765814f34de28effcd6389d981277ae23615b53b95bf278 (from https://pypi.org/simple/imandra/)
  Saved /tmp/tmpw41ht_8y/imandra-0.1.3-py3-none-any.whl
  Added imandra==0.1.3 from https://files.pythonhosted.org/packages/ab/15/5869f913d3290163e477aed1965d9dce68676bb2c6fcd9240ad1896773f8/imandra-0.1.3-py3-none-any.whl#sha256=30e2fdb107964061e765814f34de28effcd6389d981277ae23615b53b95bf278 to build tracker '/tmp/pip-req-tracker-shw3o54k'
  Removed imandra==0.1.3 from https://files.pythonhosted.org/packages/ab/15/5869f913d3290163e477aed1965d9dce68676bb2c6fcd9240ad1896773f8/imandra-0.1.3-py3-none-any.whl#sha256=30e2fdb107964061e765814f34de28effcd6389d981277ae23615b53b95bf278 from build tracker '/tmp/pip-req-tracker-shw3o54k'
Skipping imandra, due to already being wheel.
Cleaning up...
  Removing source in /tmp/pip-wheel-z8ikbepm/imandra
Removed build tracker '/tmp/pip-req-tracker-shw3o54k'