From 76323edb612bc928f3be9b0f8f8dce72df9ebfb9 Mon Sep 17 00:00:00 2001
From: dgelessus <dgelessus@users.noreply.github.com>
Date: Wed, 3 Jul 2024 16:54:01 +0200
Subject: [PATCH] Update Eclipse repository URL for Rodin 3.9

---
 org.eventb.texteditor.parent/pom.xml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/org.eventb.texteditor.parent/pom.xml b/org.eventb.texteditor.parent/pom.xml
index d0a0e80..8bbdaaf 100644
--- a/org.eventb.texteditor.parent/pom.xml
+++ b/org.eventb.texteditor.parent/pom.xml
@@ -15,7 +15,7 @@
 		<repository>
 			<id>eclipse</id>
 			<layout>p2</layout>
-			<url>https://download.eclipse.org/releases/2022-03/</url>
+			<url>https://download.eclipse.org/releases/2023-12/</url>
 		</repository>
 
 		<repository>
-- 
GitLab