From c1b0b1797b8fd44856f40b04093abd75842e8b4d Mon Sep 17 00:00:00 2001
From: Jens Bendisposto <jens@bendisposto.de>
Date: Thu, 13 Aug 2015 04:24:06 +0200
Subject: [PATCH] use parser from maven central
---
org.eventb.texteditor.parsers/build.gradle | 6 +++---
1 file changed, 3 insertions(+), 3 deletions(-)
diff --git a/org.eventb.texteditor.parsers/build.gradle b/org.eventb.texteditor.parsers/build.gradle
index fd61d3f..8fd8391 100644
--- a/org.eventb.texteditor.parsers/build.gradle
+++ b/org.eventb.texteditor.parsers/build.gradle
@@ -8,11 +8,11 @@ repositories {
}
}
-def parser_version = '2.4.36-SNAPSHOT'
+def parser_version = '2.4.40'
dependencies {
- compile group: "de.prob", name: "bparser", version: parser_version, changing: true
- compile group: "de.prob", name: "eventbstruct", version: parser_version, changing: true
+ compile group: "de.hhu.stups", name: "bparser", version: parser_version, changing: true
+ compile group: "de.hhu.stups", name: "eventbstruct", version: parser_version, changing: true
compile 'com.google.guava:guava:14.0.1'// Apache Licence 2.0
}
--
GitLab