diff --git a/claripy/__init__.py b/claripy/__init__.py
index cfbfeef15..22c12ddc8 100644
--- a/claripy/__init__.py
+++ b/claripy/__init__.py
@@ -108,7 +108,7 @@
     SolverVSA,
 )
 
-__version__ = "9.2.142.dev0"
+__version__ = "9.2.143.dev0"
 
 __all__ = (
     "BVS",