diff --git a/de.prob.releng/build.gradle b/de.prob.releng/build.gradle
index 4306a7cac3ea036a440ab575113f650dc69e6dac..305917fb15e6f7ee5021f8da9bff4224b75d1a7a 100644
--- a/de.prob.releng/build.gradle
+++ b/de.prob.releng/build.gradle
@@ -1,5 +1,5 @@
 
-targetRepositories = ["http://cobra.cs.uni-duesseldorf.de/prob_dev_target/","http://download.eclipse.org/releases/indigo/"]	
+targetRepositories = ["http://cobra.cs.uni-duesseldorf.de/prob_dev_target/","http://download.eclipse.org/releases/indigo/","http://rodin-b-sharp.sourceforge.net/updates"]	
 
 apply from: 'tycho_build.gradle'