From 9349fa1c1b4eeae71f13df2b8862ef64ca531a8a Mon Sep 17 00:00:00 2001
From: Nick Battle <nick.battle@gmail.com>
Date: Wed, 28 Feb 2024 14:00:55 +0000
Subject: [PATCH] Moved to 4.5.0 on master

---
 dbgpc/src/main/scripts/dbgpc.sh    | 4 ++--
 lsp/src/main/scripts/kate-lsp.sh   | 4 ++--
 lsp/src/main/scripts/lsp.sh        | 4 ++--
 packaging/src/main/scripts/vdmj.sh | 2 +-
 packaging/src/main/scripts/vsix.sh | 2 +-
 pom.xml                            | 2 +-
 vdmj/src/main/scripts/vdmsl.sh     | 4 ++--
 7 files changed, 11 insertions(+), 11 deletions(-)

diff --git a/dbgpc/src/main/scripts/dbgpc.sh b/dbgpc/src/main/scripts/dbgpc.sh
index 25a8be8fc..a395f44b6 100755
--- a/dbgpc/src/main/scripts/dbgpc.sh
+++ b/dbgpc/src/main/scripts/dbgpc.sh
@@ -4,8 +4,8 @@
 #####################################################################################
 
 # Change these to flip version
-MVERSION="4.5.0-SNAPSHOT"
-PVERSION="4.5.0-P-SNAPSHOT"
+MVERSION="4.5.0"
+PVERSION="4.5.0-P"
 
 # The Maven repository directory containing jars
 MAVENREPO=~/.m2/repository/dk/au/ece/vdmj
diff --git a/lsp/src/main/scripts/kate-lsp.sh b/lsp/src/main/scripts/kate-lsp.sh
index 3ec53742c..2896e31c3 100755
--- a/lsp/src/main/scripts/kate-lsp.sh
+++ b/lsp/src/main/scripts/kate-lsp.sh
@@ -11,8 +11,8 @@ function usage()
     exit 1
 }
 
-MVERSION="4.5.0-SNAPSHOT"
-PVERSION="4.5.0-P-SNAPSHOT"
+MVERSION="4.5.0"
+PVERSION="4.5.0-P"
 VERSION=$MVERSION
 
 # The Maven repository directory containing jars
diff --git a/lsp/src/main/scripts/lsp.sh b/lsp/src/main/scripts/lsp.sh
index ed6a98b70..c2b6f67a6 100755
--- a/lsp/src/main/scripts/lsp.sh
+++ b/lsp/src/main/scripts/lsp.sh
@@ -11,8 +11,8 @@ function usage()
     exit 1
 }
 
-MVERSION="4.5.0-SNAPSHOT"
-PVERSION="4.5.0-P-SNAPSHOT"
+MVERSION="4.5.0"
+PVERSION="4.5.0-P"
 VERSION=$MVERSION
 
 # The Maven repository directory containing jars
diff --git a/packaging/src/main/scripts/vdmj.sh b/packaging/src/main/scripts/vdmj.sh
index 5fa3632f8..2ffe748d0 100755
--- a/packaging/src/main/scripts/vdmj.sh
+++ b/packaging/src/main/scripts/vdmj.sh
@@ -4,7 +4,7 @@
 #####################################################################################
 
 # Change this to flip VDMJ version
-VERSION=${VDMJ_VERSION:-4.5.0-SNAPSHOT}
+VERSION=${VDMJ_VERSION:-4.5.0}
 
 function help()
 {
diff --git a/packaging/src/main/scripts/vsix.sh b/packaging/src/main/scripts/vsix.sh
index 1b523f2b7..63d112565 100755
--- a/packaging/src/main/scripts/vsix.sh
+++ b/packaging/src/main/scripts/vsix.sh
@@ -16,7 +16,7 @@ then
     usage
 fi
 
-VERSION="4.5.0-SNAPSHOT"
+VERSION="4.5.0"
 VDMJ="vdmj"
 
 SELF=$(which "$0")
diff --git a/pom.xml b/pom.xml
index d205cf1ef..aa7065a27 100644
--- a/pom.xml
+++ b/pom.xml
@@ -15,7 +15,7 @@
         <maven.build.timestamp.format>yyMMdd</maven.build.timestamp.format>
         <project.build.sourceEncoding>UTF-8</project.build.sourceEncoding>
 
-        <revision>4.5.0-SNAPSHOT</revision>
+        <revision>4.5.0</revision>
         <changelist></changelist>
         <sha1/>
     </properties>
diff --git a/vdmj/src/main/scripts/vdmsl.sh b/vdmj/src/main/scripts/vdmsl.sh
index 44c2dc593..b31490033 100755
--- a/vdmj/src/main/scripts/vdmsl.sh
+++ b/vdmj/src/main/scripts/vdmsl.sh
@@ -4,8 +4,8 @@
 #####################################################################################
 
 # Change these to flip VDMJ version
-MVERSION=${VDMJ_VERSION:-4.5.0-SNAPSHOT}
-PVERSION=${VDMJ_PVERSION:-4.5.0-P-SNAPSHOT}
+MVERSION=${VDMJ_VERSION:-4.5.0}
+PVERSION=${VDMJ_PVERSION:-4.5.0-P}
 
 # The Maven repository directory containing VDMJ versions
 MAVENREPO=~/.m2/repository/dk/au/ece/vdmj