From c20b6612c2cfca7ef0025c75fc438ab26f03643b Mon Sep 17 00:00:00 2001
From: dgelessus <dgelessus@users.noreply.github.com>
Date: Tue, 27 Sep 2022 12:50:56 +0200
Subject: [PATCH] Switch Eclipse and Rodin repository URLs to HTTPS

---
 build.gradle                    | 4 ++--
 de.prob.core/prob_target.target | 4 ++--
 tycho_build.gradle              | 2 +-
 3 files changed, 5 insertions(+), 5 deletions(-)

diff --git a/build.gradle b/build.gradle
index b5847117..eff3cba8 100644
--- a/build.gradle
+++ b/build.gradle
@@ -7,8 +7,8 @@ wrapper {
 
 project.ext {
 	targetRepositories = [
-		"http://download.eclipse.org/releases/luna/",
-		"http://rodin-b-sharp.sourceforge.net/updates",
+		"https://download.eclipse.org/releases/luna/",
+		"https://rodin-b-sharp.sourceforge.net/updates",
 		"https://www3.hhu.de/stups/buildlibs/org.rodinp.dev/",
 	]
 
diff --git a/de.prob.core/prob_target.target b/de.prob.core/prob_target.target
index 4aa34f21..33d292b1 100644
--- a/de.prob.core/prob_target.target
+++ b/de.prob.core/prob_target.target
@@ -4,7 +4,7 @@
 <locations>
 <location includeAllPlatforms="false" includeConfigurePhase="false" includeMode="planner" includeSource="true" type="InstallableUnit">
 <unit id="org.eclipse.gef.sdk.feature.group" version="3.9.101.201408150207"/>
-<repository location="http://download.eclipse.org/releases/luna"/>
+<repository location="https://download.eclipse.org/releases/luna"/>
 </location>
 <location includeAllPlatforms="false" includeConfigurePhase="false" includeMode="planner" includeSource="true" type="InstallableUnit">
 <unit id="org.eventb.ide.feature.group" version="3.3.0.201704022034-f9fbb0d"/>
@@ -13,7 +13,7 @@
 </location>
 <location includeAllPlatforms="false" includeConfigurePhase="false" includeMode="planner" includeSource="true" type="InstallableUnit">
 <unit id="org.eventb.theory.feature.feature.group" version="4.0.0.RC1"/>
-<repository location="http://rodin-b-sharp.sourceforge.net/updates/"/>
+<repository location="https://rodin-b-sharp.sourceforge.net/updates/"/>
 </location>
 </locations>
 </target>
\ No newline at end of file
diff --git a/tycho_build.gradle b/tycho_build.gradle
index c935ad60..9f97ae1b 100644
--- a/tycho_build.gradle
+++ b/tycho_build.gradle
@@ -106,7 +106,7 @@ try {
 try {
 	targetRepositories = targetRepositories
 } catch (MissingPropertyException e) {
-	project.ext.targetRepositories = ["http://download.eclipse.org/releases/luna/"]
+	project.ext.targetRepositories = ["https://download.eclipse.org/releases/luna/"]
 }
 
 try {
-- 
GitLab