diff --git a/de.prob2.disprover.feature/feature.xml b/de.prob2.disprover.feature/feature.xml
index 678e343cd90a96a88ab97142f2bfc782e522f81d..2a78f74b05b9857de1b5c4dcd23d13728629b2d6 100644
--- a/de.prob2.disprover.feature/feature.xml
+++ b/de.prob2.disprover.feature/feature.xml
@@ -232,12 +232,12 @@ litigation.
    <requires>
       <import plugin="org.eclipse.core.runtime" version="3.5.0" match="compatible"/>
       <import plugin="de.prob.core" version="9.4.0" match="equivalent"/>
-      <import plugin="org.eventb.core.seqprover" version="2.5.0" match="compatible"/>
       <import plugin="org.eventb.core" version="2.5.1" match="greaterOrEqual"/>
       <import plugin="org.eclipse.ui" version="3.5.0" match="compatible"/>
-      <import plugin="org.eventb.ui" version="2.5.0" match="compatible"/>
       <import plugin="de.prob.eventb.disprover.core" version="1.3.2" match="compatible"/>
       <import plugin="org.eventb.pp.ui" version="0.2.1" match="greaterOrEqual"/>
+      <import plugin="org.eventb.core.seqprover" version="2.5.0" match="greaterOrEqual"/>
+      <import plugin="org.eventb.ui" version="2.5.0" match="compatible"/>
    </requires>
 
    <plugin
diff --git a/de.prob2.feature/feature.xml b/de.prob2.feature/feature.xml
index 79eaac4e5c80e885383a8ec18514d46831ab3a91..5a7c4165cf97b91f9841d7c6aaedd59acfe9a1fb 100644
--- a/de.prob2.feature/feature.xml
+++ b/de.prob2.feature/feature.xml
@@ -233,9 +233,9 @@ litigation.
       <import plugin="org.eclipse.core.databinding.beans" version="1.1.1" match="compatible"/>
       <import plugin="org.eclipse.gef" version="3.7.0" match="compatible"/>
       <import plugin="de.prob.core" version="9.4.0" match="equivalent"/>
-      <import plugin="org.eventb.core" version="2.5.0" match="equivalent"/>
+      <import plugin="org.eventb.core" version="2.5.0" match="greaterOrEqual"/>
       <import plugin="org.eclipse.help" version="3.5.100" match="greaterOrEqual"/>
-      <import plugin="org.rodinp.core" version="1.3.1"/>
+      <import plugin="org.rodinp.core" version="1.3.1" match="greaterOrEqual"/>
       <import plugin="de.prob.ui" version="7.4.0" match="equivalent"/>
       <import plugin="org.eclipse.core.resources" version="3.5.0" match="compatible"/>
       <import plugin="org.eclipse.core.expressions" version="3.4.101" match="compatible"/>
diff --git a/de.prob2.units.feature/feature.xml b/de.prob2.units.feature/feature.xml
index 86b4c7a698264e17ecbb7b9e89a637a0cbcf75ac..0fd758220e6e3130d6f24014c65029eb8c9f6fab 100644
--- a/de.prob2.units.feature/feature.xml
+++ b/de.prob2.units.feature/feature.xml
@@ -226,7 +226,7 @@ litigation.
    <requires>
       <import plugin="org.eclipse.core.runtime"/>
       <import plugin="de.prob.core" version="9.4.0" match="equivalent"/>
-      <import plugin="org.eventb.ui" version="2.5.0" match="equivalent"/>
+      <import plugin="org.eventb.ui" version="2.5.0" match="greaterOrEqual"/>
       <import plugin="de.prob.ui" version="7.4.0" match="equivalent"/>
    </requires>