Adjust dependencies for new snapshot version numbers

build.gradle

@@ -31,13 +31,13 @@ def parser_version = '2.13.3'
 dependencies {
 	//implementation(group: 'com.microsoft', name: 'tla2tools', version: '1.4.6')
 	implementation(group: 'commons-cli', name: 'commons-cli', version: '1.8.0')
-	implementation(group: 'de.hhu.stups', name: 'tlatools', version: '1.0.3-SNAPSHOT')
+	implementation(group: 'de.hhu.stups', name: 'tlatools', version: '1.1.0-SNAPSHOT')
 
 	implementation(group: 'de.hhu.stups', name: 'bparser', version: parser_version)
 	implementation(group: 'de.hhu.stups', name: 'ltlparser', version: parser_version)
 
 	testImplementation(group: 'junit', name: 'junit', version: '4.13.2')
-	testImplementation(group: 'de.hhu.stups', name: 'tla2bAST', version: '1.3.1-SNAPSHOT')
+	testImplementation(group: 'de.hhu.stups', name: 'tla2bAST', version: '1.4.0-SNAPSHOT')
 }
 
 java {