diff --git a/build.gradle b/build.gradle index ef84a0c1c3a8392f024ee05ae1356e4f3b9f888d..eec1f05cc42b3db79eafa5559bafefcc057271b3 100644 --- a/build.gradle +++ b/build.gradle @@ -4,7 +4,7 @@ plugins { id 'jacoco' id "maven-publish" id "signing" - id "de.undercouch.download" version "5.0.2" + id "de.undercouch.download" version "5.4.0" } project.version = '1.0.5-SNAPSHOT' @@ -31,7 +31,7 @@ def tlatools_version = '1.0.2' dependencies { //implementation(group: 'com.microsoft', name: 'tla2tools', version: '1.4.6') - implementation(group: 'commons-cli', name: 'commons-cli', version: '1.2') + implementation(group: 'commons-cli', name: 'commons-cli', version: '1.5.0') implementation(group: 'de.hhu.stups', name: 'tlatools', version: tlatools_version) implementation(group: 'de.hhu.stups', name: 'prologlib', version: parser_version) @@ -41,7 +41,7 @@ dependencies { //implementation(group: 'de.hhu.stups', name: 'de.prob.core.kernel', version: '2.0.0-milestone-13-SNAPSHOT') - testImplementation(group: 'junit', name: 'junit', version: '4.12') + testImplementation(group: 'junit', name: 'junit', version: '4.13.2') testImplementation(group: 'de.hhu.stups', name: 'tla2bAST', version: '1.1.3') }