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",