diff --git a/annotationsVDMToolkit/pom.xml b/annotationsVDMToolkit/pom.xml
index 35466d4b..62e876ca 100644
--- a/annotationsVDMToolkit/pom.xml
+++ b/annotationsVDMToolkit/pom.xml
@@ -4,7 +4,7 @@
 	<parent>
 		<groupId>vdmtoolkit</groupId>
 		<artifactId>VDMToolkit-suite</artifactId>
-		<version>${revision}</version>
+	    <version>${revision}${sha1}${changelist}</version>
 		<relativePath>../pom.xml</relativePath>
 	</parent>
 
diff --git a/pom.xml b/pom.xml
index 5e4177a6..169fd220 100644
--- a/pom.xml
+++ b/pom.xml
@@ -10,15 +10,18 @@
 	<name>VDMToolkit Suite</name>
 	<packaging>pom</packaging>
 	<!-- This version is inherited by all modules -->
-	<version>${revision}</version>	
+    <version>${revision}${sha1}${changelist}</version>
 
 	<properties>
 	    <maven.build.timestamp.format>yyMMdd</maven.build.timestamp.format>
 	    <project.build.sourceEncoding>UTF-8</project.build.sourceEncoding>
 		<!-- Change VDM Toolkit  -->
 	    <revision>1.2.0-SNAPSHOT</revision>
+	    <changelist></changelist>
+        <sha1/>
 		<!-- VDMJ version, which percolates to all dependent POMs -->	
 		<dk.au.ece.vdmj-version>4.6.0</dk.au.ece.vdmj-version>
+		
 	</properties>
 
 	<!-- sub modules -->
diff --git a/quickcheck2isa/pom.xml b/quickcheck2isa/pom.xml
index ad0a7069..194bf53e 100644
--- a/quickcheck2isa/pom.xml
+++ b/quickcheck2isa/pom.xml
@@ -5,7 +5,7 @@
 	<parent>
 		<groupId>vdmtoolkit</groupId>
 		<artifactId>VDMToolkit-suite</artifactId>
-		<version>${revision}</version>
+	    <version>${revision}${sha1}${changelist}</version>
 		<relativePath>../pom.xml</relativePath>
 	</parent>
 
diff --git a/vdm-antlr/pom.xml b/vdm-antlr/pom.xml
index ec7f981c..2c154278 100644
--- a/vdm-antlr/pom.xml
+++ b/vdm-antlr/pom.xml
@@ -5,7 +5,7 @@
 	<parent>
 		<groupId>vdmtoolkit</groupId>
 		<artifactId>VDMToolkit-suite</artifactId>
-		<version>${revision}</version>
+	    <version>${revision}${sha1}${changelist}</version>
 		<relativePath>../pom.xml</relativePath>
 	</parent>
 
diff --git a/vdm2dafny/pom.xml b/vdm2dafny/pom.xml
index 9480b445..77855db3 100644
--- a/vdm2dafny/pom.xml
+++ b/vdm2dafny/pom.xml
@@ -5,7 +5,7 @@
 	<parent>
 		<groupId>vdmtoolkit</groupId>
 		<artifactId>VDMToolkit-suite</artifactId>
-		<version>${revision}</version>
+	    <version>${revision}${sha1}${changelist}</version>
 		<relativePath>../pom.xml</relativePath>
 	</parent>
 
diff --git a/vdm2isa-lsp/pom.xml b/vdm2isa-lsp/pom.xml
index 33059bdb..8e55328b 100644
--- a/vdm2isa-lsp/pom.xml
+++ b/vdm2isa-lsp/pom.xml
@@ -5,7 +5,7 @@
 	<parent>
 		<groupId>vdmtoolkit</groupId>
 		<artifactId>VDMToolkit-suite</artifactId>
-		<version>${revision}</version>
+	    <version>${revision}${sha1}${changelist}</version>
 		<relativePath>../pom.xml</relativePath>
 	</parent>
 
diff --git a/vdm2isa/pom.xml b/vdm2isa/pom.xml
index 29466ee0..7000bed4 100644
--- a/vdm2isa/pom.xml
+++ b/vdm2isa/pom.xml
@@ -5,7 +5,7 @@
 	<parent>
 		<groupId>vdmtoolkit</groupId>
 		<artifactId>VDMToolkit-suite</artifactId>
-		<version>${revision}</version>
+	    <version>${revision}${sha1}${changelist}</version>
 		<relativePath>../pom.xml</relativePath>
 	</parent>
 
diff --git a/vdmlib/pom.xml b/vdmlib/pom.xml
index dc3189e7..34d2fec1 100644
--- a/vdmlib/pom.xml
+++ b/vdmlib/pom.xml
@@ -4,7 +4,7 @@
 	<parent>
 		<groupId>vdmtoolkit</groupId>
 		<artifactId>VDMToolkit-suite</artifactId>
-		<version>${revision}</version>
+	    <version>${revision}${sha1}${changelist}</version>
 		<relativePath>../pom.xml</relativePath>
 	</parent>