From 34e26d7f500124ecfd7c488b55f7d311c7600289 Mon Sep 17 00:00:00 2001 From: Sebastian Krings <sebastian@krin.gs> Date: Sun, 6 Dec 2020 14:01:41 +0100 Subject: [PATCH] add / update p2 repositories --- org.eventb.texteditor.parent/pom.xml | 13 +++---------- 1 file changed, 3 insertions(+), 10 deletions(-) diff --git a/org.eventb.texteditor.parent/pom.xml b/org.eventb.texteditor.parent/pom.xml index ad45acc..8b22123 100644 --- a/org.eventb.texteditor.parent/pom.xml +++ b/org.eventb.texteditor.parent/pom.xml @@ -18,28 +18,21 @@ <repository> <id>targetRepository0</id> <layout>p2</layout> - <url>http://download.eclipse.org/releases/oxygen/</url> + <url>http://download.eclipse.org/releases/2020-06</url> </repository> <repository> <id>targetRepository1</id> <layout>p2</layout> - <url>http://download.eclipse.org/modeling/emf/compare/updates/releases/</url> + <url>http://rodin-b-sharp.sourceforge.net/updates</url> </repository> - <repository> + <repository> <id>targetRepository2</id> <layout>p2</layout> <url>https://www3.hhu.de/stups/buildlibs/org.rodinp.dev</url> </repository> - <repository> - <id>targetRepository3</id> - <layout>p2</layout> - <url>http://rodin-b-sharp.sourceforge.net/updates</url> - </repository> - - </repositories> <build> -- GitLab