From fa340b27d31e4eb84471785d09a80ffe43b6ed20 Mon Sep 17 00:00:00 2001
From: dgelessus <dgelessus@users.noreply.github.com>
Date: Mon, 28 Oct 2024 22:09:27 +0100
Subject: [PATCH] Update to release version 1.1.0 of our tlatools
---
build.gradle | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/build.gradle b/build.gradle
index 8aea1eb..1570405 100644
--- a/build.gradle
+++ b/build.gradle
@@ -31,7 +31,7 @@ def parser_version = '2.13.5-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: 'de.hhu.stups', name: 'tlatools', version: '1.1.0-SNAPSHOT')
+ 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)
--
GitLab