diff --git a/org.eventb.texteditor.parent/pom.xml b/org.eventb.texteditor.parent/pom.xml index d0a0e806d9ca266250592f6def601ea93bd88abb..8bbdaaf449ca2d891f4b7e17c5123f54ec1649c3 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>