2023-05-13T15:41:34,879 Created temporary directory: /tmp/pip-build-tracker-ulgrwj5k 2023-05-13T15:41:34,880 Initialized build tracking at /tmp/pip-build-tracker-ulgrwj5k 2023-05-13T15:41:34,880 Created build tracker: /tmp/pip-build-tracker-ulgrwj5k 2023-05-13T15:41:34,880 Entered build tracker: /tmp/pip-build-tracker-ulgrwj5k 2023-05-13T15:41:34,881 Created temporary directory: /tmp/pip-wheel-0kmvkqlt 2023-05-13T15:41:34,885 Created temporary directory: /tmp/pip-ephem-wheel-cache-mt1zzura 2023-05-13T15:41:34,909 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple 2023-05-13T15:41:34,914 2 location(s) to search for versions of certora-cli-alpha-uri-eradicate-certora-dir: 2023-05-13T15:41:34,914 * https://pypi.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/ 2023-05-13T15:41:34,914 * https://www.piwheels.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/ 2023-05-13T15:41:34,914 Fetching project page and analyzing links: https://pypi.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/ 2023-05-13T15:41:34,914 Getting page https://pypi.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/ 2023-05-13T15:41:34,916 Found index url https://pypi.org/simple/ 2023-05-13T15:41:34,971 Fetched page https://pypi.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/ as application/vnd.pypi.simple.v1+json 2023-05-13T15:41:34,981 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-05-13T15:41:34,982 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-05-13T15:41:34,982 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-05-13T15:41:34,983 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-05-13T15:41:34,983 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-05-13T15:41:34,984 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-05-13T15:41:34,984 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-05-13T15:41:34,984 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-05-13T15:41:34,985 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-05-13T15:41:34,985 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-05-13T15:41:34,986 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-05-13T15:41:34,986 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-05-13T15:41:34,987 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-05-13T15:41:34,987 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-05-13T15:41:34,988 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-05-13T15:41:34,988 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-05-13T15:41:34,988 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-05-13T15:41:34,989 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-05-13T15:41:34,989 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-05-13T15:41:34,990 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-05-13T15:41:34,990 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-05-13T15:41:34,990 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-05-13T15:41:34,991 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-05-13T15:41:34,991 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-05-13T15:41:34,992 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-05-13T15:41:34,992 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-05-13T15:41:34,993 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-05-13T15:41:34,993 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-05-13T15:41:34,993 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-05-13T15:41:34,994 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-05-13T15:41:34,994 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-05-13T15:41:34,995 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-05-13T15:41:34,995 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-05-13T15:41:34,995 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-05-13T15:41:34,996 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-05-13T15:41:34,996 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-05-13T15:41:34,997 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-05-13T15:41:34,997 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-05-13T15:41:34,998 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-05-13T15:41:34,998 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-05-13T15:41:34,999 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-05-13T15:41:34,999 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-05-13T15:41:34,999 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-05-13T15:41:35,000 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-05-13T15:41:35,000 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-05-13T15:41:35,000 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-05-13T15:41:35,001 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-05-13T15:41:35,001 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-05-13T15:41:35,002 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-05-13T15:41:35,002 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-05-13T15:41:35,003 Fetching project page and analyzing links: https://www.piwheels.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/ 2023-05-13T15:41:35,003 Getting page https://www.piwheels.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/ 2023-05-13T15:41:35,004 Found index url https://www.piwheels.org/simple/ 2023-05-13T15:41:35,182 Fetched page https://www.piwheels.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/ as text/html 2023-05-13T15:41:35,190 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=542ca38bda537db631bd1b5c5878ff282b27e6f9af6c2402e4a35011caafab7b (from https://www.piwheels.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/) (requires-python:>=3.8.16) 2023-05-13T15:41:35,190 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=ec92b1a5dc544247ba448b5e8257fe5d1a22e561a3795043a6360ac806dd3c7b (from https://www.piwheels.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/) (requires-python:>=3.8.16) 2023-05-13T15:41:35,191 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=3fee9599df2e29d91284664cef91f625fa8efd0b97de07bee71861e791e3aa53 (from https://www.piwheels.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/) (requires-python:>=3.8.16) 2023-05-13T15:41:35,191 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=74bff7964579e3d9dfac2907b3a3baf90d0964da804449b7c127daff9be8765f (from https://www.piwheels.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/) (requires-python:>=3.8.16) 2023-05-13T15:41:35,191 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=73b9302e5adbb6b1e3b7e6f877570ae5c9dfaa41b0fce552c4eef29ce58e9449 (from https://www.piwheels.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/) (requires-python:>=3.8.16) 2023-05-13T15:41:35,191 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=1018d994d5f42de93eda02cdd0f4b0cb1fb24064a61589285ca7a06032b4aabe (from https://www.piwheels.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/) (requires-python:>=3.8.16) 2023-05-13T15:41:35,191 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=0adfe78f7bd69332d29bbf5676489b3ff5a7470af8cea491a3ed11dd05becb65 (from https://www.piwheels.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/) (requires-python:>=3.8.16) 2023-05-13T15:41:35,192 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=bb5fa4750a2411d9836fd76e6d93d73dd0bd04653790031dec9236204b53013d (from https://www.piwheels.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/) (requires-python:>=3.8.16) 2023-05-13T15:41:35,192 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=915b0ce50d37a9147d95428d506f5ce8e3d5a0c41b20d4eeea6684bf6733715e (from https://www.piwheels.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/) (requires-python:>=3.8.16) 2023-05-13T15:41:35,192 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=8428093a3b4d615a70b4e578752cccbb5281b806b5206ae25c8336586adddb24 (from https://www.piwheels.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/) (requires-python:>=3.8.16) 2023-05-13T15:41:35,192 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=0d72508c6356d18c0f951a7cbb546a285a81fc299d0846a1cde005a078cbe7e3 (from https://www.piwheels.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/) (requires-python:>=3.8.16) 2023-05-13T15:41:35,193 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=0391a4333eb60de1bcfa7be215b52db1cfc8e515892e8512f4096fbcab4c82c3 (from https://www.piwheels.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/) (requires-python:>=3.8.16) 2023-05-13T15:41:35,193 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=415226e6ef03892652ded8ae377e013ecb2f0b80c78f6853e2e7c3c858cc8d87 (from https://www.piwheels.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/) (requires-python:>=3.8.16) 2023-05-13T15:41:35,193 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=7900dcba4d707589b409b56973916cdd23207721b77a88477839d34082f76221 (from https://www.piwheels.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/) (requires-python:>=3.8.16) 2023-05-13T15:41:35,193 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=141fdf8ef293183f876bafcbe5b63874fec525bfe81694a6d8d345a2ee9eaf89 (from https://www.piwheels.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/) (requires-python:>=3.8.16) 2023-05-13T15:41:35,193 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=696248cb5034e75fbf259bd8c3bcba6e2159781cd00cfd81a6be369c8a15d1e5 (from https://www.piwheels.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/) (requires-python:>=3.8.16) 2023-05-13T15:41:35,194 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=a9b93008adee789b3fe5f30a3556868a8fdc82a51178d122baa45fa6fd3d3d6b (from https://www.piwheels.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/) (requires-python:>=3.8.16) 2023-05-13T15:41:35,194 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=72e33fee395faa62356f668d709b408a0bdf09ba4e27f6a1135d98ecf1201291 (from https://www.piwheels.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/) (requires-python:>=3.8.16) 2023-05-13T15:41:35,194 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=60fa94dbb69eb4e38e367a79c3bc3ffa9a74f947bb83bd2ba40e1bdd099b6caf (from https://www.piwheels.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/) (requires-python:>=3.8.16) 2023-05-13T15:41:35,194 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=229dcc65950bba729ea79cbd32f64ededfd17522a95e43afc5ca374af93ad40e (from https://www.piwheels.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/) (requires-python:>=3.8.16) 2023-05-13T15:41:35,194 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=31d84d70358467d699af5ae6e29444bc94d06d0a6a42fdde55436f34e6960cf5 (from https://www.piwheels.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/) (requires-python:>=3.8.16) 2023-05-13T15:41:35,195 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=74647e1435bcb32c25aaf8229689ff50a3562e8af543b5fb65ae08b649cd97bb (from https://www.piwheels.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/) (requires-python:>=3.8.16) 2023-05-13T15:41:35,195 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=59e8d576c1eea81b8715c8f78b78f8e883d09a1b13f407e642d959d64323aab9 (from https://www.piwheels.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/) (requires-python:>=3.8.16) 2023-05-13T15:41:35,195 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=ed627376fef3e031d35775e5d9fd4ff15f5bb694d056623e809f079251c7ca8d (from https://www.piwheels.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/) (requires-python:>=3.8.16) 2023-05-13T15:41:35,195 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=acc6a4e831f6e4ce91c16ff55369d024fffbed171560f5629db1ad9a6f73ae29 (from https://www.piwheels.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/) (requires-python:>=3.8.16) 2023-05-13T15:41:35,195 Skipping link: not a file: https://www.piwheels.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/ 2023-05-13T15:41:35,196 Skipping link: not a file: https://pypi.org/simple/certora-cli-alpha-uri-eradicate-certora-dir/ 2023-05-13T15:41:35,216 Given no hashes to check 1 links for project 'certora-cli-alpha-uri-eradicate-certora-dir': discarding no candidates 2023-05-13T15:41:35,232 Collecting certora-cli-alpha-uri-eradicate-certora-dir==20230501.16.21.151471 2023-05-13T15:41:35,234 Created temporary directory: /tmp/pip-unpack-97e4mp4m 2023-05-13T15:41:35,462 Downloading certora-cli-alpha-uri-eradicate_certora_dir-20230501.16.21.151471.tar.gz (38.3 MB) 2023-05-13T15:41:46,242 Added certora-cli-alpha-uri-eradicate-certora-dir==20230501.16.21.151471 from https://files.pythonhosted.org/packages/65/dd/f96414b27f0e1e65308fd8427737f3590e21f798c57ebd5c52b54839406e/certora-cli-alpha-uri-eradicate_certora_dir-20230501.16.21.151471.tar.gz to build tracker '/tmp/pip-build-tracker-ulgrwj5k' 2023-05-13T15:41:46,244 Running setup.py (path:/tmp/pip-wheel-0kmvkqlt/certora-cli-alpha-uri-eradicate-certora-dir_a38eb0338c40415f94d147de9726ed65/setup.py) egg_info for package certora-cli-alpha-uri-eradicate-certora-dir 2023-05-13T15:41:46,245 Created temporary directory: /tmp/pip-pip-egg-info-deptb9gj 2023-05-13T15:41:46,245 Preparing metadata (setup.py): started 2023-05-13T15:41:46,246 Running command python setup.py egg_info 2023-05-13T15:41:46,854 running egg_info 2023-05-13T15:41:46,855 creating /tmp/pip-pip-egg-info-deptb9gj/certora_cli_alpha_uri_eradicate_certora_dir.egg-info 2023-05-13T15:41:46,880 writing /tmp/pip-pip-egg-info-deptb9gj/certora_cli_alpha_uri_eradicate_certora_dir.egg-info/PKG-INFO 2023-05-13T15:41:46,882 writing dependency_links to /tmp/pip-pip-egg-info-deptb9gj/certora_cli_alpha_uri_eradicate_certora_dir.egg-info/dependency_links.txt 2023-05-13T15:41:46,884 writing entry points to /tmp/pip-pip-egg-info-deptb9gj/certora_cli_alpha_uri_eradicate_certora_dir.egg-info/entry_points.txt 2023-05-13T15:41:46,885 writing requirements to /tmp/pip-pip-egg-info-deptb9gj/certora_cli_alpha_uri_eradicate_certora_dir.egg-info/requires.txt 2023-05-13T15:41:46,887 writing top-level names to /tmp/pip-pip-egg-info-deptb9gj/certora_cli_alpha_uri_eradicate_certora_dir.egg-info/top_level.txt 2023-05-13T15:41:46,888 writing manifest file '/tmp/pip-pip-egg-info-deptb9gj/certora_cli_alpha_uri_eradicate_certora_dir.egg-info/SOURCES.txt' 2023-05-13T15:41:46,970 reading manifest file '/tmp/pip-pip-egg-info-deptb9gj/certora_cli_alpha_uri_eradicate_certora_dir.egg-info/SOURCES.txt' 2023-05-13T15:41:46,971 reading manifest template 'MANIFEST.in' 2023-05-13T15:41:46,981 adding license file 'LICENSE' 2023-05-13T15:41:46,984 writing manifest file '/tmp/pip-pip-egg-info-deptb9gj/certora_cli_alpha_uri_eradicate_certora_dir.egg-info/SOURCES.txt' 2023-05-13T15:41:47,044 Preparing metadata (setup.py): finished with status 'done' 2023-05-13T15:41:47,051 Source in /tmp/pip-wheel-0kmvkqlt/certora-cli-alpha-uri-eradicate-certora-dir_a38eb0338c40415f94d147de9726ed65 has version 20230501.16.21.151471, which satisfies requirement certora-cli-alpha-uri-eradicate-certora-dir==20230501.16.21.151471 from https://files.pythonhosted.org/packages/65/dd/f96414b27f0e1e65308fd8427737f3590e21f798c57ebd5c52b54839406e/certora-cli-alpha-uri-eradicate_certora_dir-20230501.16.21.151471.tar.gz 2023-05-13T15:41:47,052 Removed certora-cli-alpha-uri-eradicate-certora-dir==20230501.16.21.151471 from https://files.pythonhosted.org/packages/65/dd/f96414b27f0e1e65308fd8427737f3590e21f798c57ebd5c52b54839406e/certora-cli-alpha-uri-eradicate_certora_dir-20230501.16.21.151471.tar.gz from build tracker '/tmp/pip-build-tracker-ulgrwj5k' 2023-05-13T15:41:47,059 Created temporary directory: /tmp/pip-unpack-wvvnq81r 2023-05-13T15:41:47,059 Building wheels for collected packages: certora-cli-alpha-uri-eradicate-certora-dir 2023-05-13T15:41:47,063 Created temporary directory: /tmp/pip-wheel-2w784u19 2023-05-13T15:41:47,064 Building wheel for certora-cli-alpha-uri-eradicate-certora-dir (setup.py): started 2023-05-13T15:41:47,065 Destination directory: /tmp/pip-wheel-2w784u19 2023-05-13T15:41:47,065 Running command python setup.py bdist_wheel 2023-05-13T15:41:47,867 running bdist_wheel 2023-05-13T15:41:48,174 running build 2023-05-13T15:41:48,175 running build_py 2023-05-13T15:41:48,203 creating build 2023-05-13T15:41:48,203 creating build/lib 2023-05-13T15:41:48,204 creating build/lib/certora_cli 2023-05-13T15:41:48,205 copying certora_cli/__init__.py -> build/lib/certora_cli 2023-05-13T15:41:48,207 copying certora_cli/certoraMutate.py -> build/lib/certora_cli 2023-05-13T15:41:48,208 copying certora_cli/certoraRun.py -> build/lib/certora_cli 2023-05-13T15:41:48,212 creating build/lib/certora_jars 2023-05-13T15:41:48,212 copying certora_jars/__init__.py -> build/lib/certora_jars 2023-05-13T15:41:48,215 creating build/lib/certora_cli/Shared 2023-05-13T15:41:48,216 copying certora_cli/Shared/__init__.py -> build/lib/certora_cli/Shared 2023-05-13T15:41:48,218 copying certora_cli/Shared/certoraUtils.py -> build/lib/certora_cli/Shared 2023-05-13T15:41:48,221 copying certora_cli/Shared/certoraLogging.py -> build/lib/certora_cli/Shared 2023-05-13T15:41:48,223 copying certora_cli/Shared/certoraTester.py -> build/lib/certora_cli/Shared 2023-05-13T15:41:48,227 creating build/lib/certora_cli/EVMVerifier 2023-05-13T15:41:48,227 copying certora_cli/EVMVerifier/certoraContextClass.py -> build/lib/certora_cli/EVMVerifier 2023-05-13T15:41:48,229 copying certora_cli/EVMVerifier/certoraCollectRunMetadata.py -> build/lib/certora_cli/EVMVerifier 2023-05-13T15:41:48,232 copying certora_cli/EVMVerifier/__init__.py -> build/lib/certora_cli/EVMVerifier 2023-05-13T15:41:48,233 copying certora_cli/EVMVerifier/certoraContext.py -> build/lib/certora_cli/EVMVerifier 2023-05-13T15:41:48,236 copying certora_cli/EVMVerifier/certoraValidateFuncs.py -> build/lib/certora_cli/EVMVerifier 2023-05-13T15:41:48,239 copying certora_cli/EVMVerifier/certoraContextAttribute.py -> build/lib/certora_cli/EVMVerifier 2023-05-13T15:41:48,243 copying certora_cli/EVMVerifier/certoraJobList.py -> build/lib/certora_cli/EVMVerifier 2023-05-13T15:41:48,246 copying certora_cli/EVMVerifier/certoraCloudIO.py -> build/lib/certora_cli/EVMVerifier 2023-05-13T15:41:48,249 copying certora_cli/EVMVerifier/certoraBuild.py -> build/lib/certora_cli/EVMVerifier 2023-05-13T15:41:48,257 copying certora_cli/EVMVerifier/certoraContextValidator.py -> build/lib/certora_cli/EVMVerifier 2023-05-13T15:41:48,260 copying certora_cli/EVMVerifier/certoraConfigIO.py -> build/lib/certora_cli/EVMVerifier 2023-05-13T15:41:48,262 copying certora_cli/EVMVerifier/certoraNodeFilters.py -> build/lib/certora_cli/EVMVerifier 2023-05-13T15:41:48,264 copying certora_cli/EVMVerifier/certoraType.py -> build/lib/certora_cli/EVMVerifier 2023-05-13T15:41:48,267 creating build/lib/certora_cli/EVMVerifier/Compiler 2023-05-13T15:41:48,268 copying certora_cli/EVMVerifier/Compiler/__init__.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-05-13T15:41:48,270 copying certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-05-13T15:41:48,273 copying certora_cli/EVMVerifier/Compiler/CompilerCollector.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-05-13T15:41:48,275 copying certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-05-13T15:41:48,277 copying certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-05-13T15:41:48,281 running egg_info 2023-05-13T15:41:48,340 writing certora_cli_alpha_uri_eradicate_certora_dir.egg-info/PKG-INFO 2023-05-13T15:41:48,342 writing dependency_links to certora_cli_alpha_uri_eradicate_certora_dir.egg-info/dependency_links.txt 2023-05-13T15:41:48,344 writing entry points to certora_cli_alpha_uri_eradicate_certora_dir.egg-info/entry_points.txt 2023-05-13T15:41:48,345 writing requirements to certora_cli_alpha_uri_eradicate_certora_dir.egg-info/requires.txt 2023-05-13T15:41:48,347 writing top-level names to certora_cli_alpha_uri_eradicate_certora_dir.egg-info/top_level.txt 2023-05-13T15:41:48,376 reading manifest file 'certora_cli_alpha_uri_eradicate_certora_dir.egg-info/SOURCES.txt' 2023-05-13T15:41:48,379 reading manifest template 'MANIFEST.in' 2023-05-13T15:41:48,388 adding license file 'LICENSE' 2023-05-13T15:41:48,392 writing manifest file 'certora_cli_alpha_uri_eradicate_certora_dir.egg-info/SOURCES.txt' 2023-05-13T15:41:48,395 copying certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/lib/certora_jars 2023-05-13T15:41:48,398 copying certora_jars/MutationTest.jar -> build/lib/certora_jars 2023-05-13T15:41:48,657 copying certora_jars/Typechecker.3.6.5.jar -> build/lib/certora_jars 2023-05-13T15:41:48,845 copying certora_jars/Typechecker.jar -> build/lib/certora_jars 2023-05-13T15:41:49,042 copying certora_jars/gambit-linux -> build/lib/certora_jars 2023-05-13T15:41:49,166 copying certora_jars/gambit-macos -> build/lib/certora_jars 2023-05-13T15:41:49,290 /usr/local/lib/python3.9/dist-packages/setuptools/_distutils/cmd.py:66: SetuptoolsDeprecationWarning: setup.py install is deprecated. 2023-05-13T15:41:49,291 !! 2023-05-13T15:41:49,291 ******************************************************************************** 2023-05-13T15:41:49,291 Please avoid running ``setup.py`` directly. 2023-05-13T15:41:49,291 Instead, use pypa/build, pypa/installer, pypa/build or 2023-05-13T15:41:49,291 other standards-based tools. 2023-05-13T15:41:49,292 See https://blog.ganssle.io/articles/2021/10/setup-py-deprecated.html for details. 2023-05-13T15:41:49,292 ******************************************************************************** 2023-05-13T15:41:49,292 !! 2023-05-13T15:41:49,292 self.initialize_options() 2023-05-13T15:41:49,319 installing to build/bdist.linux-aarch64/wheel 2023-05-13T15:41:49,319 running install 2023-05-13T15:41:49,345 running install_lib 2023-05-13T15:41:49,372 creating build/bdist.linux-aarch64 2023-05-13T15:41:49,372 creating build/bdist.linux-aarch64/wheel 2023-05-13T15:41:49,374 creating build/bdist.linux-aarch64/wheel/certora_cli 2023-05-13T15:41:49,376 creating build/bdist.linux-aarch64/wheel/certora_cli/Shared 2023-05-13T15:41:49,378 copying build/lib/certora_cli/Shared/__init__.py -> build/bdist.linux-aarch64/wheel/certora_cli/Shared 2023-05-13T15:41:49,380 copying build/lib/certora_cli/Shared/certoraUtils.py -> build/bdist.linux-aarch64/wheel/certora_cli/Shared 2023-05-13T15:41:49,384 copying build/lib/certora_cli/Shared/certoraLogging.py -> build/bdist.linux-aarch64/wheel/certora_cli/Shared 2023-05-13T15:41:49,387 copying build/lib/certora_cli/Shared/certoraTester.py -> build/bdist.linux-aarch64/wheel/certora_cli/Shared 2023-05-13T15:41:49,391 creating build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-13T15:41:49,392 copying build/lib/certora_cli/EVMVerifier/certoraContextClass.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-13T15:41:49,395 copying build/lib/certora_cli/EVMVerifier/certoraCollectRunMetadata.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-13T15:41:49,397 copying build/lib/certora_cli/EVMVerifier/__init__.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-13T15:41:49,421 creating build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler 2023-05-13T15:41:49,422 copying build/lib/certora_cli/EVMVerifier/Compiler/__init__.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler 2023-05-13T15:41:49,424 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler 2023-05-13T15:41:49,427 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollector.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler 2023-05-13T15:41:49,429 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler 2023-05-13T15:41:49,431 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler 2023-05-13T15:41:49,434 copying build/lib/certora_cli/EVMVerifier/certoraContext.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-13T15:41:49,437 copying build/lib/certora_cli/EVMVerifier/certoraValidateFuncs.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-13T15:41:49,440 copying build/lib/certora_cli/EVMVerifier/certoraContextAttribute.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-13T15:41:49,443 copying build/lib/certora_cli/EVMVerifier/certoraJobList.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-13T15:41:49,445 copying build/lib/certora_cli/EVMVerifier/certoraCloudIO.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-13T15:41:49,448 copying build/lib/certora_cli/EVMVerifier/certoraBuild.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-13T15:41:49,454 copying build/lib/certora_cli/EVMVerifier/certoraContextValidator.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-13T15:41:49,457 copying build/lib/certora_cli/EVMVerifier/certoraConfigIO.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-13T15:41:49,459 copying build/lib/certora_cli/EVMVerifier/certoraNodeFilters.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-13T15:41:49,462 copying build/lib/certora_cli/EVMVerifier/certoraType.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-13T15:41:49,464 copying build/lib/certora_cli/__init__.py -> build/bdist.linux-aarch64/wheel/certora_cli 2023-05-13T15:41:49,466 copying build/lib/certora_cli/certoraMutate.py -> build/bdist.linux-aarch64/wheel/certora_cli 2023-05-13T15:41:49,468 copying build/lib/certora_cli/certoraRun.py -> build/bdist.linux-aarch64/wheel/certora_cli 2023-05-13T15:41:49,471 creating build/bdist.linux-aarch64/wheel/certora_jars 2023-05-13T15:41:49,472 copying build/lib/certora_jars/__init__.py -> build/bdist.linux-aarch64/wheel/certora_jars 2023-05-13T15:41:49,473 copying build/lib/certora_jars/Typechecker.jar -> build/bdist.linux-aarch64/wheel/certora_jars 2023-05-13T15:41:49,668 copying build/lib/certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/bdist.linux-aarch64/wheel/certora_jars 2023-05-13T15:41:49,670 copying build/lib/certora_jars/Typechecker.3.6.5.jar -> build/bdist.linux-aarch64/wheel/certora_jars 2023-05-13T15:41:49,840 copying build/lib/certora_jars/gambit-macos -> build/bdist.linux-aarch64/wheel/certora_jars 2023-05-13T15:41:49,936 copying build/lib/certora_jars/gambit-linux -> build/bdist.linux-aarch64/wheel/certora_jars 2023-05-13T15:41:50,059 copying build/lib/certora_jars/MutationTest.jar -> build/bdist.linux-aarch64/wheel/certora_jars 2023-05-13T15:41:50,272 running install_egg_info 2023-05-13T15:41:50,302 Copying certora_cli_alpha_uri_eradicate_certora_dir.egg-info to build/bdist.linux-aarch64/wheel/certora_cli_alpha_uri_eradicate_certora_dir-20230501.16.21.151471-py3.9.egg-info 2023-05-13T15:41:50,315 running install_scripts 2023-05-13T15:41:50,333 adding license file "LICENSE" (matched pattern "LICEN[CS]E*") 2023-05-13T15:41:50,338 creating build/bdist.linux-aarch64/wheel/certora_cli_alpha_uri_eradicate_certora_dir-20230501.16.21.151471.dist-info/WHEEL 2023-05-13T15:41:50,340 creating '/tmp/pip-wheel-2w784u19/certora_cli_alpha_uri_eradicate_certora_dir-20230501.16.21.151471-py3-none-any.whl' and adding 'build/bdist.linux-aarch64/wheel' to it 2023-05-13T15:41:50,343 adding 'certora_cli/__init__.py' 2023-05-13T15:41:50,345 adding 'certora_cli/certoraMutate.py' 2023-05-13T15:41:50,348 adding 'certora_cli/certoraRun.py' 2023-05-13T15:41:50,350 adding 'certora_cli/EVMVerifier/__init__.py' 2023-05-13T15:41:50,372 adding 'certora_cli/EVMVerifier/certoraBuild.py' 2023-05-13T15:41:50,379 adding 'certora_cli/EVMVerifier/certoraCloudIO.py' 2023-05-13T15:41:50,382 adding 'certora_cli/EVMVerifier/certoraCollectRunMetadata.py' 2023-05-13T15:41:50,384 adding 'certora_cli/EVMVerifier/certoraConfigIO.py' 2023-05-13T15:41:50,388 adding 'certora_cli/EVMVerifier/certoraContext.py' 2023-05-13T15:41:50,392 adding 'certora_cli/EVMVerifier/certoraContextAttribute.py' 2023-05-13T15:41:50,394 adding 'certora_cli/EVMVerifier/certoraContextClass.py' 2023-05-13T15:41:50,400 adding 'certora_cli/EVMVerifier/certoraContextValidator.py' 2023-05-13T15:41:50,403 adding 'certora_cli/EVMVerifier/certoraJobList.py' 2023-05-13T15:41:50,405 adding 'certora_cli/EVMVerifier/certoraNodeFilters.py' 2023-05-13T15:41:50,408 adding 'certora_cli/EVMVerifier/certoraType.py' 2023-05-13T15:41:50,412 adding 'certora_cli/EVMVerifier/certoraValidateFuncs.py' 2023-05-13T15:41:50,415 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollector.py' 2023-05-13T15:41:50,417 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py' 2023-05-13T15:41:50,419 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py' 2023-05-13T15:41:50,424 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py' 2023-05-13T15:41:50,426 adding 'certora_cli/EVMVerifier/Compiler/__init__.py' 2023-05-13T15:41:50,428 adding 'certora_cli/Shared/__init__.py' 2023-05-13T15:41:50,431 adding 'certora_cli/Shared/certoraLogging.py' 2023-05-13T15:41:50,433 adding 'certora_cli/Shared/certoraTester.py' 2023-05-13T15:41:50,439 adding 'certora_cli/Shared/certoraUtils.py' 2023-05-13T15:41:50,443 adding 'certora_jars/CERTORA-CLI-VERSION-METADATA.json' 2023-05-13T15:41:52,017 adding 'certora_jars/MutationTest.jar' 2023-05-13T15:41:53,325 adding 'certora_jars/Typechecker.3.6.5.jar' 2023-05-13T15:41:54,806 adding 'certora_jars/Typechecker.jar' 2023-05-13T15:41:54,886 adding 'certora_jars/__init__.py' 2023-05-13T15:41:55,739 adding 'certora_jars/gambit-linux' 2023-05-13T15:41:56,656 adding 'certora_jars/gambit-macos' 2023-05-13T15:41:56,692 adding 'certora_cli_alpha_uri_eradicate_certora_dir-20230501.16.21.151471.dist-info/LICENSE' 2023-05-13T15:41:56,693 adding 'certora_cli_alpha_uri_eradicate_certora_dir-20230501.16.21.151471.dist-info/METADATA' 2023-05-13T15:41:56,695 adding 'certora_cli_alpha_uri_eradicate_certora_dir-20230501.16.21.151471.dist-info/WHEEL' 2023-05-13T15:41:56,696 adding 'certora_cli_alpha_uri_eradicate_certora_dir-20230501.16.21.151471.dist-info/entry_points.txt' 2023-05-13T15:41:56,698 adding 'certora_cli_alpha_uri_eradicate_certora_dir-20230501.16.21.151471.dist-info/top_level.txt' 2023-05-13T15:41:56,699 adding 'certora_cli_alpha_uri_eradicate_certora_dir-20230501.16.21.151471.dist-info/RECORD' 2023-05-13T15:41:57,172 removing build/bdist.linux-aarch64/wheel 2023-05-13T15:41:57,293 Building wheel for certora-cli-alpha-uri-eradicate-certora-dir (setup.py): finished with status 'done' 2023-05-13T15:41:57,614 Created wheel for certora-cli-alpha-uri-eradicate-certora-dir: filename=certora_cli_alpha_uri_eradicate_certora_dir-20230501.16.21.151471-py3-none-any.whl size=38361080 sha256=22608c22d3e084b4e1a11fbf65867191c456721c2773a8f235625f3ab64623e2 2023-05-13T15:41:57,615 Stored in directory: /tmp/pip-ephem-wheel-cache-mt1zzura/wheels/d9/69/d1/c48f3abf8370e5d41d40757e0f4ae7a8fa54c46fd048c802a6 2023-05-13T15:41:57,644 Successfully built certora-cli-alpha-uri-eradicate-certora-dir 2023-05-13T15:41:58,627 Removed build tracker: '/tmp/pip-build-tracker-ulgrwj5k'