diff --git a/build.gradle b/build.gradle index c27f3931c37135ce86d83edae2370e3ef2a1855c..76878b1b244b7fa2927e719cd4684d6cb9fd788c 100644 --- a/build.gradle +++ b/build.gradle @@ -26,7 +26,7 @@ configurations.all { resolutionStrategy.cacheChangingModulesFor 0, 'seconds' } -def parser_version = '2.15.0-SNAPSHOT' +def parser_version = '2.15.0' dependencies { //implementation(group: 'com.microsoft', name: 'tla2tools', version: '1.4.6') @@ -37,7 +37,7 @@ dependencies { 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.4.1-SNAPSHOT') + testImplementation(group: 'de.hhu.stups', name: 'tla2bAST', version: '1.4.1') } java {