From 0a920dfc4fd64c29fe9101fda5085f746ade5fd4 Mon Sep 17 00:00:00 2001
From: dgelessus <dgelessus@users.noreply.github.com>
Date: Mon, 28 Oct 2024 22:06:50 +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 651d75d..0b35f2e 100644
--- a/build.gradle
+++ b/build.gradle
@@ -30,7 +30,7 @@ def parser_version = '2.13.5-SNAPSHOT'
dependencies {
implementation(group: 'commons-cli', name: 'commons-cli', version: '1.9.0')
- api(group: 'de.hhu.stups', name: 'tlatools', version: '1.1.0-SNAPSHOT')
+ api(group: 'de.hhu.stups', name: 'tlatools', version: '1.1.0')
api(group: 'de.hhu.stups', name: 'prologlib', version: parser_version)
api(group: 'de.hhu.stups', name: 'bparser', version: parser_version)
--
GitLab