diff --git a/de.prob.symbolic/META-INF/MANIFEST.MF b/de.prob.symbolic/META-INF/MANIFEST.MF
index 1adbf1aa42d48be29f001f391d6798d10a497eed..52dc0015473f374b41c057a65da6df414c5d7892 100644
--- a/de.prob.symbolic/META-INF/MANIFEST.MF
+++ b/de.prob.symbolic/META-INF/MANIFEST.MF
@@ -6,7 +6,7 @@ Bundle-Version: 1.0.0.qualifier
 Bundle-Activator: de.prob.symbolic.Activator
 Require-Bundle: org.eclipse.core.runtime,
  de.prob.core;bundle-version="[9.4.0,9.5.0)",
- org.eventb.ui;bundle-version="2.5.0",
+ org.eventb.ui;bundle-version="[2.5.0,3.0.0)",
  de.prob.ui;bundle-version="[7.4.0,7.5.0)"
 Bundle-ActivationPolicy: lazy
 Bundle-RequiredExecutionEnvironment: JavaSE-1.6
diff --git a/de.prob.units/META-INF/MANIFEST.MF b/de.prob.units/META-INF/MANIFEST.MF
index d3545743fc9c47803914a503e7a920c279dcc111..a5091100200bf3ecbdd073ed5f090e3393bdfe74 100644
--- a/de.prob.units/META-INF/MANIFEST.MF
+++ b/de.prob.units/META-INF/MANIFEST.MF
@@ -6,7 +6,7 @@ Bundle-Version: 1.0.0.qualifier
 Bundle-Activator: de.prob.units.Activator
 Require-Bundle: org.eclipse.core.runtime,
  de.prob.core;bundle-version="[9.4.0,9.5.0)",
- org.eventb.ui;bundle-version="[2.5.0,2.6.0)",
+ org.eventb.ui;bundle-version="[2.5.0,3.0.0)",
  de.prob.ui;bundle-version="[7.4.0,7.5.0)"
 Bundle-ActivationPolicy: lazy
 Bundle-RequiredExecutionEnvironment: JavaSE-1.6