diff --git a/de.prob2.disprover.feature/feature.xml b/de.prob2.disprover.feature/feature.xml
index f8499b4f859c0af278d52f5d7b42ba4f0c72a829..f31df8800fb762d5e60da20f1510b744ed9f5835 100644
--- a/de.prob2.disprover.feature/feature.xml
+++ b/de.prob2.disprover.feature/feature.xml
@@ -2,7 +2,7 @@
 <feature
       id="de.prob2.disprover.feature"
       label="ProB for Rodin3 - EXPERIMENTAL (Dis)Prover"
-      version="3.0.7.qualifier"
+      version="3.0.8.qualifier"
       provider-name="HHU Düsseldorf STUPS Group">
 
    <description url="http://www.stups.uni-duesseldorf.de/ProB">
diff --git a/de.prob2.feature/feature.xml b/de.prob2.feature/feature.xml
index 6d243a0fb772966432047102ec012b9a235a4f8a..4f63793dcdc2c14a4d0028d7b0cabd6212f6da49 100644
--- a/de.prob2.feature/feature.xml
+++ b/de.prob2.feature/feature.xml
@@ -2,7 +2,7 @@
 <feature
       id="de.prob2.feature"
       label="ProB for Rodin3"
-      version="3.0.7.qualifier"
+      version="3.0.8.qualifier"
       provider-name="HHU Düsseldorf STUPS Group">
 
    <description url="http://www.stups.uni-duesseldorf.de/ProB">
diff --git a/de.prob2.symbolic.feature/feature.xml b/de.prob2.symbolic.feature/feature.xml
index e5bfca714ee1a3f709eb7a6e14356b0246a72f51..e02e10ac1402d008b6b0c0922d43c5980a6c8ea4 100644
--- a/de.prob2.symbolic.feature/feature.xml
+++ b/de.prob2.symbolic.feature/feature.xml
@@ -2,7 +2,7 @@
 <feature
       id="de.prob2.symbolic.feature"
       label="ProB for Rodin3 - Symbolic Constants Support"
-      version="3.0.7.qualifier"
+      version="3.0.8.qualifier"
       provider-name="HHU Düsseldorf STUPS Group">
 
    <description url="http://www.stups.uni-duesseldorf.de/ProB">
diff --git a/de.prob2.units.feature/feature.xml b/de.prob2.units.feature/feature.xml
index c4daa54ec0aa147b0cdfba37bfd8b0557e148fcf..5a1514b4ba4c0bd6be0c7ebd9b5becb1b2a63dbb 100644
--- a/de.prob2.units.feature/feature.xml
+++ b/de.prob2.units.feature/feature.xml
@@ -2,7 +2,7 @@
 <feature
       id="de.prob2.units.feature"
       label="ProB for Rodin3 - Physical Units Support"
-      version="3.0.7.qualifier"
+      version="3.0.8.qualifier"
       provider-name="HHU Düsseldorf STUPS Group">
 
    <description url="http://www.stups.uni-duesseldorf.de/ProB">