update Changelog for upcoming release.

sosy-lab · Jun 7, 2023 · 41ecfe7 · 41ecfe7
1 parent 583b0c1
commit 41ecfe7
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/CHANGELOG.md b/CHANGELOG.md
@@ -10,6 +10,11 @@ SPDX-License-Identifier: Apache-2.0
 
 # JavaSMT ChangeLog
 
+## JavaSMT 4.0.2
+
+This patch release improves documentation and updates the dependency for our Yices2 component.
+We skip version 4.0.1 which was internally used for releasing the Yices2 component.
+
 ## JavaSMT 4.0.0
 
 This major release comes with several updated solvers and dependencies,