From 8fd05cc6d57c6d5268ec490d7a4584dd2f3c68d7 Mon Sep 17 00:00:00 2001
From: Sebastian Krings <sebastian@krin.gs>
Date: Fri, 28 Mar 2014 09:03:41 +0100
Subject: [PATCH] update dependencies
---
de.prob2.disprover.feature/feature.xml | 10 ++++++----
1 file changed, 6 insertions(+), 4 deletions(-)
diff --git a/de.prob2.disprover.feature/feature.xml b/de.prob2.disprover.feature/feature.xml
index 0a830dd6..4afbb3aa 100644
--- a/de.prob2.disprover.feature/feature.xml
+++ b/de.prob2.disprover.feature/feature.xml
@@ -232,12 +232,14 @@ 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" version="2.5.1" match="compatible"/>
<import plugin="org.eclipse.ui" version="3.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="3.0.0" match="equivalent"/>
+ <import plugin="de.prob.eventb.disprover.core" version="1.3.2" match="compatible"/>
+ <import plugin="org.eventb.core.seqprover" version="3.0.0" match="equivalent"/>
+ <import plugin="org.eventb.core" version="3.0.0" match="equivalent"/>
+ <import plugin="org.eventb.core.ast" version="3.0.0" match="equivalent"/>
+ <import plugin="org.rodinp.core" version="1.7.0" match="equivalent"/>
+ <import plugin="org.eclipse.osgi"/>
</requires>
<plugin
--
GitLab