Created temporary directory: /tmp/pip-ephem-wheel-cache-_nur5fdx Created temporary directory: /tmp/pip-req-tracker-0bp0rfgj Created requirements tracker '/tmp/pip-req-tracker-0bp0rfgj' Created temporary directory: /tmp/pip-wheel-0j6yuug7 Collecting imandra==0.1.9 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 Using version 0.1.9 (newest of versions: 0.1.9) Created temporary directory: /tmp/pip-unpack-qjbq_736 Downloading https://files.pythonhosted.org/packages/c8/54/761bc88bdf276ed0417396954e094755dfdfd58cdb9cd38a29bb3892c864/imandra-0.1.9-py3-none-any.whl Downloading from URL https://files.pythonhosted.org/packages/c8/54/761bc88bdf276ed0417396954e094755dfdfd58cdb9cd38a29bb3892c864/imandra-0.1.9-py3-none-any.whl#sha256=9d6c1a57554cfdf7f40e30bdfc09497f98e2e18d13daa2bc7aec8ebb53767a37 (from https://pypi.org/simple/imandra/) Saved /tmp/tmpfb4kdwpc/imandra-0.1.9-py3-none-any.whl Added imandra==0.1.9 from https://files.pythonhosted.org/packages/c8/54/761bc88bdf276ed0417396954e094755dfdfd58cdb9cd38a29bb3892c864/imandra-0.1.9-py3-none-any.whl#sha256=9d6c1a57554cfdf7f40e30bdfc09497f98e2e18d13daa2bc7aec8ebb53767a37 to build tracker '/tmp/pip-req-tracker-0bp0rfgj' Removed imandra==0.1.9 from https://files.pythonhosted.org/packages/c8/54/761bc88bdf276ed0417396954e094755dfdfd58cdb9cd38a29bb3892c864/imandra-0.1.9-py3-none-any.whl#sha256=9d6c1a57554cfdf7f40e30bdfc09497f98e2e18d13daa2bc7aec8ebb53767a37 from build tracker '/tmp/pip-req-tracker-0bp0rfgj' Skipping imandra, due to already being wheel. Cleaning up... Removing source in /tmp/pip-wheel-0j6yuug7/imandra Removed build tracker '/tmp/pip-req-tracker-0bp0rfgj'