Updated version number

mCRL2org · Aug 24, 2024 · c3f4ebe · c3f4ebe
1 parent 38adf5e
commit c3f4ebe
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/cmake/MCRL2Version.cmake b/cmake/MCRL2Version.cmake
@@ -23,7 +23,7 @@
 #
 
 # Package maintainers may set the variable below to issue a new release.
-set(MCRL2_MAJOR_VERSION "202407.0")
+set(MCRL2_MAJOR_VERSION "202407.1")
 string(SUBSTRING ${MCRL2_MAJOR_VERSION} 0 4 MCRL2_COPYRIGHT_YEAR)
 
 option(MCRL2_PACKAGE_RELEASE "Include release version information. This discards Git commit information and only uses the MCRL2_MAJOR_VERSION CMake variable." FALSE)

diff --git a/scripts/make_release/make_release b/scripts/make_release/make_release
@@ -31,7 +31,7 @@
 # every failed upload attempt the version number needs to be updated.
 
 MCRL2_RELEASE_BRANCH="release-202407"
-MCRL2_VERSION="202407.0"
+MCRL2_VERSION="202407.1"
 UBUNTU_VERSION="1ubuntu1ppa1"
 DEBEMAIL="m.laveaux@tue.nl"
 DEBFULLNAME="Maurice Laveaux"