From 4add7f6006cb0dcb08398da77d390d2aad74965b Mon Sep 17 00:00:00 2001 From: Sebastian Krings <sebastian@krin.gs> Date: Fri, 21 Jun 2013 15:51:37 +0200 Subject: [PATCH] update org.eventb.ui dependencies --- de.prob.symbolic/META-INF/MANIFEST.MF | 2 +- de.prob.units/META-INF/MANIFEST.MF | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/de.prob.symbolic/META-INF/MANIFEST.MF b/de.prob.symbolic/META-INF/MANIFEST.MF index 1adbf1aa..52dc0015 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 d3545743..a5091100 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 -- GitLab