diff --git a/de.prob.eventb.disprover.ui/META-INF/MANIFEST.MF b/de.prob.eventb.disprover.ui/META-INF/MANIFEST.MF
index 7da02f437ed882118a388b45023b6872d0761fbb..aa45f9411d71c5c85e207a0a1af5a932d327082f 100644
--- a/de.prob.eventb.disprover.ui/META-INF/MANIFEST.MF
+++ b/de.prob.eventb.disprover.ui/META-INF/MANIFEST.MF
@@ -5,7 +5,7 @@ Bundle-SymbolicName: de.prob.eventb.disprover.ui;singleton:=true
 Bundle-Version: 2.0.3.qualifier
 Bundle-Vendor: Heinrich-Heine University Dusseldorf
 Require-Bundle: org.eclipse.core.runtime,
- org.eventb.ui;bundle-version="[3.0.0,3.1.0)",
+ org.eventb.ui;bundle-version="[3.0.0,3.2.0)",
  de.prob.eventb.disprover.core;bundle-version="[1.3.2,2.0.0)",
  org.eclipse.ui;bundle-version="[3.5.0,4.0.0)",
  de.prob.core,
diff --git a/de.prob.symbolic/META-INF/MANIFEST.MF b/de.prob.symbolic/META-INF/MANIFEST.MF
index 52e10653dc0de613fe409cd198ca0a1d16e8ad36..b612b4c3585c8cb6869754e952e8c39aaaefe22a 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="[3.0.0,3.1.0)",
+ org.eventb.ui;bundle-version="[3.0.0,3.2.0)",
  de.prob.ui;bundle-version="[7.4.0,7.5.0)",
  org.rodinp.core;bundle-version="[1.7.0,1.8.0)",
  org.eclipse.ui;bundle-version="[3.5.0,4.0.0)",
diff --git a/de.prob.units/META-INF/MANIFEST.MF b/de.prob.units/META-INF/MANIFEST.MF
index fb821994124ddcbc1a64b988a414de1ce6920dc7..d0846e666bb081145a7b3139113c067ce3a58291 100644
--- a/de.prob.units/META-INF/MANIFEST.MF
+++ b/de.prob.units/META-INF/MANIFEST.MF
@@ -10,7 +10,7 @@ Require-Bundle: org.eclipse.core.runtime,
  org.eclipse.jface,
  org.rodinp.core;bundle-version="[1.7.0,1.8.0)",
  de.prob.core;bundle-version="[9.4.0,9.5.0)",
- org.eventb.ui;bundle-version="[3.0.0,3.1.0)",
+ org.eventb.ui;bundle-version="[3.0.0,3.2.0)",
  de.prob.ui;bundle-version="[7.4.0,7.5.0)",
  org.eventb.core;bundle-version="[3.0.0,3.2.0)",
  org.eclipse.ui.workbench