From 1e8e660f759fb34d237df44da93424703fe3451c Mon Sep 17 00:00:00 2001
From: dgelessus <dgelessus@users.noreply.github.com>
Date: Tue, 30 Jul 2024 14:18:03 +0200
Subject: [PATCH] Adjust dependencies for new snapshot version numbers
---
build.gradle | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/build.gradle b/build.gradle
index 9439cfe..0adb49d 100644
--- a/build.gradle
+++ b/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 {
--
GitLab