diff --git a/build.gradle b/build.gradle
index 5d6e98870c561c1cbe16c23b66f7ae4f6bb786fd..16111eb129192e02692e2123b0cd0d3d02c0c503 100644
--- a/build.gradle
+++ b/build.gradle
@@ -27,7 +27,7 @@ configurations.all {
 }
 
 def parser_version = '2.5.1'
-def tlatools_version = '1.0.2-SNAPSHOT'
+def tlatools_version = '1.0.2'
 
 dependencies {
 	//compile (group: 'com.microsoft', name: 'tla2tools', version: '1.4.6')
@@ -42,7 +42,7 @@ dependencies {
 	//compile(group: 'de.hhu.stups', name: 'de.prob.core.kernel', version: '2.0.0-milestone-13-SNAPSHOT')
 
 	testCompile (group: 'junit', name: 'junit', version: '4.11')
-	testCompile (group: 'de.hhu.stups', name: 'tla2bAST', version: '1.0.8-SNAPSHOT')
+	testCompile (group: 'de.hhu.stups', name: 'tla2bAST', version: '1.0.8')
 }
 
 jacoco {