Merge pull request #66 from thorulf4/increment_version

Increment version to 2.0.3
UPPAALModelChecker · Sep 18, 2023 · 1914e39 · 1914e39
2 parents 2ce8a89 + 3d8634c
commit 1914e39
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/CMakeLists.txt b/CMakeLists.txt
@@ -1,5 +1,5 @@
 cmake_minimum_required(VERSION 3.16)
-project(UTAP VERSION 2.0.2 LANGUAGES CXX C)
+project(UTAP VERSION 2.0.3 LANGUAGES CXX C)
 include(CMakePackageConfigHelpers)
 include(GNUInstallDirs)
 

diff --git a/README.md b/README.md
@@ -1,4 +1,4 @@
-# libutap, version 2.0.2
+# libutap, version 2.0.3
 
 # Mini HOWTO
 Gerd Behrmann
@@ -151,7 +151,7 @@ else(utap_FOUND)
  FetchContent_Declare(
  UTAP
  GIT_REPOSITORY https://github.com/UPPAALModelChecker/utap.git
- GIT_TAG main # fetches main branch, can be a version tag like v2.0.2
+ GIT_TAG main # fetches main branch, can be a version tag like v2.0.3
  GIT_SHALLOW TRUE # get only the last commit version
  GIT_PROGRESS TRUE # show progress of download
  FIND_PACKAGE_ARGS NAMES UTAP