From d18d807f2d5df436c58b7869ed36f4aa47ab6ce5 Mon Sep 17 00:00:00 2001 From: jar-ben Date: Fri, 28 Aug 2026 22:43:46 +0200 Subject: [PATCH] Bump certora-cli 8.18.0 -> 8.19.1 --- pyproject.toml | 2 +- uv.lock | 12 ++++++------ 2 files changed, 7 insertions(+), 7 deletions(-) diff --git a/pyproject.toml b/pyproject.toml index 4fab6c6b..d5af79f2 100644 --- a/pyproject.toml +++ b/pyproject.toml @@ -73,7 +73,7 @@ s3 = ["s3fs>=2023.1.0"] # exactly one extra must be selected at install time (enforced via the # [tool.uv] conflicts block below). Each extra is named after the package it # pulls. -certora-cli = ["certora-cli>=8.18.0"] +certora-cli = ["certora-cli>=8.19.1"] certora-cli-beta = ["certora-cli-beta>=8.18.0"] certora-cli-beta-mirror = ["certora-cli-beta-mirror>=8.18.0"] # Back-compat alias: `prover` == stable channel. diff --git a/uv.lock b/uv.lock index 2985da79..a5afff36 100644 --- a/uv.lock +++ b/uv.lock @@ -164,7 +164,7 @@ requires-dist = [ { name = "aiohttp", specifier = ">=3.13" }, { name = "anthropic", specifier = ">=0.18.0" }, { name = "attrs", specifier = ">=26.1" }, - { name = "certora-cli", marker = "extra == 'certora-cli'", specifier = ">=8.18.0" }, + { name = "certora-cli", marker = "extra == 'certora-cli'", specifier = ">=8.19.1" }, { name = "certora-cli-beta", marker = "extra == 'certora-cli-beta'", specifier = ">=8.18.0" }, { name = "certora-cli-beta-mirror", marker = "extra == 'certora-cli-beta-mirror'", specifier = ">=8.18.0" }, { name = "certora-prover-cli" }, @@ -651,7 +651,7 @@ wheels = [ [[package]] name = "certora-cli" -version = "8.18.0" +version = "8.19.1" source = { registry = "https://pypi.org/simple" } dependencies = [ { name = "click" }, @@ -667,11 +667,11 @@ dependencies = [ { name = "typing-extensions" }, { name = "wcmatch" }, ] -sdist = { url = "https://files.pythonhosted.org/packages/63/2b/d7c4f7f8c6509def6289da1fdd9f41e764269160180e7b1ad8bcbb596ced/certora_cli-8.18.0.tar.gz", hash = "sha256:d059116e852aafbfbfca7f6d8090968e9ea2bbcc056989ed9a282e3f6fed07dd", size = 43347710, upload-time = "2026-07-30T09:09:51.057Z" } +sdist = { url = "https://files.pythonhosted.org/packages/ad/cd/0bcd2b5ff1b5f2b31ef18e59e6316d194b88cde0e8e7161fc88b345dd84f/certora_cli-8.19.1.tar.gz", hash = "sha256:05a429ebd2463df1b6c5aae6ed65b3585dd13bee668f2160193e797e38d5f4d9", size = 43395773, upload-time = "2026-08-28T20:01:40.072Z" } wheels = [ - { url = "https://files.pythonhosted.org/packages/44/47/a7fbf0247b7fc7b0319709ec0b58814503da1c7d2e09129b5103b968a1e1/certora_cli-8.18.0-py3-none-any.whl", hash = "sha256:a13d46298784561a5c71cfdf103d3578df944a8514a859751a609c6ac175dc31", size = 43402889, upload-time = "2026-07-30T09:09:43.12Z" }, - { url = "https://files.pythonhosted.org/packages/de/c9/b38f13ec5807e8fb03a3ad30737b0d0997d6d62c17abed058043fce767d3/certora_cli-8.18.0-py3-none-macosx_10_9_universal2.whl", hash = "sha256:441269bc7bd2a8d77955660403c361ac8b6ec051a3b82618c706e55693231c5d", size = 44929014, upload-time = "2026-07-30T09:09:48.593Z" }, - { url = "https://files.pythonhosted.org/packages/86/76/d957d151848e091c4bec1014d15e6658d2c1a06463f195236085e1b17bf6/certora_cli-8.18.0-py3-none-manylinux_2_28_x86_64.whl", hash = "sha256:7d0849908bd8b8102424e8e63fd91afae0aee174cd750d4f874792e3614876bf", size = 44238961, upload-time = "2026-07-30T09:09:45.825Z" }, + { url = "https://files.pythonhosted.org/packages/f7/05/4e919576e253c16894e842d08db1e03b62ecfb1b785ea0738c1dea16b73e/certora_cli-8.19.1-py3-none-any.whl", hash = "sha256:2e4b1c9c79fe84bb91eb116f241d8a58923859f2d198d7a7fb0af4843bfcb2ab", size = 43450543, upload-time = "2026-08-28T20:01:31.239Z" }, + { url = "https://files.pythonhosted.org/packages/47/43/da1321852dbb753d871d07bb152a062b30123f7e276616eab96a11c63d89/certora_cli-8.19.1-py3-none-macosx_10_9_universal2.whl", hash = "sha256:689f59dce81d9b97298b349e50f864740f62740478180c7dc61dd2ed3f02d738", size = 44976667, upload-time = "2026-08-28T20:01:36.925Z" }, + { url = "https://files.pythonhosted.org/packages/39/f0/b0f2b24be05a7cfc8f6d302ff78d5812e346ab0d374b04aba0776a73630d/certora_cli-8.19.1-py3-none-manylinux_2_28_x86_64.whl", hash = "sha256:9ae2c66b0399c4a472f80f62e5f7600ed7528b5deedaa18f6dc257db9ad077a9", size = 44286614, upload-time = "2026-08-28T20:01:33.972Z" }, ] [[package]]