diff --git a/CMakeLists.txt b/CMakeLists.txt
index e18a1db70..cf112017b 100644
--- a/CMakeLists.txt
+++ b/CMakeLists.txt
@@ -15,7 +15,7 @@ include(smtratmacros)
 
 set(PROJECT_FULLNAME "SMT-RAT")
 set(PROJECT_DESCRIPTION "Toolbox for Strategic and Parallel Satisfiability-Modulo-Theories Solving")
-set_version(24 05)
+set_version(24 06)
 
 # set(CMAKE_RUNTIME_OUTPUT_DIRECTORY "${CMAKE_CURRENT_SOURCE_DIR}/bin")
 set(EXECUTABLE_OUTPUT_PATH ${PROJECT_BINARY_DIR} CACHE PATH "Directory for built executables")
diff --git a/resources/carl-required.version b/resources/carl-required.version
index 420f61e8c..435fd0ca0 100644
--- a/resources/carl-required.version
+++ b/resources/carl-required.version
@@ -1 +1 @@
-24.05
\ No newline at end of file
+24.06
\ No newline at end of file