Updated the version number.

mCRL2org · Jul 19, 2023 · f45af6f · f45af6f
1 parent 2e2754b
commit f45af6f
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 4 deletions.
diff --git a/build/cmake/MCRL2Version.cmake b/build/cmake/MCRL2Version.cmake
@@ -24,7 +24,7 @@
 #     not be generated from a clean Git clone.
 #
 # Package maintainers may set the variable below to issue a new release.
-set(MCRL2_MAJOR_VERSION "202206.1")
+set(MCRL2_MAJOR_VERSION "202307.0")
 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/build/make_release/make_release b/build/make_release/make_release
@@ -1,6 +1,6 @@
 #!/bin/bash
 #
-# Copyright: Wieger Wesselink <j.w.wesselink@tue.nl> 2014-2021
+# Copyright: Wieger Wesselink <j.w.wesselink@tue.nl> 2014-2023
 #
 # This script is used for building debian packages.
 #
@@ -30,8 +30,8 @@
 # do_ppa_upload. If these steps fail, it makes no sense to do an upload. After
 # every failed upload attempt the version number needs to be updated.
 
-MCRL2_RELEASE_BRANCH="release-202206"
-MCRL2_VERSION="202206.1"
+MCRL2_RELEASE_BRANCH="release-202307"
+MCRL2_VERSION="202307.0"
 UBUNTU_VERSION="1ubuntu1ppa1"
 DEBEMAIL="m.laveaux@tue.nl"
 DEBFULLNAME="Maurice Laveaux"