diff --git a/org.eventb.texteditor.parsers/build.gradle b/org.eventb.texteditor.parsers/build.gradle index fd61d3f5ef115d1a28fb07a634c39221d11590b2..8fd83918812ffc75d180c7bd5a52f7a56efb0cb8 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 }