From 0eff0a78c15dc0050b96705b4536f78f16c1bc9f Mon Sep 17 00:00:00 2001 From: Ivan Perez Date: Fri, 15 Dec 2023 05:06:54 +0000 Subject: [PATCH] Update version number to 3.2-rc1 (#251). --- CMakeLists.txt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/CMakeLists.txt b/CMakeLists.txt index f9388986..1889d780 100644 --- a/CMakeLists.txt +++ b/CMakeLists.txt @@ -41,7 +41,7 @@ cmake_minimum_required(VERSION 3.4.3 FATAL_ERROR) project(ikos) -set(PACKAGE_VERSION "3.1") +set(PACKAGE_VERSION "3.2-rc1") # # Build settings