From 29b7c8bc5da1132259b5c62d5a166eb8223bbd32 Mon Sep 17 00:00:00 2001
From: dgelessus <dgelessus@users.noreply.github.com>
Date: Thu, 6 Jul 2023 14:45:11 +0200
Subject: [PATCH] Use current Rodin update site instead of our Rodin 3.4 mirror

---
 org.eventb.texteditor.parent/pom.xml | 12 ++++++------
 1 file changed, 6 insertions(+), 6 deletions(-)

diff --git a/org.eventb.texteditor.parent/pom.xml b/org.eventb.texteditor.parent/pom.xml
index ad07940..edda66e 100644
--- a/org.eventb.texteditor.parent/pom.xml
+++ b/org.eventb.texteditor.parent/pom.xml
@@ -13,21 +13,21 @@
 	<repositories>
 		<!-- configure p2 repository to resolve against -->
 		<repository>
-			<id>targetRepository0</id>
+			<id>eclipse</id>
 			<layout>p2</layout>
-			<url>http://download.eclipse.org/releases/2020-06</url>
+			<url>https://download.eclipse.org/releases/2022-03/</url>
 		</repository>
 
 		<repository>
-			<id>targetRepository1</id>
+			<id>rodin_core</id>
 			<layout>p2</layout>
-			<url>http://rodin-b-sharp.sourceforge.net/updates</url>
+			<url>https://rodin-b-sharp.sourceforge.net/core-updates/</url>
 		</repository>
 
 		<repository>
-			<id>targetRepository2</id>
+			<id>rodin_plugins</id>
 			<layout>p2</layout>
-			<url>https://stups.hhu-hosting.de/buildlibs/org.rodinp.dev</url>
+			<url>https://rodin-b-sharp.sourceforge.net/updates/</url>
 		</repository>
 	</repositories>
 
-- 
GitLab