diff --git a/releng/EnrichPoms/CBIaggregator.sh b/releng/EnrichPoms/CBIaggregator.sh
index 094d541..ae6bda1 100644
--- a/releng/EnrichPoms/CBIaggregator.sh
+++ b/releng/EnrichPoms/CBIaggregator.sh
@@ -38,6 +38,12 @@
 		file=`basename $line`
 		name=`echo $file | sed -e 's/\(.*\)_.*/\1/' | tr '.' '_'`
 		version=`echo $file | sed -e 's/.*_\(.*\)\.v[0-9-]*\.jar/\1/'`
+		previous=`eval echo \\${VERSION_$name}`
+		if [ "$previous$" != "" ]
+		then
+			version=${previous},${version}
+		fi
+		eval VERSION_$name=$version
 		echo VERSION_$name=$version
 	done > ${WORKSPACE}/baseline.txt 
 	cd -
diff --git a/releng/EnrichPoms/publishPDE.sh b/releng/EnrichPoms/publishPDE.sh
index 3495885..8444b2e 100644
--- a/releng/EnrichPoms/publishPDE.sh
+++ b/releng/EnrichPoms/publishPDE.sh
@@ -47,10 +47,12 @@
 	simple=`basename $1`
 	name=`echo $simple | sed -e "s|\(.*\)-.*|\1|" | tr '.' '_'`
 	version=`echo $simple | sed -e "s|.*-\(.*\).pom|\1|"`
-	if [ "`eval echo \\${VERSION_$name}`" == "$version" ]
+	base_version=`eval echo \\${VERSION_$name}`
+	if [[ $base_version =~ $version ]]
 	then
 		return 0
 	else
+		echo "different versions for ${name}: ${version} is not in ${base_version}"
 		return 1
 	fi
 }
diff --git a/releng/EnrichPoms/publishPlatform.sh b/releng/EnrichPoms/publishPlatform.sh
index 736d318..4d3d72e 100644
--- a/releng/EnrichPoms/publishPlatform.sh
+++ b/releng/EnrichPoms/publishPlatform.sh
@@ -48,10 +48,12 @@
 	simple=`basename $1`
 	name=`echo $simple | sed -e "s|\(.*\)-.*|\1|" | tr '.' '_'`
 	version=`echo $simple | sed -e "s|.*-\(.*\).pom|\1|"`
-	if [ "`eval echo \\${VERSION_$name}`" == "$version" ]
+	base_version=`eval echo \\${VERSION_$name}`
+	if [[ $base_version =~ $version ]]
 	then
 		return 0
 	else
+		echo "different versions for ${name}: ${version} is not in ${base_version}"
 		return 1
 	fi
 }