From 01a55449b00dd7f832304d6993a20c7b20b65aed Mon Sep 17 00:00:00 2001
From: Asger Gitz-Johansen <asger.gitz@hotmail.com>
Date: Mon, 18 Sep 2023 21:57:31 +0200
Subject: [PATCH] core: update versions

z3 patch update
CPM patch update
---
 CMakeLists.txt  | 4 ++--
 cmake/CPM.cmake | 2 +-
 2 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/CMakeLists.txt b/CMakeLists.txt
index f3a7ea1..6d15525 100644
--- a/CMakeLists.txt
+++ b/CMakeLists.txt
@@ -20,7 +20,7 @@
 # OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
 # SOFTWARE.
 cmake_minimum_required(VERSION 3.18)
-project(expr VERSION 3.0.2)
+project(expr VERSION 3.0.3)
 include(cmake/CPM.cmake)
 configure_file(src/config.h.in config.h)
 set(CMAKE_CXX_STANDARD 20)
@@ -41,7 +41,7 @@ CPMAddPackage("gh:sillydan1/argvparse@1.2.3")
 
 if(ENABLE_Z3)
     include(cmake/Z3.cmake)
-    set(Z3_VERSION_NUMBER z3-4.12.1)
+    set(Z3_VERSION_NUMBER z3-4.12.2)
     get_z3_zip_file(${Z3_VERSION_NUMBER})
     CPMAddPackage(NAME z3 VERSION ${Z3_VERSION_NUMBER} URL ${z3vstr})
 endif()
diff --git a/cmake/CPM.cmake b/cmake/CPM.cmake
index 601d072..9c90172 100644
--- a/cmake/CPM.cmake
+++ b/cmake/CPM.cmake
@@ -1,4 +1,4 @@
-set(CPM_DOWNLOAD_VERSION 0.38.0)
+set(CPM_DOWNLOAD_VERSION 0.38.5)
 
 if(CPM_SOURCE_CACHE)
   # Expand relative path. This is important if the provided path contains a tilde (~)