From 5d146f4e1d7cdbc126abb068bdbf7b108b1dbdb2 Mon Sep 17 00:00:00 2001 From: "github-actions[bot]" <41898282+github-actions[bot]@users.noreply.github.com> Date: Tue, 28 Jan 2025 17:24:51 +0000 Subject: [PATCH] Update version to 9.2.140.dev0 [ci skip] --- claripy/__init__.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/claripy/__init__.py b/claripy/__init__.py index 2575f474f..821846dc1 100644 --- a/claripy/__init__.py +++ b/claripy/__init__.py @@ -107,7 +107,7 @@ SolverVSA, ) -__version__ = "9.2.139.dev0" +__version__ = "9.2.140.dev0" __all__ = ( "BVS",