diff --git a/build.gradle b/build.gradle index 6fe5639cf6ae009e329f25735b07cc37f9e0808a..0bed0103331f808613557e541ea7a276eb33ed47 100644 --- a/build.gradle +++ b/build.gradle @@ -26,18 +26,18 @@ configurations.all { resolutionStrategy.cacheChangingModulesFor 0, 'seconds' } -def parser_version = '2.13.5' +def parser_version = '2.13.6-SNAPSHOT' dependencies { //implementation(group: 'com.microsoft', name: 'tla2tools', version: '1.4.6') - implementation(group: 'commons-cli', name: 'commons-cli', version: '1.8.0') + implementation(group: 'commons-cli', name: 'commons-cli', version: '1.9.0') implementation(group: 'de.hhu.stups', name: 'tlatools', version: '1.1.0') 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.4.0') + testImplementation(group: 'de.hhu.stups', name: 'tla2bAST', version: '1.4.1-SNAPSHOT') } java {