From 8bbb1be126cc1c63064f8908c680e560ad9b0c60 Mon Sep 17 00:00:00 2001
From: dgelessus <dgelessus@users.noreply.github.com>
Date: Thu, 2 Feb 2023 17:01:59 +0100
Subject: [PATCH] Update www3 URLs to stups.hhu-hosting.de
---
README.md | 2 +-
build.gradle | 4 ++--
de.prob.core/prob_target.target | 2 +-
3 files changed, 4 insertions(+), 4 deletions(-)
diff --git a/README.md b/README.md
index bbd46cec..d4cfe6fb 100644
--- a/README.md
+++ b/README.md
@@ -21,7 +21,7 @@ For availability of commercial support, please contact Michael Leuschel (http://
Please report bugs and feature requests at the new site https://github.com/hhu-stups/prob-issues
# Prolog Source Code
-The latest source code of the Prolog binary can be downloaded from https://www3.hhu.de/stups/downloads/prob/source/.
+The latest source code of the Prolog binary can be downloaded from https://stups.hhu-hosting.de/downloads/prob/source/.
To build the Prolog binaries you require a SICStus 4 (http://sicstus.sics.se/index.html) licence.
diff --git a/build.gradle b/build.gradle
index e393a5e5..3eef1079 100644
--- a/build.gradle
+++ b/build.gradle
@@ -9,7 +9,7 @@ project.ext {
targetRepositories = [
"https://download.eclipse.org/releases/luna/",
"https://rodin-b-sharp.sourceforge.net/updates",
- "https://www3.hhu.de/stups/buildlibs/org.rodinp.dev/",
+ "https://stups.hhu-hosting.de/buildlibs/org.rodinp.dev/",
]
groupID = "de.prob"
@@ -90,7 +90,7 @@ task downloadCli {
def targetdir = dir + it.getValue()
def targetzip = dir + "probcli_${n}.zip"
- def url = "https://www3.hhu.de/stups/downloads/prob/cli/nightly/probcli_${n}.zip"
+ def url = "https://stups.hhu-hosting.de/downloads/prob/cli/nightly/probcli_${n}.zip"
download(url, targetzip)
FileTree zip = zipTree(targetzip)
copy {
diff --git a/de.prob.core/prob_target.target b/de.prob.core/prob_target.target
index 33d292b1..f128e63a 100644
--- a/de.prob.core/prob_target.target
+++ b/de.prob.core/prob_target.target
@@ -9,7 +9,7 @@
<location includeAllPlatforms="false" includeConfigurePhase="false" includeMode="planner" includeSource="true" type="InstallableUnit">
<unit id="org.eventb.ide.feature.group" version="3.3.0.201704022034-f9fbb0d"/>
<unit id="org.rodinp.feature.group" version="1.8.0.201704022034-f9fbb0d"/>
-<repository location="https://www3.hhu.de/stups/buildlibs/org.rodinp.dev"/>
+<repository location="https://stups.hhu-hosting.de/buildlibs/org.rodinp.dev"/>
</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"/>
--
GitLab