diff --git a/CHANGES.md b/CHANGES.md
index b11f72ef..a40c5771 100644
--- a/CHANGES.md
+++ b/CHANGES.md
@@ -1,7 +1,38 @@
 # Changelog
 
+## 0.29.0 - 2026-07-13
+
+- 2026-07-03 Add support for colibri2.0.6.0
+- 2026-07-03 Add colibri2 conflicts constraint on version <= 0.6.0
+- 2026-07-03 Fix issue 642 Unexpected exception thrown and fix pp_binop
+- 2026-07-01 Cancel CI jobs when branch is updated
+- 2026-07-01 Finish migration to Yojson.Safe.t ([#470](https://github.com/formalsec/smtml/issues/470))
+- 2026-07-01 Use explicit result return in smtml parsing functions
+- 2026-07-01 Apply suggestion from @filipeom
+- 2026-07-01 Add v128 shapes op: mapi, fold_left, bitmask
+- 2026-07-01 Proper eq function for all V128 shapes
+- 2026-07-01 Add any_true
+- 2026-07-01 Add add and sub
+- 2026-07-01 Add splat
+- 2026-07-01 Start to add various submodules for Bv128
+- 2026-07-01 Add indexed rotate operators
+- 2026-06-29 Pin cvc5 to development version that build shared library
+- 2026-06-24 Fix get_symbols ignoring app symbol
+- 2026-06-22 Bump actions/checkout from 6 to 7
+- 2026-06-21 Fix: ty.ml discr collision, LeU SMT-LIB pp, to_int64 error msg, test cleanups
+- 2026-06-10 Add expr printer, fix expr parser, and remove mutable state in parser
+- 2026-06-09 Use array instead of  immutable array for all features
+- 2026-06-09 Use immutable array for list of all features
+- 2026-06-09 Fmt
+- 2026-06-09 Use dedicated feat type
+- 2026-06-08 Add missing boolean Distinct simplification
+- 2026-06-08 Fmt
+- 2026-06-08 Fix binop in eval
+- 2026-06-08 Add unit test for implication in eval
+
 ## 0.28.0 - 2026-05-28
 
+- 2026-05-28 Release 0.28.0
 - 2026-05-25 [z3] implement remaining String.replace functions
 - 2026-05-22 [z3] add implement `Re.allchar` and `Re.diff` using native API
 - 2026-05-20 Add Bitv128.{of,to}_{i16x8,i8x16}
diff --git a/dune-project b/dune-project
index b878c934..50645475 100644
--- a/dune-project
+++ b/dune-project
@@ -8,7 +8,7 @@
 
 (name smtml)
 
-(version 0.28.0)
+(version 0.29.0)
 
 (generate_opam_files true)
 
diff --git a/smtml.opam b/smtml.opam
index a1d52785..e80aa134 100644
--- a/smtml.opam
+++ b/smtml.opam
@@ -1,6 +1,6 @@
 # This file is generated by dune, edit dune-project instead
 opam-version: "2.0"
-version: "0.28.0"
+version: "0.29.0"
 synopsis: "An SMT solver frontend for OCaml"
 description:
   "Smt.ml is an SMT solver frontend for OCaml that simplifies integration with various solvers through a consistent interface. Its parametric encoding facilitates the easy addition of new solver backends, while optimisations like formula simplification, result caching, and detailed error feedback enhance performance and usability."