diff --git a/build.gradle b/build.gradle
index 1a38baae7d72c160e788b9a9506b6ab8f5af9fa9..95bca1a05afc88928604c59f900187441fdc00b3 100644
--- a/build.gradle
+++ b/build.gradle
@@ -129,7 +129,7 @@ if (project.hasProperty('ossrhUsername') && project.hasProperty('ossrhPassword')
 					packaging 'jar'
 					// optionally artifactId can be defined here
 					description "Wrapper to use Kodkod in ProB."
-					url 'https://github.com/hhu-stups/probkodkod'
+					url 'https://gitlab.cs.uni-duesseldorf.de/general/stups/probkodkod'
 
 					licenses {
 						license {
@@ -139,9 +139,9 @@ if (project.hasProperty('ossrhUsername') && project.hasProperty('ossrhPassword')
 					}
 
 					scm {
-						connection 'scm:git:git://github.com/hhu-stups/probkodkod.git'
-						developerConnection 'scm:git:git@github.com:hhu-stups/probkodkod.git'
-						url 'https://github.com/hhu-stups/probkodkod'
+						connection 'scm:git:https://gitlab.cs.uni-duesseldorf.de/general/stups/probkodkod.git'
+						developerConnection 'scm:git:git@gitlab.cs.uni-duesseldorf.de:general/stups/probkodkod.git'
+						url 'https://gitlab.cs.uni-duesseldorf.de/general/stups/probkodkod'
 					}
 
 					developers {