From 79ae809dea2d69aca5cb743ebcf5d914a8c765ab Mon Sep 17 00:00:00 2001
From: dgelessus <dgelessus@users.noreply.github.com>
Date: Fri, 4 Oct 2019 16:25:15 +0200
Subject: [PATCH] Update ProB 2 version to 4.0.0-SNAPSHOT
---
build.gradle | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/build.gradle b/build.gradle
index d03d9ce..e3e7ead 100644
--- a/build.gradle
+++ b/build.gradle
@@ -38,7 +38,7 @@ configurations.all {
}
dependencies {
- compile(group: "de.hhu.stups", name: "de.prob2.kernel", version: "3.2.12-SNAPSHOT", changing: true)
+ compile(group: "de.hhu.stups", name: "de.prob2.kernel", version: "4.0.0-SNAPSHOT", changing: true)
compile(group: "io.github.spencerpark", name: "jupyter-jvm-basekernel", version: "2.2.3")
compile(group: "org.jetbrains", name: "annotations", version: "17.0.0")
compile(group: "se.sawano.java", name: "alphanumeric-comparator", version: "1.4.1")
--
GitLab