From b7ee56e8a668b30491f3bbbf332a9c9969dec9a5 Mon Sep 17 00:00:00 2001
From: Jens Bendisposto <jens@bendisposto.de>
Date: Thu, 25 Feb 2016 15:10:14 +0100
Subject: [PATCH] use released versions
---
build.gradle | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/build.gradle b/build.gradle
index 5d6e988..16111eb 100644
--- a/build.gradle
+++ b/build.gradle
@@ -27,7 +27,7 @@ configurations.all {
}
def parser_version = '2.5.1'
-def tlatools_version = '1.0.2-SNAPSHOT'
+def tlatools_version = '1.0.2'
dependencies {
//compile (group: 'com.microsoft', name: 'tla2tools', version: '1.4.6')
@@ -42,7 +42,7 @@ dependencies {
//compile(group: 'de.hhu.stups', name: 'de.prob.core.kernel', version: '2.0.0-milestone-13-SNAPSHOT')
testCompile (group: 'junit', name: 'junit', version: '4.11')
- testCompile (group: 'de.hhu.stups', name: 'tla2bAST', version: '1.0.8-SNAPSHOT')
+ testCompile (group: 'de.hhu.stups', name: 'tla2bAST', version: '1.0.8')
}
jacoco {
--
GitLab