From 4a12e392eb00c1d9bcf7063936046ef7eb2d04fb Mon Sep 17 00:00:00 2001
From: dgelessus <dgelessus@users.noreply.github.com>
Date: Mon, 3 Jul 2023 14:11:50 +0200
Subject: [PATCH] Update all dependencies to Rodin 3.6 as the minimum
---
.../META-INF/MANIFEST.MF | 26 +++++++--------
de.prob.core.tests/META-INF/MANIFEST.MF | 14 ++++----
de.prob.core/META-INF/MANIFEST.MF | 14 ++++----
.../META-INF/MANIFEST.MF | 12 +++----
.../META-INF/MANIFEST.MF | 16 +++++-----
de.prob.symbolic/META-INF/MANIFEST.MF | 10 +++---
de.prob.ui/META-INF/MANIFEST.MF | 18 +++++------
de.prob2.disprover.feature/feature.xml | 16 +++++-----
de.prob2.feature/feature.xml | 32 +++++++++----------
de.prob2.symbolic.feature/feature.xml | 10 +++---
10 files changed, 84 insertions(+), 84 deletions(-)
diff --git a/de.bmotionstudio.gef.editor/META-INF/MANIFEST.MF b/de.bmotionstudio.gef.editor/META-INF/MANIFEST.MF
index 64a51d2a..3c656fc6 100644
--- a/de.bmotionstudio.gef.editor/META-INF/MANIFEST.MF
+++ b/de.bmotionstudio.gef.editor/META-INF/MANIFEST.MF
@@ -5,19 +5,19 @@ Bundle-SymbolicName: de.bmotionstudio.gef.editor;singleton:=true
Bundle-Version: 5.6.0.qualifier
Bundle-Activator: de.bmotionstudio.gef.editor.BMotionEditorPlugin
Require-Bundle: de.prob.core;bundle-version="[9.5.0,9.6.0)";visibility:=reexport,
- org.eclipse.core.databinding;bundle-version="[1.2.0,2.0.0)",
- org.eclipse.core.databinding.beans;bundle-version="[1.1.1,2.0.0)",
- org.eclipse.core.resources;bundle-version="[3.5.0,4.0.0)",
- org.eclipse.core.runtime;bundle-version="[3.5.0,4.0.0)",
- org.eclipse.gef;bundle-version="[3.7.0,4.0.0)";visibility:=reexport,
- org.eclipse.help;bundle-version="3.5.100",
- org.eclipse.jface.databinding;bundle-version="[1.2.1,2.0.0)",
- org.eclipse.ui;bundle-version="[3.5.0,4.0.0)",
- org.eclipse.ui.ide;bundle-version="[3.5.0,4.0.0)",
- org.eclipse.ui.views;bundle-version="[3.5.0,4.0.0)";visibility:=reexport,
- org.eventb.core;bundle-version="[3.0.0,4.0.0)",
- org.eventb.core.ast;bundle-version="[3.0.0,4.0.0)",
- org.rodinp.core;bundle-version="[1.7.0,2.0.0)"
+ org.eclipse.core.databinding;bundle-version="[1.10.0,2.0.0)",
+ org.eclipse.core.databinding.beans;bundle-version="[1.7.0,2.0.0)",
+ org.eclipse.core.resources;bundle-version="[3.13.0,4.0.0)",
+ org.eclipse.core.runtime;bundle-version="[3.20.0,4.0.0)",
+ org.eclipse.gef;bundle-version="[3.11.0,4.0.0)";visibility:=reexport,
+ org.eclipse.help;bundle-version="[3.8.0,4.0.0)",
+ org.eclipse.jface.databinding;bundle-version="[1.12.0,2.0.0)",
+ org.eclipse.ui;bundle-version="[3.118.0,4.0.0)",
+ org.eclipse.ui.ide;bundle-version="[3.18.0,4.0.0)",
+ org.eclipse.ui.views;bundle-version="[3.10.0,4.0.0)";visibility:=reexport,
+ org.eventb.core;bundle-version="[3.5.0,4.0.0)",
+ org.eventb.core.ast;bundle-version="[3.5.0,4.0.0)",
+ org.rodinp.core;bundle-version="[1.9.0,2.0.0)"
Bundle-ActivationPolicy: lazy
Bundle-RequiredExecutionEnvironment: JavaSE-11
Eclipse-RegisterBuddy: de.prob.core
diff --git a/de.prob.core.tests/META-INF/MANIFEST.MF b/de.prob.core.tests/META-INF/MANIFEST.MF
index dc159740..21083b4c 100644
--- a/de.prob.core.tests/META-INF/MANIFEST.MF
+++ b/de.prob.core.tests/META-INF/MANIFEST.MF
@@ -5,12 +5,12 @@ Bundle-SymbolicName: de.prob.core.tests
Bundle-Version: 1.0.0.qualifier
Bundle-Activator: de.prob.core.tests.Activator
Require-Bundle: de.prob.core;bundle-version="[9.5.0,9.6.0)",
- org.eclipse.core.resources,
- org.eclipse.core.runtime;bundle-version="[3.5.0,4.0.0)",
- org.eclipse.ui,
- org.eventb.core;bundle-version="[3.3.0,4.0.0)",
- org.eventb.core.ast;bundle-version="[3.3.0,4.0.0)",
- org.junit;bundle-version="[4.0.0,5.0.0)",
- org.rodinp.core;bundle-version="[1.7.0,2.0.0)"
+ org.eclipse.core.resources;bundle-version="[3.13.0,4.0.0)",
+ org.eclipse.core.runtime;bundle-version="[3.20.0,4.0.0)",
+ org.eclipse.ui;bundle-version="[3.118.0,4.0.0)",
+ org.eventb.core;bundle-version="[3.5.0,4.0.0)",
+ org.eventb.core.ast;bundle-version="[3.5.0,4.0.0)",
+ org.junit;bundle-version="[4.13.0,5.0.0)",
+ org.rodinp.core;bundle-version="[1.9.0,2.0.0)"
Bundle-ActivationPolicy: lazy
Bundle-RequiredExecutionEnvironment: JavaSE-11
diff --git a/de.prob.core/META-INF/MANIFEST.MF b/de.prob.core/META-INF/MANIFEST.MF
index f19d7521..e177ac77 100644
--- a/de.prob.core/META-INF/MANIFEST.MF
+++ b/de.prob.core/META-INF/MANIFEST.MF
@@ -3,14 +3,14 @@ Bundle-ManifestVersion: 2
Bundle-Name: ProB Animator Core
Bundle-SymbolicName: de.prob.core;singleton:=true
Bundle-Version: 9.5.0.qualifier
-Require-Bundle: org.eclipse.core.filesystem,
- org.eclipse.core.resources;bundle-version="[3.5.0,4.0.0)",
- org.eclipse.core.runtime;bundle-version="[3.5.0,4.0.0)",
- org.eventb.core;bundle-version="[3.3.0,4.0.0)",
- org.eventb.core.ast;bundle-version="[3.3.0,4.0.0)",
- org.eventb.core.seqprover;bundle-version="[3.2.0,4.0.0)",
+Require-Bundle: org.eclipse.core.filesystem;bundle-version="[1.7.0,2.0.0)",
+ org.eclipse.core.resources;bundle-version="[3.13.0,4.0.0)",
+ org.eclipse.core.runtime;bundle-version="[3.20.0,4.0.0)",
+ org.eventb.core;bundle-version="[3.5.0,4.0.0)",
+ org.eventb.core.ast;bundle-version="[3.5.0,4.0.0)",
+ org.eventb.core.seqprover;bundle-version="[3.4.0,4.0.0)",
org.eventb.theory.core;bundle-version="[4.0.0,4.1.0)";resolution:=optional,
- org.rodinp.core;bundle-version="[1.7.0,2.0.0)"
+ org.rodinp.core;bundle-version="[1.9.0,2.0.0)"
Bundle-ActivationPolicy: lazy
Eclipse-BundleShape: dir
Bundle-Vendor: HHU Dusseldorf STUPS Group
diff --git a/de.prob.eventb.disprover.core/META-INF/MANIFEST.MF b/de.prob.eventb.disprover.core/META-INF/MANIFEST.MF
index 7b610c8c..2d758108 100644
--- a/de.prob.eventb.disprover.core/META-INF/MANIFEST.MF
+++ b/de.prob.eventb.disprover.core/META-INF/MANIFEST.MF
@@ -5,12 +5,12 @@ Bundle-SymbolicName: de.prob.eventb.disprover.core;singleton:=true
Bundle-Version: 2.1.0.qualifier
Bundle-Vendor: Heinrich-Heine University Dusseldorf
Require-Bundle: de.prob.core;bundle-version="[9.5.0,9.6.0)",
- org.eclipse.core.runtime;bundle-version="[3.5.0,4.0.0)",
- org.eclipse.ui;bundle-version="[3.5.0,4.0.0)",
- org.eventb.core;bundle-version="[3.0.0,4.0.0)",
- org.eventb.core.ast;bundle-version="[3.0.0,4.0.0)",
- org.eventb.core.seqprover;bundle-version="[3.0.0,4.0.0)",
- org.rodinp.core;bundle-version="[1.7.0,2.0.0)"
+ org.eclipse.core.runtime;bundle-version="[3.20.0,4.0.0)",
+ org.eclipse.ui;bundle-version="[3.118.0,4.0.0)",
+ org.eventb.core;bundle-version="[3.5.0,4.0.0)",
+ org.eventb.core.ast;bundle-version="[3.5.0,4.0.0)",
+ org.eventb.core.seqprover;bundle-version="[3.4.0,4.0.0)",
+ org.rodinp.core;bundle-version="[1.9.0,2.0.0)"
Bundle-RequiredExecutionEnvironment: JavaSE-11
Bundle-ActivationPolicy: lazy
Bundle-Localization: plugin
diff --git a/de.prob.eventb.disprover.ui/META-INF/MANIFEST.MF b/de.prob.eventb.disprover.ui/META-INF/MANIFEST.MF
index 16761b4a..c6dc929b 100644
--- a/de.prob.eventb.disprover.ui/META-INF/MANIFEST.MF
+++ b/de.prob.eventb.disprover.ui/META-INF/MANIFEST.MF
@@ -7,14 +7,14 @@ Bundle-Vendor: Heinrich-Heine University Dusseldorf
Require-Bundle: de.prob.core;bundle-version="[9.5.0,9.6.0)",
de.prob.eventb.disprover.core;bundle-version="[2.1.0,2.2.0)",
de.prob.ui;bundle-version="[7.5.0,7.6.0)",
- org.eclipse.core.runtime,
- org.eclipse.osgi,
- org.eclipse.ui;bundle-version="[3.5.0,4.0.0)",
- org.eventb.core;bundle-version="[3.0.0,4.0.0)",
- org.eventb.core.ast;bundle-version="[3.0.0,4.0.0)",
- org.eventb.core.seqprover;bundle-version="[3.0.0,4.0.0)",
- org.eventb.ui;bundle-version="[3.0.0,4.0.0)",
- org.rodinp.core;bundle-version="[1.7.0,2.0.0)"
+ org.eclipse.core.runtime;bundle-version="[3.20.0,4.0.0)",
+ org.eclipse.osgi;bundle-version="[3.16.0,4.0.0)",
+ org.eclipse.ui;bundle-version="[3.118.0,4.0.0)",
+ org.eventb.core;bundle-version="[3.5.0,4.0.0)",
+ org.eventb.core.ast;bundle-version="[3.5.0,4.0.0)",
+ org.eventb.core.seqprover;bundle-version="[3.4.0,4.0.0)",
+ org.eventb.ui;bundle-version="[3.5.0,4.0.0)",
+ org.rodinp.core;bundle-version="[1.9.0,2.0.0)"
Bundle-RequiredExecutionEnvironment: JavaSE-11
Bundle-ActivationPolicy: lazy
Bundle-Localization: plugin
diff --git a/de.prob.symbolic/META-INF/MANIFEST.MF b/de.prob.symbolic/META-INF/MANIFEST.MF
index 1b713a2f..630b87ed 100644
--- a/de.prob.symbolic/META-INF/MANIFEST.MF
+++ b/de.prob.symbolic/META-INF/MANIFEST.MF
@@ -6,11 +6,11 @@ Bundle-Version: 7.5.0.qualifier
Bundle-Activator: de.prob.symbolic.Activator
Require-Bundle: de.prob.core;bundle-version="[9.5.0,9.6.0)",
de.prob.ui;bundle-version="[7.5.0,7.6.0)",
- org.eclipse.core.runtime,
- org.eclipse.ui;bundle-version="[3.5.0,4.0.0)",
- org.eventb.core;bundle-version="[3.0.0,4.0.0)",
- org.eventb.ui;bundle-version="[3.0.0,4.0.0)",
- org.rodinp.core;bundle-version="[1.7.0,2.0.0)"
+ org.eclipse.core.runtime;bundle-version="[3.20.0,4.0.0)",
+ org.eclipse.ui;bundle-version="[3.118.0,4.0.0)",
+ org.eventb.core;bundle-version="[3.5.0,4.0.0)",
+ org.eventb.ui;bundle-version="[3.5.0,4.0.0)",
+ org.rodinp.core;bundle-version="[1.9.0,2.0.0)"
Bundle-ActivationPolicy: lazy
Bundle-RequiredExecutionEnvironment: JavaSE-11
Bundle-Vendor: HHU Düsseldorf STUPS Group
diff --git a/de.prob.ui/META-INF/MANIFEST.MF b/de.prob.ui/META-INF/MANIFEST.MF
index 4d6e92e0..32157f79 100644
--- a/de.prob.ui/META-INF/MANIFEST.MF
+++ b/de.prob.ui/META-INF/MANIFEST.MF
@@ -4,15 +4,15 @@ Bundle-Name: ProB Ui Plug-in
Bundle-SymbolicName: de.prob.ui;singleton:=true
Bundle-Version: 7.5.0.qualifier
Require-Bundle: de.prob.core;bundle-version="[9.5.0,9.6.0)",
- org.eclipse.core.expressions;bundle-version="[3.4.101,4.0.0)",
- org.eclipse.core.resources;bundle-version="[3.5.0,4.0.0)",
- org.eclipse.core.runtime;bundle-version="[3.5.0,4.0.0)",
- org.eclipse.gef;bundle-version="[3.7.0,4.0.0)",
- org.eclipse.ui;bundle-version="[3.5.0,4.0.0)",
- org.eclipse.ui.ide;bundle-version="[3.5.0,4.0.0)",
- org.eventb.core;bundle-version="[3.0.0,4.0.0)",
- org.eventb.core.ast;bundle-version="[3.0.0,4.0.0)",
- org.rodinp.core;bundle-version="[1.7.0,2.0.0)"
+ org.eclipse.core.expressions;bundle-version="[3.7.0,4.0.0)",
+ org.eclipse.core.resources;bundle-version="[3.13.0,4.0.0)",
+ org.eclipse.core.runtime;bundle-version="[3.20.0,4.0.0)",
+ org.eclipse.gef;bundle-version="[3.11.0,4.0.0)",
+ org.eclipse.ui;bundle-version="[3.118.0,4.0.0)",
+ org.eclipse.ui.ide;bundle-version="[3.18.0,4.0.0)",
+ org.eventb.core;bundle-version="[3.5.0,4.0.0)",
+ org.eventb.core.ast;bundle-version="[3.5.0,4.0.0)",
+ org.rodinp.core;bundle-version="[1.9.0,2.0.0)"
Bundle-ActivationPolicy: lazy
Bundle-Vendor: HHU Düsseldorf STUPS Group
Bundle-Activator: de.prob.ui.ProbUiPlugin
diff --git a/de.prob2.disprover.feature/feature.xml b/de.prob2.disprover.feature/feature.xml
index 47b50a2d..54cfc58b 100644
--- a/de.prob2.disprover.feature/feature.xml
+++ b/de.prob2.disprover.feature/feature.xml
@@ -231,14 +231,14 @@ litigation.
<import plugin="de.prob.core" version="9.5.0" match="equivalent"/>
<import plugin="de.prob.eventb.disprover.core" version="2.1.0" match="equivalent"/>
<import plugin="de.prob.ui" version="7.5.0" match="equivalent"/>
- <import plugin="org.eclipse.core.runtime" version="3.5.0" match="compatible"/>
- <import plugin="org.eclipse.osgi"/>
- <import plugin="org.eclipse.ui" version="3.5.0" match="compatible"/>
- <import plugin="org.eventb.core" version="3.0.0"/>
- <import plugin="org.eventb.core.ast" version="3.0.0"/>
- <import plugin="org.eventb.core.seqprover" version="3.0.0"/>
- <import plugin="org.eventb.ui" version="3.0.0"/>
- <import plugin="org.rodinp.core" version="1.7.0" match="compatible"/>
+ <import plugin="org.eclipse.core.runtime" version="3.2.0" match="compatible"/>
+ <import plugin="org.eclipse.osgi" version="3.16.0" match="compatible"/>
+ <import plugin="org.eclipse.ui" version="3.118.0" match="compatible"/>
+ <import plugin="org.eventb.core" version="3.5.0" match="compatible"/>
+ <import plugin="org.eventb.core.ast" version="3.5.0" match="compatible"/>
+ <import plugin="org.eventb.core.seqprover" version="3.4.0" match="compatible"/>
+ <import plugin="org.eventb.ui" version="3.5.0" match="compatible"/>
+ <import plugin="org.rodinp.core" version="1.9.0" match="compatible"/>
</requires>
<plugin
diff --git a/de.prob2.feature/feature.xml b/de.prob2.feature/feature.xml
index e26d508b..1222b303 100644
--- a/de.prob2.feature/feature.xml
+++ b/de.prob2.feature/feature.xml
@@ -231,22 +231,22 @@ litigation.
<import plugin="de.bmotionstudio.gef.editor" version="5.6.0" match="equivalent"/>
<import plugin="de.prob.core" version="9.5.0" match="equivalent"/>
<import plugin="de.prob.ui" version="7.5.0" match="equivalent"/>
- <import plugin="org.eclipse.core.databinding" version="1.2.0" match="compatible"/>
- <import plugin="org.eclipse.core.databinding.beans" version="1.1.1" match="compatible"/>
- <import plugin="org.eclipse.core.expressions" version="3.4.101" match="compatible"/>
- <import plugin="org.eclipse.core.resources" version="3.5.0" match="compatible"/>
- <import plugin="org.eclipse.core.runtime" version="3.5.0" match="compatible"/>
- <import plugin="org.eclipse.gef" version="3.7.0" match="compatible"/>
- <import plugin="org.eclipse.help" version="3.5.100" match="compatible"/>
- <import plugin="org.eclipse.jface.databinding" version="1.2.1" match="compatible"/>
- <import plugin="org.eclipse.ui" version="3.5.0" match="compatible"/>
- <import plugin="org.eclipse.ui.ide" version="3.5.0" match="compatible"/>
- <import plugin="org.eclipse.ui.navigator" version="3.5.0" match="compatible"/>
- <import plugin="org.eclipse.ui.views" version="3.5.0" match="compatible"/>
- <import plugin="org.eventb.core" version="3.0.0"/>
- <import plugin="org.eventb.core.ast" version="3.0.0"/>
- <import plugin="org.eventb.core.seqprover" version="3.0.0"/>
- <import plugin="org.rodinp.core" version="1.7.0" match="compatible"/>
+ <import plugin="org.eclipse.core.databinding" version="1.10.0" match="compatible"/>
+ <import plugin="org.eclipse.core.databinding.beans" version="1.7.0" match="compatible"/>
+ <import plugin="org.eclipse.core.expressions" version="3.7.0" match="compatible"/>
+ <import plugin="org.eclipse.core.resources" version="3.13.0" match="compatible"/>
+ <import plugin="org.eclipse.core.runtime" version="3.20.0" match="compatible"/>
+ <import plugin="org.eclipse.gef" version="3.11.0" match="compatible"/>
+ <import plugin="org.eclipse.help" version="3.8.0" match="compatible"/>
+ <import plugin="org.eclipse.jface.databinding" version="1.12.0" match="compatible"/>
+ <import plugin="org.eclipse.ui" version="3.118.0" match="compatible"/>
+ <import plugin="org.eclipse.ui.ide" version="3.18.0" match="compatible"/>
+ <import plugin="org.eclipse.ui.navigator" version="3.9.0" match="compatible"/>
+ <import plugin="org.eclipse.ui.views" version="3.10.0" match="compatible"/>
+ <import plugin="org.eventb.core" version="3.5.0" match="compatible"/>
+ <import plugin="org.eventb.core.ast" version="3.5.0" match="compatible"/>
+ <import plugin="org.eventb.core.seqprover" version="3.4.0" match="compatible"/>
+ <import plugin="org.rodinp.core" version="1.9.0" match="compatible"/>
</requires>
<plugin
diff --git a/de.prob2.symbolic.feature/feature.xml b/de.prob2.symbolic.feature/feature.xml
index 9bebe83b..06d4178b 100644
--- a/de.prob2.symbolic.feature/feature.xml
+++ b/de.prob2.symbolic.feature/feature.xml
@@ -230,11 +230,11 @@ litigation.
<requires>
<import plugin="de.prob.core" version="9.5.0" match="equivalent"/>
<import plugin="de.prob.ui" version="7.5.0" match="equivalent"/>
- <import plugin="org.eclipse.core.runtime"/>
- <import plugin="org.eclipse.ui" version="3.5.0" match="compatible"/>
- <import plugin="org.eventb.core" version="3.0.0"/>
- <import plugin="org.eventb.ui" version="3.0.0"/>
- <import plugin="org.rodinp.core" version="1.7.0" match="compatible"/>
+ <import plugin="org.eclipse.core.runtime" version="3.20.0" match="compatible"/>
+ <import plugin="org.eclipse.ui" version="3.118.0" match="compatible"/>
+ <import plugin="org.eventb.core" version="3.5.0" match="compatible"/>
+ <import plugin="org.eventb.ui" version="3.5.0" match="compatible"/>
+ <import plugin="org.rodinp.core" version="1.9.0" match="compatible"/>
</requires>
<plugin
--
GitLab