From 1b0c731842bec74a89754d70ed623771fa33cf92 Mon Sep 17 00:00:00 2001
From: dgelessus <dgelessus@users.noreply.github.com>
Date: Wed, 17 May 2023 18:13:16 +0200
Subject: [PATCH] Replace match="greaterOrEqual" with match="compatible"
To avoid installing incompatible major updates.
---
de.prob2.disprover.feature/feature.xml | 2 +-
de.prob2.feature/feature.xml | 4 ++--
2 files changed, 3 insertions(+), 3 deletions(-)
diff --git a/de.prob2.disprover.feature/feature.xml b/de.prob2.disprover.feature/feature.xml
index 410ec700..2ce2d666 100644
--- a/de.prob2.disprover.feature/feature.xml
+++ b/de.prob2.disprover.feature/feature.xml
@@ -237,7 +237,7 @@ litigation.
<import plugin="org.rodinp.core" version="1.7.0" match="compatible"/>
<import plugin="org.eventb.ui" version="3.0.0"/>
<import plugin="org.eclipse.osgi"/>
- <import plugin="de.prob.ui" version="7.4.0" match="greaterOrEqual"/>
+ <import plugin="de.prob.ui" version="7.4.0" match="compatible"/>
<import plugin="de.prob.eventb.disprover.core" version="2.0.0" match="equivalent"/>
</requires>
diff --git a/de.prob2.feature/feature.xml b/de.prob2.feature/feature.xml
index 8bf97665..aa283ffb 100644
--- a/de.prob2.feature/feature.xml
+++ b/de.prob2.feature/feature.xml
@@ -244,8 +244,8 @@ litigation.
<import plugin="org.eclipse.core.databinding" version="1.2.0" match="compatible"/>
<import plugin="org.eclipse.jface.databinding" version="1.2.1" match="compatible"/>
<import plugin="org.eclipse.core.databinding.beans" version="1.1.1" match="compatible"/>
- <import plugin="org.eclipse.help" version="3.5.100" match="greaterOrEqual"/>
- <import plugin="org.eclipse.ui.navigator" version="3.5.0" match="greaterOrEqual"/>
+ <import plugin="org.eclipse.help" version="3.5.100" match="compatible"/>
+ <import plugin="org.eclipse.ui.navigator" version="3.5.0" match="compatible"/>
<import plugin="de.bmotionstudio.gef.editor" version="5.5.0" match="equivalent"/>
</requires>
--
GitLab