diff --git a/README.md b/README.md
index bbd46cec0d6de42798245a5ad1baa152bfec7298..d4cfe6fbe9532ea97b2256b5a4ff8f8956749010 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 e393a5e54db08ffd425bd1ea8cdd162853f205fc..3eef1079df6a4471fe36b9c1ed63327c1d37d2d9 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 33d292b13f734102b412c11b6355589979a10dd5..f128e63ae5f09992416cfaee107c472c266dade7 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"/>