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