From 15185c46c596397a41e97b442091fe2c7a80a4ea Mon Sep 17 00:00:00 2001
From: Jan Gruteser <jan.gruteser@hhu.de>
Date: Sat, 18 Jan 2025 07:23:37 +0100
Subject: [PATCH] update dependencies
---
build.gradle | 6 +++---
1 file changed, 3 insertions(+), 3 deletions(-)
diff --git a/build.gradle b/build.gradle
index 6fe5639..0bed010 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 {
--
GitLab