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 @@
yyMMdd
UTF-8
- 4.5.0-SNAPSHOT
+ 4.5.0
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