2022-05-17T16:30:26,618 Created temporary directory: /tmp/pip-ephem-wheel-cache-ow0tauih 2022-05-17T16:30:26,624 Created temporary directory: /tmp/pip-req-tracker-19i4isdh 2022-05-17T16:30:26,625 Initialized build tracking at /tmp/pip-req-tracker-19i4isdh 2022-05-17T16:30:26,625 Created build tracker: /tmp/pip-req-tracker-19i4isdh 2022-05-17T16:30:26,626 Entered build tracker: /tmp/pip-req-tracker-19i4isdh 2022-05-17T16:30:26,627 Created temporary directory: /tmp/pip-wheel-xx07w3h2 2022-05-17T16:30:26,716 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple 2022-05-17T16:30:26,720 2 location(s) to search for versions of certora-cli-alpha-master: 2022-05-17T16:30:26,720 * https://pypi.org/simple/certora-cli-alpha-master/ 2022-05-17T16:30:26,720 * https://www.piwheels.org/simple/certora-cli-alpha-master/ 2022-05-17T16:30:26,720 Fetching project page and analyzing links: https://pypi.org/simple/certora-cli-alpha-master/ 2022-05-17T16:30:26,722 Getting page https://pypi.org/simple/certora-cli-alpha-master/ 2022-05-17T16:30:26,727 Found index url https://pypi.org/simple 2022-05-17T16:30:27,100 Found link https://files.pythonhosted.org/packages/be/62/81a1799090d462673e4498d0012431de00158d6e2c1ff5950c787f15538c/certora-cli-alpha-master-20220509.10.2.tar.gz#sha256=f51630360336594edb6c1ae86a878e03db7bcc8068fd79a6d325ac3b50e3ddd9 (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.5), version: 20220509.10.2 2022-05-17T16:30:27,101 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/38/0e/daf635e25d6cdcad1a976deb6c256793034f934d4ef0193c90a2d971e475/certora_cli_alpha_master-20220509.10.2-py3-none-any.whl#sha256=5f353e87bc6a2b41e9bf010032b08359aad3b157aed92d5edc65566a18812e3b (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.5) 2022-05-17T16:30:27,103 Found link https://files.pythonhosted.org/packages/ea/4d/9102df5404550e67d2ff2865f2d04343db3203ad61c9b53417dd8aeb9df1/certora-cli-alpha-master-20220510.13.11.tar.gz#sha256=5057f3fb10f45a2598a252c544d2866a551e049e1ce5479edeaf95ed2f0a564c (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.5), version: 20220510.13.11 2022-05-17T16:30:27,104 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/71/8c/7cd186e01520e981850824c7471697bf7fd7f1d5f785804c86f42abfc090/certora_cli_alpha_master-20220510.13.11-py3-none-any.whl#sha256=00a21ec9994d6b28d7f35cd8a7ead79f1a80eb1099035eb7e9abb59322ceb404 (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.5) 2022-05-17T16:30:27,106 Found link https://files.pythonhosted.org/packages/0d/bd/8306951f4dc76a9c946df47af5d7b8192bf5ff064eec04ff3e1ad8203de0/certora-cli-alpha-master-20220511.5.40.tar.gz#sha256=ad052d4fc23a95247bcb7deb9adfffda580fee6c75f3f2822f6b30fc0ba392f3 (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.5), version: 20220511.5.40 2022-05-17T16:30:27,107 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/53/65/a6775c12713b8a417d5e915e321041eeab229ccc9f0a4b74af77e781b0d6/certora_cli_alpha_master-20220511.5.40-py3-none-any.whl#sha256=3d9518eb5e87aad1ad6a600c05e329219b13f84c79f057bb2b5cd4695761d149 (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.5) 2022-05-17T16:30:27,108 Found link https://files.pythonhosted.org/packages/1d/2f/7748e411318d87d56585f91c9a6355c1f663c5a2316a2e77498ebe7af7d6/certora-cli-alpha-master-20220511.12.15.tar.gz#sha256=c14f054601ef0eb79d661c7be24630f9174b526fde7e21c6df68ecaeec8fdeaf (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.5), version: 20220511.12.15 2022-05-17T16:30:27,109 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/ed/cc/0458e6592f1704bcf82cb519cf43ff9b26296e90324727d2b95dc5b95db9/certora_cli_alpha_master-20220511.12.15-py3-none-any.whl#sha256=23f6aa212fc4b572347cd5882a1e62466a10f6d37811bd04d44d5a162535d7b3 (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.5) 2022-05-17T16:30:27,111 Found link https://files.pythonhosted.org/packages/11/26/e6ed0691a67d4cff0b94b09da251cbdd84ef34688a15e64644114e1ee43e/certora-cli-alpha-master-20220511.20.6.tar.gz#sha256=c31b45d24d84f175909ef1b444e61a19bb118aad970eef8729500163f9495498 (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.5), version: 20220511.20.6 2022-05-17T16:30:27,112 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/c9/ca/e2954dcddc0b10790eea64782ac66a5ba67271409584843befe27ae1a266/certora_cli_alpha_master-20220511.20.6-py3-none-any.whl#sha256=00140ad5e1b0760489334ba7938d21417e8b5b105ff66beeacaf08b406735c40 (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.5) 2022-05-17T16:30:27,114 Found link https://files.pythonhosted.org/packages/f4/4f/7303c62b4ea52ec8ce1afcfe369cf03a712f88f644054e67677dd175539e/certora-cli-alpha-master-20220511.21.34.tar.gz#sha256=04164b4c22ba5f568b30f737e21b8ab6edeae837277423f681e0d26159762ae0 (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.5), version: 20220511.21.34 2022-05-17T16:30:27,115 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/4f/9c/c5ac70a37dee47fb651ad61f67b6f25b9293625e8de655c1927c3d728e14/certora_cli_alpha_master-20220511.21.34-py3-none-any.whl#sha256=8307c60fd5755d6e95af656d995847a171e6f2a0e377148c083cc5ecf1b4aa50 (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.5) 2022-05-17T16:30:27,117 Found link https://files.pythonhosted.org/packages/81/92/2fb0107d8a0b7b1588174bdfec08d785055398760b5cfcacd456b0a01da8/certora-cli-alpha-master-20220512.16.21.tar.gz#sha256=87d5b79796ed1b330d2d51bdb9ebc27894b87469c236edc475a1845f12289aed (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.5), version: 20220512.16.21 2022-05-17T16:30:27,118 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/4f/7d/c48c49d6808c0350815860553efb7366d3dcb01d5ea27ec91612142aefcc/certora_cli_alpha_master-20220512.16.21-py3-none-any.whl#sha256=13b542c894e172e40a44d0ded49775ca2977af69e0de8ca75e349dbfaa543117 (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.5) 2022-05-17T16:30:27,119 Found link https://files.pythonhosted.org/packages/f5/ea/81dbcefa46ab68dcdc083f35be69a425f5f726d9e012781232686d9127c8/certora-cli-alpha-master-20220512.17.45.tar.gz#sha256=9121af5b9335e281668d59a93ad1c2a3e3ec29c6dc427c16e93acee999d2ed3c (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.5), version: 20220512.17.45 2022-05-17T16:30:27,120 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/a0/e7/a47b857b7c0b5e36f4448670c0d0ceba22b86d995f8c3b1257c837dd57e6/certora_cli_alpha_master-20220512.17.45-py3-none-any.whl#sha256=e13944108cea447993806f65e4deec17e5326576e4c6b5857660c6381919dfae (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.5) 2022-05-17T16:30:27,122 Found link https://files.pythonhosted.org/packages/36/72/88d952a3cf754bb1b41cb669dda32f372610e6cff7f58b9615bbc96e0caa/certora-cli-alpha-master-20220512.18.21.tar.gz#sha256=26f507028b9d225b188c38cd4c98cb18cc0842f91bcb737d0ac666580b56f0b1 (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.5), version: 20220512.18.21 2022-05-17T16:30:27,123 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/93/84/9835ab23885492714111aaa9d74077023fdf58c3ece6f06b9e7f50e6a298/certora_cli_alpha_master-20220512.18.21-py3-none-any.whl#sha256=1a19347fbcd1e0748c78d4c73b9f9b7e62d29391d4228e28052600edf8b8a1fb (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.5) 2022-05-17T16:30:27,125 Found link https://files.pythonhosted.org/packages/da/6a/8b1148ca660b4a00430a5b81ff947ba99e1104c21ddcf315d2dfa60bd98b/certora-cli-alpha-master-20220516.9.0.tar.gz#sha256=a09a1cca88f650ea500fd274031f2e7b3d69280c25c8136407e6b45da2f8ae89 (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.5), version: 20220516.9.0 2022-05-17T16:30:27,125 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/c6/57/98ba38e6bf357cdc082c2a6a904779473f8016c673c8249ae6829e7f958a/certora_cli_alpha_master-20220516.9.0-py3-none-any.whl#sha256=08c75ffc561974a16567b28ce7b336e8cdf374aa063b371bfdf10a3a69d16b22 (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.5) 2022-05-17T16:30:27,127 Found link https://files.pythonhosted.org/packages/ca/c4/b214f54afe87f94ffd41865f5c9659d0503782559741ffd70f4ff7cd19e7/certora-cli-alpha-master-20220516.15.8.tar.gz#sha256=833165eb2bfe2e22052fdda7ac518737edb14e095b2d46f22c27d7850a53c333 (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.5), version: 20220516.15.8 2022-05-17T16:30:27,128 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/6a/52/4fd62b21df3f9b2996d81e1d223a32867667e3a94bb5e9bf6e6a98f6904d/certora_cli_alpha_master-20220516.15.8-py3-none-any.whl#sha256=5db4f27c127f3d5bdec13e58226de28c336ee08757d9a718055f144d80f57b8a (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.5) 2022-05-17T16:30:27,130 Found link https://files.pythonhosted.org/packages/e5/c8/eebcb648b7235e5fbca8b3be0876216590eb09a631b174de9dca5a794d89/certora-cli-alpha-master-20220516.16.28.tar.gz#sha256=ce0188367d86e50f7af6d9e1dbd083bb97a43a48c73b2cfd8d1f91c3882284a0 (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.5), version: 20220516.16.28 2022-05-17T16:30:27,131 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/2c/e3/750e268998f84959c25bcc0a5c36f8ebecc4f0c0511d0601ee0cd6704e3f/certora_cli_alpha_master-20220516.16.28-py3-none-any.whl#sha256=eb08219d45bcf4ded511eb159f4ebbf39f23d2d61d50540f571ca6ba99323994 (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.5) 2022-05-17T16:30:27,132 Found link https://files.pythonhosted.org/packages/64/13/490c4cb238387c49f614b1e6698c9ab993b83c9727f499d2bc3d14602a44/certora-cli-alpha-master-20220517.11.35.tar.gz#sha256=1e9fd304e4b068ce72d3d730fb308834da3e505ada95c2f5352197e634aad9b6 (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.5), version: 20220517.11.35 2022-05-17T16:30:27,133 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/07/6d/cded2aa72a9b0fb3ad7b3e37c96c52b749c958b8a53f3c8385635a8ca60c/certora_cli_alpha_master-20220517.11.35-py3-none-any.whl#sha256=e731f1c2fd0c210ef16bed1124560f45af1f33f3ce5dfb041b9f84352c610a94 (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.5) 2022-05-17T16:30:27,135 Found link https://files.pythonhosted.org/packages/33/c6/d6be3eaa887cc8d37cf5a4e5e85f2ac60b4c606a153882ac3c1ff5727909/certora-cli-alpha-master-20220517.13.49.tar.gz#sha256=23e59e04753e09bc64068f84e5eb78c8994bbc465e0754aa4379603bf1dc481c (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.5), version: 20220517.13.49 2022-05-17T16:30:27,136 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/cd/6c/eaac47411e606fa4279292b19af28660047de30b24ad2fc9fd5a3c9b9d34/certora_cli_alpha_master-20220517.13.49-py3-none-any.whl#sha256=7cfbc56a9e7b1dd8c6918e2eef4aab8debf6dbdc82f9e5af356ed769ee134e3c (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.5) 2022-05-17T16:30:27,138 Found link https://files.pythonhosted.org/packages/ff/e0/a1383efd6c2910105bee80c3616f9ec205dd1453bae5dde219e577b8eadf/certora-cli-alpha-master-20220517.15.10.tar.gz#sha256=0ffab172039e2f94fd5552d3b0839e47dfdbcf41993b53fcba75fc93f0ac6d31 (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.5), version: 20220517.15.10 2022-05-17T16:30:27,139 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/b5/3c/4faa6b4e51c93686161dbdba61acd0eb166460bff9af0c96f687f6d4743b/certora_cli_alpha_master-20220517.15.10-py3-none-any.whl#sha256=7c3b77787202ffd6c04a69bd951af77f716e3d89792e892df0fb02a15e3cbd9a (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.5) 2022-05-17T16:30:27,140 Found link https://files.pythonhosted.org/packages/3f/a3/8b2e0364ed6d41f3146daaead8e23dab6bf151641aa4d248bb317815577d/certora-cli-alpha-master-20220517.16.18.tar.gz#sha256=671c63c0f008ecad88427f3cc2b1b5a407ed3faa5c0a5ec0d3e827fd30d4abac (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.5), version: 20220517.16.18 2022-05-17T16:30:27,141 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/33/2c/1ba5db269cf3fb8f35df6f986e356dd1728ecdd68d6c42561a53c199fa71/certora_cli_alpha_master-20220517.16.18-py3-none-any.whl#sha256=eb7181864d6fa3277e6838b6dca8efcf317b7bb4b62b5693b5a1fdf20dfcafb0 (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.5) 2022-05-17T16:30:27,142 Fetching project page and analyzing links: https://www.piwheels.org/simple/certora-cli-alpha-master/ 2022-05-17T16:30:27,143 Getting page https://www.piwheels.org/simple/certora-cli-alpha-master/ 2022-05-17T16:30:27,145 Found index url https://www.piwheels.org/simple 2022-05-17T16:30:27,400 Skipping link: No binaries permitted for certora-cli-alpha-master: https://www.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20220517.15.10-py3-none-any.whl#sha256=e6cb24cfe66e01b8be2422e36a0bc7f020f6ec5032673cc1f5cdb90983eac693 (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.5) 2022-05-17T16:30:27,401 Skipping link: No binaries permitted for certora-cli-alpha-master: https://www.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20220517.13.49-py3-none-any.whl#sha256=6a6f9516aa242f7f0686b25cb16a572976c8ef84392b8bbedcb61e43b2367030 (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.5) 2022-05-17T16:30:27,401 Skipping link: No binaries permitted for certora-cli-alpha-master: https://www.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20220517.11.35-py3-none-any.whl#sha256=23162f3aa01a4309f52edb104a0a10b312b2587796b85701ec7e740bc4eba71d (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.5) 2022-05-17T16:30:27,402 Skipping link: No binaries permitted for certora-cli-alpha-master: https://www.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20220516.16.28-py3-none-any.whl#sha256=e694a9eab9b15e7c28822d0e43c920157a1f293d3b56700ae3dc92a5c52d4f23 (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.5) 2022-05-17T16:30:27,403 Skipping link: No binaries permitted for certora-cli-alpha-master: https://www.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20220516.15.8-py3-none-any.whl#sha256=cf46cab94193c3582a42c506302adc78a5543d6d19c47a0f6e91a772cb790940 (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.5) 2022-05-17T16:30:27,403 Skipping link: No binaries permitted for certora-cli-alpha-master: https://www.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20220516.9.0-py3-none-any.whl#sha256=7dc8e03409bacf0baed105ac820f09f3ab3393a62bb32e1c57b4050d1d0d3b27 (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.5) 2022-05-17T16:30:27,404 Skipping link: No binaries permitted for certora-cli-alpha-master: https://www.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20220512.18.21-py3-none-any.whl#sha256=27093b32f6b26ca96d94b407eac257b253ce5fb33582a9255b8be693864f39d6 (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.5) 2022-05-17T16:30:27,404 Skipping link: No binaries permitted for certora-cli-alpha-master: https://www.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20220512.17.45-py3-none-any.whl#sha256=579af8d2bcdeef80f0d8951a0fcd31b1de508dd97410206634c1c97a41ba5264 (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.5) 2022-05-17T16:30:27,405 Skipping link: No binaries permitted for certora-cli-alpha-master: https://www.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20220512.16.21-py3-none-any.whl#sha256=953e6853337d0b0c12a36d75d9eabbe481f7fc3549767dd7692d20b37598f289 (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.5) 2022-05-17T16:30:27,406 Skipping link: No binaries permitted for certora-cli-alpha-master: https://www.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20220511.21.34-py3-none-any.whl#sha256=c97e99833b494be70cc80ddd03bd41346e6db1c88198c4062227dacf95f5775c (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.5) 2022-05-17T16:30:27,406 Skipping link: No binaries permitted for certora-cli-alpha-master: https://www.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20220511.20.6-py3-none-any.whl#sha256=dc6279e394308b053ebb276c6cd8f65f1598ce27717bd897ebf47283470633d7 (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.5) 2022-05-17T16:30:27,407 Skipping link: No binaries permitted for certora-cli-alpha-master: https://www.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20220511.12.15-py3-none-any.whl#sha256=ab654fc041288992c3a774c15762606e927d6d24f7bb3128559406b1c8ab1bb1 (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.5) 2022-05-17T16:30:27,408 Skipping link: No binaries permitted for certora-cli-alpha-master: https://www.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20220511.5.40-py3-none-any.whl#sha256=0781343a4e6b4e67b011e81929be45678a88d434e232f993aec8eeb99047df65 (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.5) 2022-05-17T16:30:27,408 Skipping link: No binaries permitted for certora-cli-alpha-master: https://www.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20220510.13.11-py3-none-any.whl#sha256=efda5d3e7ba84e9e083029dee1f9f3085f83f8b705104cf7b9269b12995a12bd (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.5) 2022-05-17T16:30:27,409 Skipping link: No binaries permitted for certora-cli-alpha-master: https://www.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20220509.10.2-py3-none-any.whl#sha256=ea5519c8c826b0571b43665d74c9e78fd7437d90068fdc9e5e15910b95d9fa47 (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.5) 2022-05-17T16:30:27,445 Given no hashes to check 1 links for project 'certora-cli-alpha-master': discarding no candidates 2022-05-17T16:30:27,478 Collecting certora-cli-alpha-master==20220517.16.18 2022-05-17T16:30:27,481 Created temporary directory: /tmp/pip-unpack-7vsl_u68 2022-05-17T16:30:28,010 Downloading certora-cli-alpha-master-20220517.16.18.tar.gz (10.1 MB) 2022-05-17T16:30:32,085 Added certora-cli-alpha-master==20220517.16.18 from https://files.pythonhosted.org/packages/3f/a3/8b2e0364ed6d41f3146daaead8e23dab6bf151641aa4d248bb317815577d/certora-cli-alpha-master-20220517.16.18.tar.gz#sha256=671c63c0f008ecad88427f3cc2b1b5a407ed3faa5c0a5ec0d3e827fd30d4abac to build tracker '/tmp/pip-req-tracker-19i4isdh' 2022-05-17T16:30:32,088 Running setup.py (path:/tmp/pip-wheel-xx07w3h2/certora-cli-alpha-master_4727e72b7bde4c2aa77a77b02abc0c70/setup.py) egg_info for package certora-cli-alpha-master 2022-05-17T16:30:32,091 Created temporary directory: /tmp/pip-pip-egg-info-l05f_4s9 2022-05-17T16:30:32,092 Running command python setup.py egg_info 2022-05-17T16:30:34,320 running egg_info 2022-05-17T16:30:34,329 creating /tmp/pip-pip-egg-info-l05f_4s9/certora_cli_alpha_master.egg-info 2022-05-17T16:30:34,333 writing entry points to /tmp/pip-pip-egg-info-l05f_4s9/certora_cli_alpha_master.egg-info/entry_points.txt 2022-05-17T16:30:34,335 writing dependency_links to /tmp/pip-pip-egg-info-l05f_4s9/certora_cli_alpha_master.egg-info/dependency_links.txt 2022-05-17T16:30:34,337 writing top-level names to /tmp/pip-pip-egg-info-l05f_4s9/certora_cli_alpha_master.egg-info/top_level.txt 2022-05-17T16:30:34,341 writing /tmp/pip-pip-egg-info-l05f_4s9/certora_cli_alpha_master.egg-info/PKG-INFO 2022-05-17T16:30:34,344 writing requirements to /tmp/pip-pip-egg-info-l05f_4s9/certora_cli_alpha_master.egg-info/requires.txt 2022-05-17T16:30:34,348 writing manifest file '/tmp/pip-pip-egg-info-l05f_4s9/certora_cli_alpha_master.egg-info/SOURCES.txt' 2022-05-17T16:30:34,708 reading manifest file '/tmp/pip-pip-egg-info-l05f_4s9/certora_cli_alpha_master.egg-info/SOURCES.txt' 2022-05-17T16:30:34,712 reading manifest template 'MANIFEST.in' 2022-05-17T16:30:34,723 writing manifest file '/tmp/pip-pip-egg-info-l05f_4s9/certora_cli_alpha_master.egg-info/SOURCES.txt' 2022-05-17T16:30:34,858 Source in /tmp/pip-wheel-xx07w3h2/certora-cli-alpha-master_4727e72b7bde4c2aa77a77b02abc0c70 has version 20220517.16.18, which satisfies requirement certora-cli-alpha-master==20220517.16.18 from https://files.pythonhosted.org/packages/3f/a3/8b2e0364ed6d41f3146daaead8e23dab6bf151641aa4d248bb317815577d/certora-cli-alpha-master-20220517.16.18.tar.gz#sha256=671c63c0f008ecad88427f3cc2b1b5a407ed3faa5c0a5ec0d3e827fd30d4abac 2022-05-17T16:30:34,860 Removed certora-cli-alpha-master==20220517.16.18 from https://files.pythonhosted.org/packages/3f/a3/8b2e0364ed6d41f3146daaead8e23dab6bf151641aa4d248bb317815577d/certora-cli-alpha-master-20220517.16.18.tar.gz#sha256=671c63c0f008ecad88427f3cc2b1b5a407ed3faa5c0a5ec0d3e827fd30d4abac from build tracker '/tmp/pip-req-tracker-19i4isdh' 2022-05-17T16:30:34,872 Created temporary directory: /tmp/pip-unpack-wiwb0trh 2022-05-17T16:30:34,873 Building wheels for collected packages: certora-cli-alpha-master 2022-05-17T16:30:34,882 Created temporary directory: /tmp/pip-wheel-61ijrxym 2022-05-17T16:30:34,883 Building wheel for certora-cli-alpha-master (setup.py): started 2022-05-17T16:30:34,884 Destination directory: /tmp/pip-wheel-61ijrxym 2022-05-17T16:30:34,885 Running command /usr/bin/python3 -u -c 'import sys, setuptools, tokenize; sys.argv[0] = '"'"'/tmp/pip-wheel-xx07w3h2/certora-cli-alpha-master_4727e72b7bde4c2aa77a77b02abc0c70/setup.py'"'"'; __file__='"'"'/tmp/pip-wheel-xx07w3h2/certora-cli-alpha-master_4727e72b7bde4c2aa77a77b02abc0c70/setup.py'"'"';f=getattr(tokenize, '"'"'open'"'"', open)(__file__);code=f.read().replace('"'"'\r\n'"'"', '"'"'\n'"'"');f.close();exec(compile(code, __file__, '"'"'exec'"'"'))' bdist_wheel -d /tmp/pip-wheel-61ijrxym 2022-05-17T16:30:37,017 running bdist_wheel 2022-05-17T16:30:37,032 running build 2022-05-17T16:30:37,033 running build_py 2022-05-17T16:30:37,391 creating build 2022-05-17T16:30:37,392 creating build/lib 2022-05-17T16:30:37,394 creating build/lib/certora_jars 2022-05-17T16:30:37,396 copying certora_jars/__init__.py -> build/lib/certora_jars 2022-05-17T16:30:37,401 creating build/lib/certora_cli 2022-05-17T16:30:37,402 copying certora_cli/certoraRun.py -> build/lib/certora_cli 2022-05-17T16:30:37,417 copying certora_cli/__init__.py -> build/lib/certora_cli 2022-05-17T16:30:37,424 creating build/lib/certora_cli/EVMVerifier 2022-05-17T16:30:37,426 copying certora_cli/EVMVerifier/certoraCollectRunMetadata.py -> build/lib/certora_cli/EVMVerifier 2022-05-17T16:30:37,433 copying certora_cli/EVMVerifier/certoraBuild.py -> build/lib/certora_cli/EVMVerifier 2022-05-17T16:30:37,453 copying certora_cli/EVMVerifier/certoraType.py -> build/lib/certora_cli/EVMVerifier 2022-05-17T16:30:37,461 copying certora_cli/EVMVerifier/certoraDualArg.py -> build/lib/certora_cli/EVMVerifier 2022-05-17T16:30:37,469 copying certora_cli/EVMVerifier/certoraConfigIO.py -> build/lib/certora_cli/EVMVerifier 2022-05-17T16:30:37,474 copying certora_cli/EVMVerifier/certoraCloudIO.py -> build/lib/certora_cli/EVMVerifier 2022-05-17T16:30:37,482 copying certora_cli/EVMVerifier/__init__.py -> build/lib/certora_cli/EVMVerifier 2022-05-17T16:30:37,485 copying certora_cli/EVMVerifier/certoraJobList.py -> build/lib/certora_cli/EVMVerifier 2022-05-17T16:30:37,490 copying certora_cli/EVMVerifier/certoraNodeFilters.py -> build/lib/certora_cli/EVMVerifier 2022-05-17T16:30:37,498 creating build/lib/certora_cli/Shared 2022-05-17T16:30:37,500 copying certora_cli/Shared/certoraLogging.py -> build/lib/certora_cli/Shared 2022-05-17T16:30:37,507 copying certora_cli/Shared/certoraUtils.py -> build/lib/certora_cli/Shared 2022-05-17T16:30:37,514 copying certora_cli/Shared/certoraTester.py -> build/lib/certora_cli/Shared 2022-05-17T16:30:37,518 copying certora_cli/Shared/__init__.py -> build/lib/certora_cli/Shared 2022-05-17T16:30:37,521 running egg_info 2022-05-17T16:30:37,551 writing top-level names to certora_cli_alpha_master.egg-info/top_level.txt 2022-05-17T16:30:37,553 writing requirements to certora_cli_alpha_master.egg-info/requires.txt 2022-05-17T16:30:37,556 writing entry points to certora_cli_alpha_master.egg-info/entry_points.txt 2022-05-17T16:30:37,558 writing certora_cli_alpha_master.egg-info/PKG-INFO 2022-05-17T16:30:37,562 writing dependency_links to certora_cli_alpha_master.egg-info/dependency_links.txt 2022-05-17T16:30:37,575 reading manifest file 'certora_cli_alpha_master.egg-info/SOURCES.txt' 2022-05-17T16:30:37,580 reading manifest template 'MANIFEST.in' 2022-05-17T16:30:37,592 writing manifest file 'certora_cli_alpha_master.egg-info/SOURCES.txt' 2022-05-17T16:30:37,597 copying certora_jars/Typechecker.jar -> build/lib/certora_jars 2022-05-17T16:30:38,624 installing to build/bdist.linux-armv7l/wheel 2022-05-17T16:30:38,626 running install 2022-05-17T16:30:38,630 running install_lib 2022-05-17T16:30:38,638 creating build/bdist.linux-armv7l 2022-05-17T16:30:38,640 creating build/bdist.linux-armv7l/wheel 2022-05-17T16:30:38,644 creating build/bdist.linux-armv7l/wheel/certora_jars 2022-05-17T16:30:38,647 copying build/lib/certora_jars/Typechecker.jar -> build/bdist.linux-armv7l/wheel/certora_jars 2022-05-17T16:30:39,661 copying build/lib/certora_jars/__init__.py -> build/bdist.linux-armv7l/wheel/certora_jars 2022-05-17T16:30:39,666 creating build/bdist.linux-armv7l/wheel/certora_cli 2022-05-17T16:30:39,668 copying build/lib/certora_cli/certoraRun.py -> build/bdist.linux-armv7l/wheel/certora_cli 2022-05-17T16:30:39,685 creating build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2022-05-17T16:30:39,689 copying build/lib/certora_cli/EVMVerifier/certoraCollectRunMetadata.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2022-05-17T16:30:39,698 copying build/lib/certora_cli/EVMVerifier/certoraBuild.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2022-05-17T16:30:39,718 copying build/lib/certora_cli/EVMVerifier/certoraType.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2022-05-17T16:30:39,726 copying build/lib/certora_cli/EVMVerifier/certoraDualArg.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2022-05-17T16:30:39,734 copying build/lib/certora_cli/EVMVerifier/certoraConfigIO.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2022-05-17T16:30:39,741 copying build/lib/certora_cli/EVMVerifier/certoraCloudIO.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2022-05-17T16:30:39,750 copying build/lib/certora_cli/EVMVerifier/__init__.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2022-05-17T16:30:39,754 copying build/lib/certora_cli/EVMVerifier/certoraJobList.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2022-05-17T16:30:39,761 copying build/lib/certora_cli/EVMVerifier/certoraNodeFilters.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2022-05-17T16:30:39,769 creating build/bdist.linux-armv7l/wheel/certora_cli/Shared 2022-05-17T16:30:39,773 copying build/lib/certora_cli/Shared/certoraLogging.py -> build/bdist.linux-armv7l/wheel/certora_cli/Shared 2022-05-17T16:30:39,781 copying build/lib/certora_cli/Shared/certoraUtils.py -> build/bdist.linux-armv7l/wheel/certora_cli/Shared 2022-05-17T16:30:39,789 copying build/lib/certora_cli/Shared/certoraTester.py -> build/bdist.linux-armv7l/wheel/certora_cli/Shared 2022-05-17T16:30:39,795 copying build/lib/certora_cli/Shared/__init__.py -> build/bdist.linux-armv7l/wheel/certora_cli/Shared 2022-05-17T16:30:39,799 copying build/lib/certora_cli/__init__.py -> build/bdist.linux-armv7l/wheel/certora_cli 2022-05-17T16:30:39,804 running install_egg_info 2022-05-17T16:30:39,833 Copying certora_cli_alpha_master.egg-info to build/bdist.linux-armv7l/wheel/certora_cli_alpha_master-20220517.16.18-py3.5.egg-info 2022-05-17T16:30:39,863 running install_scripts 2022-05-17T16:30:40,081 creating build/bdist.linux-armv7l/wheel/certora_cli_alpha_master-20220517.16.18.dist-info/WHEEL 2022-05-17T16:30:43,532 Building wheel for certora-cli-alpha-master (setup.py): finished with status 'done' 2022-05-17T16:30:43,702 Created wheel for certora-cli-alpha-master: filename=certora_cli_alpha_master-20220517.16.18-py3-none-any.whl size=10144359 sha256=40c2e12c6e4cf129351c76ced39cc1beec90e332ba7d8b5270658ae0864d2f27 2022-05-17T16:30:43,703 Stored in directory: /tmp/pip-ephem-wheel-cache-ow0tauih/wheels/20/97/4c/f34ebc2cf18266f5fce761960b9e2995aa7fd28bb82c1ed9f4 2022-05-17T16:30:43,726 Successfully built certora-cli-alpha-master 2022-05-17T16:30:45,488 Removed build tracker: '/tmp/pip-req-tracker-19i4isdh'