Created temporary directory: /tmp/pip-ephem-wheel-cache-6oq97sc2
Created temporary directory: /tmp/pip-req-tracker-cl63z69v
Created requirements tracker '/tmp/pip-req-tracker-cl63z69v'
Created temporary directory: /tmp/pip-wheel-8dz9lp1_
Collecting imandra==0.1.12
  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
    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
    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
    Found link https://files.pythonhosted.org/packages/c8/54/761bc88bdf276ed0417396954e094755dfdfd58cdb9cd38a29bb3892c864/imandra-0.1.9-py3-none-any.whl#sha256=9d6c1a57554cfdf7f40e30bdfc09497f98e2e18d13daa2bc7aec8ebb53767a37 (from https://pypi.org/simple/imandra/), version: 0.1.9
    Found link https://files.pythonhosted.org/packages/ce/39/38106116e6401724a90dbd1b688de8005bdfd8f1568f3caa12d5554b2d03/imandra-0.1.9.tar.gz#sha256=a0b210fc77620fca4b822cb7ead8293e9ad0615d474578869c449c13c0720143 (from https://pypi.org/simple/imandra/), version: 0.1.9
    Found link https://files.pythonhosted.org/packages/68/82/a97923e3971649589668508a523cf2ffe7cfc484e0cde38f275706508b43/imandra-0.1.10-py3-none-any.whl#sha256=5c2f41b6ca40c46c8a156827b2a0ba62c16021ff3c8c48a69139875feaf0f6ee (from https://pypi.org/simple/imandra/), version: 0.1.10
    Found link https://files.pythonhosted.org/packages/59/89/efc30d6fd3c1ea3503fda7f232e20fa30ade62ca1e51a78c35ab1e9dc621/imandra-0.1.10.tar.gz#sha256=85dedaf4eff035ab9306e17c59a0cca2c4656cf3e1f6efbe8f2e727a835935f5 (from https://pypi.org/simple/imandra/), version: 0.1.10
    Found link https://files.pythonhosted.org/packages/ce/45/dc8c79ede34f0e9e0b955f8d5c23e5bb0ccca8d59006cdcebecf75e9e996/imandra-0.1.11-py3-none-any.whl#sha256=940ee22f36dc10bc8195272d7be270d19f81c9cca00f2f7538be8ec8e0bea514 (from https://pypi.org/simple/imandra/), version: 0.1.11
    Found link https://files.pythonhosted.org/packages/d9/94/a876a73bc0652f76069ad586dc06f97f2169b5f354a0fa6480fd55cb56b1/imandra-0.1.11.tar.gz#sha256=e121edddadfb11fffc50b0bb5b899f1b696b18bea08cdd7c08ebbfd33da9252b (from https://pypi.org/simple/imandra/), version: 0.1.11
    Found link https://files.pythonhosted.org/packages/d2/9a/5e88bef599fb29bbc79fa90b442c9bc8684bd3e872cdda84f8f62a897253/imandra-0.1.12-py3-none-any.whl#sha256=c8fb9c984f88da41da53a2738d98a646501cba3788be8e59ce4c1bf532e64bd5 (from https://pypi.org/simple/imandra/), version: 0.1.12
    Found link https://files.pythonhosted.org/packages/d5/f2/ac4a14322331cd8f9b097729cc77431abfca8305d74ad91f069475e3bb30/imandra-0.1.12.tar.gz#sha256=294b1439a2d6dba52cd9f8506834437a17ba90d4bdffa08d5cd5c85bcc912527 (from https://pypi.org/simple/imandra/), version: 0.1.12
  Using version 0.1.12 (newest of versions: 0.1.12)
  Created temporary directory: /tmp/pip-unpack-hzn3kntg
  Downloading https://files.pythonhosted.org/packages/d2/9a/5e88bef599fb29bbc79fa90b442c9bc8684bd3e872cdda84f8f62a897253/imandra-0.1.12-py3-none-any.whl
  Downloading from URL https://files.pythonhosted.org/packages/d2/9a/5e88bef599fb29bbc79fa90b442c9bc8684bd3e872cdda84f8f62a897253/imandra-0.1.12-py3-none-any.whl#sha256=c8fb9c984f88da41da53a2738d98a646501cba3788be8e59ce4c1bf532e64bd5 (from https://pypi.org/simple/imandra/)
  Saved /tmp/tmpt__kcyet/imandra-0.1.12-py3-none-any.whl
  Added imandra==0.1.12 from https://files.pythonhosted.org/packages/d2/9a/5e88bef599fb29bbc79fa90b442c9bc8684bd3e872cdda84f8f62a897253/imandra-0.1.12-py3-none-any.whl#sha256=c8fb9c984f88da41da53a2738d98a646501cba3788be8e59ce4c1bf532e64bd5 to build tracker '/tmp/pip-req-tracker-cl63z69v'
  Removed imandra==0.1.12 from https://files.pythonhosted.org/packages/d2/9a/5e88bef599fb29bbc79fa90b442c9bc8684bd3e872cdda84f8f62a897253/imandra-0.1.12-py3-none-any.whl#sha256=c8fb9c984f88da41da53a2738d98a646501cba3788be8e59ce4c1bf532e64bd5 from build tracker '/tmp/pip-req-tracker-cl63z69v'
Skipping imandra, due to already being wheel.
Cleaning up...
  Removing source in /tmp/pip-wheel-8dz9lp1_/imandra
Removed build tracker '/tmp/pip-req-tracker-cl63z69v'