2023-08-01T16:02:11,950 Created temporary directory: /tmp/pip-build-tracker-sh24kdh6 2023-08-01T16:02:11,951 Initialized build tracking at /tmp/pip-build-tracker-sh24kdh6 2023-08-01T16:02:11,952 Created build tracker: /tmp/pip-build-tracker-sh24kdh6 2023-08-01T16:02:11,952 Entered build tracker: /tmp/pip-build-tracker-sh24kdh6 2023-08-01T16:02:11,952 Created temporary directory: /tmp/pip-wheel-uoaq3r8x 2023-08-01T16:02:11,957 Created temporary directory: /tmp/pip-ephem-wheel-cache-yo6q4_fi 2023-08-01T16:02:11,979 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple 2023-08-01T16:02:11,983 2 location(s) to search for versions of certora-cli-alpha-uri-eradicate-certora-dir: 2023-08-01T16:02:11,983 * https://pypi.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/ 2023-08-01T16:02:11,983 * https://www.piwheels.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/ 2023-08-01T16:02:11,984 Fetching project page and analyzing links: https://pypi.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/ 2023-08-01T16:02:11,984 Getting page https://pypi.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/ 2023-08-01T16:02:11,986 Found index url https://pypi.org/simple/ 2023-08-01T16:02:12,118 Fetched page https://pypi.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/ as application/vnd.pypi.simple.v1+json 2023-08-01T16:02:12,140 Found link https://files.pythonhosted.org/packages/65/dd/f96414b27f0e1e65308fd8427737f3590e21f798c57ebd5c52b54839406e/certora-cli-alpha-uri-eradicate_certora_dir-20230501.16.21.151471.tar.gz (from https://pypi.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/) (requires-python:>=3.8.16), version: 20230501.16.21.151471 2023-08-01T16:02:12,141 Skipping link: No binaries permitted for certora-cli-alpha-uri-eradicate-certora-dir: https://files.pythonhosted.org/packages/11/e6/99b4736469a47949063ec4677244d076622dd56ac8278e1b8ccd5df1350d/certora_cli_alpha_uri_eradicate_certora_dir-20230501.16.21.151471-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/) (requires-python:>=3.8.16) 2023-08-01T16:02:12,141 Found link https://files.pythonhosted.org/packages/7f/25/1359a07ec0e32a75bed6bd5340e529af2d4ea6da3df5c9fac70a3f7f9b9e/certora-cli-alpha-uri-eradicate_certora_dir-20230501.17.40.69341.tar.gz (from https://pypi.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/) (requires-python:>=3.8.16), version: 20230501.17.40.69341 2023-08-01T16:02:12,142 Skipping link: No binaries permitted for certora-cli-alpha-uri-eradicate-certora-dir: https://files.pythonhosted.org/packages/5d/26/d8268f7c4f163db6c421e081ac5d634c6062bf61cd612ece3db83d37e7a8/certora_cli_alpha_uri_eradicate_certora_dir-20230501.17.40.69341-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/) (requires-python:>=3.8.16) 2023-08-01T16:02:12,142 Found link https://files.pythonhosted.org/packages/1f/bf/c4e6d2ffbfa31b4030a51216f4396bcf6f8e3e5c01ccf5256b8fdb3798fb/certora-cli-alpha-uri-eradicate_certora_dir-20230502.7.41.501872.tar.gz (from https://pypi.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/) (requires-python:>=3.8.16), version: 20230502.7.41.501872 2023-08-01T16:02:12,143 Skipping link: No binaries permitted for certora-cli-alpha-uri-eradicate-certora-dir: https://files.pythonhosted.org/packages/a3/45/7582ab8fb5906a96a4d2835b7367fec08bf1ccf4ba1af37e07b43830c0e0/certora_cli_alpha_uri_eradicate_certora_dir-20230502.7.41.501872-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/) (requires-python:>=3.8.16) 2023-08-01T16:02:12,143 Found link https://files.pythonhosted.org/packages/82/8e/25ed3d2fd228f2c4cecd107edfcc27e1d2d6e8940761cfd9b3362a5c88e0/certora-cli-alpha-uri-eradicate_certora_dir-20230502.9.20.737896.tar.gz (from https://pypi.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/) (requires-python:>=3.8.16), version: 20230502.9.20.737896 2023-08-01T16:02:12,143 Skipping link: No binaries permitted for certora-cli-alpha-uri-eradicate-certora-dir: https://files.pythonhosted.org/packages/23/1e/2b5129a5fab7e8c4aa29207425bb4743650980538c91e5f09c163230f915/certora_cli_alpha_uri_eradicate_certora_dir-20230502.9.20.737896-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/) (requires-python:>=3.8.16) 2023-08-01T16:02:12,144 Found link https://files.pythonhosted.org/packages/3b/ae/c7737902e9ed6481a49e6f8b15847af422bb47430c20d40cd3d53e927c1f/certora-cli-alpha-uri-eradicate_certora_dir-20230502.10.33.576625.tar.gz (from https://pypi.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/) (requires-python:>=3.8.16), version: 20230502.10.33.576625 2023-08-01T16:02:12,144 Skipping link: No binaries permitted for certora-cli-alpha-uri-eradicate-certora-dir: https://files.pythonhosted.org/packages/03/e3/d15a99c6cb282f91e75a44d9b7673705a7e713e3819747d27e06b5f93703/certora_cli_alpha_uri_eradicate_certora_dir-20230502.10.33.576625-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/) (requires-python:>=3.8.16) 2023-08-01T16:02:12,145 Found link https://files.pythonhosted.org/packages/20/cf/029b978c57769426170aa8d687189d58a7dd29b8bc117f3bd147efc95bed/certora-cli-alpha-uri-eradicate_certora_dir-20230504.20.20.780525.tar.gz (from https://pypi.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/) (requires-python:>=3.8.16), version: 20230504.20.20.780525 2023-08-01T16:02:12,145 Skipping link: No binaries permitted for certora-cli-alpha-uri-eradicate-certora-dir: https://files.pythonhosted.org/packages/1e/02/d0932a6a980ca8e4fc9bc18b0dbc75055026b12a646a3aa573904d28ac84/certora_cli_alpha_uri_eradicate_certora_dir-20230504.20.20.780525-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/) (requires-python:>=3.8.16) 2023-08-01T16:02:12,146 Found link https://files.pythonhosted.org/packages/cd/4e/cc36eba82a88c9e3e0867a3935d2b97eee0feaa6fcd70f11e4238d13400f/certora-cli-alpha-uri-eradicate_certora_dir-20230508.10.58.458401.tar.gz (from https://pypi.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/) (requires-python:>=3.8.16), version: 20230508.10.58.458401 2023-08-01T16:02:12,146 Skipping link: No binaries permitted for certora-cli-alpha-uri-eradicate-certora-dir: https://files.pythonhosted.org/packages/b4/80/9633404a24e9e5b93223d375071849e78305ec449cf130f0587535851978/certora_cli_alpha_uri_eradicate_certora_dir-20230508.10.58.458401-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/) (requires-python:>=3.8.16) 2023-08-01T16:02:12,147 Found link https://files.pythonhosted.org/packages/8f/5f/bf5d6009e98e90356cf4aeae96ada873d49f2d577c2f6d4d16c46a04da9c/certora-cli-alpha-uri-eradicate_certora_dir-20230508.13.2.491437.tar.gz (from https://pypi.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/) (requires-python:>=3.8.16), version: 20230508.13.2.491437 2023-08-01T16:02:12,147 Skipping link: No binaries permitted for certora-cli-alpha-uri-eradicate-certora-dir: https://files.pythonhosted.org/packages/d8/7f/0760f60dbd2e724100d694132fe02388d39e424aeb54ddbd74689f9da9be/certora_cli_alpha_uri_eradicate_certora_dir-20230508.13.2.491437-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/) (requires-python:>=3.8.16) 2023-08-01T16:02:12,148 Found link https://files.pythonhosted.org/packages/3c/db/53ba7af17855505f3c91dc5f9a313f6e56a4198f3f0b45720e97e01284f3/certora-cli-alpha-uri-eradicate_certora_dir-20230508.15.18.995254.tar.gz (from https://pypi.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/) (requires-python:>=3.8.16), version: 20230508.15.18.995254 2023-08-01T16:02:12,148 Skipping link: No binaries permitted for certora-cli-alpha-uri-eradicate-certora-dir: https://files.pythonhosted.org/packages/d0/72/4bd7fa8fd7eec1fbf492264cdcebfeb719dc7ed4d4789d2c718d4b6a2e5e/certora_cli_alpha_uri_eradicate_certora_dir-20230508.15.18.995254-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/) (requires-python:>=3.8.16) 2023-08-01T16:02:12,148 Found link https://files.pythonhosted.org/packages/91/16/1a50f3d06850ab92737b0278716b867c08fe2d9f09040d5bb29aaf034d96/certora-cli-alpha-uri-eradicate_certora_dir-20230508.16.5.3617.tar.gz (from https://pypi.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/) (requires-python:>=3.8.16), version: 20230508.16.5.3617 2023-08-01T16:02:12,149 Skipping link: No binaries permitted for certora-cli-alpha-uri-eradicate-certora-dir: https://files.pythonhosted.org/packages/d8/8e/67221a78ea8d473eb08465c7f9001c36692db6fc17b1d97f4878933932ec/certora_cli_alpha_uri_eradicate_certora_dir-20230508.16.5.3617-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/) (requires-python:>=3.8.16) 2023-08-01T16:02:12,149 Found link https://files.pythonhosted.org/packages/55/3e/2e7a9c9a2699ab6564752cffbc446a7399ecc1f79d455d6136fcb6bca9ef/certora-cli-alpha-uri-eradicate_certora_dir-20230508.17.36.802001.tar.gz (from https://pypi.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/) (requires-python:>=3.8.16), version: 20230508.17.36.802001 2023-08-01T16:02:12,150 Skipping link: No binaries permitted for certora-cli-alpha-uri-eradicate-certora-dir: https://files.pythonhosted.org/packages/83/18/90bd48a62fb33664b7facba7f2e6a299a0dc3106a1c023a78cf1dae5b8a8/certora_cli_alpha_uri_eradicate_certora_dir-20230508.17.36.802001-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/) (requires-python:>=3.8.16) 2023-08-01T16:02:12,150 Found link https://files.pythonhosted.org/packages/3b/5c/2d780e3eb0b3e16592b0b11581b8f4c63d9ecb5f816dd4f36146ce0f1683/certora-cli-alpha-uri-eradicate_certora_dir-20230508.18.32.237387.tar.gz (from https://pypi.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/) (requires-python:>=3.8.16), version: 20230508.18.32.237387 2023-08-01T16:02:12,150 Skipping link: No binaries permitted for certora-cli-alpha-uri-eradicate-certora-dir: https://files.pythonhosted.org/packages/7a/bf/7f0c9d3071d353ca7e354278b58ab01aa9e374644ba274c8f146535a01a0/certora_cli_alpha_uri_eradicate_certora_dir-20230508.18.32.237387-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/) (requires-python:>=3.8.16) 2023-08-01T16:02:12,151 Found link https://files.pythonhosted.org/packages/27/25/0203625b15c8525205a6652f17105bf7fac4bd1a35437a5d71cfe200dd8b/certora-cli-alpha-uri-eradicate_certora_dir-20230509.10.3.145141.tar.gz (from https://pypi.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/) (requires-python:>=3.8.16), version: 20230509.10.3.145141 2023-08-01T16:02:12,151 Skipping link: No binaries permitted for certora-cli-alpha-uri-eradicate-certora-dir: https://files.pythonhosted.org/packages/91/ee/6e321d16d30c9da698661ab6d8c1d5ac42862650aaf7224f498ae6072890/certora_cli_alpha_uri_eradicate_certora_dir-20230509.10.3.145141-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/) (requires-python:>=3.8.16) 2023-08-01T16:02:12,152 Found link https://files.pythonhosted.org/packages/f1/c3/247ef7f44f1e0e7d2f94406a52a2886b647525dd9fe590fde54c2b9922b8/certora-cli-alpha-uri-eradicate_certora_dir-20230509.11.19.447387.tar.gz (from https://pypi.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/) (requires-python:>=3.8.16), version: 20230509.11.19.447387 2023-08-01T16:02:12,152 Skipping link: No binaries permitted for certora-cli-alpha-uri-eradicate-certora-dir: https://files.pythonhosted.org/packages/6a/bc/8958938ac12caac92a791766db0f03b30e110da679e3a12f66bce230c584/certora_cli_alpha_uri_eradicate_certora_dir-20230509.11.19.447387-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/) (requires-python:>=3.8.16) 2023-08-01T16:02:12,153 Found link https://files.pythonhosted.org/packages/16/2b/2f471d6b928ec329385cee97fd0f1271f43dd54df9dfc08f9defed9f44f1/certora-cli-alpha-uri-eradicate_certora_dir-20230509.12.41.395294.tar.gz (from https://pypi.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/) (requires-python:>=3.8.16), version: 20230509.12.41.395294 2023-08-01T16:02:12,153 Skipping link: No binaries permitted for certora-cli-alpha-uri-eradicate-certora-dir: https://files.pythonhosted.org/packages/3d/33/6dde840c2112f07fa30d8a24c378c610400c994cb6912e76ab42ff3d263d/certora_cli_alpha_uri_eradicate_certora_dir-20230509.12.41.395294-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/) (requires-python:>=3.8.16) 2023-08-01T16:02:12,153 Found link https://files.pythonhosted.org/packages/83/70/2083ae1960dd102dd57bb2dd4524663072ffbbadc1c63f59171dfcbf1a81/certora-cli-alpha-uri-eradicate_certora_dir-20230509.14.7.767571.tar.gz (from https://pypi.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/) (requires-python:>=3.8.16), version: 20230509.14.7.767571 2023-08-01T16:02:12,154 Skipping link: No binaries permitted for certora-cli-alpha-uri-eradicate-certora-dir: https://files.pythonhosted.org/packages/9d/63/7eac1266c76eafade340955591125b0c757256f69afd5a500135c0a5147f/certora_cli_alpha_uri_eradicate_certora_dir-20230509.14.7.767571-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/) (requires-python:>=3.8.16) 2023-08-01T16:02:12,154 Found link https://files.pythonhosted.org/packages/a1/28/4165b26055fef6d3fd730056be6d4f61a1e2eb9971dd8f88e6f0529761c7/certora-cli-alpha-uri-eradicate_certora_dir-20230509.16.47.214531.tar.gz (from https://pypi.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/) (requires-python:>=3.8.16), version: 20230509.16.47.214531 2023-08-01T16:02:12,155 Skipping link: No binaries permitted for certora-cli-alpha-uri-eradicate-certora-dir: https://files.pythonhosted.org/packages/e2/41/fe1d34fa3016b8d13c929ab9c6f7d29ee9046c5702f3f17ee0251ebfcebb/certora_cli_alpha_uri_eradicate_certora_dir-20230509.16.47.214531-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/) (requires-python:>=3.8.16) 2023-08-01T16:02:12,155 Found link https://files.pythonhosted.org/packages/06/12/31129903909bf28edf4743d33bc1d69108852d0b73523862b41edcfee24e/certora-cli-alpha-uri-eradicate_certora_dir-20230509.18.3.90327.tar.gz (from https://pypi.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/) (requires-python:>=3.8.16), version: 20230509.18.3.90327 2023-08-01T16:02:12,155 Skipping link: No binaries permitted for certora-cli-alpha-uri-eradicate-certora-dir: https://files.pythonhosted.org/packages/7f/b2/a0fc0c3de3c805a7f78cbd54375c7c8970d290a8351664c8932f7d02533d/certora_cli_alpha_uri_eradicate_certora_dir-20230509.18.3.90327-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/) (requires-python:>=3.8.16) 2023-08-01T16:02:12,157 Found link https://files.pythonhosted.org/packages/6a/95/eb6bc5081a7bcfa2dc75ed6d02413c043756ca7bf7919d66f98eb3b46a89/certora-cli-alpha-uri-eradicate_certora_dir-20230509.20.1.633192.tar.gz (from https://pypi.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/) (requires-python:>=3.8.16), version: 20230509.20.1.633192 2023-08-01T16:02:12,157 Skipping link: No binaries permitted for certora-cli-alpha-uri-eradicate-certora-dir: https://files.pythonhosted.org/packages/2c/1e/e629433071dacc675e54b6ca9bb12cfc64673f4ea581ee3bfcd9bb923bbf/certora_cli_alpha_uri_eradicate_certora_dir-20230509.20.1.633192-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/) (requires-python:>=3.8.16) 2023-08-01T16:02:12,157 Found link https://files.pythonhosted.org/packages/d0/37/5be9b4ad7a78a5bd77dc0e2d995ff61de5d22a5023b0914978d9662b66e2/certora-cli-alpha-uri-eradicate_certora_dir-20230510.9.53.690092.tar.gz (from https://pypi.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/) (requires-python:>=3.8.16), version: 20230510.9.53.690092 2023-08-01T16:02:12,158 Skipping link: No binaries permitted for certora-cli-alpha-uri-eradicate-certora-dir: https://files.pythonhosted.org/packages/6d/e7/457b90b2f9547b513586a427cf55b6ad8269efc4f1fc32514be45a061612/certora_cli_alpha_uri_eradicate_certora_dir-20230510.9.53.690092-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/) (requires-python:>=3.8.16) 2023-08-01T16:02:12,158 Found link https://files.pythonhosted.org/packages/8b/f6/bc98043c33aa4fba397279057a64b56d69b588d5fbd180abf0e368aea6f2/certora-cli-alpha-uri-eradicate_certora_dir-20230510.11.15.483936.tar.gz (from https://pypi.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/) (requires-python:>=3.8.16), version: 20230510.11.15.483936 2023-08-01T16:02:12,159 Skipping link: No binaries permitted for certora-cli-alpha-uri-eradicate-certora-dir: https://files.pythonhosted.org/packages/26/a7/c11edb9e880732265d2878c428b8991293b1d4143c6a253fb00a336c8fc8/certora_cli_alpha_uri_eradicate_certora_dir-20230510.11.15.483936-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/) (requires-python:>=3.8.16) 2023-08-01T16:02:12,159 Found link https://files.pythonhosted.org/packages/5f/64/89f26b9a575d5f0d2fca8f3d1f4b50bf8cb043aec2ab29e7084c0ddede22/certora-cli-alpha-uri-eradicate_certora_dir-20230510.12.19.236519.tar.gz (from https://pypi.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/) (requires-python:>=3.8.16), version: 20230510.12.19.236519 2023-08-01T16:02:12,159 Skipping link: No binaries permitted for certora-cli-alpha-uri-eradicate-certora-dir: https://files.pythonhosted.org/packages/2c/db/063581f53545b896990830dd034c091fd9af3baa5553153b7c8ea8b116b5/certora_cli_alpha_uri_eradicate_certora_dir-20230510.12.19.236519-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/) (requires-python:>=3.8.16) 2023-08-01T16:02:12,160 Found link https://files.pythonhosted.org/packages/7c/ac/221fa8f80f3d35777ce1b51dd58401d4866cf6af170dde3d5c06cae91b6a/certora-cli-alpha-uri-eradicate_certora_dir-20230510.20.24.86610.tar.gz (from https://pypi.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/) (requires-python:>=3.8.16), version: 20230510.20.24.86610 2023-08-01T16:02:12,160 Skipping link: No binaries permitted for certora-cli-alpha-uri-eradicate-certora-dir: https://files.pythonhosted.org/packages/55/17/ad4eefaa7c403ad9f55cd3a3e864ac8727103ec33bbe5d0483892c68c093/certora_cli_alpha_uri_eradicate_certora_dir-20230510.20.24.86610-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/) (requires-python:>=3.8.16) 2023-08-01T16:02:12,161 Found link https://files.pythonhosted.org/packages/31/ff/717a69b43b6b9973c5878279348cc868391409f4b3ea2abac66bbb6e716d/certora-cli-alpha-uri-eradicate_certora_dir-20230511.17.25.938780.tar.gz (from https://pypi.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/) (requires-python:>=3.8.16), version: 20230511.17.25.938780 2023-08-01T16:02:12,161 Skipping link: No binaries permitted for certora-cli-alpha-uri-eradicate-certora-dir: https://files.pythonhosted.org/packages/1d/24/a17bd6f01d8a0c41ece2697beb66d35b9b8916d35f3b0f9351bd383d7c61/certora_cli_alpha_uri_eradicate_certora_dir-20230511.17.25.938780-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/) (requires-python:>=3.8.16) 2023-08-01T16:02:12,162 Found link https://files.pythonhosted.org/packages/7e/3a/a62dad5948a1ec2d4817a6d44bf73e99c9e5b57df56d541898a44395e4a2/certora-cli-alpha-uri-eradicate_certora_dir-20230511.17.36.676347.tar.gz (from https://pypi.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/) (requires-python:>=3.8.16), version: 20230511.17.36.676347 2023-08-01T16:02:12,162 Skipping link: No binaries permitted for certora-cli-alpha-uri-eradicate-certora-dir: https://files.pythonhosted.org/packages/a1/45/2ec7f3f35edbae5b619b30321db9fb8505222cea12738a9508f2396a4bf9/certora_cli_alpha_uri_eradicate_certora_dir-20230511.17.36.676347-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/) (requires-python:>=3.8.16) 2023-08-01T16:02:12,163 Found link https://files.pythonhosted.org/packages/97/1c/e239461c8de237e39bc2d19fa9f88a87ec7e50160e3439885455d96ee0f6/certora-cli-alpha-uri-eradicate_certora_dir-20230515.14.33.601725.tar.gz (from https://pypi.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/) (requires-python:>=3.8.16), version: 20230515.14.33.601725 2023-08-01T16:02:12,163 Skipping link: No binaries permitted for certora-cli-alpha-uri-eradicate-certora-dir: https://files.pythonhosted.org/packages/fa/e0/5fe4ca3766f234edfe910734044217106d96492243bffb9d99799adb5f48/certora_cli_alpha_uri_eradicate_certora_dir-20230515.14.33.601725-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/) (requires-python:>=3.8.16) 2023-08-01T16:02:12,164 Found link https://files.pythonhosted.org/packages/a8/3a/0477f6769f4663b86847ce26dc5a0786a899c5f898165a52d82dd8e0abf9/certora-cli-alpha-uri-eradicate_certora_dir-20230516.14.24.835741.tar.gz (from https://pypi.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/) (requires-python:>=3.8.16), version: 20230516.14.24.835741 2023-08-01T16:02:12,164 Skipping link: No binaries permitted for certora-cli-alpha-uri-eradicate-certora-dir: https://files.pythonhosted.org/packages/bf/c7/78e280235a90ecd5d036c0261c932248627ed20bf0b1fc6777527f02a163/certora_cli_alpha_uri_eradicate_certora_dir-20230516.14.24.835741-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/) (requires-python:>=3.8.16) 2023-08-01T16:02:12,165 Found link https://files.pythonhosted.org/packages/4f/43/acc223bc3bd5a170efcd24547fae69dcc958cc74d5f745893efe2ed2fac6/certora-cli-alpha-uri-eradicate_certora_dir-20230516.18.20.47322.tar.gz (from https://pypi.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/) (requires-python:>=3.8.16), version: 20230516.18.20.47322 2023-08-01T16:02:12,165 Skipping link: No binaries permitted for certora-cli-alpha-uri-eradicate-certora-dir: https://files.pythonhosted.org/packages/d6/10/1cd85d335ea0bb9494630175ce45b55a6853e659a57dbd95b5c93d962b2e/certora_cli_alpha_uri_eradicate_certora_dir-20230516.18.20.47322-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/) (requires-python:>=3.8.16) 2023-08-01T16:02:12,165 Found link https://files.pythonhosted.org/packages/4f/81/7d2478761f01b6ea5f1070a3bf8ae1e8ff14f3144d3274fc419888fd4311/certora-cli-alpha-uri-eradicate_certora_dir-20230516.19.32.34708.tar.gz (from https://pypi.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/) (requires-python:>=3.8.16), version: 20230516.19.32.34708 2023-08-01T16:02:12,166 Skipping link: No binaries permitted for certora-cli-alpha-uri-eradicate-certora-dir: https://files.pythonhosted.org/packages/96/7b/a55a72fcae5741de73e3305a4da0e96773a5a092596d385a74be997dbe70/certora_cli_alpha_uri_eradicate_certora_dir-20230516.19.32.34708-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/) (requires-python:>=3.8.16) 2023-08-01T16:02:12,166 Found link https://files.pythonhosted.org/packages/95/12/2361f9b1745f24f73c316c0f299fab29732d6c03028065e1577d748bdf0f/certora-cli-alpha-uri-eradicate_certora_dir-20230516.19.57.373904.tar.gz (from https://pypi.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/) (requires-python:>=3.8.16), version: 20230516.19.57.373904 2023-08-01T16:02:12,167 Skipping link: No binaries permitted for certora-cli-alpha-uri-eradicate-certora-dir: https://files.pythonhosted.org/packages/ea/27/c52614dc650187a7c2167d3becad018c656f8ee438fa7b3ebbd099c43f5c/certora_cli_alpha_uri_eradicate_certora_dir-20230516.19.57.373904-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/) (requires-python:>=3.8.16) 2023-08-01T16:02:12,167 Found link https://files.pythonhosted.org/packages/f3/28/1cf73daf457042404af369ab2f3e55bcd126e2e6bc15ed2c07970a6754f0/certora-cli-alpha-uri-eradicate_certora_dir-20230517.7.53.784228.tar.gz (from https://pypi.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/) (requires-python:>=3.8.16), version: 20230517.7.53.784228 2023-08-01T16:02:12,167 Skipping link: No binaries permitted for certora-cli-alpha-uri-eradicate-certora-dir: https://files.pythonhosted.org/packages/2e/d0/72f48e5272e63f4ec723fe1a7649648b47756948c5152fc53069da99322c/certora_cli_alpha_uri_eradicate_certora_dir-20230517.7.53.784228-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/) (requires-python:>=3.8.16) 2023-08-01T16:02:12,168 Found link https://files.pythonhosted.org/packages/3c/e6/3ca8a07292fb04fad2a550e054e1d06612fe6c3220e4a239085a6b0ef111/certora-cli-alpha-uri-eradicate_certora_dir-20230517.9.43.923211.tar.gz (from https://pypi.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/) (requires-python:>=3.8.16), version: 20230517.9.43.923211 2023-08-01T16:02:12,168 Skipping link: No binaries permitted for certora-cli-alpha-uri-eradicate-certora-dir: https://files.pythonhosted.org/packages/d5/48/0944770164e971366a7225d9133e2faf96a4ebd916522cbcb6368c8f6258/certora_cli_alpha_uri_eradicate_certora_dir-20230517.9.43.923211-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/) (requires-python:>=3.8.16) 2023-08-01T16:02:12,169 Found link https://files.pythonhosted.org/packages/23/bc/8077e7add694f7e5647759b4cbfe9fe8f1fe807ce2ec42f5b445d715159b/certora-cli-alpha-uri-eradicate_certora_dir-20230517.10.26.318001.tar.gz (from https://pypi.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/) (requires-python:>=3.8.16), version: 20230517.10.26.318001 2023-08-01T16:02:12,169 Skipping link: No binaries permitted for certora-cli-alpha-uri-eradicate-certora-dir: https://files.pythonhosted.org/packages/6d/64/6bc182d81d50aa8ea5ca00d22de056914a5a2a66ba67ce6c44d3ed31a112/certora_cli_alpha_uri_eradicate_certora_dir-20230517.10.26.318001-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/) (requires-python:>=3.8.16) 2023-08-01T16:02:12,170 Found link https://files.pythonhosted.org/packages/10/a1/b142f3f665ab98943a0d66c81be7b889741a422284a9f5908b2a4b35b7d6/certora-cli-alpha-uri-eradicate_certora_dir-20230517.12.42.535121.tar.gz (from https://pypi.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/) (requires-python:>=3.8.16), version: 20230517.12.42.535121 2023-08-01T16:02:12,170 Skipping link: No binaries permitted for certora-cli-alpha-uri-eradicate-certora-dir: https://files.pythonhosted.org/packages/71/b9/5012e0bec597b8631da267c0e9715f59fcb03ee07474b298261136f8c293/certora_cli_alpha_uri_eradicate_certora_dir-20230517.12.42.535121-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/) (requires-python:>=3.8.16) 2023-08-01T16:02:12,170 Found link https://files.pythonhosted.org/packages/13/38/bff95253a7c535ee5a80b17610f16e049ea65c64727b35180a3eea3e5ade/certora-cli-alpha-uri-eradicate_certora_dir-20230517.13.20.613909.tar.gz (from https://pypi.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/) (requires-python:>=3.8.16), version: 20230517.13.20.613909 2023-08-01T16:02:12,171 Skipping link: No binaries permitted for certora-cli-alpha-uri-eradicate-certora-dir: https://files.pythonhosted.org/packages/00/a4/893327164100fbc43da82399d2e60e17aa68dc894e109e23eb8565d18267/certora_cli_alpha_uri_eradicate_certora_dir-20230517.13.20.613909-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/) (requires-python:>=3.8.16) 2023-08-01T16:02:12,171 Found link https://files.pythonhosted.org/packages/45/8a/b3a464b179a8e91a650f4bed77244e49a57411bb7ec6630a15dbccf5dc63/certora-cli-alpha-uri-eradicate_certora_dir-20230517.14.3.640691.tar.gz (from https://pypi.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/) (requires-python:>=3.8.16), version: 20230517.14.3.640691 2023-08-01T16:02:12,171 Skipping link: No binaries permitted for certora-cli-alpha-uri-eradicate-certora-dir: https://files.pythonhosted.org/packages/96/64/069ff1d169f9e38da12e5bcb6ffab0d021674df477ea0400b824e422f902/certora_cli_alpha_uri_eradicate_certora_dir-20230517.14.3.640691-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/) (requires-python:>=3.8.16) 2023-08-01T16:02:12,172 Found link https://files.pythonhosted.org/packages/69/85/92da72ad13c305f1fc1c2625dcffadad0c0b06d97400036be5708800ad6e/certora-cli-alpha-uri-eradicate_certora_dir-20230517.14.44.223508.tar.gz (from https://pypi.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/) (requires-python:>=3.8.16), version: 20230517.14.44.223508 2023-08-01T16:02:12,172 Skipping link: No binaries permitted for certora-cli-alpha-uri-eradicate-certora-dir: https://files.pythonhosted.org/packages/46/79/a5115152e08be47411d6765475f2ce91cbcf78becae03c2477eb71dcb305/certora_cli_alpha_uri_eradicate_certora_dir-20230517.14.44.223508-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/) (requires-python:>=3.8.16) 2023-08-01T16:02:12,173 Found link https://files.pythonhosted.org/packages/38/61/414667c5aa20c466807393664274971c0a484fb1366b316977acb4214429/certora-cli-alpha-uri-eradicate_certora_dir-20230517.15.15.87844.tar.gz (from https://pypi.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/) (requires-python:>=3.8.16), version: 20230517.15.15.87844 2023-08-01T16:02:12,173 Skipping link: No binaries permitted for certora-cli-alpha-uri-eradicate-certora-dir: https://files.pythonhosted.org/packages/fd/14/a989edf48c21985ce0db9021f7638b788d4272bc99dc9f1cf1a0ff909b22/certora_cli_alpha_uri_eradicate_certora_dir-20230517.15.15.87844-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/) (requires-python:>=3.8.16) 2023-08-01T16:02:12,174 Found link https://files.pythonhosted.org/packages/02/99/e6f8ec348c872d5e3c0880fa1d51f82007e1df9479865c7ffb3a63083b06/certora-cli-alpha-uri-eradicate_certora_dir-20230517.17.50.842676.tar.gz (from https://pypi.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/) (requires-python:>=3.8.16), version: 20230517.17.50.842676 2023-08-01T16:02:12,174 Skipping link: No binaries permitted for certora-cli-alpha-uri-eradicate-certora-dir: https://files.pythonhosted.org/packages/31/72/cd8c66af29fc920a6c04f543fcc2564c8a0ce16a559cff7cfbd2c439ee77/certora_cli_alpha_uri_eradicate_certora_dir-20230517.17.50.842676-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/) (requires-python:>=3.8.16) 2023-08-01T16:02:12,175 Found link https://files.pythonhosted.org/packages/ff/4f/8291607ae6233fe2c149a9bfdc1b6aa0f5e3da2d1047383c053538933f9a/certora-cli-alpha-uri-eradicate_certora_dir-20230517.18.45.899004.tar.gz (from https://pypi.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/) (requires-python:>=3.8.16), version: 20230517.18.45.899004 2023-08-01T16:02:12,175 Skipping link: No binaries permitted for certora-cli-alpha-uri-eradicate-certora-dir: https://files.pythonhosted.org/packages/1b/6b/2ac5620cb9351a5fefb3f33878443d123dfe78d99af4de533cbf38f2c205/certora_cli_alpha_uri_eradicate_certora_dir-20230517.18.45.899004-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/) (requires-python:>=3.8.16) 2023-08-01T16:02:12,175 Found link https://files.pythonhosted.org/packages/cc/61/08573d37441a50ff4a76f68de820da9bd5ad75e8749d6b56b2112e8ae4f8/certora-cli-alpha-uri-eradicate_certora_dir-20230517.19.39.249671.tar.gz (from https://pypi.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/) (requires-python:>=3.8), version: 20230517.19.39.249671 2023-08-01T16:02:12,176 Skipping link: No binaries permitted for certora-cli-alpha-uri-eradicate-certora-dir: https://files.pythonhosted.org/packages/8b/97/caf517a1da7f057ed47f39692725db1e89ee8050a55482bb5202d43c560e/certora_cli_alpha_uri_eradicate_certora_dir-20230517.19.39.249671-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/) (requires-python:>=3.8) 2023-08-01T16:02:12,176 Found link https://files.pythonhosted.org/packages/f1/e4/d7715e26e48a9772134bbbfed39abc964d9312c69b7b0aa1d1ca9fa437aa/certora-cli-alpha-uri-eradicate_certora_dir-20230518.13.42.864350.tar.gz (from https://pypi.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/) (requires-python:>=3.8), version: 20230518.13.42.864350 2023-08-01T16:02:12,177 Skipping link: No binaries permitted for certora-cli-alpha-uri-eradicate-certora-dir: https://files.pythonhosted.org/packages/9b/73/ba78b4168a20eb62e3ebf9f0625ddbf358aa50024003d58675d9bd6a2ded/certora_cli_alpha_uri_eradicate_certora_dir-20230518.13.42.864350-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/) (requires-python:>=3.8) 2023-08-01T16:02:12,177 Found link https://files.pythonhosted.org/packages/a4/bb/feaa38b00d92865ab03aeca5ada131ab2bafc9a2ab294276df6f98d3393f/certora-cli-alpha-uri-eradicate_certora_dir-20230726.19.45.191680.tar.gz (from https://pypi.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/) (requires-python:>=3.8), version: 20230726.19.45.191680 2023-08-01T16:02:12,177 Skipping link: No binaries permitted for certora-cli-alpha-uri-eradicate-certora-dir: https://files.pythonhosted.org/packages/7e/38/c813190d9493d6aa0a850ca2c4a5d9c2812170dbdec88fb499e33bd96f9c/certora_cli_alpha_uri_eradicate_certora_dir-20230726.19.45.191680-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/) (requires-python:>=3.8) 2023-08-01T16:02:12,178 Skipping link: No binaries permitted for certora-cli-alpha-uri-eradicate-certora-dir: https://files.pythonhosted.org/packages/d2/52/aea4d59a9e0602c21e6bbb345ed7ffee5bfccdfca49762faf2b519867a57/certora_cli_alpha_uri_eradicate_certora_dir-20230726.19.45.191680-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/) (requires-python:>=3.8) 2023-08-01T16:02:12,178 Skipping link: No binaries permitted for certora-cli-alpha-uri-eradicate-certora-dir: https://files.pythonhosted.org/packages/17/f6/3a9896472d3e28f364796b516dfd6be33ba8d10c2108d4009fe866806dd6/certora_cli_alpha_uri_eradicate_certora_dir-20230726.19.45.191680-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/) (requires-python:>=3.8) 2023-08-01T16:02:12,178 Found link https://files.pythonhosted.org/packages/d4/8c/ae35a7dd92f868b5d749cfe9fb954b767ddb857b31cd946c21d7f8ba6365/certora-cli-alpha-uri-eradicate_certora_dir-20230726.19.50.565018.tar.gz (from https://pypi.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/) (requires-python:>=3.8), version: 20230726.19.50.565018 2023-08-01T16:02:12,179 Skipping link: No binaries permitted for certora-cli-alpha-uri-eradicate-certora-dir: https://files.pythonhosted.org/packages/dc/d8/773a8f1421b509a457924a34c945094cd4c7e26d8297c71e5a0f42560160/certora_cli_alpha_uri_eradicate_certora_dir-20230726.19.50.565018-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/) (requires-python:>=3.8) 2023-08-01T16:02:12,179 Skipping link: No binaries permitted for certora-cli-alpha-uri-eradicate-certora-dir: https://files.pythonhosted.org/packages/ac/df/23d8e111a176de9a52ada6a6b97e14e239c4cf447b016578d38ce0ddb2cd/certora_cli_alpha_uri_eradicate_certora_dir-20230726.19.50.565018-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/) (requires-python:>=3.8) 2023-08-01T16:02:12,179 Skipping link: No binaries permitted for certora-cli-alpha-uri-eradicate-certora-dir: https://files.pythonhosted.org/packages/5b/b5/56421937d1e5e8bc82c6042cdafa28a32a4840ae97bb52af780830de72f6/certora_cli_alpha_uri_eradicate_certora_dir-20230726.19.50.565018-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/) (requires-python:>=3.8) 2023-08-01T16:02:12,180 Found link https://files.pythonhosted.org/packages/49/35/9d0cefa44a6fad23146f58c35ac22ed5c9196a04c740c26bc99097ddb807/certora-cli-alpha-uri-eradicate_certora_dir-20230726.20.10.855543.tar.gz (from https://pypi.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/) (requires-python:>=3.8), version: 20230726.20.10.855543 2023-08-01T16:02:12,180 Skipping link: No binaries permitted for certora-cli-alpha-uri-eradicate-certora-dir: https://files.pythonhosted.org/packages/59/a5/f644b9266d8cac36eb3f9a4fc58e63612dd2daca03cc68af12d7409fa984/certora_cli_alpha_uri_eradicate_certora_dir-20230726.20.10.855543-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/) (requires-python:>=3.8) 2023-08-01T16:02:12,180 Skipping link: No binaries permitted for certora-cli-alpha-uri-eradicate-certora-dir: https://files.pythonhosted.org/packages/52/4a/9df41572d4748c14380379a83ca4461cb9b210fb87e4d8afae856f110a0e/certora_cli_alpha_uri_eradicate_certora_dir-20230726.20.10.855543-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/) (requires-python:>=3.8) 2023-08-01T16:02:12,180 Skipping link: No binaries permitted for certora-cli-alpha-uri-eradicate-certora-dir: https://files.pythonhosted.org/packages/e4/32/a829d208d9aab41398610fa8458f4fea3648a537b829685750fd7e360bec/certora_cli_alpha_uri_eradicate_certora_dir-20230726.20.10.855543-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/) (requires-python:>=3.8) 2023-08-01T16:02:12,181 Found link https://files.pythonhosted.org/packages/36/9c/67654305556cdc05cf3d93d56049e2945c96770c5be18475c193d428c9d9/certora-cli-alpha-uri-eradicate_certora_dir-20230726.20.24.84108.tar.gz (from https://pypi.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/) (requires-python:>=3.8), version: 20230726.20.24.84108 2023-08-01T16:02:12,181 Skipping link: No binaries permitted for certora-cli-alpha-uri-eradicate-certora-dir: https://files.pythonhosted.org/packages/ee/f6/8617e488250734fc99cb245a21bb17676aa42c521e57bd4c4f270ad8376a/certora_cli_alpha_uri_eradicate_certora_dir-20230726.20.24.84108-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/) (requires-python:>=3.8) 2023-08-01T16:02:12,182 Skipping link: No binaries permitted for certora-cli-alpha-uri-eradicate-certora-dir: https://files.pythonhosted.org/packages/99/ad/47f51d05fae553061bb09fb1bf2ba56993de3cf50c8353c739eed8dc605f/certora_cli_alpha_uri_eradicate_certora_dir-20230726.20.24.84108-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/) (requires-python:>=3.8) 2023-08-01T16:02:12,182 Skipping link: No binaries permitted for certora-cli-alpha-uri-eradicate-certora-dir: https://files.pythonhosted.org/packages/72/70/50601d3e89656cdd4c8a51ebfc9a184a27dda454c338c98df0cfc673c19f/certora_cli_alpha_uri_eradicate_certora_dir-20230726.20.24.84108-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/) (requires-python:>=3.8) 2023-08-01T16:02:12,182 Found link https://files.pythonhosted.org/packages/77/87/f9cfd0e170e2934e02852d60927a1dabfdc2e5956e53ef4879beb389b4b1/certora-cli-alpha-uri-eradicate_certora_dir-20230726.20.55.535589.tar.gz (from https://pypi.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/) (requires-python:>=3.8), version: 20230726.20.55.535589 2023-08-01T16:02:12,183 Skipping link: No binaries permitted for certora-cli-alpha-uri-eradicate-certora-dir: https://files.pythonhosted.org/packages/b4/24/0b2534c3df34cba0451f8d63d7d54ce3d2893a5b853fc81bbf0fb68987c0/certora_cli_alpha_uri_eradicate_certora_dir-20230726.20.55.535589-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/) (requires-python:>=3.8) 2023-08-01T16:02:12,183 Skipping link: No binaries permitted for certora-cli-alpha-uri-eradicate-certora-dir: https://files.pythonhosted.org/packages/22/7a/7bc75640ee33795ab0d3c2dfe1673d5ddca92d50fd5e48f890f7fee9b0bd/certora_cli_alpha_uri_eradicate_certora_dir-20230726.20.55.535589-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/) (requires-python:>=3.8) 2023-08-01T16:02:12,183 Skipping link: No binaries permitted for certora-cli-alpha-uri-eradicate-certora-dir: https://files.pythonhosted.org/packages/ab/10/8be7bca916c488f6b1f50ceb838a4a998d157821a10c9300318bac5bc352/certora_cli_alpha_uri_eradicate_certora_dir-20230726.20.55.535589-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/) (requires-python:>=3.8) 2023-08-01T16:02:12,184 Found link https://files.pythonhosted.org/packages/d8/7d/1c0caf2397d65015117792a69d605ef8cc1234ba179027be893cd29c2681/certora-cli-alpha-uri-eradicate_certora_dir-20230801.14.51.113268.tar.gz (from https://pypi.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/) (requires-python:>=3.8), version: 20230801.14.51.113268 2023-08-01T16:02:12,184 Skipping link: No binaries permitted for certora-cli-alpha-uri-eradicate-certora-dir: https://files.pythonhosted.org/packages/f0/fc/416ddb154deae1850857020f2acdaa1a36f441e9af19a553e30be622c30f/certora_cli_alpha_uri_eradicate_certora_dir-20230801.14.51.113268-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/) (requires-python:>=3.8) 2023-08-01T16:02:12,184 Skipping link: No binaries permitted for certora-cli-alpha-uri-eradicate-certora-dir: https://files.pythonhosted.org/packages/d7/a3/f0c978da65ee8fb1294d4477ddafde923518db9f1a82222ef864edaddeb6/certora_cli_alpha_uri_eradicate_certora_dir-20230801.14.51.113268-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/) (requires-python:>=3.8) 2023-08-01T16:02:12,184 Skipping link: No binaries permitted for certora-cli-alpha-uri-eradicate-certora-dir: https://files.pythonhosted.org/packages/37/e3/7967bcaaad7d20ac950b7520fd183dcd4b488e380dad668acf5e0ab8433d/certora_cli_alpha_uri_eradicate_certora_dir-20230801.14.51.113268-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/) (requires-python:>=3.8) 2023-08-01T16:02:12,185 Found link https://files.pythonhosted.org/packages/e8/c3/f98b34561515cb6e2e6d12ac00ada853c413e61a929c2ee4f95b456fb951/certora-cli-alpha-uri-eradicate_certora_dir-20230801.15.9.307979.tar.gz (from https://pypi.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/) (requires-python:>=3.8), version: 20230801.15.9.307979 2023-08-01T16:02:12,185 Skipping link: No binaries permitted for certora-cli-alpha-uri-eradicate-certora-dir: https://files.pythonhosted.org/packages/34/e2/d79651a42c4960356c02e9fd594002d55054ec492d84b50a76fa709796c7/certora_cli_alpha_uri_eradicate_certora_dir-20230801.15.9.307979-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/) (requires-python:>=3.8) 2023-08-01T16:02:12,185 Skipping link: No binaries permitted for certora-cli-alpha-uri-eradicate-certora-dir: https://files.pythonhosted.org/packages/d6/f1/c01dae616e73d15b277095dcb93323b2a75478c709d23fc6d1722976d19b/certora_cli_alpha_uri_eradicate_certora_dir-20230801.15.9.307979-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/) (requires-python:>=3.8) 2023-08-01T16:02:12,186 Skipping link: No binaries permitted for certora-cli-alpha-uri-eradicate-certora-dir: https://files.pythonhosted.org/packages/c4/06/a99e9cfebbbbdaaa787cfe27344f346b10c107a01551ead77059d520eda4/certora_cli_alpha_uri_eradicate_certora_dir-20230801.15.9.307979-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/) (requires-python:>=3.8) 2023-08-01T16:02:12,186 Found link https://files.pythonhosted.org/packages/4a/da/8885ecc3f5c97e3185c5c5368d0afdda0a8f6b1bb388d4659916f391f701/certora-cli-alpha-uri-eradicate_certora_dir-20230801.15.15.641222.tar.gz (from https://pypi.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/) (requires-python:>=3.8), version: 20230801.15.15.641222 2023-08-01T16:02:12,187 Skipping link: No binaries permitted for certora-cli-alpha-uri-eradicate-certora-dir: https://files.pythonhosted.org/packages/81/9b/28b47d048f2093ea498f2193ce1daf4fa5d63f3dc3a374e3acd98e95424f/certora_cli_alpha_uri_eradicate_certora_dir-20230801.15.15.641222-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/) (requires-python:>=3.8) 2023-08-01T16:02:12,187 Skipping link: No binaries permitted for certora-cli-alpha-uri-eradicate-certora-dir: https://files.pythonhosted.org/packages/e7/18/83451d923219cd5cd4fa1ce2cdda4c98405b626c7f37a495a647b54dfaaa/certora_cli_alpha_uri_eradicate_certora_dir-20230801.15.15.641222-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/) (requires-python:>=3.8) 2023-08-01T16:02:12,187 Skipping link: No binaries permitted for certora-cli-alpha-uri-eradicate-certora-dir: https://files.pythonhosted.org/packages/b5/ba/5d2913f04306e079a6b6dccf8964df4c88f1ac385dff2346574810e9d5d6/certora_cli_alpha_uri_eradicate_certora_dir-20230801.15.15.641222-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/) (requires-python:>=3.8) 2023-08-01T16:02:12,188 Found link https://files.pythonhosted.org/packages/32/3f/7ffdf57c762754a19283341ce2fa0060d3a7fe4dbd736d10d3e6103589f6/certora-cli-alpha-uri-eradicate_certora_dir-20230801.15.42.608313.tar.gz (from https://pypi.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/) (requires-python:>=3.8), version: 20230801.15.42.608313 2023-08-01T16:02:12,188 Skipping link: No binaries permitted for certora-cli-alpha-uri-eradicate-certora-dir: https://files.pythonhosted.org/packages/54/bc/993816a79bf117c58201180e921ea3a16f0ae10a22acb7d0f9e57e8e9089/certora_cli_alpha_uri_eradicate_certora_dir-20230801.15.42.608313-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/) (requires-python:>=3.8) 2023-08-01T16:02:12,188 Skipping link: No binaries permitted for certora-cli-alpha-uri-eradicate-certora-dir: https://files.pythonhosted.org/packages/51/a4/b896586e0293deb7df1cbbdfc92e4f2342f569ac5b5eeb1d514e03d536e2/certora_cli_alpha_uri_eradicate_certora_dir-20230801.15.42.608313-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/) (requires-python:>=3.8) 2023-08-01T16:02:12,188 Skipping link: No binaries permitted for certora-cli-alpha-uri-eradicate-certora-dir: https://files.pythonhosted.org/packages/be/92/ac192eb60f144b9f403acfcc9daa94a4a237eae7c566bf88303432243b29/certora_cli_alpha_uri_eradicate_certora_dir-20230801.15.42.608313-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/) (requires-python:>=3.8) 2023-08-01T16:02:12,189 Fetching project page and analyzing links: https://www.piwheels.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/ 2023-08-01T16:02:12,189 Getting page https://www.piwheels.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/ 2023-08-01T16:02:12,190 Found index url https://www.piwheels.org/simple/ 2023-08-01T16:02:12,346 Fetched page https://www.piwheels.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/ as text/html 2023-08-01T16:02:12,361 Skipping link: No binaries permitted for certora-cli-alpha-uri-eradicate-certora-dir: https://www.piwheels.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/certora_cli_alpha_uri_eradicate_certora_dir-20230801.14.51.113268-py3-none-any.whl#sha256=d7ebfb5101c69f01bba7488ef5bb5d55a6b4e801df46f19bb5f209f6eeca00ea (from https://www.piwheels.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/) (requires-python:>=3.8) 2023-08-01T16:02:12,362 Skipping link: No binaries permitted for certora-cli-alpha-uri-eradicate-certora-dir: https://www.piwheels.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/certora_cli_alpha_uri_eradicate_certora_dir-20230726.20.55.535589-py3-none-any.whl#sha256=e8e153506618047f077be6c54bfd5c88b70970d0befabbecdf3d7364d3bc589f (from https://www.piwheels.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/) (requires-python:>=3.8) 2023-08-01T16:02:12,362 Skipping link: No binaries permitted for certora-cli-alpha-uri-eradicate-certora-dir: https://www.piwheels.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/certora_cli_alpha_uri_eradicate_certora_dir-20230726.20.24.84108-py3-none-any.whl#sha256=625ff203fe93bfbc9a11c6ddec95df24c59c84b4064441db51ffa8d0f86fa299 (from https://www.piwheels.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/) (requires-python:>=3.8) 2023-08-01T16:02:12,362 Skipping link: No binaries permitted for certora-cli-alpha-uri-eradicate-certora-dir: https://www.piwheels.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/certora_cli_alpha_uri_eradicate_certora_dir-20230726.20.10.855543-py3-none-any.whl#sha256=caba387e79af4149984977f5488cb7a350d88cee91d64e284545542e6999383a (from https://www.piwheels.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/) (requires-python:>=3.8) 2023-08-01T16:02:12,362 Skipping link: No binaries permitted for certora-cli-alpha-uri-eradicate-certora-dir: https://www.piwheels.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/certora_cli_alpha_uri_eradicate_certora_dir-20230726.19.50.565018-py3-none-any.whl#sha256=e7ae2e8d6ac5da6e2930ef06830bdd88e8c5adc76399cde0d2d0b83a03c7268a (from https://www.piwheels.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/) (requires-python:>=3.8) 2023-08-01T16:02:12,363 Skipping link: No binaries permitted for certora-cli-alpha-uri-eradicate-certora-dir: https://www.piwheels.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/certora_cli_alpha_uri_eradicate_certora_dir-20230726.19.45.191680-py3-none-any.whl#sha256=d42814efb9c895d0f3b1849fa05bd808b8c71f9cd956b1c8c05dfb7cebc2e6a8 (from https://www.piwheels.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/) (requires-python:>=3.8) 2023-08-01T16:02:12,363 Skipping link: No binaries permitted for certora-cli-alpha-uri-eradicate-certora-dir: https://www.piwheels.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/certora_cli_alpha_uri_eradicate_certora_dir-20230518.13.42.864350-py3-none-any.whl#sha256=64d837a76be28e7ddf1ab41e8507a30eaeeedbe98321527d4d7378937de6e1b4 (from https://www.piwheels.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/) (requires-python:>=3.8) 2023-08-01T16:02:12,363 Skipping link: No binaries permitted for certora-cli-alpha-uri-eradicate-certora-dir: https://www.piwheels.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/certora_cli_alpha_uri_eradicate_certora_dir-20230517.19.39.249671-py3-none-any.whl#sha256=8cc0292607997dbcc30278a930c4e415479eda222039f2f1e77eb9cedd8c8001 (from https://www.piwheels.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/) (requires-python:>=3.8) 2023-08-01T16:02:12,363 Skipping link: No binaries permitted for certora-cli-alpha-uri-eradicate-certora-dir: https://www.piwheels.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/certora_cli_alpha_uri_eradicate_certora_dir-20230517.18.45.899004-py3-none-any.whl#sha256=ad6edb87c041866a5546a8ea37e8a09e1dc1c411772df9a0d734b6b6d77f5ad6 (from https://www.piwheels.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/) (requires-python:>=3.8.16) 2023-08-01T16:02:12,363 Skipping link: No binaries permitted for certora-cli-alpha-uri-eradicate-certora-dir: https://www.piwheels.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/certora_cli_alpha_uri_eradicate_certora_dir-20230517.17.50.842676-py3-none-any.whl#sha256=c0096ca1ecaf70836dd0380d3b65d3642770938c197faff0487fc97b61c3ad07 (from https://www.piwheels.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/) (requires-python:>=3.8.16) 2023-08-01T16:02:12,364 Skipping link: No binaries permitted for certora-cli-alpha-uri-eradicate-certora-dir: https://www.piwheels.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/certora_cli_alpha_uri_eradicate_certora_dir-20230517.15.15.87844-py3-none-any.whl#sha256=519b2e6edfd1d54a160c5d3b95973c7153657f51e436067bce209a8aa051841c (from https://www.piwheels.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/) (requires-python:>=3.8.16) 2023-08-01T16:02:12,364 Skipping link: No binaries permitted for certora-cli-alpha-uri-eradicate-certora-dir: https://www.piwheels.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/certora_cli_alpha_uri_eradicate_certora_dir-20230517.14.44.223508-py3-none-any.whl#sha256=26000637f4f8c16177cb493f7d2af51353139eafb4787fd1d2f18de3f48d0aff (from https://www.piwheels.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/) (requires-python:>=3.8.16) 2023-08-01T16:02:12,364 Skipping link: No binaries permitted for certora-cli-alpha-uri-eradicate-certora-dir: https://www.piwheels.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/certora_cli_alpha_uri_eradicate_certora_dir-20230517.14.3.640691-py3-none-any.whl#sha256=ce94302b1b7e5404f099b7a2e277d626d9d6ff25bb24ee369710b0977b9cb814 (from https://www.piwheels.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/) (requires-python:>=3.8.16) 2023-08-01T16:02:12,364 Skipping link: No binaries permitted for certora-cli-alpha-uri-eradicate-certora-dir: https://www.piwheels.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/certora_cli_alpha_uri_eradicate_certora_dir-20230517.13.20.613909-py3-none-any.whl#sha256=3d7c504b40ba1d39abd22d0ade40406729640193b771389bd04101dfdd6dd1c8 (from https://www.piwheels.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/) (requires-python:>=3.8.16) 2023-08-01T16:02:12,365 Skipping link: No binaries permitted for certora-cli-alpha-uri-eradicate-certora-dir: https://www.piwheels.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/certora_cli_alpha_uri_eradicate_certora_dir-20230517.12.42.535121-py3-none-any.whl#sha256=206b223f9a303eed43a2077e709edd430dda91816d25712cc99a5255ba5698f2 (from https://www.piwheels.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/) (requires-python:>=3.8.16) 2023-08-01T16:02:12,365 Skipping link: No binaries permitted for certora-cli-alpha-uri-eradicate-certora-dir: https://www.piwheels.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/certora_cli_alpha_uri_eradicate_certora_dir-20230517.10.26.318001-py3-none-any.whl#sha256=879b8923faa718c69785387f9b7f93266a5c2f270ad25f87bddcefe6713e9a08 (from https://www.piwheels.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/) (requires-python:>=3.8.16) 2023-08-01T16:02:12,365 Skipping link: No binaries permitted for certora-cli-alpha-uri-eradicate-certora-dir: https://www.piwheels.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/certora_cli_alpha_uri_eradicate_certora_dir-20230517.9.43.923211-py3-none-any.whl#sha256=793cd79941f1fe2f09a0ab2e10cb711d4e2a285151d82ae2bcb2a7af60ea60e7 (from https://www.piwheels.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/) (requires-python:>=3.8.16) 2023-08-01T16:02:12,365 Skipping link: No binaries permitted for certora-cli-alpha-uri-eradicate-certora-dir: https://www.piwheels.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/certora_cli_alpha_uri_eradicate_certora_dir-20230517.7.53.784228-py3-none-any.whl#sha256=7e39c3fe5bfdfc43a741f7ccc270ed937e8aa27060ee906290b2e9b0d78bdbde (from https://www.piwheels.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/) (requires-python:>=3.8.16) 2023-08-01T16:02:12,365 Skipping link: No binaries permitted for certora-cli-alpha-uri-eradicate-certora-dir: https://www.piwheels.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/certora_cli_alpha_uri_eradicate_certora_dir-20230516.19.57.373904-py3-none-any.whl#sha256=d2a6839ca6511489bfc2eeb506024568548b7b7519f6d36cf967b1f4dbc583f9 (from https://www.piwheels.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/) (requires-python:>=3.8.16) 2023-08-01T16:02:12,366 Skipping link: No binaries permitted for certora-cli-alpha-uri-eradicate-certora-dir: https://www.piwheels.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/certora_cli_alpha_uri_eradicate_certora_dir-20230516.19.32.34708-py3-none-any.whl#sha256=8b187e2af333ad2d699493866f90cd0681c50972dda4d164efee917bff32b156 (from https://www.piwheels.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/) (requires-python:>=3.8.16) 2023-08-01T16:02:12,366 Skipping link: No binaries permitted for certora-cli-alpha-uri-eradicate-certora-dir: https://www.piwheels.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/certora_cli_alpha_uri_eradicate_certora_dir-20230516.18.20.47322-py3-none-any.whl#sha256=e4603e9b993f060d313d0acd84553c0178677d14705da14cef1eff0607fbd7e6 (from https://www.piwheels.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/) (requires-python:>=3.8.16) 2023-08-01T16:02:12,366 Skipping link: No binaries permitted for certora-cli-alpha-uri-eradicate-certora-dir: https://www.piwheels.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/certora_cli_alpha_uri_eradicate_certora_dir-20230516.14.24.835741-py3-none-any.whl#sha256=ae7fae472ddfd48e13c2934386b98db8a0aae4afe71dc94cafd2ebc42457db6b (from https://www.piwheels.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/) (requires-python:>=3.8.16) 2023-08-01T16:02:12,366 Skipping link: No binaries permitted for certora-cli-alpha-uri-eradicate-certora-dir: https://www.piwheels.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/certora_cli_alpha_uri_eradicate_certora_dir-20230515.14.33.601725-py3-none-any.whl#sha256=7346c6298c472b1d5e7cb8cd69455742101a094117ab135a4ce0fb7b77f85068 (from https://www.piwheels.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/) (requires-python:>=3.8.16) 2023-08-01T16:02:12,366 Skipping link: No binaries permitted for certora-cli-alpha-uri-eradicate-certora-dir: https://www.piwheels.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/certora_cli_alpha_uri_eradicate_certora_dir-20230511.17.36.676347-py3-none-any.whl#sha256=1ac69db2ddfcfa067c06193380aaa761d7be9b5f955121c8aabd61f5696e5337 (from https://www.piwheels.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/) (requires-python:>=3.8.16) 2023-08-01T16:02:12,367 Skipping link: No binaries permitted for certora-cli-alpha-uri-eradicate-certora-dir: https://www.piwheels.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/certora_cli_alpha_uri_eradicate_certora_dir-20230511.17.25.938780-py3-none-any.whl#sha256=cc26901a28ba9e25473d8797d4f96cac86f72a4c693225e7453b817ce16ee2dd (from https://www.piwheels.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/) (requires-python:>=3.8.16) 2023-08-01T16:02:12,367 Skipping link: No binaries permitted for certora-cli-alpha-uri-eradicate-certora-dir: https://www.piwheels.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/certora_cli_alpha_uri_eradicate_certora_dir-20230510.20.24.86610-py3-none-any.whl#sha256=c1b569da649db01918e9be0b897a428f215a0081ad3db58a3579e5b9384255bd (from https://www.piwheels.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/) (requires-python:>=3.8.16) 2023-08-01T16:02:12,367 Skipping link: No binaries permitted for certora-cli-alpha-uri-eradicate-certora-dir: https://www.piwheels.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/certora_cli_alpha_uri_eradicate_certora_dir-20230510.12.19.236519-py3-none-any.whl#sha256=068183943017319025e27b42a4b90306305c2595bb7dd62c7746c5be1b7e6ac4 (from https://www.piwheels.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/) (requires-python:>=3.8.16) 2023-08-01T16:02:12,367 Skipping link: No binaries permitted for certora-cli-alpha-uri-eradicate-certora-dir: https://www.piwheels.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/certora_cli_alpha_uri_eradicate_certora_dir-20230510.11.15.483936-py3-none-any.whl#sha256=0a45c3c0c80d5761c866443866d0539c7fc98a5edac353d0c3c9d5fa6596596d (from https://www.piwheels.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/) (requires-python:>=3.8.16) 2023-08-01T16:02:12,367 Skipping link: No binaries permitted for certora-cli-alpha-uri-eradicate-certora-dir: https://www.piwheels.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/certora_cli_alpha_uri_eradicate_certora_dir-20230510.9.53.690092-py3-none-any.whl#sha256=df78eb2d1af277b3de16b12a9767a7aa35d293e94352a563b60e81b57dfbdef3 (from https://www.piwheels.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/) (requires-python:>=3.8.16) 2023-08-01T16:02:12,368 Skipping link: No binaries permitted for certora-cli-alpha-uri-eradicate-certora-dir: https://www.piwheels.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/certora_cli_alpha_uri_eradicate_certora_dir-20230509.20.1.633192-py3-none-any.whl#sha256=58cb0d14aec4586b170b29974aad5f95fdbdd2224dc898e78c9dfc3d0304bf8a (from https://www.piwheels.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/) (requires-python:>=3.8.16) 2023-08-01T16:02:12,368 Skipping link: No binaries permitted for certora-cli-alpha-uri-eradicate-certora-dir: https://www.piwheels.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/certora_cli_alpha_uri_eradicate_certora_dir-20230509.18.3.90327-py3-none-any.whl#sha256=b4491529178054d6e44d3555bef4db63559a5278236184aec905a5824c3f6b54 (from https://www.piwheels.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/) (requires-python:>=3.8.16) 2023-08-01T16:02:12,368 Skipping link: No binaries permitted for certora-cli-alpha-uri-eradicate-certora-dir: https://www.piwheels.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/certora_cli_alpha_uri_eradicate_certora_dir-20230509.16.47.214531-py3-none-any.whl#sha256=8228fc6baecacadd2ba3b83f42414fb527781f96ae25eb9c8ff959d942a6db7d (from https://www.piwheels.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/) (requires-python:>=3.8.16) 2023-08-01T16:02:12,368 Skipping link: No binaries permitted for certora-cli-alpha-uri-eradicate-certora-dir: https://www.piwheels.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/certora_cli_alpha_uri_eradicate_certora_dir-20230509.14.7.767571-py3-none-any.whl#sha256=d4212a7865c3330cf11de44f21bb7a292730d65622b41c1c050bf343d55cb4d9 (from https://www.piwheels.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/) (requires-python:>=3.8.16) 2023-08-01T16:02:12,368 Skipping link: No binaries permitted for certora-cli-alpha-uri-eradicate-certora-dir: https://www.piwheels.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/certora_cli_alpha_uri_eradicate_certora_dir-20230509.12.41.395294-py3-none-any.whl#sha256=3b2218c4e42c8de828079b68e44fd9cb1846643a8b17f027a696c8133d0c1580 (from https://www.piwheels.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/) (requires-python:>=3.8.16) 2023-08-01T16:02:12,368 Skipping link: No binaries permitted for certora-cli-alpha-uri-eradicate-certora-dir: https://www.piwheels.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/certora_cli_alpha_uri_eradicate_certora_dir-20230509.11.19.447387-py3-none-any.whl#sha256=d8e1bfd9fcf4e159d04b4ce866a1414ff5570ce035ec7c81cfbdbffef16165b6 (from https://www.piwheels.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/) (requires-python:>=3.8.16) 2023-08-01T16:02:12,369 Skipping link: No binaries permitted for certora-cli-alpha-uri-eradicate-certora-dir: https://www.piwheels.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/certora_cli_alpha_uri_eradicate_certora_dir-20230509.10.3.145141-py3-none-any.whl#sha256=bc58825be033339a9f490bcf8bafb584ac96941f24bc2786650bcab2a556ee67 (from https://www.piwheels.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/) (requires-python:>=3.8.16) 2023-08-01T16:02:12,369 Skipping link: No binaries permitted for certora-cli-alpha-uri-eradicate-certora-dir: https://www.piwheels.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/certora_cli_alpha_uri_eradicate_certora_dir-20230508.18.32.237387-py3-none-any.whl#sha256=3ffd72c436d978097f9ee7b5660fce956dbfea7aa1a208d7c9ece2292ecb1ba5 (from https://www.piwheels.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/) (requires-python:>=3.8.16) 2023-08-01T16:02:12,369 Skipping link: No binaries permitted for certora-cli-alpha-uri-eradicate-certora-dir: https://www.piwheels.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/certora_cli_alpha_uri_eradicate_certora_dir-20230508.17.36.802001-py3-none-any.whl#sha256=202d72e339590397bf75fa7d6f0ca5e5ab263fdc34bd2c37c7d3c659248c9ba3 (from https://www.piwheels.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/) (requires-python:>=3.8.16) 2023-08-01T16:02:12,369 Skipping link: No binaries permitted for certora-cli-alpha-uri-eradicate-certora-dir: https://www.piwheels.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/certora_cli_alpha_uri_eradicate_certora_dir-20230508.16.5.3617-py3-none-any.whl#sha256=807ec014fc9010c656fb8d8e08587291899ff06e1acc12f2b1271ac2eeeed4c4 (from https://www.piwheels.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/) (requires-python:>=3.8.16) 2023-08-01T16:02:12,369 Skipping link: No binaries permitted for certora-cli-alpha-uri-eradicate-certora-dir: https://www.piwheels.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/certora_cli_alpha_uri_eradicate_certora_dir-20230508.15.18.995254-py3-none-any.whl#sha256=8320c13e21809813b9133ccc479e1fae1ec564290e4ee542208361cc56f66501 (from https://www.piwheels.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/) (requires-python:>=3.8.16) 2023-08-01T16:02:12,370 Skipping link: No binaries permitted for certora-cli-alpha-uri-eradicate-certora-dir: https://www.piwheels.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/certora_cli_alpha_uri_eradicate_certora_dir-20230508.13.2.491437-py3-none-any.whl#sha256=e7e64ad626822af32db3979738bcfdaf22ad9b7032d39cf727c63dca07c6eb2f (from https://www.piwheels.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/) (requires-python:>=3.8.16) 2023-08-01T16:02:12,370 Skipping link: No binaries permitted for certora-cli-alpha-uri-eradicate-certora-dir: https://www.piwheels.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/certora_cli_alpha_uri_eradicate_certora_dir-20230508.10.58.458401-py3-none-any.whl#sha256=686e442cd48749f23a4cb5b3b6b5764734f29f4279222df86388d4c25fe5f35c (from https://www.piwheels.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/) (requires-python:>=3.8.16) 2023-08-01T16:02:12,370 Skipping link: No binaries permitted for certora-cli-alpha-uri-eradicate-certora-dir: https://www.piwheels.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/certora_cli_alpha_uri_eradicate_certora_dir-20230504.20.20.780525-py3-none-any.whl#sha256=92860c5df3bc0690b0839b23ee11c57c89b1f312b7fb152062259d39bb0a41d0 (from https://www.piwheels.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/) (requires-python:>=3.8.16) 2023-08-01T16:02:12,370 Skipping link: No binaries permitted for certora-cli-alpha-uri-eradicate-certora-dir: https://www.piwheels.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/certora_cli_alpha_uri_eradicate_certora_dir-20230502.10.33.576625-py3-none-any.whl#sha256=51f77c94bec0589b53da7da96d77761badcc03b28513223bbb096eab01205b4d (from https://www.piwheels.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/) (requires-python:>=3.8.16) 2023-08-01T16:02:12,370 Skipping link: No binaries permitted for certora-cli-alpha-uri-eradicate-certora-dir: https://www.piwheels.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/certora_cli_alpha_uri_eradicate_certora_dir-20230502.9.20.737896-py3-none-any.whl#sha256=35073474455b5ea4446bf695a53e6cbe25763c88cc71e1592067b7a0888ca432 (from https://www.piwheels.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/) (requires-python:>=3.8.16) 2023-08-01T16:02:12,371 Skipping link: No binaries permitted for certora-cli-alpha-uri-eradicate-certora-dir: https://www.piwheels.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/certora_cli_alpha_uri_eradicate_certora_dir-20230502.7.41.501872-py3-none-any.whl#sha256=fb70a6612abe918a87ca3fbdd1879d9ead7342a0d76a1b51c3c4dc589d70e365 (from https://www.piwheels.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/) (requires-python:>=3.8.16) 2023-08-01T16:02:12,371 Skipping link: No binaries permitted for certora-cli-alpha-uri-eradicate-certora-dir: https://www.piwheels.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/certora_cli_alpha_uri_eradicate_certora_dir-20230501.17.40.69341-py3-none-any.whl#sha256=2e721c72b40afa25edbb1692eaa64d692951430fd4278f21e9e553afb47c1e71 (from https://www.piwheels.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/) (requires-python:>=3.8.16) 2023-08-01T16:02:12,371 Skipping link: No binaries permitted for certora-cli-alpha-uri-eradicate-certora-dir: https://www.piwheels.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/certora_cli_alpha_uri_eradicate_certora_dir-20230501.16.21.151471-py3-none-any.whl#sha256=22608c22d3e084b4e1a11fbf65867191c456721c2773a8f235625f3ab64623e2 (from https://www.piwheels.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/) (requires-python:>=3.8.16) 2023-08-01T16:02:12,371 Skipping link: not a file: https://www.piwheels.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/ 2023-08-01T16:02:12,372 Skipping link: not a file: https://pypi.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/ 2023-08-01T16:02:12,397 Given no hashes to check 1 links for project 'certora-cli-alpha-uri-eradicate-certora-dir': discarding no candidates 2023-08-01T16:02:12,414 Collecting certora-cli-alpha-uri-eradicate-certora-dir==20230801.15.9.307979 2023-08-01T16:02:12,416 Created temporary directory: /tmp/pip-unpack-rrp7ozpc 2023-08-01T16:02:12,795 Downloading certora-cli-alpha-uri-eradicate_certora_dir-20230801.15.9.307979.tar.gz (37.7 MB) 2023-08-01T16:02:27,456 Added certora-cli-alpha-uri-eradicate-certora-dir==20230801.15.9.307979 from https://files.pythonhosted.org/packages/e8/c3/f98b34561515cb6e2e6d12ac00ada853c413e61a929c2ee4f95b456fb951/certora-cli-alpha-uri-eradicate_certora_dir-20230801.15.9.307979.tar.gz to build tracker '/tmp/pip-build-tracker-sh24kdh6' 2023-08-01T16:02:27,458 Running setup.py (path:/tmp/pip-wheel-uoaq3r8x/certora-cli-alpha-uri-eradicate-certora-dir_2acd218e9f77449fbcbd99d108a34eed/setup.py) egg_info for package certora-cli-alpha-uri-eradicate-certora-dir 2023-08-01T16:02:27,459 Created temporary directory: /tmp/pip-pip-egg-info-oz9cped0 2023-08-01T16:02:27,459 Preparing metadata (setup.py): started 2023-08-01T16:02:27,460 Running command python setup.py egg_info 2023-08-01T16:02:28,062 running egg_info 2023-08-01T16:02:28,063 creating /tmp/pip-pip-egg-info-oz9cped0/certora_cli_alpha_uri_eradicate_certora_dir.egg-info 2023-08-01T16:02:28,092 writing /tmp/pip-pip-egg-info-oz9cped0/certora_cli_alpha_uri_eradicate_certora_dir.egg-info/PKG-INFO 2023-08-01T16:02:28,094 writing dependency_links to /tmp/pip-pip-egg-info-oz9cped0/certora_cli_alpha_uri_eradicate_certora_dir.egg-info/dependency_links.txt 2023-08-01T16:02:28,096 writing entry points to /tmp/pip-pip-egg-info-oz9cped0/certora_cli_alpha_uri_eradicate_certora_dir.egg-info/entry_points.txt 2023-08-01T16:02:28,097 writing requirements to /tmp/pip-pip-egg-info-oz9cped0/certora_cli_alpha_uri_eradicate_certora_dir.egg-info/requires.txt 2023-08-01T16:02:28,098 writing top-level names to /tmp/pip-pip-egg-info-oz9cped0/certora_cli_alpha_uri_eradicate_certora_dir.egg-info/top_level.txt 2023-08-01T16:02:28,100 writing manifest file '/tmp/pip-pip-egg-info-oz9cped0/certora_cli_alpha_uri_eradicate_certora_dir.egg-info/SOURCES.txt' 2023-08-01T16:02:28,182 reading manifest file '/tmp/pip-pip-egg-info-oz9cped0/certora_cli_alpha_uri_eradicate_certora_dir.egg-info/SOURCES.txt' 2023-08-01T16:02:28,184 reading manifest template 'MANIFEST.in' 2023-08-01T16:02:28,188 warning: no files found matching 'CERTORA-CLI-VERSION-METADATA.json' under directory 'release_bins/certora_jars' 2023-08-01T16:02:28,190 warning: no files found matching 'gambit' under directory 'release_bins' 2023-08-01T16:02:28,236 adding license file 'LICENSE' 2023-08-01T16:02:28,240 writing manifest file '/tmp/pip-pip-egg-info-oz9cped0/certora_cli_alpha_uri_eradicate_certora_dir.egg-info/SOURCES.txt' 2023-08-01T16:02:28,300 Preparing metadata (setup.py): finished with status 'done' 2023-08-01T16:02:28,305 Source in /tmp/pip-wheel-uoaq3r8x/certora-cli-alpha-uri-eradicate-certora-dir_2acd218e9f77449fbcbd99d108a34eed has version 20230801.15.9.307979, which satisfies requirement certora-cli-alpha-uri-eradicate-certora-dir==20230801.15.9.307979 from https://files.pythonhosted.org/packages/e8/c3/f98b34561515cb6e2e6d12ac00ada853c413e61a929c2ee4f95b456fb951/certora-cli-alpha-uri-eradicate_certora_dir-20230801.15.9.307979.tar.gz 2023-08-01T16:02:28,306 Removed certora-cli-alpha-uri-eradicate-certora-dir==20230801.15.9.307979 from https://files.pythonhosted.org/packages/e8/c3/f98b34561515cb6e2e6d12ac00ada853c413e61a929c2ee4f95b456fb951/certora-cli-alpha-uri-eradicate_certora_dir-20230801.15.9.307979.tar.gz from build tracker '/tmp/pip-build-tracker-sh24kdh6' 2023-08-01T16:02:28,312 Created temporary directory: /tmp/pip-unpack-2tjt0a4m 2023-08-01T16:02:28,313 Building wheels for collected packages: certora-cli-alpha-uri-eradicate-certora-dir 2023-08-01T16:02:28,317 Created temporary directory: /tmp/pip-wheel-zriklqtl 2023-08-01T16:02:28,317 Building wheel for certora-cli-alpha-uri-eradicate-certora-dir (setup.py): started 2023-08-01T16:02:28,318 Destination directory: /tmp/pip-wheel-zriklqtl 2023-08-01T16:02:28,318 Running command python setup.py bdist_wheel 2023-08-01T16:02:28,946 running bdist_wheel 2023-08-01T16:02:29,222 running build 2023-08-01T16:02:29,222 running build_py 2023-08-01T16:02:29,251 creating build 2023-08-01T16:02:29,251 creating build/lib 2023-08-01T16:02:29,252 creating build/lib/release_bins 2023-08-01T16:02:29,253 copying release_bins/__init__.py -> build/lib/release_bins 2023-08-01T16:02:29,255 creating build/lib/release_bins/certora_jars 2023-08-01T16:02:29,256 copying release_bins/certora_jars/__init__.py -> build/lib/release_bins/certora_jars 2023-08-01T16:02:29,257 running egg_info 2023-08-01T16:02:29,319 writing certora_cli_alpha_uri_eradicate_certora_dir.egg-info/PKG-INFO 2023-08-01T16:02:29,321 writing dependency_links to certora_cli_alpha_uri_eradicate_certora_dir.egg-info/dependency_links.txt 2023-08-01T16:02:29,323 writing entry points to certora_cli_alpha_uri_eradicate_certora_dir.egg-info/entry_points.txt 2023-08-01T16:02:29,324 writing requirements to certora_cli_alpha_uri_eradicate_certora_dir.egg-info/requires.txt 2023-08-01T16:02:29,325 writing top-level names to certora_cli_alpha_uri_eradicate_certora_dir.egg-info/top_level.txt 2023-08-01T16:02:29,354 reading manifest file 'certora_cli_alpha_uri_eradicate_certora_dir.egg-info/SOURCES.txt' 2023-08-01T16:02:29,357 reading manifest template 'MANIFEST.in' 2023-08-01T16:02:29,361 warning: no files found matching 'CERTORA-CLI-VERSION-METADATA.json' under directory 'release_bins/certora_jars' 2023-08-01T16:02:29,362 warning: no files found matching 'gambit' under directory 'release_bins' 2023-08-01T16:02:29,408 adding license file 'LICENSE' 2023-08-01T16:02:29,412 writing manifest file 'certora_cli_alpha_uri_eradicate_certora_dir.egg-info/SOURCES.txt' 2023-08-01T16:02:29,415 copying release_bins/certora_jars/MutationTest.jar -> build/lib/release_bins/certora_jars 2023-08-01T16:02:29,651 copying release_bins/certora_jars/Typechecker.3.6.5.jar -> build/lib/release_bins/certora_jars 2023-08-01T16:02:29,811 copying release_bins/certora_jars/Typechecker.jar -> build/lib/release_bins/certora_jars 2023-08-01T16:02:30,055 /home/piwheels/.local/lib/python3.9/site-packages/setuptools/_distutils/cmd.py:66: SetuptoolsDeprecationWarning: setup.py install is deprecated. 2023-08-01T16:02:30,055 !! 2023-08-01T16:02:30,056 ******************************************************************************** 2023-08-01T16:02:30,056 Please avoid running ``setup.py`` directly. 2023-08-01T16:02:30,056 Instead, use pypa/build, pypa/installer, pypa/build or 2023-08-01T16:02:30,056 other standards-based tools. 2023-08-01T16:02:30,056 See https://blog.ganssle.io/articles/2021/10/setup-py-deprecated.html for details. 2023-08-01T16:02:30,056 ******************************************************************************** 2023-08-01T16:02:30,057 !! 2023-08-01T16:02:30,057 self.initialize_options() 2023-08-01T16:02:30,084 installing to build/bdist.linux-armv7l/wheel 2023-08-01T16:02:30,085 running install 2023-08-01T16:02:30,110 running install_lib 2023-08-01T16:02:30,137 creating build/bdist.linux-armv7l 2023-08-01T16:02:30,137 creating build/bdist.linux-armv7l/wheel 2023-08-01T16:02:30,139 creating build/bdist.linux-armv7l/wheel/release_bins 2023-08-01T16:02:30,140 copying build/lib/release_bins/__init__.py -> build/bdist.linux-armv7l/wheel/release_bins 2023-08-01T16:02:30,141 creating build/bdist.linux-armv7l/wheel/release_bins/certora_jars 2023-08-01T16:02:30,142 copying build/lib/release_bins/certora_jars/MutationTest.jar -> build/bdist.linux-armv7l/wheel/release_bins/certora_jars 2023-08-01T16:02:30,374 copying build/lib/release_bins/certora_jars/Typechecker.jar -> build/bdist.linux-armv7l/wheel/release_bins/certora_jars 2023-08-01T16:02:30,575 copying build/lib/release_bins/certora_jars/Typechecker.3.6.5.jar -> build/bdist.linux-armv7l/wheel/release_bins/certora_jars 2023-08-01T16:02:30,728 copying build/lib/release_bins/certora_jars/__init__.py -> build/bdist.linux-armv7l/wheel/release_bins/certora_jars 2023-08-01T16:02:30,729 running install_egg_info 2023-08-01T16:02:30,759 Copying certora_cli_alpha_uri_eradicate_certora_dir.egg-info to build/bdist.linux-armv7l/wheel/certora_cli_alpha_uri_eradicate_certora_dir-20230801.15.9.307979-py3.9.egg-info 2023-08-01T16:02:30,770 running install_scripts 2023-08-01T16:02:30,785 creating build/bdist.linux-armv7l/wheel/certora_cli_alpha_uri_eradicate_certora_dir-20230801.15.9.307979.dist-info/WHEEL 2023-08-01T16:02:30,787 creating '/tmp/pip-wheel-zriklqtl/certora_cli_alpha_uri_eradicate_certora_dir-20230801.15.9.307979-py3-none-any.whl' and adding 'build/bdist.linux-armv7l/wheel' to it 2023-08-01T16:02:30,790 adding 'release_bins/__init__.py' 2023-08-01T16:02:32,628 adding 'release_bins/certora_jars/MutationTest.jar' 2023-08-01T16:02:33,989 adding 'release_bins/certora_jars/Typechecker.3.6.5.jar' 2023-08-01T16:02:35,723 adding 'release_bins/certora_jars/Typechecker.jar' 2023-08-01T16:02:35,813 adding 'release_bins/certora_jars/__init__.py' 2023-08-01T16:02:35,814 adding 'certora_cli_alpha_uri_eradicate_certora_dir-20230801.15.9.307979.dist-info/LICENSE' 2023-08-01T16:02:35,815 adding 'certora_cli_alpha_uri_eradicate_certora_dir-20230801.15.9.307979.dist-info/METADATA' 2023-08-01T16:02:35,816 adding 'certora_cli_alpha_uri_eradicate_certora_dir-20230801.15.9.307979.dist-info/WHEEL' 2023-08-01T16:02:35,817 adding 'certora_cli_alpha_uri_eradicate_certora_dir-20230801.15.9.307979.dist-info/entry_points.txt' 2023-08-01T16:02:35,818 adding 'certora_cli_alpha_uri_eradicate_certora_dir-20230801.15.9.307979.dist-info/top_level.txt' 2023-08-01T16:02:35,819 adding 'certora_cli_alpha_uri_eradicate_certora_dir-20230801.15.9.307979.dist-info/RECORD' 2023-08-01T16:02:36,234 removing build/bdist.linux-armv7l/wheel 2023-08-01T16:02:36,338 Building wheel for certora-cli-alpha-uri-eradicate-certora-dir (setup.py): finished with status 'done' 2023-08-01T16:02:36,710 Created wheel for certora-cli-alpha-uri-eradicate-certora-dir: filename=certora_cli_alpha_uri_eradicate_certora_dir-20230801.15.9.307979-py3-none-any.whl size=37598230 sha256=5db8638e5428503e27690d158d39ac79260e0d052d2fb1e10ca685c0fceeec0f 2023-08-01T16:02:36,711 Stored in directory: /tmp/pip-ephem-wheel-cache-yo6q4_fi/wheels/f6/e2/ad/6b80a24239ee3db166dcd275a6b85915b2bfe2c6a848cf75d5 2023-08-01T16:02:36,733 Successfully built certora-cli-alpha-uri-eradicate-certora-dir 2023-08-01T16:02:37,625 Removed build tracker: '/tmp/pip-build-tracker-sh24kdh6'