diff --git a/build.gradle b/build.gradle
index f571cad6fec63bb7b0b49b5a86c54b7b30adbd8f..06a3ff2a5dfb745d07fccb1d67aefef0ee89a71e 100644
--- a/build.gradle
+++ b/build.gradle
@@ -1,5 +1,5 @@
 
-targetRepositories = ["http://cobra.cs.uni-duesseldorf.de/prob_dev_target/","http://download.eclipse.org/releases/indigo/","http://rodin-b-sharp.sourceforge.net/updates"]	
+targetRepositories = ["http://www.stups.uni-duesseldorf.de/prob_dev_target/","http://download.eclipse.org/releases/indigo/","http://rodin-b-sharp.sourceforge.net/updates"]	
 
 groupID = "de.prob"